Run-Time Evolution through Explicit Meta-Objects

Software must be constantly adapted due to evolving domain knowledge and unanticipated requirements changes. To adapt a system at run-time we need to reflect on its structure and its behavior. Object-oriented languages introduced reflection to deal with this issue, however, no reflective approach up to now has tried to provide a unified solution to both structural and behavioral reflection. This paper describes Albedo, a unified approach to structural and behavioral reflection. Albedo is a model of fined-grained unanticipated dynamic structural and behavioral adaptation. Instead of providing reflective capabilities as an external mechanism we integrate them deeply in the environment. We show how explicit meta-objects allow us to provide a range of reflective features and thereby evolve both application models and environments at run-time.

Decision-making in amnesia: do advantageous decisions require conscious knowledge of previous behavioural choices?

Previous work has reported that in the Iowa gambling task (IGT) advantageous decisions may be taken before the advantageous strategy is known [Bechara, A., Damasio, H., Tranel, D., ; Damasio, A. R. (1997). Deciding advantageously before knowing the advantageous strategy. Science, 275, 1293-1295]. In order to test whether explicit memory is essential for the acquisition of a behavioural preference for advantageous choices, we measured behavioural performance and skin conductance responses (SCRs) in five patients with dense amnesia following damage to the basal forebrain and orbitofrontal cortex, six amnesic patients with damage to the medial temporal lobe or the diencephalon, and eight control subjects performing the IGT. Across 100 trials healthy participants acquired a preference for advantageous choices and generated large SCRs to high levels of punishment. In addition, their anticipatory SCRs to disadvantageous choices were larger than to advantageous choices. However, this dissociation occurred much later than the behavioural preference for advantageous alternatives. In contrast, though exhibiting discriminatory autonomic SCRs to different levels of punishment, 9 of 11 amnesic patients performed at chance and did not show differential anticipatory SCRs to advantageous and disadvantageous choices. Further, the magnitude of anticipatory SCRs did not correlate with behavioural performance. These results suggest that the acquisition of a behavioural preference--be it for advantageous or disadvantageous choices--depends on the memory of previous reinforcements encountered in the task, a capacity requiring intact explicit memory.

From Statistical Data to Spatial Knowledge - informing decision making in Vietnam

Vietnam has developed rapidly over the past 15 years. However, progress was not uniformly distributed across the country. Availability, adequate visualization and analysis of spatially explicit data on socio-economic and environmental aspects can support both research and policy towards sustainable development. Applying appropriate mapping techniques allows gleaning important information from tabular socio-economic data. Spatial analysis of socio-economic phenomena can yield insights into locally-specifi c patterns and processes that cannot be generated by non-spatial applications. This paper presents techniques and applications that develop and analyze spatially highly disaggregated socioeconomic datasets. A number of examples show how such information can support informed decisionmaking and research in Vietnam.

Colonization history of the Swiss Rhine basin by the bullhead (Cottus gobio): inference under a Bayesian spatially explicit framework

The present distribution of freshwater fish in the Alpine region has been strongly affected by colonization events occurring after the last glacial maximum (LGM), some 20,000 years ago. We use here a spatially explicit simulation framework to model and better understand their colonization dynamics in the Swiss Rhine basin. This approach is applied to the European bullhead (Cottus gobio), which is an ideal model organism to study fish past demographic processes since it has not been managed by humans. The molecular diversity of eight sampled populations is simulated and compared to observed data at six microsatellite loci under an approximate Bayesian computation framework to estimate the parameters of the colonization process. Our demographic estimates fit well with current knowledge about the biology of this species, but they suggest that the Swiss Rhine basin was colonized very recently, after the Younger Dryas some 6600 years ago. We discuss the implication of this result, as well as the strengths and limits of the spatially explicit approach coupled to the approximate Bayesian computation framework.

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

What makes next generation members found their own firm: knowledge, contacts, or money?

To increase our understanding of the formation of students' intentions to found an own firm, research needs to systematically integrate theory of planned behavior, resource-based view, and family business literature. To date, however, an explicit and systematic integration of these perspectives cannot be found. We attempt to close this gap by explicitly investigating founding intentions of students with family business background. More specifically, we examine how the provision of human, social, and financial resources by the family affects students' desirability and feasibility perceptions, and ultimately founding intentions. Our analysis based on a sample of 14'290 students from 26 countries reveals that both desirability and feasibility perceptions mediate the relationships between all three types of resources and founding intentions. Interestingly, the provision of financial resources is negatively related to both desirability and feasibility perceptions. These findings illustrate the research potential of a combination of theory of planned behavior with the resource-based view, especially in the family business context. Our study thus offers valuable contributions to literature on career choices, theory of planned behavior, and family business, as well as to practice.