- Table View
- List View
Traffic Simulation and Data: Validation Methods and Applications
by Winnie Daamen Christine Buisson Serge P. HoogendoornA single source of information for researchers and professionals, Traffic Simulation and Data: Validation Methods and Applications offers a complete overview of traffic data collection, state estimation, calibration and validation for traffic modelling and simulation. It derives from the Multitude Project-a European Cost Action project that incorpo
Tragwerke 1: Theorie und Berechnungsmethoden statisch bestimmter Stabtragwerke (Springer-Lehrbuch)
by Wilfried B. Krätzig Reinhard Harte Konstantin Meskouris Udo WittekDas Standardlehrwerk beschäftigt sich mit der Ermittlung der Kraft- und Verformungszustände von allgemeinen, statisch bestimmten Stabtragwerken sowie von wichtigen Tragwerkstypen. Dabei vereint es die Grundlagen der technischen Mechanik mit der konzeptionellen, tragwerksspezifischen Problemlösung. Dargestellt werden die fundamentalen Abstraktions- und Arbeitsmethoden, die wesentlichen analytischen Berechnungsmethoden werden an typischen Beispielen erläutert. Die Neuauflage berücksichtigt aktuelle Normen und neue Bezeichnungen.
Tragwerke 1
by Konstantin Meskouris Reinhard Harte Udo Wittek Wilfried B. KrätzigDas Standardlehrwerk beschäftigt sich mit der Ermittlung der Kraft- und Verformungszustände von allgemeinen, statisch bestimmten Stabtragwerken sowie von wichtigen Tragwerkstypen. Dabei vereint es die Grundlagen der technischen Mechanik mit der konzeptionellen, tragwerksspezifischen Problemlösung. Dargestellt werden die fundamentalen Abstraktions- und Arbeitsmethoden, die wesentlichen analytischen Berechnungsmethoden werden an typischen Beispielen erläutert. Die Neuauflage berücksichtigt aktuelle Normen und neue Bezeichnungen.
Trails in Kinetic Theory: Foundational Aspects and Numerical Methods (SEMA SIMAI Springer Series #25)
by Giacomo Albi Sara Merino-Aceituno Alessia Nota Mattia ZanellaIn recent decades, kinetic theory - originally developed as a field of mathematical physics - has emerged as one of the most prominent fields of modern mathematics. In recent years, there has been an explosion of applications of kinetic theory to other areas of research, such as biology and social sciences. This book collects lecture notes and recent advances in the field of kinetic theory of lecturers and speakers of the School “Trails in Kinetic Theory: Foundational Aspects and Numerical Methods”, hosted at Hausdorff Institute for Mathematics (HIM) of Bonn, Germany, 2019, during the Junior Trimester Program “Kinetic Theory”. Focusing on fundamental questions in both theoretical and numerical aspects, it also presents a broad view of related problems in socioeconomic sciences, pedestrian dynamics and traffic flow management.
Trails in Modern Theoretical and Mathematical Physics: A Volume in Tribute to Giovanni Morchio
by Andrea Cintio Alessandro MichelangeliThis book celebrates the life and work of the late Giovanni Morchio (1944–2021). It features scientific and anecdotal contributions written by his former colleagues, co-authors, and students, as well as senior scientists who were active witnesses to the dramatic advances in physics and in mathematics that took place during his 50-year-long career. The volume begins with a biographical introduction, detailing Giovanni Morchio’s life and his role as a physicist, mathematician, teacher, and scientist. The core of the book covers a vast spectrum of ideas, reflecting Dr Morchio’s scientific interests. Each chapter develops a specific topic of modern research, ranging from quantum mechanics and quantum field theory to additional themes such as the connection between general relativity and Newtonian gravitation. Every contribution provides a historical retrospective, a survey of advances, an outlook of future perspectives and challenges, and an updated bibliography. The last part collects the authors’ recollections of their professional and personal interactions with Dr Morchio, in recognition of his deep achievements, his exceptional pedagogical qualities, and his praiseworthy social and pro bono commitment. Authored by physicists of international calibre covering a broad range of subjects, the book will be a valuable reference for researchers and students of theoretical and mathematical physics.
Train Your Brain: Challenging Yet Elementary Mathematics (Textbooks in Mathematics)
by Bogumil Kaminski Pawel PralatThe book contains selected problems aimed for high school students that are interested in competing in math competitions or simply for people of all ages and backgrounds who want to expand their knowledge and to challenge themselves with interesting questions. The problems are mostly selected from an extensive collection of problems from Polish Mathematical Olympics and many appear here in English for the first time. Each chapter consists of many sections devoted to a collection of related topics. Each of these sections starts with a problem followed by the necessary background (definitions and theorems used), careful and detailed solution, and discussion of possible generalizations.
Training Data for Machine Learning: Human Supervision from Annotation to Data Science
by Anthony SarkisYour training data has as much to do with the success of your data project as the algorithms themselves because most failures in AI systems relate to training data. But while training data is the foundation for successful AI and machine learning, there are few comprehensive resources to help you ace the process. In this hands-on guide, author Anthony Sarkis--lead engineer for the Diffgram AI training data software--shows technical professionals, managers, and subject matter experts how to work with and scale training data, while illuminating the human side of supervising machines. Engineering leaders, data engineers, and data science professionals alike will gain a solid understanding of the concepts, tools, and processes they need to succeed with training data.With this book, you'll learn how to:Work effectively with training data including schemas, raw data, and annotationsTransform your work, team, or organization to be more AI/ML data-centricClearly explain training data concepts to other staff, team members, and stakeholdersDesign, deploy, and ship training data for production-grade AI applicationsRecognize and correct new training-data-based failure modes such as data biasConfidently use automation to more effectively create training dataSuccessfully maintain, operate, and improve training data systems of record
Training Students to Extract Value from Big Data: Summary of a Workshop
by Committee on Applied Theoretical StatisticsAs the availability of high-throughput data-collection technologies, such as information-sensing mobile devices, remote sensing, internet log records, and wireless sensor networks has grown, science, engineering, and business have rapidly transitioned from striving to develop information from scant data to a situation in which the challenge is now that the amount of information exceeds a human's ability to examine, let alone absorb, it. Data sets are increasingly complex, and this potentially increases the problems associated with such concerns as missing information and other quality concerns, data heterogeneity, and differing data formats. The nation's ability to make use of data depends heavily on the availability of a workforce that is properly trained and ready to tackle high-need areas. Training students to be capable in exploiting big data requires experience with statistical analysis, machine learning, and computational infrastructure that permits the real problems associated with massive data to be revealed and, ultimately, addressed. Analysis of big data requires cross-disciplinary skills, including the ability to make modeling decisions while balancing trade-offs between optimization and approximation, all while being attentive to useful metrics and system robustness. To develop those skills in students, it is important to identify whom to teach, that is, the educational background, experience, and characteristics of a prospective data-science student; what to teach, that is, the technical and practical content that should be taught to the student; and how to teach, that is, the structure and organization of a data-science program. "Training Students to Extract Value from Big Data" summarizes a workshop convened in April 2014 by the National Research Council's Committee on Applied and Theoretical Statistics to explore how best to train students to use big data. The workshop explored the need for training and curricula and coursework that should be included. One impetus for the workshop was the current fragmented view of what is meant by analysis of big data, data analytics, or data science. New graduate programs are introduced regularly, and they have their own notions of what is meant by those terms and, most important, of what students need to know to be proficient in data-intensive work. This report provides a variety of perspectives about those elements and about their integration into courses and curricula.
A Trajectory Description of Quantum Processes. II. Applications: A Bohmian Perspective (Lecture Notes in Physics #831)
by Ángel S. Sanz Salvador Miret-ArtésTrajectory-based formalisms are an intuitively appealing way of describing quantum processes because they allow the use of "classical" concepts. Beginning as an introductory level suitable for students, this two-volume monograph presents (1) the fundamentals and (2) the applications of the trajectory description of basic quantum processes. This second volume is focussed on simple and basic applications of quantum processes such as interference and diffraction of wave packets, tunneling, diffusion and bound-state and scattering problems. The corresponding analysis is carried out within the Bohmian framework. By stressing its interpretational aspects, the book leads the reader to an alternative and complementary way to better understand the underlying quantum dynamics.
Trajectory Optimization and Guidance Methods for Mars Entry
by Shuang Li Xu Liu Xiu-qiang Jiang Yu-ming PengThis book systematically investigates the Mars entry problem from the perspectives of deterministic optimization, uncertainty optimization, and guidance. Began with a detailed review of the robotic missions and human-scaled exploration plans to Mars, theories or concepts of optimal control, uncertainty quantification, robust optimization, model predictive control, sequential convex programming, and computational guidance are subsequently introduced. Correspondingly, this book presents a series of trajectory planning and guidance algorithms to improve the robustness, reliability, and safety of the Mars missions. Because the Mars entry problem is studied using advanced mathematics, including probability theory, optimization theory, and cybernetics, thus the book is primarily designed as a textbook for graduate students in aerospace engineering, aeronautics, and astronautics departments. Engineers and researchers may also use this book as a reference or tutorial to help with the modeling and simulation of the Mars entry problem due to its thorough simulations and analyses.
Trans-Atlantic Migration: The Paradoxes of Exile (African Studies)
by Toyin Falola Niyi AfolabiThis book argues that a new cadre of African immigrants are finding themselves in the New World—mostly well educated, high-income earning professionals, and belonging to the category termed "African brain drain," they constitute the antinomy of those Africans who were forcibly removed from Africa during slavery. Along with this sense of freedom and voluntary migration comes a paradox—that of living in two worlds and negotiating the pleasures and agonies that come with living in exile. For the new African immigrant, the primary factor motivating migration is the desire for a better life whether fleeing political persecution, economic crisis, refugee crisis, or a combination thereof. The overall consequences include displacement, alienation, and the not so enchanting reality of exile. In its encompassing structure and multivalent perspectives, Trans-Atlantic Migration sets in motion the shifting theoretical and pragmatic verity that the new African diaspora and transatlantic migrations are paths laden with paradoxes that only time, negotiations, compromises, and sense of identities can ultimately resolve.
Transactions on Computational Science XL (Lecture Notes in Computer Science #13850)
by Marina Gavrilova C. J. Kenneth Tan Mark Coates Yaoping Hu Henry Leung Arash Mohammadi Konstantinos N. Plataniotis Helder Rodrigues de OliveiraThe LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.This, the 40th issue of the Transactions on Computational Science, is a special issue, comprised of seven papers, and devoted to the developing and novel techniques for Trustworthy Technologies for Autonomous Human-Machine Systems. They include emerging and innovative applications of computer security-based applications, as well as theoretical contributions that are relevant to Trustworthy Technologies for Autonomous Human-Machine Systems.
Transactions on Engineering Technologies: International MultiConference of Engineers and Computer Scientists 2021
by Sio-Iong Ao Oscar Castillo Hideki Katagiri Alan Chan Mahyar A. AmouzegarThis book contains a selection of revised and extended research articles written by prominent researchers participating in the international conference on Advances in Engineering Technologies and Physical Science, held in Hong Kong, October 20–22, 2021. This book demonstrates revised and extended research articles written by prominent researchers participating in the conference. Topics covered include engineering physics, communications systems, control theory, automation, engineering mathematics, scientific computing, electrical engineering, and industrial applications. The book offers the state of art of tremendous advances in engineering technologies and physical science and applications and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.
Transactions on Engineering Technologies: Proceedings of World Congress on Engineering 2021 (Lecture Notes in Electrical Engineering #919)
by Sio-Iong Ao Len GelmanThis book contains a selection of revised and extended research articles written by prominent researchers participating in the international conference on Advances in Engineering Technologies and Physical Science is held in London, UK, during July 7–9, 2021. This book demonstrates revised and extended research articles written by prominent researchers participating in the conference. Topics covered include mechanical engineering, bioengineering, Internet engineering, image engineering, wireless networks, knowledge engineering, manufacturing engineering, and industrial applications. The book offers the state of the art of tremendous advances in engineering technologies and physical science and applications and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.
Transactions on Engineering Technologies: World Congress on Engineering 2018 (Lecture Notes In Electrical Engineering Ser. #275)
by Sio-Iong Ao Len Gelman Haeng Kon KimThis volume contains a selection of revised and extended research articles written by prominent researchers participating in The 26th World Congress on Engineering (WCE 2018) which was held in London, U.K., July 4-6, 2018. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state-of-the-art in engineering technologies and the physical sciences and their applications, and serves as a useful reference for researchers and graduate students working in these fields.
Transactions on Engineering Technologies: World Congress on Engineering 2019 (Lecture Notes In Electrical Engineering Ser. #275)
by Sio-Iong Ao Len Gelman Haeng Kon KimThis book contains a selection of research articles written by prominent researchers participating in The 27th World Congress on Engineering (WCE 2019) which was held in London, UK, July 3–5, 2019. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state of the art in engineering technologies and the physical sciences and their applications and serves as a useful reference for researchers and graduate students working in these fields.
Transactions on Engineering Technologies: World Congress on Engineering and Computer Science 2017 (Lecture Notes In Electrical Engineering #275)
by Sio-Iong Ao Haeng Kon Kim Mahyar A. AmouzegarThis volume contains a selection of revised and extended research articles written by prominent researchers participating in a large international conference on Advances in Engineering Technologies and Physical Science which was held in San Francisco, California, USA, October 25-27, 2017. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state-of-the-art in engineering technologies and the physical sciences and their applications, and serves as a useful reference for researchers and graduate students working in these fields.
Transactions on Engineering Technologies: World Congress on Engineering and Computer Science 2018 (Lecture Notes In Electrical Engineering Ser. #275)
by Sio-Iong Ao Haeng Kon Kim Mahyar A. AmouzegarThis book features a selection of revised and extended research articles written by prominent researchers who participated in the 26th World Congress on Engineering and Computer Science (WCECS 2018), held in San Francisco, USA, on October 23–25, 2018. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented at the conference and highlighting the state of the art in engineering technologies and the physical sciences and their applications, the book is a valuable reference resource for graduate students and researchers working in these fields.
Transactions on Engineering Technologies: World Congress on Engineering and Computer Science 2019 (Lecture Notes In Electrical Engineering Ser. #275)
by Sio-Iong Ao Haeng-Kon Kim Mahyar A. AmouzegarThis book contains a selection of revised and extended research articles written by prominent researchers participating in the 27th World Congress on Engineering and Computer Science (WCECS 2019) which was held in San Francisco, USA, on October 22–24, 2019. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state-of-the-art in engineering technologies and the physical sciences and their applications and serves as a useful reference for researchers and graduate students working in these fields.
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVI: Special Issue on Data Management - Principles, Technologies, and Applications (Lecture Notes in Computer Science #14790)
by Abdelkader Hameurlain Angela Bonifati A Min Tjoa Reza AkbariniaThe LNCS journal Transactions on Large-scale Data and Knowledge-centered Systemsfocuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the maindriving force behind application development in all domains. An increase in the demand forresource sharing across different sites connected through networks has led to an evolution ofdata- and knowledge-management systems from centralized systems to decentralized systemsenabling large-scale distributed applications providing high scalability. This, the 56th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems,contains five fully revised and extended papers selected from the 39th conference on DataManagement - Principles, Technologies and Applications, BDA 2023. The topics cover awide range of timely data management research topics on adaptive learning, personal datamanagement systems, topic discovery in large corpora, spatio-temporal query processing, anddata generation.
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVII (Lecture Notes in Computer Science #14970)
by Abdelkader Hameurlain A Min TjoaThe LNCS journal Transactions on Large-scale Data and Knowledge-centered Systemsfocuses on data management, knowledge discovery, and knowledge processing, which arecore and hot topics in computer science. Since the 1990s, the Internet has become the maindriving force behind application development in all domains. An increase in the demand forresource sharing (e.g. computing resources, services, metadata, data sources) across differentsites connected through networks has led to an evolution of data- and knowledge-managementsystems from centralized systems to decentralized systems enabling large-scale distributedapplications providing high scalability. This, the 57th issue of Transactions on Large-scale Data and Knowledge-centered Systems,contains five fully revised selected regular papers. Topics covered include leveraging machinelearning for effective data management, access control models, reciprocal authorizations,Internet of Things, digital forensics, code similarity search, volunteered geographicinformation, and spatial data quality.
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVI (Lecture Notes in Computer Science #12410)
by Abdelkader Hameurlain A Min TjoaThe LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing (e.g., computing resources, services, metadata, data sources) across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 46th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains six fully revised selected regular papers. Topics covered include an elastic framework for genomic data management, medical data cloud federations, temporal pattern mining, scalable schema discovery, load shedding, and selectivity estimation using linked Bayesian networks.
Transactions on Petri Nets and Other Models of Concurrency IX
by Maciej Koutny Serge Haddad Alex YakovlevThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe 9th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 34th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2013) and the 13th International Conference on Application of Concurrency to System Design (ACSD 2013). It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good view of ongoing concurrent systems and Petri nets research.
Transactions on Petri Nets and Other Models of Concurrency X
by Serge Haddad Jörg Desel Maciej KoutnyThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 8 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency.
Transactions on Petri Nets and Other Models of Concurrency XI
by Maciej Koutny Jörg Desel Jetty KleijnThe 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.