- Table View
- List View
Mobilities on the Margins: Creative Processes of Place-Making (Arctic Encounters)
by Katrín Anna Lund Gunnar Thór Jóhannesson Björn Thorsteinsson Guðbjörg R. JóhannesdóttirThis open access book examines places on the margins and the dynamics through which a marginal position of a place is created. Specifically, it explores how places, mostly in sparsely populated areas, often perceived as immobile and frozen in time, come into being and develop through interference of everyday mobilities and creative practices that cut across the spheres of culture and nature as usually defined. Through fieldwork and case studies from areas in Iceland, Finland, Greenland, and Scotland, the book’s twelve chapters draw out the multiple relations through which places emerge, where people compose their lives as best they can with their surroundings. A special concern is to explore the links between travelling, landscape, and material culture and how places and margins are enacted through mobilities and creative practices of humans and other beings. The emphasis on mobility disturbs the perception of a place as a bounded entity and offers a useful and necessary understanding of places as mobile and fluid. Mobilities on the Margins is a novel and timely contribution to the exploration of human and more-than-human interactions in a world of increasingly fluid mobilities and insistent crises.
Mobility Engineering
by Purnendu Ghosh Mahesh Chandra TandonThe book contains the proceedings of CAETS 2015 Convocation on 'Pathways to Sustainability: Energy, Mobility and Healthcare Engineering' that was held on October 13-14, 2015 in New Delhi. This 3 volume proceedings provide an international forum for discussion and communication of engineering and technological issues of common concern. This volume talks about 'Mobility' and includes 14 chapters on diverse topics like creating sustainable transportation systems, mobility of the future, unique engineering features like Delhi metro, digitally re-imagining mobility, trends and future strategies of transportation electrification, etc. The contents of this book will be useful to researchers, professionals, and policy makers alike.
Mobility Internet of Things 2018: Mobility IoT (EAI/Springer Innovations in Communication and Computing)
by Dagmar Cagáňová Natália HorňákováThe scientific monograph Mobility IoT deals with innovative technologies influencing industry and connectivity sectors in the future industrial, urban, social and sustainable development. The mobility and Internet of Things are worldwide phenomena almost in everyday life. It is a challenge in many industries, not only in car manufacturing sector but additionally in e-mobility, smart cities, smart factories (Industry 4.0), smart logistics, social mobility, technological innovations, sustainability, multicultural development, Internet of Things sectors, etc., belonging to the topic of SMART Mobility IoT issue.Features practical, tested applications in Internet of Things mobility as presented at Mobility IoT 2018Includes application domains such as urban mobility, smart factory, social mobility, and sustainabilityApplicable to researchers, academics, students, and professionals
Mobility Management
by Bo Hu Shanzhi Chen Yan Shi Ming AiThis is the first book devoted to mobility management, covering the important principles, technologies and applications of mobility management based on years of academic research and industry experiences. The content is organized according to the reference models proposed by the authors, and emphasizes on technical principles rather than protocol details; a systematic and comprehensive introduction is presented yet without losing focuses; the existing technologies in cellular system, mobile Internet and IMS/SIP are also extensively compared. This book can be an indispensable reference for mobile communication engineers, computer network engineers, researchers and anyone else involved in academic, industrial and standardization activities on mobility management.
Mobility Management in LTE Heterogeneous Networks
by Abhay Karandikar Nadeem Akhtar Mahima MehtaThis book is the first of its kind, compiling information on the Long-Term Evolution (LTE) standards, which are enhanced to address new mobility-related challenges in Heterogeneous Networks (HetNets). It identifies the related challenges and discusses solutions and the simulation methodology for modeling HetNet mobility - cutting-edge information that was previously accessible only in the form of 3GPP specifications and documents, and research papers. The book reviews the current LTE mobility framework and discusses some of the changes for enhancing mobility management in HetNets. It describes the measurement procedures, handover (HO) mechanisms and HO success/failure scenarios. HetNets are intended to provide very high spectral efficiency while ensuring seamless coverage by deploying low-power nodes within the umbrella macrocell network. While mobility management in homogeneous networks is well understood, LTE standards are being enhanced to address the HetNet-specific mobility management challenges emerging. The book addresses these aspects in a succinct and understandable form, offering a valuable resource for researchers and professionals working in the area of HetNet mobility and a ready reference guide for practicing engineers and researchers.
Mobility Models for Next Generation Wireless Networks
by Paolo SantiMobility Models for Next Generation Wireless Networks: Ad Hoc, Vehicular and Mesh Networks provides the reader with an overview of mobility modelling, encompassing both theoretical and practical aspects related to the challenging mobility modelling task. It also:Provides up-to-date coverage of mobility models for next generation wireless networksOffers an in-depth discussion of the most representative mobility models for major next generation wireless network application scenarios, including WLAN/mesh networks, vehicular networks, wireless sensor networks, and opportunistic networksDemonstrates the practices for designing effective protocol/applications for next generation wireless networksIncludes case studies showcasing the importance of properly understanding fundamental mobility model properties in wireless network performance evaluation
Mobility Protocols and Handover Optimization
by Henning Schulzrinne Ashutosh DuttaThis book provides a common framework for mobility management that considers the theoretical and practical aspects of systems optimization for mobile networks.In this book, the authors show how an optimized system of mobility management can improve the quality of service in existing forms of mobile communication. Furthermore, they provide a theoretical approach to mobility management, as well as developing the model for systems optimization, including practical case studies using network layer and mobility layer protocols in different deployment scenarios. The authors also address the different ways in which the specific mobility protocol can be developed, taking into account numerous factors including security, configuration, authentication, quality of service, and movement patterns of the mobiles.Key Features:Defines and discusses a common set of optimization methodologies and their application to all mobility protocols for both IPv4 and IPv6 networksApplies these technologies in the context of various layers: MAC layer, network layer, transport layer and application layer covering 802.11, LTE, WiMax, CDMA networks and protocols such as SIP, MIP, HIP, VoIP, and many moreProvides a thorough analysis of the required steps during a mobility event such as discovery, network selection, configuration, authentication, security association, encryption, binding update, and media directionIncludes models and tables illustrating the analysis of mobility management as well as architecture of sample wireless and mobility test beds built by the authors, involving inter-domain and intra-domain mobility scenariosThis book is an excellent resource forprofessionals and systems architects in charge of designing wireless networks for commercial (3G/4G), LTE, IMS, military and Ad Hoc environment. It will be useful deployment guide for the architects wireless service providers. Graduate students, researchers in industry and academia, and systems engineers will also find this book of interest.
Mobility and Degradation of Organic Contaminants in Subsurface Environments
by Warren J. LymanThis book identifies the most important "rules" governing transport, partitioning, retention and transformation of leaked motor fuels in the underground environment. It examines micro-scale fate and transport processes as a means toward promoting a better understanding of larger scale movement of contaminants. Environmental scientists, engineers, consultants, and managers will find Mobility and Degradation of Organic Contaminants in Subsurface Environments to be a useful technical handbook. Less experienced users will appreciate its in-depth explanations of the fate and transport processes vital to effective remedial response. More experienced users will use the book as a source of information, data and equations to support quantitative assessments of pollutant fate and transport.
Mobility for Smart Cities and Regional Development - Challenges for Higher Education: Proceedings of the 24th International Conference on Interactive Collaborative Learning (ICL2021), Volume 1 (Lecture Notes in Networks and Systems #389)
by Michael E. Auer Thomas Köhler Hanno Hortsch Oliver MichlerThis book presents recent research on interactive collaborative learning. We are currently witnessing a significant transformation in the development of education and especially post-secondary education. To face these challenges, higher education has to find innovative ways to quickly respond to these new needs. On the one hand, there is a pressure by the new situation in regard to the COVID pandemic. On the other hand, the methods and organizational forms of teaching and learning at higher educational institutions have changed rapidly in recent months. Scientifically based statements as well as excellent experiences (best practice) are absolutely necessary.These were the aims connected with the 24th International Conference on Interactive Collaborative Learning (ICL2021), which was held online by Technische Universität Dresden, Germany, on 22–24 September 2021.Since its beginning in 1998, this conference is devoted to new approaches in learning with a focus on collaborative learning in Higher Education. Nowadays, the ICL conferences are a forum of the exchange of relevant trends and research results as well as the presentation of practical experiences in Learning and Engineering Pedagogy. In this way, we try to bridge the gap between ‘pure’ scientific research and the everyday work of educators.This book contains papers in the fields of Teaching Best Practices Research in Engineering Pedagogy Engineering Pedagogy Education Entrepreneurship in Engineering Education Project-Based Learning Virtual and Augmented Learning Immersive Learning in Healthcare and Medical Education. Interested readership includes policymakers, academics, educators, researchers in pedagogy and learning theory, schoolteachers, learning industry, further and continuing education lecturers, etc
Mobility for Smart Cities and Regional Development - Challenges for Higher Education: Proceedings of the 24th International Conference on Interactive Collaborative Learning (ICL2021), Volume 2 (Lecture Notes in Networks and Systems #390)
by Michael E. Auer Thomas Köhler Hanno Hortsch Oliver MichlerThis book presents recent research on interactive collaborative learning. We are currently witnessing a significant transformation in the development of education and especially post-secondary education. To face these challenges, higher education has to find innovative ways to quickly respond to these new needs. On the one hand, there is a pressure by the new situation in regard to the COVID pandemic. On the other hand, the methods and organizational forms of teaching and learning at higher educational institutions have changed rapidly in recent months. Scientifically based statements as well as excellent experiences (best practice) are absolutely necessary.These were the aims connected with the 24th International Conference on Interactive Collaborative Learning (ICL2021), which was held online by Technische Universität Dresden, Germany, on 22–24 September 2021.Since its beginning in 1998, this conference is devoted to new approaches in learning with a focus on collaborative learning in Higher Education. Nowadays, the ICL conferences are a forum of the exchange of relevant trends and research results as well as the presentation of practical experiences in Learning and Engineering Pedagogy. In this way, we try to bridge the gap between ‘pure’ scientific research and the everyday work of educators.This book contains papers in the fields ofTeaching Best PracticesResearch in Engineering PedagogyEngineering Pedagogy EducationEntrepreneurship in Engineering EducationProject-Based LearningVirtual and Augmented LearningImmersive Learning in Healthcare and Medical Education.Interested readership includes policymakers, academics, educators, researchers in pedagogy and learning theory, schoolteachers, learning industry, further and continuing education lecturers, etc
Mobility of Visually Impaired People
by Edwige Pissaloux Ramiro VelazquezThis book discusses the design of the new mobility assistive information and communication technologies (ICT) devices for the visually impaired. The book begins with a definition of the space concept, followed by the concept of interaction with a space during mobility and this interaction characteristics. The contributors will then examine the neuro-cognitive basis of space perception for mobility and different theories of space perception. The text presents the existing technologies for space perception (sense recovery with stem and iPS cells, implants, brain plasticity, sensory substitution devices, multi modal technologies, etc.), the newest technologies for mobility assistance design, the way the feedback on environment is conveyed to the end-user. Methods for formative and summative evaluations of the mobility devices will also be discussed. The book concludes with a look to the future trends in research and technology development for mobility assistive information and communication technologies. <P><P><i>Advisory: Bookshare has learned that this book offers only partial accessibility. We have kept it in the collection because it is useful for some of our members. Benetech is actively working on projects to improve accessibility issues such as these.</i>
Mobility, Data and Learner Agency in Networked Learning (Research in Networked Learning)
by Thomas Ryberg Maarten De Laat Petar Jandrić Nina Bonderup DohnThe chapters in this book are based on selected peer reviewed research papers presented at the 11th biennial Networked Learning Conference (NLC) 2018 held in Zagreb and were chosen as exemplars of cutting edge research on networked learning. The chapters are organized into three main sections: 1) Aspects of mobility for Networked Learning in a global world, 2) Use and misuse of algorithms and learning analytics, 3) Understanding and empowering learners. The three main sections are flanked by chapters which introduce and reflect on Networked Learning as epistemic practice. The concluding chapter draws out perspectives from the chapters and discusses emerging issues. The book focuses on the nature of learning and interactions as an important characteristic sought out by researchers and practitioners in this field.
Mobility-based Time References for Wireless Sensor Networks
by Fabio Sebastiano Lucien J. Breems Kofi A MakinwaThis book describes the use of low-power low-cost and extremely small radios to provide essential time reference for wireless sensor networks. The authors explain how to integrate such radios in a standard CMOS process to reduce both cost and size, while focusing on the challenge of designing a fully integrated time reference for such radios. To enable the integration of the time reference, system techniques are proposed and analyzed, several kinds of integrated time references are reviewed, and mobility-based references are identified as viable candidates to provide the required accuracy at low-power consumption. Practical implementations of a mobility-based oscillator and a temperature sensor are also presented, which demonstrate the required accuracy over a wide temperature range, while drawing 51-uW from a 1.2-V supply in a 65-nm CMOS process.
Mobility2Grid - Sektorenübergreifende Energie- und Verkehrswende (Energie- und Mobilitätssysteme der Zukunft)
by Dietmar Göhlich Andreas F. RaabDas vorliegende Buch erörtert, wie Energie und Verkehr in der Theorie zusammengedacht und in der Praxis zusammengebracht werden können. Fokussiert auf den urbanen Raum werden in neun Kapiteln sowohl neue Technologiefelder und innovative Geschäftsmodelle vorgestellt als auch Akzeptanzforschung und Wissenstransfer behandelt. Das Buch ist gefüllt mit Erfahrungen aus der Anwendung, Einführung und Umsetzung von Lösungen für die Energie- und Verkehrswende, die im Forschungscampus Mobility2Grid gewonnen wurden. Aus dem interdisziplinären Blickwinkel der verschiedenen Themenfelder werden Erkenntnisse diskutiert, die in der langjährigen Forschungsarbeit gewonnen wurden.Die ZielgruppenDieses Buch richtet sich an qualifizierte Fachkräfte in Unternehmen, Hochschul- und Forschungseinrichtungen, Beratungsunternehmen für Politik, Wirtschaft, Technik, Flotten- und Netzbetreiber, Stadtwerke und einschlägige Verbände. Entstanden aus dem Forschungsumfeld der Wirtschafts- und Wissenschaftseinrichtungen werden aber auch Studierende angesprochen – künftige Gestalter und Entscheidungsträger – die sich für eine Karriere im Umfeld der Energie- und Verkehrssektoren qualifizieren wollen.
Mobilität der Zukunft: Intermodale Verkehrskonzepte (ATZ/MTZ-Fachbuch)
by Wolfgang SiebenpfeifferDieses Fachbuch beschäftigt sich mit der Verkehrswende, durch die neue Mobilitätskonzepte immer mehr in den Blick der Öffentlichkeit rücken. Dabei gilt es alle gesellschaftlichen Kreise in die sich abzeichnenden Veränderungsprozesse mit einzubeziehen. Daher versucht dieses Kompendium aus unterschiedlichen Blickwinkeln und Interessenslagen ein Vorstellung darüber zu vermitteln, vor welchen Herausforderungen eine zukunftsfähige Mobilität steht. Der Schwerpunkt der Betrachtung liegt dabei auf dem Straßenverkehr. Mit 39 Beiträgen von mehr als 50 Autoren aus Politik, Wirtschaft, Verwaltungen, Forschungseinrichtungen und Verbänden ist ein Gesamtwerk entstanden, das der Orientierung dienen und die Komplexität dieses Themas verständlich machen soll. Dankenswerterweise ist es dem Autorenkreis gelungen, die schwierigen Fragestellungen so darzustellen, dass sie nicht nur Experten auf diesem Fachgebiet nützt, sondern sich auch einer interessierten Öffentlichkeit erschließt. In vielen Beiträgen kommt angesichts des globalen Klimawandels und der notwendigen Emissionsreduzierungen des Verkehrs zum Ausdruck, dass die diskutierten Maßnahmen zur Vermeidung von Belastungen einen Kraftakt auslösen und die Gesellschaft dadurch herausgefordert wird. Umso mehr kann eine fundierte und zielorientierte Faktenlage dazu beitragen, die angesprochenen Vorschläge und Aufgaben im Sinne einer erfolgreichen und nachhaltigen Mobilitätsstrategie voranzutreiben.
Mobilitätswende – autonome Autos erobern unsere Straßen
by Johannes RitzDieses Buch beleuchtet die unterschiedlichen Facetten einer Mobilität mit selbstfahrenden (autonomen) Fahrzeugen. Angefangen bei der Elektromobilität, werden die Parkplatzproblematik, Carsharing und Haftungsfragen unter dem Aspekt einer zunehmenden Verbreitung autonomer Fahrzeuge betrachtet. Auch ökonomische und umweltpolitische Fragen sind aufgeworfen (Ressourcenknappheit, Klimawandel, automatisierte Logistik) und versucht zu beantworten. Können Maschinen moralisch handeln, wie steht es um die Cybersicherheit und den Technikmissbrauch, sind weitere Fragen, die in diesem Buch thematisiert werden.
Moby-Duck: The True Story Of 28,800 Bath Toys Lost At Sea And Of The Beachcombers, Oceanographers, Environmentalists, And Fools, Including The Author, Who Went In Search Of Them
by Donovan HohnLa verdadera historia de 28.800 patitos de goma y otros muñecos perdidos en el mar y de los oceanógrafos, ecologistas y demás lunáticos que salieron en su busca. Una odisea accidental. El 10 de enero de 1992 una tormenta sorprendió a un carguero que cruzaba el Pacífico de Hong Kong a Washington. Doce contenedores cayeron al mar. Uno de ellos se abrió y liberó 28.800 bolsitas de juguetes de plástico al mar. 7.200 patitos amarillos, 7.200 ranas verdes, 7.200 castores rojos y 7.200 tortugas azules navegaron las corrientes oceánicas hasta naufragar, ser presa de los animales marinos o quedar varados en playas inexploradas. El periodista Donovan Hohn leyó la noticia y decidió seguir el rastro a los juguetes de plástico. Su aventura lo llevó a lugares tan diversos como China, Alaska, Hawai, Escocia o el Ártico. Su estudió sirvió a miles de biólogos y oceanógrafos en todo el mundo para conocer las corrientes marinas al analizar el camino que habían seguido los patos. Pero descubrió una realidad mucho más aterradora: la de miles de objetos que caen o se tiran al mar todos los años y el peligro que estos suponen para los animales que habitan los océanos. Reseñas:«Yo leo Moby-Duck y recupero la excitación nerviosa de los grandes relatos de viajes que me gustaban tanto en mi adolescencia apocada y sedentaria, los inventados por Verne y Stevenson y los vividos de verdad por tantos exploradores que le revelaban a uno, aunque no hubiera salido de su pueblo, la maravilla de la amplitud y la variedad del mundo».Antonio Muñoz Molina «Una odisea quijotesca que despierta una enigmática curiosidad a la vez que nos descubre una gran problemática. Una obra que recoge lo mejor de las novelas de navegantes con un estilo periodístico locuaz, esta fascinante narración es el Moby-Dock de los patitos de goma a la deriva».Publishers Weekly «Como la novela de la que, al menos en parte, toma su nombre, Moby-Duck es una obra maestra de aventuras, ciencia, exploraciones y muchas más cosas, todo narrado con delicia».Nathaniel Philbrick, autor de The Last Stand «Una crónica finamente urdida... un viaje de descubrimiento delicioso y lleno de arte».Kirkus Reviews «Moby-Duck, una aventura maravillosamente premeditada y picaresca, nos lleva en un viaje transoceánico a través de un mundo moderno amenazado por su propia adicción al plástico. Se trata de un relato enormemente mordaz e ingenioso de héroes, villanos y juguetes de baño».Philip Hoare, autor de The Whale «¿Qué hacer con un libro como Moby-Duck? El punto de partida puede ser una nimiedad pero lo cierto es que es un tema de enorme profundidad y trasfondo medioambiental. Así que esto es lo que tienes que hacer con un libro como Moby-Duck: leerlo dos veces».Tom Bissell, autor de Chasing the Sea
Modal Testing: A Practitioner's Guide
by Peter AvitabileThe practical, clear, and concise guide for conducting experimental modal tests Modal Testing: A Practitioner's Guide outlines the basic information necessary to conduct an experimental modal test. The text draws on the author’s extensive experience to cover the practical side of the concerns that may arise when performing an experimental modal test. Taking a hands-on approach, the book explores the issues related to conducting a test from start to finish. It covers the cornerstones of the basic information needed and summarizes all the pertinent theory related to experimental modal testing. Designed to be accessible, Modal Testing presents the most common excitation techniques used for modal testing today and is filled with illustrative examples related to impact testing which is the most widely used excitation technique for traditional experimental modal tests. This practical text is not about developing the details of the theory but rather applying the theory to solve real-life problems, and: • Delivers easy to understand explanations of complicated theoretical concepts • Presents basic steps of an experimental modal test • Offers simple explanations of methods to obtain good measurements and avoid the common blunders typically found in many test approaches • Focuses on the issues to be faced when performing an experimental modal test • Contains full-color format that enhances the clarity of the figures and presentations Modal Testing: A Practitioner's Guide is a groundbreaking reference that treats modal testing at the level of the practicing engineer or a new entrant to the field of experimental dynamic testing.
Modalanalyse (Fachwissen Technische Akustik)
by Michael MöserIn diesem Band der Reihe Fachwissen Technische Akustik wird das Verfahren der experimentellen Modalanalyse vorgestellt. Mit diesem Verfahren können die von der Ausbreitung von Luft- und Körperschall bestimmten dynamischen Eigenschaften von Systemen untersucht werden. Beispiele für solche Systeme sind Strukturen im Maschinen- und Fahrzeugbau oder auch kleinere Innenräume, deren akustischen Verhalten von Interesse ist. In einer Einführung wird zunächst auf den Zusammenhang des physikalischen Modells und des systemtheoretischen Modells eingegangen sowie der Nutzen des modalen Modells für die Beschreibung der Systemeigenschaften erläutert. Danach wird die dem modalen Modell zugrunde liegende Theorie sowie der Zusammenhang der modalen Parameter mit den im Systemmodell verwendeten Frequenzgängen dargestellt. Verschiedene Verfahren der experimentellen Modalanalyse werden diskutiert, darunter sowohl solche zur getrennten Bestimmung einzelner modaler Parameter als auch solche, bei denen eine Vielzahl modaler Parameter gleichzeitig aus den gemessenen Frequenzgängen ermittelt wird. Zusätzlich wird auf das praktische Vorgehen bei der Gewinnung der dazu notwendigen Messdaten und die Möglichkeiten zur Überprüfung der Ergebnisse eingegangen. Zur Demonstration der verschiedenen Möglichkeiten und Verfahren wird ein einfaches praktisches Beispiel ausführlich behandelt. Das umfasst die Vorgehensweise bei der Messung ebenso wie die Anwendung unterschiedlich aufwändiger Verfahren zur Extraktion der modalen Parameter. Dazu werden zahlreiche Ergebnisse gezeigt, so dass Möglichkeiten und Grenzen der experimentellen Modalanalyse deutlich werden.
Model Based Approach for Energy and Resource Efficient Machining Systems (Sustainable Production, Life Cycle Engineering and Management)
by Nadine MadanchiThis book provides a concept to analyze and increase the energy and resource efficiency of machining systems. Machining systems are widely used to produce workpieces in large quantities and with complex geometrical shapes. These systems, however, are also relevant in terms of energy and resource consumption, which is strongly connected to the choice of cutting fluid strategy. Within the focus of the concept, cutting fluid connects the elements of the machining system and results in interactions between them. Based on this description and an extensive literature review, a modeling approach is developed that comprises the relations between process parameters, cutting fluid strategies, and relevant machining system elements. The performance of the machining system is assessed with regard to environmental, economic as well as technological indicators and improved by various organizational and technical measures. The exemplary application of the developed concept is carried out in the context of two case studies and also indicates the corresponding effects of improvement measures.
Model Based Systems Engineering
by Patrice MicouinThis book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration. It goes on to address methodological issues and proposes a methodic approach of MBSE that provides, unlike current practices, systematic and integrated model-based engineering processes. An annex describes relevant features of the VHDL-AMS language supporting the methodological issues described in the book.
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings (Lecture Notes in Computer Science #13872)
by Georgiana Caltais Christian SchillingThis book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (Lecture Notes in Computer Science #14624)
by Anton Wijs Thomas NeeleThis book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.
Model Engine-Making: In Theory and Practice
by J. PocockFirst published in 1888 for beginners, Model Engine-Making is a fascinating and comprehensive guide to building your first steam engine. While steam is no longer "the most important power of the day," this book remains a fascinating in-depth resource for those with either a theoretical or practical interest in building and using small steam engines. Included within this book are over 100 detailed diagrams drawn by the author to illustrate the process of building each engine, including:A simple single-action oscillating cylinder engineMore complex horizontal and vertical slide-valve enginesLaunch, marine, and locomotive enginesAnd finally, even a model boiler!Whether you are a model engine aficionado or love learning about the history of steam engines, this long-standing classic should be in your library.
Model Fire in a Two-Storey Timber Building (SpringerBriefs in Fire)
by Jozef Štefko Anton Osvald Linda Makovická Osvaldová Pavol Sedlák Jaroslava ŠtefkováThis book addresses the performance of a multi-storey timber building subjected to a model fire that represents a real, potentially devastating internal fire. Readers will learn about factors concerning fire hazards in buildings; the mechanisms of how fires start and spread; and the degrading impact of fire on wood and wood-based materials, especially their mechanical properties. The book also discusses the fire resistance of timber buildings and the design principles for fire safety, summarised in Eurocodes.In turn, a fire test on a full-size wooden structure demonstrates the principles discussed. The test makes up an essential part of the book, as to its individual steps: the development, planning, execution and subsequent assessment. This is complemented by detailed temperature monitoring at hundreds of individual spots and the reaction of the wood constructions, illustrated in extensive photo documentation. The temperature and fire development presented there show the fire's initial mechanism and its further behaviour in a wood construction. The test proved the feasibility of fire protection and safe design of timber buildings, offering insights that can be generally applied in research, material and construction development. Accordingly, the book will be especially useful for architects, building and fire engineers, as well as researchers dealing with the fire performance of timber buildings.