Filter by
Earthquake-induced structural pounding
This books analyzes different approaches to modeling earthquake-induced structural pounding and shows the results of the studies on collisions between buildings and between bridge segments during ground motions. Aspects related to the mitigation of pounding effects as well as the design of structures prone to pounding are also discussed. Earthquake-induced structural pounding between insufficie…
- Edition
- -
- ISBN/ISSN
- 9783319163246
- Collation
- xv, 156 pages
- Series Title
- -
- Call Number
- 624.1762
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Field-effect Self-mixing Terahertz Detectors
A comprehensive device model considering both spatial distributions of the terahertz field and the field-effect self-mixing factor has been constructed for the first time in the thesis. The author has found that it is the strongly localized terahertz field induced in a small fraction of the gated electron channel that plays an important role in the high responsivity. An AlGaN/GaN-based high-ele…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48681-8
- Collation
- 80 b/w illustrations, 4 illustrations in colour
- Series Title
- -
- Call Number
- -
Heat Transfer and Pressure Drop in Flow Boiling in Microchannels
This Brief addresses the phenomena of heat transfer and pressure drop in flow boiling in micro channels occurring in high heat flux electronic cooling. A companion edition in the Springer Brief Subseries on Thermal Engineering and Applied Science to “Critical Heat Flux in Flow Boiling in Micro channels,” by the same author team, this volume is idea for professionals, researchers and graduat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20284-6
- Collation
- X, 55
- Series Title
- -
- Call Number
- 621 SAH h
Heat Transfer Modeling:An Inductive Approach
This innovative text emphasizes a "less-is-more" approach to modeling complicated systems such as heat transfer by treating them first as "1-node lumped models" that yield simple closed-form solutions. The author develops numerical techniques for students to obtain more detail, but also trains them to use the techniques only when simpler approaches fail. Covering all essential methods offered i…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14513-6
- Collation
- XVIII, 516
- Series Title
- -
- Call Number
- 621 SID e
FPGA Based Accelerators for Financial Applications
This book covers the latest approaches and results from reconfigurable computing architectures employed in the finance domain. So-called field-programmable gate arrays (FPGAs) have already shown to outperform standard CPU- and GPU-based computing architectures by far, saving up to 99% of energy depending on the compute tasks. Renowned authors from financial mathematics, computer architecture an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15407-7
- Collation
- 25 b/w illustrations, 47 illustrations in colour
- Series Title
- -
- Call Number
- -
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Economical Bridge Solutions based on innovative composite dowels and integrat…
This book is an outcome of the research project ECOBRIDGE Demonstration of ECOnomical BRIDGE solutions based on innovative composite dowels and integrated abutments RFCS CT 2010-00024, which has been co-funded by the Research Fund for Coal and Steel (R.F.C.S.) of the European Community. The main topics of the book are the following: design of integral bridges, innovative composite dowels for th…
- Edition
- -
- ISBN/ISSN
- 9781322171357
- Collation
- -
- Series Title
- -
- Call Number
- 620
Nanopositioning Technologies
This book covers the state-of-the-art technologies for positioning with nanometer resolutions and accuracies, particularly those based on piezoelectric actuators and MEMS actuators. The latest advances are described, including the design of nanopositioning devices, sensing and actuation technologies and control methods for nanopositioning. This is an ideal book for mechanical and electrical eng…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-79539-3
- Collation
- VI, 409
- Series Title
- -
- Call Number
- -
Network Economics
This textbook on network economics provides essential microeconomic instruments for the analysis of network sectors like telecommunications, transport or energy. Network-specific characteristics emerge both on the cost side and benefit side, requiring network providers to develop innovative entrepreneurial competition strategies for costing, pricing, and investment. From a competition policy pe…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-11694-5
- Collation
- XIV, 184
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography