Berlin: 10521 books
by Awais Rashid
Language: English
Release Date: March 14, 2013
Language: English
Release Date: March 14, 2013
Recently, a set of new software development techniques – termed Aspect-Oriented Software Development (AOSD) – has become available that aims to support modularisation of systemic properties (also referred to as crosscutting-concerns) and their subsequent composition with other parts of the system.
Rashid...
Algorithms in Bioinformatics
15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings
Language: English
Release Date: August 27, 2015
This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56 submissions. The selected papers cover a wide range of...
System Modeling and Optimization
26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers
Language: English
Release Date: November 27, 2014
This book is a collection of thoroughly refereed papers presented at the 26th IFIP TC 7 Conference on System Modeling and Optimization, held in Klagenfurt, Austria, in September 2013. The 34 revised papers were carefully selected from numerous submissions. They cover the latest progress in a wide...
Challenges at the Interface of Data Analysis, Computer Science, and Optimization
Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Language: English
Release Date: February 6, 2012
This volume provides approaches and solutions to challenges occurring at the interface of research fields such as data analysis, computer science, operations research, and statistics. It includes theoretically oriented contributions as well as papers from various application areas, where knowledge...
Condition
The Geometry of Numerical Algorithms
Language: English
Release Date: August 15, 2013
This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability and complexity--- of numerical algorithms. While the role of condition was shaped...
Tools for High Performance Computing 2011
Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Language: English
Release Date: September 21, 2012
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the...
Control Theory for Engineers
A Primer
Language: English
Release Date: May 9, 2013
Control Theory is at the heart of information and communication technologies of complex systems. It can contribute to meeting the energy and environmental challenges we are facing.
The textbook is organized in the way an engineer classically proceeds to solve a control problem, that is, elaboration...
Logic, Rationality, and Interaction
6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Language: English
Release Date: September 1, 2017
This LNCS volume is part of FoLLI book serie and contains the papers presented at the 6th International Workshop on Logic, Rationality and Interaction/ (LORI-VI), held in September 2017 in Sapporo, Japan.
The focus of the workshop is on following topics: Agency, Argumentation and Agreement,...
Descriptive Set Theoretic Methods in Automata Theory
Decidability and Topological Complexity
Language: English
Release Date: August 5, 2016
The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive...
Digital Imaging and Communications in Medicine (DICOM)
A Practical Introduction and Survival Guide
Language: English
Release Date: October 26, 2009
This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical point of view. It is aimed at a broad audience of radiologists, clinical administrators, information technologists, medical students, and lecturers. The book provides a gradual, down...
Cyberspace and International Relations
Theory, Prospects and Challenges
Language: English
Release Date: November 8, 2013
Cyberspace is everywhere in today’s world and has significant implications not only for global economic activity, but also for international politics and transnational social relations. This compilation addresses for the first time the “cyberization” of international relations - the growing...
by Thom Frühwirth, Slim Abdennadher
Language: English
Release Date: March 14, 2013
Language: English
Release Date: March 14, 2013
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi natorial problems, as they are abundant in industry and commerce, such as scheduling,...
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVI
Special Issue on Data and Security Engineering
Language: English
Release Date: November 27, 2017
This volume, the 36th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains eight revised, extended papers selected from the 3rd International Conference on Future Data and Security Engineering, FDSE 2016, and the 10th International Conference on Advanced Computing and...
Combinatorial Optimization
Theory and Algorithms
Language: English
Release Date: March 13, 2018
This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This...