Filter by
Foundations of Biomedical Knowledge Representation
Even though there are huge differences in the techniques and methods used by biomedical researchers, there is now an increasing tendency to share research results in terms of formal knowledge representation methods, such as ontologies, statistical models, network models, and mathematical models. As there is an urgent need for health-care professionals to make better decisions, computer-based su…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28007-3
- Collation
- XII, 339 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Obstacles to Environmental Progress A U.S. perspective
environment;policy;biology;earth sciences;United States;obstacles to progress;environmental policy;environmental law;environmental regulation;environmental science;environmental progress;environmental solutions;environmental justice;sustainability;uncertainty;decision processes;climate change;problem solving;unintended consequences;systems perspective;environmental monitoring;freedom and enviro…
- Edition
- -
- ISBN/ISSN
- 9781800082076
- Collation
- -
- Series Title
- -
- Call Number
- -
Basic Numerical Methods in Meteorology and Oceanography
The purpose of this book is to provide an introduction to numerical modelling of the ocean and the atmosphere. It originates from courses given at Stockholm University and is intended to serve as a textbook for students in meteorology and oceanography with a background in mathematics and physics. Focus is on numerical schemes for the most commonly used equations in oceanography and meteorology …
- Edition
- -
- ISBN/ISSN
- 9789176351727
- Collation
- -
- Series Title
- -
- Call Number
- -
Physical Examination of the Shoulder; An Evidence-Based Approach
Diagnosis dan pengobatan yang tepat untuk berbagai penyakit fisik yang dibawa pasien ke penyedia layanan kesehatan bergantung pada anamnesis dan pemeriksaan fisik yang akurat dan efisien. Hal ini tidak pernah lebih penting daripada evaluasi gejala yang berkaitan dengan bahu, salah satu yang paling rumit dari semua keajaiban bioteknologi tubuh manusia, dan salah satu sumber keluhan pasien yang p…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2593-3
- Collation
- -
- Series Title
- -
- Call Number
- 611.97
A Designer's Guide to Asynchronous VLSI
Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design. This practical alternative to conventional synchronous design enables performance close to full-custom designs with design times that approach commercially available ASIC standard cell flows. It includes design trade-offs, specific design examples, and end-of-chapter exerci…
- Edition
- -
- ISBN/ISSN
- 9780511674730
- Collation
- -
- Series Title
- -
- Call Number
- -
Early Modern Ireland and the world of medicine Practitioners, collectors and…
This chapter seeks to situate James Butler, duke of Ormond, at the centre of an important patronage network for medicine in Restoration Britain and Ireland. It explores the Irish dimension of the emergence of the Society of Chemical Physicians and situates it against the background provided by the momentous Cromwellian period in Ireland. Particular attention is paid to Pierre Belon, a Huguenot …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Functional Safety in Drive-by-Wire Vehicles
This book presents approaches to address key challenges based on a vehicle level view and with a special emphasis on Drive-by-Wire systems. The design and testing of modern vehicle electronics are becoming more and more demanding due to increasing interdependencies among components and the safety criticality of tasks. The development towards Drive-by-Wire functionalities in vehicles with multip…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17485-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
Timor-Leste: Transforming Education Through Partnership in a Small Post-Confl…
This book argues that development aid in small post-conflict states, particularly in the educational field, benefits from a commitment to a shared vision, fostering co-operative relationships and working within local capacity, credibility, and attentiveness to immediate and longer-term development goals. It uses Timor-Leste as its case study of a faith-based partnership in the development of th…
- Edition
- -
- ISBN/ISSN
- 978-94-6209-884-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Thom H. Dunning, Jr. A Festschrift from Theoretical Chemistry Accounts
In this Festschrift celebrating the career of Thom H. Dunning, Jr., selected researchers in theoretical chemistry present research highlights on major developments in the field. Originally published in the journal Theoretical Chemistry Accounts, these outstanding contributions are now available in a hardcover print format, as well as a special electronic edition. This volume provides valuable c…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47051-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography