Search Results
-
Nuclear Power Plants: The Fourth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) (Lecture Notes in Electrical Engineering #595)
This book presents a compilation of selected papers from the Fourth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in August 2019 in Guiyang, China. The purpose of the symposium was to discuss inspection, testin... More
Language: ENGCopyright: 2020 -
Nuclear Power Plants: The Fifth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) (Lecture Notes in Electrical Engineering #779)
This book is a compilation of selected papers from the fifth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in November 2020 in Beijing, China. The purpose of this symposium is to discuss Inspection, test, certi... More
Language: ENGCopyright: 2021 -
Nuclear Power Plants: The Sixth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) (Lecture Notes in Electrical Engineering #883)
This book is a compilation of selected papers from the Sixth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in October 2021 in Zhuji, Zhejiang, China. The purpose of this symposium is to discuss Inspection, test... More
Language: ENGCopyright: 2022 -
Restorative Justice in India
This book systematically introduces the practice of restorative justice in India, as a resource for comparative criminal justice research. "Restorative justice" focuses on the rehabilitation of offenders through reconciliation with victims, and with the community at large. It has gained momentum a... More
Language: ENGCopyright: 2017 -
Crime and Justice in Contemporary Japan (Springer Series on Asian Criminology and Criminal Justice Research)
This book provides an important overview of key criminology and criminal justice concerns in Japan. It highlights similarities between the practice of criminology research in Japan, as well as important differences, with other areas of Asia and with the West. In previous decades, Japan attracted i... More
Language: ENGCopyright: 2018 -
Chinese Netizens' Opinions on Death Sentences: An Empirical Examination (China Understandings Today)
by Jianhong Liu • Bin LiangFew social issues have received more public attention and scholarly debate than the death penalty. While the abolitionist movement has made a successful stride in recent decades, a small number of countries remain committed to the death penalty and impose it with a relatively high frequency. In this... More
Language: ENGCopyright: 2021 -
Handbook of Asian Criminology
The Handbook of Asian Criminology aims to be a key reference for international scholars with an interest in the broad theme of international criminology in general, and the Asian region in particular. Contextualization is a key theme in this book. The role of context is often underemphasized in inte... More
Language: ENGCopyright: 2013 -
Comparative Criminology in Asia (Springer Series on Asian Criminology and Criminal Justice Research)
This edited volume presents the diversity of comparative criminology research in Asia, and the complex theoretical and methodological issues involved in conducting comparative research. With contributors both from the West and the East exploring these questions, the Editors have created a balanced ... More
Language: ENGCopyright: 2017 -
Systematic Program Design: From Clarity to Efficiency
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis... More
Language: ENGCopyright: 2013 -
Biometric Recognition: 15th Chinese Conference, CCBR 2021, Shanghai, China, September 10–12, 2021, Proceedings (Lecture Notes in Computer Science #12878)
The LNCS volume 12878 constitutes the proceedings of the 15th Chinese Conference on Biometric Recognition, held in Shanghai, China, in September 2021.The 53 papers presented in this book were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics such as multi-m... More
Language: ENGCopyright: 2021 -
Practical Aspects of Declarative Languages: 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings (Lecture Notes in Computer Science #12007)
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present origi... More
Language: ENGCopyright: 2020 -
Adaptive Dynamic Programming for Control: Algorithms and Stability (Communications and Control Engineering)
There are many methods of stable controller design for nonlinear systems. In seeking to go beyond the minimum requirement of stability, Adaptive Dynamic Programming in Discrete Time approaches the challenging topic of optimal control for nonlinear systems using the tools of adaptive dynamic program... More
Language: ENGCopyright: 2013 -
Climate, Ticks and Disease (CABI Climate Change Series #18)
by Charles Hart • Peter Cox • A. Townsend Peterson • Nicholas Johnson • Wei Liu • Jianhong Wu • Richard Wall • Domenico Otranto • Agustín Estrada-Peña • Jeremy Gray • Abdul Jabbar • Jolyon M. Medlock • Sunit Kumar Singh • Giovanni Benelli • Peter Irwin • Richard Bishop • Xue Zhang • Hao Li • DeMar Taylor • Deborah Hemming • Saeed Alasmari • Neil Alexander • Abdelghafar Alkishe • Reiko Arai • Armanda Bastos • Gervasio Henrique Bechara • John Beier • Joshua Benoit • Dennis Bente • Adrien Blisnick • René Bødker • Fernando Boinas • Sarah Bonnet • Nathalie Boulanger • Alejandro Cabezas-Cruz • Alexandre Rodrigues Caetano • Cyril Caminade • Jirí Cerny´ • Roxanne Albertha Charles • Ali Reza Chavshin • Rosalind Cornforth • Neil Coughlan • Lauren Culler • Milan Daniel • Vlasta Danielova • Mona Dehhaghi • Maria Diuk-Wasser • James P Duffy • Olivier Duron • Lars Eisen • Rebecca Eisen • Jana Elsterová • Koray Ergünay • Li-Qun Fang • Natalia Fernández-Ruiz • Erol Fikrig • Serhii Filatov • Durland Fish • Janet Foley • José De Fuente • Roman Ganta • Aysen Gargili Keles • Robin Beat Gasser • Abdul Ghafar • Naftaly Githaka • Lucy Gilbert • Maryna Golovchenko • Yuval Gottlieb • Ernest Gould • Libor Grubhoffer • Gilles J. Guillemin • Kayleigh M. Hansford • John E. Healy • Stephen Higgs • Andrew Hoodless • Yan-Jang S. Huang • Bernard Hudson • Chris Huntingford • Esther Kanduma • Sirri Kar • Maria Kazimirova • Neil Kaye • Thomas C. Kelly • Lene Jung Kjaer • Agatha Onyemowo Kolo • Eduard Korenberg • Nina Król • Chi-Chien Kuo • Timothy J. Kurtti • Xavier De Lamballerie • Patrick A. Leighton • L. Robbin Lindsay • Geoffrey E. Lynn • Ilya Maclean • Ben J. Mans • Maristela Martins de Camargo • Karen D. McCoy • Ulrike G. Munderloh • Atle Mysterud • Sukanya Narasimhan • Anna Obiegala • Dasiel Obregón Alvarez • Nick H. Ogden • Mari H. Ogihara • Stefan Vilges Oliveira • Charlotte Oskam • Kennan J. Oyen • Neha Pandey • Hamed Kazemi Panahi • John H. Pettersson • Martin Pfeffer • L. Paul Phipps • Heather J. Plumpton • Tatjana Pustahija • Ram Raghavan • Ryan O.M Rego • Annapaola Rizzoli • Isobel Ronai • Franz Rubel • Natalie Rudenko • Benjamin Ruiwen • Rufus Sage • Abdallah M. Samy • Gustavo Seron Sanches • Isabel Kinney Santos • Marcello Otake Sato • Megumi Sato • Richard Schloeffel • Seyyed Javad Seyyed-Zadeh • Ladislav Šimo • Daniel E. Sonenshine • Morgan Sparey • Frederic Stachurski • Snorre Stuen • Matias Pablo Szabó • Mike Teglas • Sam R. • Saravanan Thangamani • Georgia Titcomb • Attila J. Trájer • Michael Turell • Rika Umemiya-Shirafuji • Dana L. Vanlandingham • Laurence Vial • Margarita Villar • André B. Wilke • G. R. Wint • Zbigniew ZajacThis book brings together expert opinions from scientists to consider the evidence for climate change and its impacts on ticks and tick-borne infections. It considers what is meant by 'climate change', how effective climate models are in relation to ecosystems, and provides predictions for changes i... More
Language: ENGCopyright: 2022