This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex physical systems. Our implementation uses the attribute-grammar based tool JastAdd. In particular, we discuss the implementation of Modelica name analysis which is highly context-dependent, type analysis which is based on str

Aquatic macroinvertebrates play important roles in our ecosystems and are essential for the ecosystem processing. An improved knowledge of structuring factors, such as competition and predation, and the way in which they operates in the macroinvertebrate community is crucial for our understanding of not only the macroinvertebrates but also the ecosystem in general. Furthermore, today our ecosystem

[abstract missing]

Unraveling functional and ancestral relationships between proteins as well as structure prediction procedures require powerful protein alignment methods. This paper describes the use of fuzzy alignments when matching protein structures. The method use mean-field annealing optimization of fuzzy alignment variables, based on a cost expressed in terms of distances between aligned atoms and of gaps. T

Isaiah 53 represents one of the peaks of the Hebrew Bible. It is a text that has played a significant role in Jewish thought throughout history and has also been vital for the development of the early Christian theology. The present work, a collection of essays, focuses on the “effective history” of Isaiah 53 from the post-biblical and early Christian periods to the medieval times, where the under

Popular Abstract in Swedish Fett som tas in i kroppen bryts huvudsakligen ned i tunntarmen med hjälp av ett enzym, lipas och dess regler-protein colipas. Colipas binder sig till lipas och gör att lipas fastnar på fett dropparna som emulgerats av gallsalter. Både lipas och colipas utsöndras av bukspottkörteln. I de gröna växternas blad finns kloroplaster som fångar upp ljus och därvid bildar syre oObesity is a major health problem in the world that increases the occurrence of type-2 diabetes and cardiovascular disease. The reason for obesity is a dysfunction in the regulation of energy balance. It has been shown that dietary fat induces satiety as long as this nutrient stays in the intestine. One important gastrointestinal satiety signal is cholecystokinin (CCK), released from the intestine

The decomposition of nonlinear output feedback control into an observer and a state feedback control is an open problem. A solution for dynamic positioning of ships has been proposed in the above paper (1) and by Grovlen and Fossen, where an observer-based backstepping method is used. This note points out that the observer design in the above-mentioned papers does not cover unstable ship dynamics

Abstract not available.