Advancement of Optical Methods in Experimental Mechanics, Volume 3: Proceedings of the 2014 Annual Conference on Experimental and Applied Mechanics, the third volume of eight from the Conference, brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on a wide range of optical methods ranging from traditional ph…
This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline constraints, and how to use closed-form mathematical approaches to characterize highly variable work…
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in Barcelona, Spain. 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 ve…
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…
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…
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…
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…
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…
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…
Processor Architectures