Computer and Information Sciences
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classific...
Machine Learning for Cyber Physical Systems
This book proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS - Machine Learning for Cyber Physical Systems, which was held in Karlsruhe, October 23-24, 2018. Cyber Physical Systems are characterized by their ability to...
Security in Computer and Information Sciences
This book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018.The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software sy...
Visualizing Mortality Dynamics in the Lexis Diagram
This book visualizes mortality dynamics in the Lexis diagram. While the standard approach of plotting death rates is also covered, the focus in this book is on the depiction of rates of mortality improvement over age and time. This rather novel approach offers a more intuitive understanding of the underlying dynamics, enabling readers to better und...
A First Course in Linear Algebra
A First Course in Linear Algebra, originally by K. Kuttler, as a first course for the general students who have an understanding of basic high school algebra and intend to be users of linear algebra methods in their profession, from business & economics to science students. All major topics of linear algebra are available in detail, as well ...
Learn BlackBerry 10 App Development
Learn how to leverage the BlackBerry 10 Cascades framework to create rich native applications. Learn BlackBerry 10 App Development gives you a solid foundation for creating BlackBerry 10 apps efficiently. Along the way, you will learn how to use QML and JavaScript for designing your app's UI, and C++/Qt for the application logic. No prior knowledge...
IUTAM
This book presents extensive information related to the history of IUTAM. The initial chapters focus on IUTAM's history and selected organizational aspects. Subsequent chapters provide extensive data and statistics, while the closing section showcases photos from all periods of the Union's history.The history of IUTAM, the International Union on Th...
Pragmatic Philanthropy
This cutting edge text considers how Asian philanthropists and charitable organizations break with Western philanthropic traditions and examines the key traits and trends that make social investment in Asia unique. Based on 30 case studies of excellent social delivery organizations (SDOs) and social enterprises as well as interviews with ultra-high...
The Ethical Spirit of EU Law
This book seeks to identify the ethical spirit of European Union (EU) law, a context in which we can observe a trend towards increasing references to the terms 'ethics' and 'morality.' This aspect is all the more important because EU law is now affecting more and more areas of national law, including such sensitive ones as the patentability of huma...
Contemporary Bioethics
This book discusses the common principles of morality and ethics derived from divinely endowed intuitive reason through the creation of al-fitr' a (nature) and human intellect (al-'aql). Biomedical topics are presented and ethical issues related to topics such as genetic testing, assisted reproduction and organ transplantation are discussed.Whereas...
Human Rights in Child Protection
This book critically explores what child protection policy and professional practice would mean if practice was grounded in human rights standards. This book inspires a new direction in child protection research – one that critically assesses child protection policy and professional practice with regard to human rights in general, and the rights ...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book toget...
Entity-Oriented Search
This book covers all facets of entity-oriented search—where "search" can be interpreted in the broadest sense of information access—from a unified point of view, and provides a coherent and comprehensive overview of the state of the art. It represents the first synthesis of research in this broad and rapidly developing area. Selected ...
Intelligent Human Computer Interaction
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017. The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation...
Agile Processes in Software Engineering and Extreme Programming
This book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018. XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main th...
Agile Processes in Software Engineering and Extreme Programming
This book constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017. The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile i...
Scaling a Software Business
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it's a software company or not. There are many companies that have alr...
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction. Prof. Dr. Oliver Niggemann is Professor for Ar...
Fundamental Approaches to Software Engineering
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
Bio-based Building Skin
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials' application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of faca...
Programming Languages and Systems
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...
Variant Construction from Theoretical Foundation to Applications
This book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, w...
Building a Resilient and Sustainable Agriculture in Sub-Saharan Africa
What are the challenges and action points for agricultural sustainability in Sub-Saharan Africa? This collection of papers offers technical analyses, policy recommendations and an overview of success stories to date. Each carefully selected paper provides valuable insights for improved policy making and defines relevant strategic priorities on Afri...
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot...
Agile Processes in Software Engineering and Extreme Programming
This book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and...
Vessel Health and Preservation: The Right Approach for Vascular Access
This book offers updated and revised information on vessel health and preservation (VHP), a model concept first published in poster form in 2008 and in JVA in 2012, which has received a great deal of attention, especially in the US, UK and Australia. The book presents a model and a new way of thinking applied to vascular access and administration o...
Biotechnologies for Plant Mutation Breeding
This book offers 19 detailed protocols on the use of induced mutations in crop breeding and functional genomics studies, which cover topics including chemical and physical mutagenesis, phenotypic screening methods, traditional TILLING and TILLING by sequencing, doubled haploidy, targeted genome editing, and low-cost methods for the molecular charac...
Advances in Production Technology
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on "Integrative Production Technology for High-Wage Countries", held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, ...
Open Source Systems: Towards Robust Practices
This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, l...
Computer Aided Verification
The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...

1 2 3