Results 211 to 220 of about 46,611 (262)

Modular Construction of Minimal Models

2017
We show that minimal models of positive propositional theories can be decomposed based on the structure of the dependency graph of the theories. This observation can be useful for many applications involving computation with minimal models. As an example of such benefits, we introduce new algorithms for minimal model finding and checking that are based
BEN-ELIYAJHU-ZOHARY Rachel   +3 more
openaire   +2 more sources

The Modular Construction of Models

1983
Systems analysis provides large volumes of data. For more complex systems, the systems parameters which are important for the aim of investigation, must be obtained from this data. It is sensible to decompose the system into subsystems according to its structure, so that a well organised hierarchy has been obtained in which the individual subsystems ...
openaire   +1 more source

The modular construction of dynamic nets

Neural Computing & Applications, 1993
I think that the examples I have given raise many questions: nodal function, learning to learn, and modularisation. It is clear that much work lies ahead.
openaire   +1 more source

Design in Modular Construction

2014
Modular construction can dramatically improve efficiency in construction, through factory production of pre-engineered building units and their delivery to the site either as entire buildings or as substantial elements. The required technology and application are developing rapidly, but design is still in its infancy.
Mark Lawson, Ray Ogden, Chris Goodier
openaire   +1 more source

The construction of modular invariants

Proceedings of the American Mathematical Society, 2022
We use the k [ V ] k[V]
openaire   +1 more source

Modular concrete construction

Engineering, Construction and Architectural Management, 2017
Purpose This study evaluates the enablers and barriers for modular concrete construction in Lebanon. The purpose of this paper is to investigate various factors (time, cost, technical know-how, organizational, sustainability, etc.) and their influence on the choice of the construction method.
Farook Hamzeh   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy