The Espress project aims at a method for the development of safety-critical embedded technical systems which bases on strong mathematical concepts. To make such a method competetive with other approaches nowadays common in industrial practise it must be ultimatively supported by an elaborated set of tools integrated in a software development environment (SDE). Since the Espress project is not c...

The semiflexible polymers filamentous actin (F-actin) and intermediate filaments (IF) both form complex networks within the cell, and together are key determinants of cellular stiffness. While the mechanics of F-actin networks together with stiff microtubules have been characterized, the interplay between F-actin and IF networks is largely unknown, necessitating the study of composite networks ...

Runtime security policy enforcement systems are crucial to limit the risks associated with running untrustworthy (malicious or buggy) code. The inlined reference monitor approach to policy enforcement, pioneered by Erlingsson and Schneider, implements runtime enforcement through program rewriting: security checks are inserted inside untrusted programs. Ensuring complete mediation – the guarante...

The properties of full-length and mutant peripherins were studied in intermediate filament-less SW13 cells to define regions of peripherin that are essential for initiation of filament assembly. A full-length rat peripherin gene transfected into SW13 cells resulted in filament formation, consistent with the close structural relationship of peripherin to other type III intermediate filament prot...

Type IV neuronal intermediate filament proteins consist of alpha-internexin, which can self-assemble into filaments and the neurofilament triplet proteins, which are obligate heteropolymers, at least in rodents. These IF proteins therefore provide good systems for elucidating the mechanism of intermediate filament assembly. To analyze the roles of the head domains of these proteins in contribut...

A synthesis reaction of catalyst, olefin complex of rhodium,was chosen to explore the feasibility of probing active intermediate and intermediate process by positronium: Three different initial concentrations of ~h(111),7.6x10",3.8x10~~ and 4 . 5 ~ 1 0 ~ M were sampled. The relations between positronium lifetime intensity I, and the concentration of Rh(III),ethylene,as well as of the products w...

Although scientific forum has obliged its members to hide their presence particularly while they are discussing research outcomes to avoid personal biases, a recent trend is encouraging writers to demonstrate their identity as the author of the text through the use of first person pronouns in order to take responsibility for the content. Therefore, the present study focuses on intermediate and ...

This paper is concerned with elastic local buckling of rectangular plates subjected to intermediate and end inplane loads. Since closed form solution for buckling analysis of plates with different end conditions and subjected to intermediate loads is complicated, numerical methods are more useful. Because of restrictions on the two finite strip methods, the longitudinal B3 spline expressions co...

The aim of this study is decomposition of the changes in energy consumption with emphasizing the structural changes in Iran during 2001-2011 using Input- Output Structural Decomposition Analysis (I_O SDA). Structural changes in this study represent the changes in structure of intermediate input in sectors and also changes in structure of final demand categories. Structural changes in intermedia...