A Generic Model of Contracts for Embedded Systems

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition

Biomarkers in Inflammatory Myopathies – An Expanded Definition

Biomarkers as parameters of pathophysiological conditions can be of outmost relevance for inflammatory myopathies. They are particularly warranted to inform about diagnostic, prognostic, and therapeutic questions. As biomarkers become more and more relevant in daily routine, this review focusses on relevant aspects particularly addressing myopathological features. However, the level of evidence to use them in daily routine at presence is low, still since none of them has been validated in large cohorts of patients and rarely in independent biopsy series. Hence, they should be read as mere expert opinions. The evaluation of biomarkers as well as key biological parameters is an ongoing process, and we start learning about relevance of them, as we must recognize that pathophysiology of myositis is biologically incompletely understood. As such this approach should be considered an essay toward expansion of the definition “biomarker” to myositis, an emerging field of interest in biomedical research

Dynamic response of structural elements exposed to sonic booms

Dynamic response of uniform beams and plates exposed to sonic boom

Pratiques de représentation et constructions d'identité: juifs et chrétiens au XIIe siècle

no abstrac