Filter by
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Dynamic spectrum access for wireless networks
This SpringerBrief presents adaptive resource allocation schemes for secondary users for dynamic spectrum access (DSA) in cognitive radio networks (CRNs) by considering Quality-of-Service requirements, admission control, power/rate control, interference constraints, and the impact of spectrum sensing or primary user interruptions. It presents the challenges, motivations, and applications of the…
- Edition
- -
- ISBN/ISSN
- 9783319152998
- Collation
- xv, 69 pages
- Series Title
- -
- Call Number
- 621.382
Dynamic spectrum auction in wireless communication
This brief explores current research on dynamic spectrum auctions, focusing on fundamental auction theory, characteristics of the spectrum market, spectrum auction architecture and possible auction mechanisms. The brief explains how dynamic spectrum auctions, which enable new users to gain spectrum access and existing spectrum owners to obtain financial benefits, can greatly improve spectrum ef…
- Edition
- -
- ISBN/ISSN
- 9783319140308
- Collation
- ix, 58 pages
- Series Title
- -
- Call Number
- 621.382
Understanding and Modeling Förster-type Resonance Energy Transfer (FRET) In…
This Brief presents a historical overview of the Förster-type nonradiative energy transfer and a compilation of important progress in FRET research, starting from Förster until today, along with a summary of the current state-of-the-art. Here the objective is to provide the reader with a complete account of important milestones in FRET studies and FRET applications as well as a picture of the…
- Edition
- -
- ISBN/ISSN
- 978-981-287-378-1
- Collation
- 9 illustrations in colour
- Series Title
- -
- Call Number
- -
Life Cycle Assessment on Green Building Implementation
Greenhouse-gas emissions have become one of the most impacting environmental issues in today’s society. A rapidly increasing trend in global CO2emissions particularly since the early nineties (23.64% since 1990) has led to the generation of about 50,000 million tons of CO2–equivalent (eqv) worldwide in 2010. According to mainstream climate experts, the increasing concentration of greenhouse…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 628 LIF
Physiological Responses to Abiotic and Biotic Stress in Forest Trees
As sessile organisms, plants have to cope with a multitude of natural and anthropogenic forms of stress in their environment. Due to their longevity, this is of particular significance for trees. As a consequence, trees develop an orchestra of resilience and resistance mechanisms to biotic and abiotic stresses in order to support their growth and development in a constantly changing atmospheric…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 628 POL p
The Floating Strip Micromegas Detector
This book discusses a novel and high-rate-capable micro pattern gaseous detector of the Micromegas (MICRO-MEsh GAS detector) type. It provides a detailed characterization of the performance of Micromegas detectors on the basis of measurements and simulations, along with an in-depth examination of analysis and reconstruction methods. The accurate and efficient detection of minimum ionizing parti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18893-5
- Collation
- XV, 256
- Series Title
- Springer Theses
- Call Number
- -
Dynamics of civil structures. Volume 2 : proceedings of the 38th IMAC, a Conf…
Dynamics of Civil Structures, Volume 2: Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics, 2020, the second volume of eight 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 the Dynamics of Civil Structures, including pa…
- Edition
- -
- ISBN/ISSN
- 9783030476342
- Collation
- -
- Series Title
- -
- Call Number
- 624
Dynamics of coupled structures. Volume 4 : proceedings of the 36th IMAC, a Co…
Dynamics of Coupled Structures, Volume 4: Proceedings of the 36th IMAC, A Conference and Exposition on Structural Dynamics, 2018, the fourth volume of nine 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 the Dynamics of Coupled Structures, including…
- Edition
- -
- ISBN/ISSN
- 9783319746548
- Collation
- viii, 213 pages
- Series Title
- -
- Call Number
- 624
Understanding Phase Contrast MR Angiography A Practical Approach with MATLAB…
Providing many unique MATLAB codes and functions throughout, this book covers the basics of Magnetic Resonance Imaging (MRI), leading to an in-depth understanding of the concepts and tools required for analysis and interpretation of Phase Contrast MR Angiography (PC-MRA). The concept of PC-MRA is often difficult, but essential for practicing engineers and scientists working in MR related areas.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25483-8
- Collation
- 13 b/w illustrations, 39 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography