Filter by
Theory and Engineering of Complex Systems and Dependability Proceedings of t…
Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. Contemporary…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19216-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation Third International Workshop…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28460-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Information Reuse and Integration
Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31311-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55336-6
- Collation
- -
- Series Title
- -
- Call Number
- -
The Zakharov System and its Soliton Solutions
This book focuses on the theory of the Zakharov system in the context of plasma physics. It has been over 40 years since the system was first derived by V. E. Zakharov – and in the course of those decades, many innovative achievements with major impacts on other research fields have been made. The book represents a first attempt to highlight the mathematical theories that are most importan…
- Edition
- -
- ISBN/ISSN
- 978-981-10-2582-2
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 1 - History and Epistemology
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language suppo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05350-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 2 - Heritage and Expectations in Res…
The book is inspired by the second seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Working with the Image Description Processing Prediction" was the motto of this meeting, aiming to point out the role of Visual Language not only in describing reality, but also in supporting the thinking processes in Science (prediction), in Art (invention…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05341-7
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 3 - Heritage and Expectations in Edu…
The book is inspired by the third seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano (July 2013). "Educating by Image. Teaching Styles vs Learning Styles" was the motto of this meeting. The contributions (coming from lectures, the poster session, interviews and round table) aim to propose an updated look at visual education, highlighting how d…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05326-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Applications of Evolutionary Computation in Image Processing and Pattern Reco…
This book presents the use of efficient Evolutionary Computation (EC) algorithms for solving diverse real-world image processing and pattern recognition problems. It provides an overview of the different aspects of evolutionary methods in order to enable the reader in reaching a global understanding of the field and, in conducting studies on specific evolutionary techniques that are related to …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-26462-2
- Collation
- XV, 274
- Series Title
- Intelligent Systems Reference Library
- Call Number
- 006.3 CUE a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography