Filter by
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, …
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23264-5
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
Unexplained Infertility Pathophysiology, Evaluation and Treatment
Written and edited by leading, internationally recognized clinicians and scientists in reproductive medicine and related fields, this unique text is a practical and comprehensive review of the clinical and scientific significance of unexplained male and female infertility and its management. The book is divided into thematic sections to ensure the most useful presentation of topics, opening wit…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2140-9
- Collation
- 11 b/w illustrations, 45 illustrations in colour
- Series Title
- -
- Call Number
- -
Human Embryo Transfer
This concise work on embryo transfer is yet another contribution to the persevering effort to disseminate latest information on the science and skill of performing a traumatic and successful embryo transfer. It is the most critical culmination of the assisted reproductive technology (ART) stimulation cycle, and a rate-limiting step in dictating the success of treatment. The well-worded chapter…
- Edition
- -
- ISBN/ISSN
- 978-81-322-1114-3
- Collation
- XIV, 96
- Series Title
- -
- Call Number
- 573.6 HUM
Understanding and Controlling the Irritable Bowel
This book provides up to date information about IBS and its developments in the last decade and provides ways of controlling IBS based on the authors' long experience in treating IBS patients. Although IBS is a tortuous disorder and interferes with the patients’ daily activities, it does not develop into a serious disease or kill its sufferer. Understanding and learning ways of controlling IB…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15642-2
- Collation
- 9 b/w illustrations, 25 illustrations in colour
- Series Title
- -
- Call Number
- -
Dynamics of civil structures. Volume 2 : proceedings of the 33rd IMAC, a Conf…
Dynamics of Civil Structures, Volume 2. Proceedings of the 33rd IMAC, A Conference and Exposition on Balancing Simulation and Testing, 2015, the second 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 applied aspects of Structural Dynamics, including pape…
- Edition
- -
- ISBN/ISSN
- 9783319152486
- Collation
- ix, 557 pages
- Series Title
- -
- Call Number
- 061.3
Human Activity Recognition and Prediction
"This book provides a unique view of human activity recognition, especially fine-grained human activity structure learning, human-interaction recognition, RGB-D data based action recognition, temporal decomposition, and causality learning in unconstrained human activity videos. The techniques discussed give readers tools that provide a significant improvement over existing methodologies of vide…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27002-9
- Collation
- VII, 174
- Series Title
- -
- Call Number
- 004 HUM
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- Collation
- 26 b/w illustrations
- Series Title
- -
- Call Number
- -
The Convergence Problem for Dissipative Autonomous Systems: Classical Methods…
The book investigates classical and more recent methods of study for the asymptotic behavior of dissipative continuous dynamical systems with applications to ordinary and partial differential equations, the main question being convergence (or not) of the solutions to an equilibrium. After reviewing the basic concepts of topological dynamics and the definition of gradient-like systems on a metri…
- Edition
- -
- ISBN/ISSN
- 978-3319234069
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Salivary Diagnostics
This book reviews the progress made in salivary diagnostics during the past two decades and identifies the likely direction of future endeavors. After an introductory section describing the histological and anatomical features of the salivary glands and salivary function, salivary collection devices and diagnostic platforms are reviewed. The field of “salivaomics” is then considered in deta…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-45399-5
- Collation
- XIII, 204
- Series Title
- -
- Call Number
- 617.607 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography