Liquid crystal elastomers (LCE) are elastomeric materials possessing a network microstructure made of chains with preferential orientation, induced by mesogen units embedded in the material prior to polymerization. This peculiarity can be harnessed induce deformation LCE element making its switch from preferentially oriented nematic state isotropic one, as occurs for instance rising temperature...

One field in the wide area of simulation applications is the field of manufacturing systems. Within it the human factor is of growing interest. To increase the efficiency and productivity of a company besides investment in new technologies the introduction of alternative working structures becomes more and more important. For the modeling of working structures the modeling of workers is signifi...

Event-B is a formal approach oriented to system modeling and analysis. It supports refinement mechanism that enables stepwise modeling and verification of a system. By using refinement, the complexity of verification can be spread and mitigated. In common development using Event-B, a specification written in a natural language is examined before modeling in order to plan the modeling and refine...

BACKGROUND Clinical data registry is designed to collect and manage information about the practices and outcomes of a patient population for improving the quality and safety of care and facilitating novel researches. Semantic interoperability is a challenge when integrating the data from more than one clinical data registry. The openEHR approach can represent the information and knowledge seman...

ÐIn this paper, we develop integrated techniques that unify physics-based modeling with geometric subdivision methodology and present a scheme for dynamic manipulation of the smooth limit surface generated by the (modified) butterfly scheme using physics-based aforceo tools. This procedure-based surface model obtained through butterfly subdivision does not have a closed-form analytic formulatio...