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 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
- -
Learning and Intelligent Optimization: 9th International Conference, LION 9, …
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Learning and Optimization, LION 9, which was held in Lille, France, in January 2015. The 31 contributions presented were carefully reviewed and selected for inclusion in this book. The papers address all fields between machine learning, artificial intelligence, mathematical programm…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19084-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolving Computability 11th Conference on Computability in Europe, CiE 2015,…
This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings. The conference CiE 2015 has six special sessions: two sessions, Representing Streams…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20028-6
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO …
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15934-8
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO …
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimarães, Portugal in March/April 2015. The 68 revised full papers presented together with 4 plenary talks were carefully reviewed and selected from 90 submissions. The EMO 2015 aims to continue these type of developments, being the papers presented…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15892-1
- Collation
- 204 b/w illustrations
- Series Title
- -
- Call Number
- -
Large-Scale Scientific Computing: 10th International Conference, LSSC 2015, S…
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Large-Scale Scientific Computations, LSSC 2015, held in Sozopol, Bulgaria, in June 2015. The 49 revised full papers presented were carefully reviewed and selected from 64 submissions. The general theme for LSSC 2015 was Large-Scale Scientific Computing with a particular focus on …
- Edition
- -
- ISBN/ISSN
- 978-3-319-26520-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation in Combinatorial Optimization 15th European Confere…
This book constitutes the refereed proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo*2015 events EuroGP, EvoMUSART and EvoApplications. The 19 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers cover methodology,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16468-7
- Collation
- 41 b/w illustrations
- Series Title
- -
- Call Number
- -
Modelling and Simulation for Autonomous Systems
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions. They are organized in the following topical sections: state of the ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22382-7
- Collation
- XII, 241
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography