Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change

From physics to biology by extending criticality and symmetry breakings

Symmetries play a major role in physics, in particular since the work by E. Noether and H. Weyl in the first half of last century. Herein, we briefly review their role by recalling how symmetry changes allow to conceptually move from classical to relativistic and quantum physics. We then introduce our ongoing theoretical analysis in biology and show that symmetries play a radically different role in this discipline, when compared to those in current physics. By this comparison, we stress that symmetries must be understood in relation to conservation and stability properties, as represented in the theories. We posit that the dynamics of biological organisms, in their various levels of organization, are not just processes, but permanent (extended, in our terminology) critical transitions and, thus, symmetry changes. Within the limits of a relative structural stability (or interval of viability), variability is at the core of these transitions

The Impact of Immigration on Election Outcomes in Danish Municipalities

In this paper we study the effects on support for different political parties due to an increase in the immigrant share in Danish municipalities during the period 1989-2001. We find that the immigrant share has some notable effects. The anti-immigration parties are among those that win votes when the immigrant share increases, but a pro-immigration party on the left also gains from an increase in the immigrant share. The non-socialist party that is most pro-immigration, however, loses votes when the immigrant share increases. Our results indicate that in the elections some Danish voters voice their displeasure about immigration in their own neighbourhood. But we find no clear indication of a general decline in support for the welfare state on account of immigration, as several scholars have been predicting.immigration, immigrants, elections, racism, xenophobia

Marriages of Mathematics and Physics: A Challenge for Biology

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences

Are foreign multinationals more efficient? A stochastic production frontier analysis of Malaysia's automobile industry

This paper compares the sources of total factor productivity (TFP) growth of foreign (establishments with 51% and above foreign equity ownership) and local establishments in Malaysia’s automotive sector by applying a stochastic production frontier to a panel of 510 plants for the period 2000-2004. The results showed that TFP growth for local automobile plants was minimal at 0.63% and minimally negative at -0.27% for foreign plants. On average,over the study period, technical efficiency changes contributed positively toward TFP growth but scale efficiency changes were negative for both local and foreign establishments. Technical progress was minimally positive for local establishments and minimally negative for foreign establishments.The small size of plants and the lower share of white-collar workers were significant in explaining plant inefficiency in Malaysia’s automobile sector. A higher capital-labour ratio was positively related to plant inefficiency and this may be due to excess capacity in the automobile sector as a result of a small domestic market. Finally, foreign multinationals are significantly more efficient than locally owned plants

Free and regular mixed-model sequences by a linear program-assisted hybrid algorithm GRASP-LP

A linear program-assisted hybrid algorithm (GRASP-LP) is presented to solve a mixed-model sequencing problem in an assembly line. The issue of the problem is to obtain manufacturing sequences of product models with the minimum work overload, allowing the free interruption of operations at workstations and preserving the production mix. The implemented GRASP-LP is compared with other procedures through a case study linked with the Nissan’ Engine Plant from Barcelona.Peer ReviewedPostprint (author's final draft

An interpreter advantage in executive functions? A systematic review

The aim of this systematic literature review was to answer the question of which executive function is most affected by interpreter training and experience. We used the 'unity and diversity' framework of executive functions to distinguish between three executive components: Response and Distractor Inhibition, Shifting, and Updating. Among the seventeen studies included in the review, we only found evidence for an interpreter advantage on Shifting and Updating, but with a different pattern for each of these. With regard to Updating, groups of interpreters scored better than comparison groups, but general trend in longitudinal studies did not show an improvement for interpreter trainees. In contrast, for Shifting, scores improved as a result of interpreting training. Our systematic review stresses the importance of understanding the diversity of executive processes when investigating the relationship between interpreting and cognitive performance