This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems dependability attributes, like reliability. The transformation concentrates on structural UML views, available early in the design, to operate at different levels of refinement, and tries to capture only the information...

We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this construction also establishes the operator product expansion for intertwining operators, which correspond to chiral vertex operators, and more generally, it establi...

We describe the construction of vector valued modular forms transforming under a given congruence representation of the modular group SL(2,Z) in terms of theta series. We apply this general setup to obtain closed and easily computable formulas for conformal characters of rational models of W-algebras. 2 Université Bordeaux I, UFR de Mathématiques et Informatiques, 351 rue de la Libération, 3340...

We describe the construction of a new type of modular equation for Weber functions. These bear some relationship to Weber’s modular equations of irrational kind. Numerous examples of these equations are explicitly computed. We also obtain some modular equations of irrational kind which Weber was not able to compute.

We present a constraint-based syntax-semantics interface for the construction of RMRS (Robust Minimal Recursion Semantics) representations from shallow grammars. The architecture is designed to allow modular interfaces to existing shallow grammars of various depth – ranging from chunk grammars to context-free stochastic grammars. We define modular semantics construction principles in a typed fe...

Prefabricated modular housing structures have become a promising alternative to site-built structures with equal or higher engineering quality and durability. Major advantages of this technology are fast and cost-efficient construction, reduced labor requirements, and superior quality control due to factory production. The modular design of these prefabricated structures offers the opportunity ...

Recently, to cope with the rapidly changing construction trend with aging infrastructures, modular bridge technology has been studied actively. Modular bridge is easily constructed by assembling standardized precast structure members in the field. It will be possible to construct rapidly and reduce construction cost efficiently. However, the shape of the transverse connection of T-type girder n...

Bolstered by significant productivity improvement in manufacturing technology, the construction paradigm has shifted toward industrialized construction methods, such as modular construction. Modular construction has benefitted from the long term development of the manufacturing technologies and core techniques used in the assembly production lines of construction prefabrication plants. Lean pro...