Filter by
Video Bioinformatics From Live Imaging to Knowledge
The advances of live cell video imaging and high-throughput technologies for functional and chemical genomics provide unprecedented opportunities to understand how biological processes work in subcellular and multicellular systems. The interdisciplinary research field of Video Bioinformatics is defined by Bir Bhanu as the automated processing, analysis, understanding, data mining, visualizati…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23724-4
- Collation
- XLIII, 381
- Series Title
- -
- Call Number
- -
Verifying Calculations - Forty Years On An Overview of Classical Verificatio…
This work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates w…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20553-3
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- XVIII, 468
- Series Title
- -
- Call Number
- -
Vehicular ad hoc Networks Standards, Solutions, and Research
This book presents vehicular ad-hoc networks (VANETs) from the their onset, gradually going into technical details, providing a clear understanding of both theoretical foundations and more practical investigation. The editors gathered top-ranking authors to provide comprehensiveness and timely content; the invited authors were carefully selected from a list of who’s who in the respective fiel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15497-8
- Collation
- XII, 544
- Series Title
- -
- Call Number
- -
Variable-Structure Approaches Analysis, Simulation, Robust Control and Estim…
This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises resear…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31539-3
- Collation
- X, 361
- Series Title
- -
- Call Number
- -
Value Chain Marketing A Marketing Strategy to Overcome Immediate Customer In…
Value Chain Marketing (VCM) is a promising strategy to overcome immediate customers’ innovation resistance. By pursuing VCM, material suppliers enlarge their target group beyond their immediate customers and address their downstream customers as well. Treading on relatively unexplored grounds, this book explores the relevance of VCM and comprehends its process; identifies the critical fact…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11376-0
- Collation
- 91 b/w illustrations
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- 150 illustrations in colour
- Series Title
- -
- Call Number
- -
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- XIV, 267
- Series Title
- -
- Call Number
- -
Distributed Computing 29th International Symposium, DISC 2015, Tokyo, Japan, …
This book constitutes the proceedings of the 29th International Symposium on Distributed Computing, DISC 2015, held in Tokyo, Japan, in October 2015. The 42 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 143 submissions. The papers feature original contributions to theory, design, implementation, modeling, analysis, or application of distribut…
- Edition
- -
- ISBN/ISSN
- 9783662486535
- Collation
- xxi, 678 pages
- Series Title
- -
- Call Number
- 004.6
Distributed computing and internet technology : 11th International Conference…
This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhubaneswar, India, in February 2015. The 12 revised full papers presented together with 30 short papers and 9 invited talks in this volume were carefully reviewed and selected from 221 submissions. The papers cover topics such as distributed…
- Edition
- -
- ISBN/ISSN
- 9783319149776
- Collation
- xiii, 462 pages
- Series Title
- -
- Call Number
- 004.6
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography