Filter by
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
- 94 illustrations in colour
- Series Title
- -
- Call Number
- -
Theory and Applications of Formal Argumentation
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
- 48 illustrations in colour
- Series Title
- -
- Call Number
- -
Encyclopedia of Systems and Control
The Encyclopedia of Systems and Control collects a broad range of short expository articles that describe the current state of the art in the central topics of control and systems engineering as well as in many of the related fields in which control is an enabling technology. The editors have assembled the most comprehensive reference possible, and this has been greatly facilitated by the publi…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-5058-9
- Collation
- 185 b/w illustrations, 231 illustrations in colour
- 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
- -
New Contributions in Information Systems and Technologies:Volume 2
This book contains a selection of articles from The 2015 World Conference on Information Systems and Technologies (WorldCIST'15), held between the 1st and 3rd of April in Funchal, Madeira, Portugal, a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences and challenges of modern Information Systems and Tech…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16527-1
- Collation
- XXII, 398
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
New Advances in Information Systems and Technologies Volume 2
This book contains a selection of articles from The 2016 World Conference on Information Systems and Technologies (WorldCIST'16), held between the 22nd and 24th of March at Recife, Pernambuco, Brazil. WorldCIST is a global forum for researchers and practitioners to present and discuss recent results and innovations, current trends, professional experiences and challenges of modern Information S…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-31306-1
- Collation
- XXIV, 773
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26554-4
- Collation
- XVII, 710
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26534-6
- Collation
- XVI, 666
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Ist…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26531-5
- Collation
- XVII, 742
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Nature-Inspired Computing for Control Systems
The book presents recent advances in nature-inspired computing, giving a special emphasis to control systems applications. It reviews different techniques used for simulating physical, chemical, biological or social phenomena at the purpose of designing robust, predictive and adaptive control strategies. The book is a collection of several contributions, covering either more general approaches …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26228-4
- Collation
- XII, 289
- Series Title
- Studies in Systems, Decision and Control
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography