Filter by
OpenMP: Heterogenous Execution and Data Movements:11th International Workshop…
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24594-2
- Collation
- XI, 274
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Decision and Game Theory for Security : 6th International Conference,
This book constitutes the refereed proceedings of the 6th International Conference on Decision and Game Theory for Security, GameSec 2015, held in London, UK, in November 2015. The 16 revised full papers presented together with 5 short papers were carefully reviewed and selected from 37 submissions. Game and decision theory has emerged as a valuable systematic framework with powerful analytical…
- Edition
- -
- ISBN/ISSN
- 9783319255941
- Collation
- x, 371 pages
- Series Title
- -
- Call Number
- 518.1
On Meaningful Scientific Laws
The authors describe systematic methods for uncovering scientific laws a priori, on the basis of intuition, or “Gedanken Experiments”. Mathematical expressions of scientific laws are, by convention, constrained by the rule that their form must be invariant with changes of the units of their variables. This constraint makes it possible to narrow down the possible forms of the laws. It is clo…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-46097-9
- Collation
- XIII, 170
- Series Title
- -
- Call Number
- -
Numerical Semigroups and Applications
This work presents applications of numerical semigroups in Algebraic Geometry, Number Theory, and Coding Theory. Background on numerical semigroups is presented in the first two chapters, which introduce basic notation and fundamental concepts and irreducible numerical semigroups. The focus is in particular on free semigroups, which are irreducible; semigroups associated with planar curves are …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-82325-6
- Collation
- XIV, 106
- Series Title
- RSME Springer Series
- Call Number
- -
Numerical Methods for Nonlinear Partial Differential Equations
The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations. While the development and analysis of numerical methods for linear partial differential equations is nearly complete, only few results are available in the case of nonlinear equations. This monograph devis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13796-4
- Collation
- X, 393
- Series Title
- Springer Series in Computational Mathematics
- Call Number
- -
Numerical Methods and Applications:8th International Conference, NMA 2014, Bo…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15584-5
- Collation
- XII, 313
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Descriptional complexity of formal systems : 17th International Workshop, DCF…
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is conc…
- Edition
- -
- ISBN/ISSN
- 9783319192253
- Collation
- xii, 293 pages
- Series Title
- -
- Call Number
- 518.1
Design and control of swarm dynamics
The book is about the key elements required for designing, building and controlling effective artificial swarms comprised of multiple moving physical agents. Therefore this book presents the fundamentals of each of those key elements in the particular frame of dynamic swarming, specifically exposing the profound connections between these elements and establish some general design principles for…
- Edition
- -
- ISBN/ISSN
- 9789812877512
- Collation
- -
- Series Title
- -
- Call Number
- 518.1
Analysis and Enumeration Algorithms for Biological Graphs
In this work we plan to revise the main techniques for enumeration algorithms and to show four examples of enumeration algorithms that can be applied to efficiently deal with some biological problems modelled by using biological networks: enumerating central and peripheral nodes of a network, enumerating stories, enumerating paths or cycles, and enumerating bubbles. Notice that the correspondin…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-94-6239-097-3
- Collation
- XVII, 151
- Series Title
- Atlantis Studies in Computing
- Call Number
- 511.8 MAR a
Optimized Packings with Applications
This volume presents a selection of case studies that address a substantial range of optimized object packings (OOP) and their applications. The contributing authors are well-recognized researchers and practitioners. The mathematical modelling and numerical solution aspects of each application case study are presented in sufficient detail. A broad range of OOP problems are discussed: these incl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography