Filter by
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
The Distribution of Income and Wealth
This book presents a systematic overview of cutting-edge research in the field of parametric modeling of personal income and wealth distribution, which allows one to represent how income/wealth is distributed within a given population. The estimated parameters may be used to gain insights into the causes of the evolution of income/wealth distribution over time, or to interpret the differences b…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27410-2
- Collation
- XVI, 177
- Series Title
- New Economic Windows
- Call Number
- -
The Digital Synaptic Neural Substrate
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a computer can be imbued with the 'spark' of creativity that enables it to compose chess problems or puzzles that are both challenging and aesthetically appealing to humans. This new approach called the Digital Synaptic Neural Substrate (DSNS) mimics the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28079-0
- Collation
- XV, 119
- Series Title
- SpringerBriefs in Cognitive Computation
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Nov…
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-26560-5
- Collation
- XVII, 702
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Advances in Modelling and Control of Non-integer-Order Systems: 6th Conferenc…
This volume presents selected aspects of non-integer, or fractional order systems, whose analysis, synthesis and applications have increasingly become a real challenge for various research communities, ranging from science to engineering. The spectrum of applications of the fractional order calculus has incredibly expanded, in fact it would be hard to find a science/engineering-related subject …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-09900-2
- Collation
- XIV, 295
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 519.4 ADV a
Advances in Mathematical Economics Volume 20
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-981-10-0476-6
- Collation
- VIII, 189
- Series Title
- Advances in Mathematical Economics
- Call Number
- 519.2 ADV a
Advances in Mathematical Economics Volume 19
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-4-431-55489-9
- Collation
- V, 138
- Series Title
- Advances in Mathematical Economics
- Call Number
- 519.2 ADV a
Advances in Latent Variables: Methods, Models and Applications
The book, belonging to the series “Studies in Theoretical and Applied Statistics– Selected Papers from the Statistical Societies”, presents a peer-reviewed selection of contributions on relevant topics organized by the editors on the occasion of the SIS 2013 Statistical Conference "Advances in Latent Variables. Methods, Models and Applications", held at the Department of Economics and Man…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-02967-2
- Collation
- IX, 285
- Series Title
- Studies in Theoretical and Applied Statistics
- Call Number
- 519.5 ADV a
The Convergence Problem for Dissipative Autonomous Systems
The book investigates classical and more recent methods of study for the asymptotic behavior of dissipative continuous dynamical systems with applications to ordinary and partial differential equations, the main question being convergence (or not) of the solutions to an equilibrium. After reviewing the basic concepts of topological dynamics and the definition of gradient-like systems on a metri…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23407-6
- Collation
- XII, 142
- Series Title
- SpringerBriefs in Mathematics
- Call Number
- -
The Congruences of a Finite Lattice
"There exist a lot of interesting results in this area of lattice theory, and some of them are presented in this book. [This] monograph…is an exceptional work in lattice theory, like all the contributions by this author. … The way this book is written makes it extremely interesting for the specialists in the field but also for the students in lattice theory. Moreover, the author provides a …
- Edition
- -
- ISBN/ISSN
- 978-3-319-38798-7
- Collation
- XXXIV, 346
- Series Title
- 978-3-319-38798-7
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography