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...
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...
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...
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, 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 ...
This open proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains selected papers from the fifth international Conference ML4CPS - Machine Learning for Cyber Physical Systems, which was held in Berlin, March 12-13, 2020. Cyber Physical Systems are characterized by their ability to ada...
This open book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Du...
Rules and Laws for Civil Actions is an open-access resource for law students containing the U.S. Constitution, Federal Rules of Civil Procedure, Federal Rules of Evidence, Federal Rules of Appellate Procedure, and selected federal and state statutes. The book was created by a team of faculty members at the University of Iowa College of Law to suppl...
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 know...
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 U...
Vladimir Ilich Lenin (1870 - 1924) led the first successful revolt against market-based liberal democracy and founded the Soviet State in 1917, serving as the new nation s chief architect and sole ruler for the next five years. This collection of primary sources allows readers to learn about Lenin through his own words and emphasizes Lenin s action...
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...
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 p...
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 discuss...
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 ...
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...
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 ...
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...
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...
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...
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 hav...
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 ...
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...
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 ...
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...
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 ...
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...
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...
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...
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...
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...
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...