This book constitutes the refereed proceedings of the 20th International Conference on Implementation and Application of Automata, CIAA 2015, held in held in Umeå, Sweden, in August 2015. The 22 revised full papers presented together with 4 invited papers and 2 toool demonstration papers were carefully reviewed and selected from 49 submissions. The papers cover all aspects of cover automata, …
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
M. R. James (1862–1936), best known as a writer of chilling ghost stories, was an outstanding scholar of medieval literature and palaeography, who served both as Provost of King's College, Cambridge, and as Director of the Fitzwilliam Museum. His detailed descriptive catalogues of manuscripts owned by colleges, cathedrals and museums are still of value to scholars today. This two-volume catal…
The construction of the first Westminster Bridge, upon which Wordsworth composed his famous sonnet, presented many challenges in terms of the materials and methods with which a sturdy bridge could be built in tidal water and on a gravelly riverbed. A number of candidates presented their surveys to the commissioners of the bridge, but it was the Swiss-born Charles Labelye (1705–62) who was app…
Topics in Modal Analysis, Volume 10: Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015, the tenth volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Structural Dynamics, including papers on: E…
Topics in Modal Analysis & Testing, Volume 10. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the tenth volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applie…
The first volume in this new text book series covers comprehensively relevant aspects related to the appearance and characterisation of fossil matter in the geosphere such as kerogen, oil, shales and coals. As organic geochemistry is a modern scientific subject characterized by a high transdisciplinarity and located at the edge of chemistry, environmental sciences, geology and biology, there cl…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
First published in 1826, at a time when the earth sciences were in a state of confusion and controversy, this pioneering study of volcanic action by Charles Daubeny (1795–1867) was significant in promoting the scientific method and the science of geology, at the same time establishing the author's international reputation. Having studied medicine, Daubeny increasingly turned his attention to …
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…