| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910449786603321 |
|
|
Autore |
Cruz Jorge |
|
|
Titolo |
Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
|
|
|
|
|
|
|
ISBN |
|
1-280-24343-0 |
9786610243433 |
1-4237-9924-0 |
1-60750-121-X |
600-00-0376-5 |
1-60129-102-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (244 p.) |
|
|
|
|
|
|
Collana |
|
Frontiers in artificial intelligence and applications ; ; v. 126 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Constraints (Artificial intelligence) |
Differential equations |
Interval analysis (Mathematics) |
Biophysics - Mathematical models |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Focuses on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations by means of constraints. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466171103316 |
|
|
Titolo |
Collaborative and distributed chemical engineering : from understanding to susbstantial design process support : results of the IMPROVE Project / / Manfred Nagl, Woldgang Marquardt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 851 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 4970 |
|
|
|
|
|
|
Classificazione |
|
CHE 020f |
CIT 300f |
DAT 800f |
SS 4800 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages [785]-849) and author index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach for A-posteriori Tool Integration -- A Scenario Demonstrating Design Support in Chemical Engineering -- The Interdisciplinary IMPROVE Project -- Application Domain Modeling -- An Introduction to Application Domain Modeling -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application Domain Models for Chemical Engineering -- New Tool Functionality and Underlying Concepts -- Using Developers’ Experience in Cooperative Design Processes -- Incremental and Interactive Integrator Tools for Design Product Consistency -- Multimedia and VR Support for Direct Communication of Designers -- An Adaptive and Reactive Management System for Project Coordination -- Platform Functionality -- Goal-Oriented Information Flow Management in Development Processes -- Service Management for Development Tools -- Integration Aspects -- Scenario-Based Analysis of Industrial Work Processes -- Integrative Simulation of Work Processes -- An Integrated Environment for Heterogeneous Process Modeling and Simulation -- Design Support of |
|
|
|
|
|
|
|
|
|
|
|
Reaction and Compounding Extruders -- Synergy by Integrating New Functionality -- Usability Engineering -- Software Integration and Framework Development -- Steps towards a Formal Process/Product Model -- From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model -- Work Processes and Process-Centered Models and Tools -- Model Dependencies, Fine-Grained Relations, and Integrator Tools -- Administration Models and Management Tools -- Process/Product Model: Status and Open Problems -- Transfer to Practice -- Industrial Cooperation Resulting in Transfer -- Ontology-Based Integration and Management of Distributed Design Data -- Computer-Assisted Work Process Modeling in Chemical Engineering -- Simulation-Supported Workflow Optimization in Process Engineering -- Management and Reuse of Experience Knowledge in Extrusion Processes -- Tools for Consistency Management between Design Products -- Dynamic Process Management Based upon Existing Systems -- Service-Oriented Architectures and Application Integration -- Evaluation -- Review from a Design Process Perspective -- Review from a Tools’ Perspective -- Review from an Industrial Perspective -- Review from Academic Success Perspective. |
|
|
|
|
|
|
Sommario/riassunto |
|
IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work. The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken. Design processes are analyzed and evaluated in collaboration with industrial partners. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996336731703316 |
|
|
Titolo |
Maximum PC |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Brisbane, CA, : Imagine Media, ©1998- |
|
San Francisco, CA, : Future US, Inc |
|
New York, NY, : Future US, Inc |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Microcomputers |
Computer software |
Micro-ordinateurs |
Logiciels |
Microcomputers - Periodicals |
Computer software - Periodicals |
Periodicals. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Sommario/riassunto |
|
Accompanying CD-ROM includes 650MB of software demos, games, and utilities. |
|
|
|
|
|
|
|
| |