Filter by
Languages, Design Methods, and Tools for Electronic System Design; Selected C…
This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification lang…
- Edition
- -
- ISBN/ISSN
- 978-3-319-06317-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Neuronal Network Dynamics in 2D and 3D in vitro Neuroengineered Systems
The book presents a new, powerful model of neuronal networks, consisting of a three-dimensional neuronal culture in which 3D neuronal networks are coupled to micro-electrode-arrays (MEAs). It discusses the main advantages of the three-dimensional system compared to its two-dimensional counterpart, and shows that the network dynamics, recorded during both spontaneous and stimulated activity, dif…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-80758-4
- Collation
- XIII
- Series Title
- Springer Theses
- Call Number
- -
Neutron Applications in Materials for Energy
Neutron Applications in Materials for Energy collects results and conclusions of recent neutron-based investigations of materials that are important in the development of sustainable energy. Chapters are authored by leading scientists with hands-on experience in the field, providing overviews, recent highlights, and case-studies to illustrate the applicability of one or more neutron-based techn…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-34321-1
- Collation
- X
- Series Title
- Neutron Scattering Applications and Techniques
- Call Number
- -
Multiprocessor Scheduling for Real-Time Systems
This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mappi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-08695-8
- Collation
- XV, 228
- Series Title
- Embedded Systems
- Call Number
- -
Neutrino Astrophysics with the ANTARES Telescope
This thesis is devoted to ANTARES, the first underwater neutrino telescope in the Mediterranean sea. As the main scientific analysis, a search for high-energy neutrino emission from the region of the Fermi bubbles has been performed using data from the ANTARES detector. A method for the background estimation using off-zones has been developed specially for this measurement. A new likelihood for…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-38715-4
- Collation
- XIII
- Series Title
- Springer Theses
- Call Number
- -
Everything You Wanted to Know About Data Analysis and Fitting but Were Afraid…
These notes describe how to average and fit numerical data that have been obtained either by simulation or measurement. Following an introduction on how to estimate various average values, they discuss how to determine error bars on those estimates, and how to proceed for combinations of measured values. Techniques for fitting data to a given set of models will be described in the second part o…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19051-8
- Collation
- 4 b/w illustrations, 11 illustrations in colour
- Series Title
- -
- Call Number
- -
More than Moore Technologies for Next Generation Computer Design
Processor Architectures
- Edition
- 1
- ISBN/ISSN
- 978-1-4939-2162-1
- Collation
- IX, 218
- Series Title
- -
- Call Number
- -
Mobile Services for Toy Computing
The goal of this book is to crystallize the emerging mobile computing technologies and trends by focusing on the most promising solutions in services computing. The book will provide clear proof that mobile technologies are playing an increasingly important and critical role in supporting toy computing. The goal of this book is to bring together academics and practitioners to describe the use a…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21322-4
- Collation
- VIII, 192
- Series Title
- International Series on Computer Entertainment and Media Technology
- Call Number
- -
Instruments for New Music : Sound, Technology, and Modernism
Player pianos, radio-electric circuits, gramophone records, and optical sound film—these were the cutting-edge acoustic technologies of the early twentieth century, and for many musicians and artists of the time, these devices were also the implements of a musical revolution. Instruments for New Music traces a diffuse network of cultural agents who shared the belief that a truly modern music …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 714 PAT i
LHC Phenomenology
This book covers a very broad spectrum of experimental and theoretical activity in particle physics, from the searches for the Higgs boson and physics beyond the Standard Model, to detailed studies of Quantum Chromodynamics, the B-physics sectors and the properties of hadronic matter at high energy density as realised in heavy-ion collisions. Starting with a basic introduction to the Standard …
- Edition
- -
- ISBN/ISSN
- 978-3-319-05362-2
- 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