Filter by
Theory and Applications of Models of Computation 12th Annual Conference, TAM…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17142-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Applications of Evolutionary Computation: 18th European Conference, EvoApplic…
This book constitutes the refereed conference proceedings of the 18th International Conference on the Applications of Evolutionary Computation, EvoApplications 2015, held in Copenhagen, Spain, in April 2015, colocated with the Evo 2015 events EuroGP, EvoCOP, and EvoMUSART. The 72 revised full papers presented were carefully reviewed and selected from 125 submissions. EvoApplications 2015 consis…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16549-3
- Collation
- XXVII, 913
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 APP a
Applications and Techniques in Information Security: 6th International Confer…
This book constitutes the refereed proceedings of the International Conference on Applications and Techniques in Information Security, ATIS 2015, held in Beijing, China, in November 2015. The 25 revised full papers and 10 short papers presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on invited speeches; cryptograph; evaluation, …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-48683-2
- Collation
- XVII, 398
- Series Title
- Communications in Computer and Information Science
- Call Number
- 511.8
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technol…
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to deb…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26427-1
- Collation
- X, 199
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography