Bridging the Gap between Probabilistic and Deterministic Models: A Simulation Study on a Variational Bayes Predictive Coding Recurrent Neural Network Model

The current paper proposes a novel variational Bayes predictive coding RNN model, which can learn to generate fluctuated temporal patterns from exemplars. The model learns to maximize the lower bound of the weighted sum of the regularization and reconstruction error terms. We examined how this weighting can affect development of different types of information processing while learning fluctuated temporal patterns. Simulation results show that strong weighting of the reconstruction term causes the development of deterministic chaos for imitating the randomness observed in target sequences, while strong weighting of the regularization term causes the development of stochastic dynamics imitating probabilistic processes observed in targets. Moreover, results indicate that the most generalized learning emerges between these two extremes. The paper concludes with implications in terms of the underlying neuronal mechanisms for autism spectrum disorder and for free action.Comment: This paper is accepted the 24th International Conference On Neural Information Processing (ICONIP 2017). The previous submission to arXiv is replaced by this version because there was an error in Equation

Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Mobile devices and platforms have become an established target for modern software developers due to performant hardware and a large and growing user base numbering in the billions. Despite their popularity, the software development process for mobile apps comes with a set of unique, domain-specific challenges rooted in program comprehension. Many of these challenges stem from developer difficulties in reasoning about different representations of a program, a phenomenon we define as a "language dichotomy". In this paper, we reflect upon the various language dichotomies that contribute to open problems in program comprehension and development for mobile apps. Furthermore, to help guide the research community towards effective solutions for these problems, we provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18

Enhancing the thermal performance of temporary fabric structures for the advanced energy efficient shelter system

The focus of this research is to characterize the thermal load on temporary fabric shelters deployed in the Middle East in order to establish realistic contract specification for the thermal performance of future shelters. Three different testing methods were utilized to evaluate shelter thermal performance. Small-scale tests allowed for economical comparisons of different shelter materials and configurations

Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems

Formal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems

Pathways to apprenticeships and traineeships for people from culturally and linguistically diverse backgrounds

Western Australia is experiencing a substantial shortage of skilled labour. The State Government is committed to increasing participation in the workforce across the board, through schemes such as the Plans 4 Jobs, especially because of the current severe skills shortage in the economy. The State Government is also committed, through the four principles of civic values, fairness, equality, and participation enshrined in the WA Charter of Multiculturalism, to promoting the full participation of all groups in all aspects of our community – social, economic, and civil – and to removing any systemic barriers to full participation. This commitment is also embodied in the multi‐departmental Policy Framework for Substantive Equality. Aside from equity, denying equal opportunity also engenders resentment and hostility within our community, diminishes human value, and denies the state the full benefits of all its members’ talents. The cost of discrimination accrues to those who are denied opportunity and to the society which tolerates discrimination. Members of Culturally and Linguistically Diverse (CaLD) communities in this state, in particular those from new and emerging communities, do not currently participate in apprenticeships and traineeships in significant numbers; this is regrettable and it is recommended that measures be taken to remedy this. The Western Australian Department of Education and Training (DET) commissioned this report to investigate barriers to apprenticeships and traineeships confronting people from CaLD backgrounds, and to recommend strategies to improve their participation in apprenticeships and traineeships. The project was undertaken by the Australian Academy of Race Relations (AARR) at Murdoch University, for DET, during the period July – November 2005. DET has many good programmes to promote apprenticeships and traineeships, including to members of CaLD communities. However, the array and complexity of these can be daunting, resulting in a lack of awareness of all the programmes available

Bridging the gap between migrants and the banking system.

In this paper, we address two related issues. First, we test whether micro firms run by migrants pay more for credit than firms run by native entrepreneurs. Second, we verify whether the differences in the cost of credit between these two groups of entrepreneurs decrease as long as the informational and cultural gap narrow. To this aim we employ a large and unique data set providing us with detailed information about each overdraft loan granted by banks to sole proprietorships based in Italy. We find that firms run by migrants pay, on average, almost 70 basis points more for credit than those run by entrepreneurs born in Italy. The interest rate differential is lower for entrepreneurs born in Italy whose parents were natives of other countries (“second generation” migrants) and, among those born abroad, for migrants whose parents were natives of Italy (“Italian migrants”). These results suggest that cultural differences may matter for the functioning of the credit market. A lengthening in credit history may help migrants to “bridge the gap”. We find that, on average, interest rates lower with the length of the credit history. Furthermore, and more importantly from the paper perspective, firms run by migrants benefit more from a repeated interaction with the banking system. Finally, we find that the size of the migrant community and the improvements in bank ability to deal with cultural diversity both contribute to narrow the interest rate differential between migrant and Italian entrepreneurs.credit; financial integration; migration;

Bridging the gap between migrants and the banking system

In this paper, we test whether micro firms run by migrants pay more for credit than firms run by natives and whether the differences in the cost of credit for these two groups of entrepreneurs decrease as the informational and cultural gaps narrow. We employ a large and unique data set providing us with detailed information on each overdraft loan granted by banks to sole proprietorships based in Italy. We find that migrants pay, on average, almost 70 basis points more for credit than natives. The interest rate differential is lower for entrepreneurs born in Italy whose parents were natives of other countries (“second generation” migrants) and for migrants whose parents were natives of Italy (“Italian migrants”). These results suggest that cultural differences may matter for the functioning of the credit market. A lengthening of credit history reduces the interest rate differential between the two types of entrepreneurs. Finally, we find that both increases in the size of the migrant community and improvements in banks’ ability to deal with cultural diversity help narrow the interest rate differential between migrant and Italian entrepreneurs.migration, bank lending, interest rates