| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465946803316 |
|
|
Titolo |
Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2000.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXII, 370 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1870 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Computer programming |
Software engineering |
Artificial intelligence |
Mathematical logic |
Programming Languages, Compilers, Interpreters |
Programming Techniques |
Software Engineering |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint |
|
|
|
|
|
|
|
|
|
|
|
Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. |
|
|
|
|
|
|
Sommario/riassunto |
|
Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910974726603321 |
|
|
Autore |
Pfeifer Gunter, architect |
|
|
Titolo |
Courtyard houses : a housing typology / / Gunter Pfeifer and Per Brauneck ; [translation from German into English, Usch Engelmann] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Basel ; ; Boston, : Birkhauser, c2008 |
|
|
|
|
|
|
|
ISBN |
|
3-03821-401-9 |
3-7643-7924-3 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (112 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Courtyard houses |
Room layout (Dwellings) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 110-111). |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Typology -- The principle of combination -- Floor plan types -- Garden courtyard house Single storey North-south orientation -- Shared courtyard house Two storeys East-west orientation -- L-shaped house Two storeys East-west orientation -- Group of L-shaped houses Two storeys North-south orientation -- Patio house Single storey North-south orientation -- Atrium-type house Two storeys North-south orientation -- Backmatter |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume deals with the various types of the courtyard house, which utilizes the courtyard as an intimate outdoor living space. A presentation of the courtyard as a building block of the city is followed by coverage of the complete spectrum of types-cluster, network, carpet, terraces, etc. |
To continue developing existing building types in an intelligent way is a crucial task in the field of residential building. A deeper understanding of the underlying types is indispensable for the success of the individual design, as well as for ensuring that tried and tested structures can be utilized, repeated, and varied in a wide variety of situations. For this typology of residential buildings, the authors have developed systematic new presentations of the most innovative types. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Each individual volume lays out the possibilities for using and transforming a particular form of residential structure. The first volume deals with the various types of the courtyard house, which utilizes the courtyard as an intimate outdoor living space. A presentation of the courtyard as a building block of the city is followed by coverage of the complete spectrum of types - cluster, network, carpet, terraces, etc. The second volume is devoted to the various types of row house, a particularly widespread form of residential structure. A general discussion of the row as organizing principle - the row as urban building block, linear space, ways of handling corners - is followed by the systematic presentation of the different types. Within each type, variants are distinguished according to how they organize space, their number of floors, etc. The range of possible solutions is presented in uniform ground plans newly drawn to scale. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910153191003321 |
|
|
Autore |
Nerbonne John A. <1951-> |
|
|
Titolo |
German temporal semantics : three-dimensional tense logic and a GPSG fragment / / John A. Nerbonne |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London : , : Routledge, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
1-315-53702-8 |
1-134-99234-3 |
1-134-99227-0 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (295 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Routledge Library Editions. Semantics and Semiology ; ; Volume 10 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
German language - Temporal constructions |
German language - Semantics |
German language - Grammar, Generative |
Tense (Logic) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Originally published: 1985. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Sommario/riassunto |
|
First published in 1985, this book analyses temporal meaning in |
|
|
|
|
|
|
|
|
|
|
German. The framework is that of a model-theoretic semantics, more specifically one incorporating a multi-dimensional tense logic. The first chapter presents this logic and argues that three dimensions are optimal for the description of natural language temporalia. The second chapter applies this theory to the analysis of temporal meaning in German. Frame adverbials, the Present and Past Tenses, duratives, aspectual adverbials using in, and the adverbials particle schon are examined. Chapter 3 provides a formal syntax to bear the semantic analysis proposed in the second chapter and the final chapter explores syntactic and semantic extensions of the fragment, showing how the Perfect, the particle noch, the passive, and a distinct reading of frame adverbials may be accommodated. |
|
|
|
|
|
| |