Filter by
Topological States on Interfaces Protected by Symmetry
In this book, the author theoretically studies two aspects of topological states. First, novel states arising from hybridizing surface states of topological insulators are theoretically introduced. As a remarkable example, the author shows the existence of gapless interface states at the interface between two different topological insulators, which belong to the same topological phase. While…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55534-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Topological Dimension and Dynamical Systems
Translated from the popular French edition, the goal of the book is to provide a self-contained introduction to mean topological dimension, an invariant of dynamical systems introduced in 1999 by Misha Gromov. The book examines how this invariant was successfully used by Elon Lindenstrauss and Benjamin Weiss to answer a long-standing open question about embeddings of minimal dynamical systems i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19794-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Improving Energy Decisions: Towards Better Scientific Policy Advice for a Saf…
Managing a successful transition of the current energy supply system to less carbon emitting options, ensuring a safe and secure supply during the whole process and in the long term, is one of the largest challenges of our time. Various approaches and first implementations show that it is not only technological issue, but also a matter of societal acceptance and acceptability, considering basic…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11345-6
- Collation
- XLIII, 257
- Series Title
- -
- Call Number
- 338 IMP
Implementing IT Processes: The Main 17 IT Processes and Directions for a Succ…
Information Technology plays a major role in our society. Due to system integration and process automation, a company has to rely on performant information systems. To achieve this objective, it is important to have relevant IT processes in place on the one hand to ensure current operation and on the other hand to enable the successful introduction of new technologies. Once IT processes are def…
- Edition
- -
- ISBN/ISSN
- 978-3-658-04772-6
- Collation
- XIV, 239
- Series Title
- -
- Call Number
- 004 IMP
Foundations and Practice of Security
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software se…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17040-4
- Collation
- XIII, 375 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Topics in Modal Analysis & Testing, Volume 10 Proceedings of the 34th IMAC, …
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30249-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics in Cryptology –- CT-RSA 2015 The Cryptographer's Track at the RSA C…
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2015, CT-RSA 2015, held in San Francisco, CA, USA, in April 2015. The 26 papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the track is on following subjects: timing attacks, design and analysis of block ciphers, attribute and identity based enc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16715-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Formation and Containment Control for High-order Linear Swarm Systems
This book focuses on analysis and design problems for high-order linear time-invariant (LTI) swarm systems (multi-agent systems) to achieve consensus, formation, containment and formation-containment. As a first step, the concepts of practical consensus and formation-containment are introduced. Unlike previous research, the formation in this book can be time-varying. A general framework for con…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47836-3
- Collation
- XIX, 170 pages
- Series Title
- Springer Theses
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography