In this paper, we view declarative problem solving from the perspective of answer set programming (ASP). The idea is to solve any given problem by formalizing it as a logic program whose answer sets capture the solutions of the problem. In practice such sets are computed using a special-purpose search engine, viz. an answer set solver, and a ground program obtained by instantiating term variabl...

We show the benefits of applying modular monadic semantics to compiler construction. Modular monadic semantics allows us to define a language with a rich set of features from reusable building blocks, and use program transformation and equational reasoning to improve code. Compared to denotational semantics, reasoning in monadic style offers the added benefits of highly modularized proofs and m...

High quality modular construction is one of the solutions for the fast growing need for affordable high quality housing in Europe, which can not be solved by conventional building technology. The software environment for automatic modular construction AUTMOD3 has been developed, by University Carlos III de Madrid, in the frame of the European Union project FutureHome. The environment integrated...

This research study identifies critical decision-making factors that can help designers and constructors in selecting modular construction versus conventional “stick-built” technique for commercial building projects. The decision-making process of selecting one construction method over the other is complex and based on a number of factors some of which are site conditions, skilled labor availab...

The Dutch construction industry has introduced a compulsory preemployment medical examination (PE-ME). Best-evidence contents related to specific job demands are, however, lacking and need to be gathered. After the identification of job demands and health problems in the construction industry (systematic literature search and expert meeting), specific job demands and related requirements were d...

High quality modular construction is one of the solutions for the fast growing need for affordable high quality housing in Europe, which can not be solved by conventional building technology. The software environment for automatic modular construction AUTMOD3 has been developed, by University Carlos III de Madrid, in the frame of the European Union project FutureHome. The environment integrated...

In a previous paper the authors constructed class of quasi-Hopf algebras Dω(G,A) associated to finite group G, generalizing twisted quantum double construction. We gave necessary and sufficient conditions, cohomological in nature, that corresponding module category Rep(Dω(G,A)) is modular tensor category. present we verify conditions for groups G which contain unique involution, this way obtain...

We look at the construction of conformal field theories and their modular invariants via tools from subfactor theory.

We consider a variation of Construction A of lattices from linear codes based on two classes of number fields, totally real and CM Galois number fields. We propose a generic construction with explicit generator and Gram matrices, then focus on modular and unimodular lattices, obtained in the particular cases of totally real, respectively, imaginary, quadratic fields. Our motivation comes from c...

UNLABELLED EGene is a generic, flexible and modular pipeline generation system that makes pipeline construction a modular job. EGene allows for third-party programs to be used and integrated according to the needs of distinct projects and without any previous programming or formal language experience being required. EGene comes with CoEd, a visual tool to facilitate pipeline construction and do...