Search results: Found 22

Listing 1 - 10 of 22 << page
of 3
>>
Sort by
Model-Based Demography: Essays on Integrating Data, Technique and Theory

Author:
Book Series: Demographic Research Monographs ISSN: 1613-5520 ISBN: 9783319654324 9783319654331 Year: Pages: 200 DOI: https://doi.org/10.1007/978-3-319-65433-1 Language: English
Publisher: Springer Nature Grant: Max-Planck-Gesellschaft zur Förderung der Wissenschaften e. V
Subject: Economics
Added to DOAB on : 2018-06-29 12:41:56
License:

Loading...
Export citation

Choose an application

Abstract

Late in a career of more than sixty years, Thomas Burch, an internationally known social demographer, undertook a wide-ranging methodological critique of demography. This open access volume contains a selection of resulting papers, some previously unpublished, some published but not readily accessible. Rejecting the idea that demography is simply a branch of applied statistics, his work views it as an autonomous and complete scientific discipline. When viewed from the perspective of modern philosophy of science, specifically the semantic or model-based school, demography is a balanced discipline, with a rich body of techniques and data, but also with more and better theories than generally recognized. As demonstrated in this book, some demographic techniques can also be seen as theoretical models, and some substantive/behavioral models, commonly rejected as theory because of inconsistent observations, are now seen as valuable theoretical models, for example demographic transition theory. This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption of the model-based approach to science. But the full-fruits of this approach will require demographers to make greater use of computer modeling in the statement and manipulation of theoretical ideas, as well as for numerical computation.

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author:
Book Series: Theoretical Computer Science and General Issues Series ISBN: 9783319898834 9783319898841 Year: Volume: 10801 Pages: 1058 DOI: https://doi.org/10.1007/978-3-319-89884-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 15:05:43
License:

Loading...
Export citation

Choose an application

Abstract

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 papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899626 9783319899633 Year: Volume: 10806 Pages: 465 DOI: https://doi.org/10.1007/978-3-319-89963-3 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:26:47
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Evolution, Monitoring and Predicting Models of Rockburst: Precursor Information for Rock Failure

Author:
ISBN: 9789811075476 9789811075483 Year: Pages: 188 DOI: https://doi.org/10.1007/978-981-10-7548-3 Language: English
Publisher: Springer Nature Grant: National Natural Science Foundation of China
Subject: Mechanical Engineering
Added to DOAB on : 2018-06-26 16:34:23
License:

Loading...
Export citation

Choose an application

Abstract

This open access book focuses on investigating predicting precursor information and key points of rockburst in mining engineering through laboratory experiment, theoretical analysis, numerical simulation and case studies. Understanding the evolution patterns for the microstructure instability of rock is a prerequisite for rockburst prediction. The book provides a guide for readers seeking to understand the evolution patterns for the microstrucure of rock failure, the predicting key point of rock failure and the rockburst predicting model. It will be an essential reference to understand mechanism of rockburst and sheds new light on dynamic disasters prediction. Chapters are carefully developed to cover (1) The evolution patterns for the microstructure instability of rock; (2) Rockburst hazard monitoring and predicting criterion and predicting models. The book addresses the issue with a holistic and systematic approach that investigates the occurrence mechanism of rockburst based on the evolution patterns for the microstructure of rock failure and establishes the predicting model of rockburst.This book will be of interest to researchers of mining engineering, rock mechanics engineering and safety engineering.

Rethinking Causality, Complexity and Evidence for the Unique Patient

Authors: --- ---
ISBN: 9783030412395 Year: Pages: 241 DOI: 10.1007/978-3-030-41239-5 Language: English
Publisher: Springer Nature
Subject: Biology
Added to DOAB on : 2020-06-16 23:58:37
License:

Loading...
Export citation

Choose an application

Abstract

This open access book is a unique resource for health professionals who are interested in understanding the philosophical foundations of their daily practice. It provides tools for untangling the motivations and rationality behind the way medicine and healthcare is studied, evaluated and practiced. In particular, it illustrates the impact that thinking about causation, complexity and evidence has on the clinical encounter. The book shows how medicine is grounded in philosophical assumptions that could at least be challenged. By engaging with ideas that have shaped the medical profession, clinicians are empowered to actively take part in setting the premises for their own practice and knowledge development. Written in an engaging and accessible style, with contributions from experienced clinicians, this book presents a new philosophical framework that takes causal complexity, individual variation and medical uniqueness as default expectations for health and illness.

Rational Cybersecurity for Business

Author:
ISBN: 9781484259528 Year: Pages: 333 DOI: 10.1007/978-1-4842-5952-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-09-23 00:04:54
License:

Loading...
Export citation

Choose an application

Abstract

Use the guidance in this comprehensive field guide to gain the support of your top executives for aligning a rational cybersecurity plan with your business. You will learn how to improve working relationships with stakeholders in complex digital businesses, IT, and development environments. You will know how to prioritize your security program, and motivate and retain your team. Misalignment between security and your business can start at the top at the C-suite or happen at the line of business, IT, development, or user level. It has a corrosive effect on any security project it touches. But it does not have to be like this. Author Dan Blum presents valuable lessons learned from interviews with over 70 security and business leaders. You will discover how to successfully solve issues related to: risk management, operational security, privacy protection, hybrid cloud management, security culture and user awareness, and communication challenges. This open access book presents six priority areas to focus on to maximize the effectiveness of your cybersecurity program: risk management, control baseline, security culture, IT rationalization, access control, and cyber-resilience. Common challenges and good practices are provided for businesses of different types and sizes. And more than 50 specific keys to alignment are included. What You Will Learn Improve your security culture: clarify security-related roles, communicate effectively to businesspeople, and hire, motivate, or retain outstanding security staff by creating a sense of efficacy Develop a consistent accountability model, information risk taxonomy, and risk management framework Adopt a security and risk governance model consistent with your business structure or culture, manage policy, and optimize security budgeting within the larger business unit and CIO organization IT spend Tailor a control baseline to your organization’s maturity level, regulatory requirements, scale, circumstances, and critical assets Help CIOs, Chief Digital Officers, and other executives to develop an IT strategy for curating cloud solutions and reducing shadow IT, building up DevSecOps and Disciplined Agile, and more Balance access control and accountability approaches, leverage modern digital identity standards to improve digital relationships, and provide data governance and privacy-enhancing capabilities Plan for cyber-resilience: work with the SOC, IT, business groups, and external sources to coordinate incident response and to recover from outages and come back stronger Integrate your learnings from this book into a quick-hitting rational cybersecurity success plan Who This Book Is For Chief Information Security Officers (CISOs) and other heads of security, security directors and managers, security architects and project leads, and other team members providing security leadership to your business

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030452346 Year: Pages: 552 DOI: 10.1007/978-3-030-45234-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:29:57
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Global Health Collaboration: Challenges and Lessons

Authors: --- ---
Book Series: SpringerBriefs in Public Health ISSN: 2192-3698 ISBN: 9783319776842 9783319776859 Year: Pages: 107 DOI: https://doi.org/10.1007/978-3-319-77685-9 Language: English
Publisher: Springer Nature Grant: Pennsylvania State University
Subject: Medicine (General)
Added to DOAB on : 2018-06-28 18:09:41
License:

Loading...
Export citation

Choose an application

Abstract

This stimulating open access volume details the innovative work of the Pan Institution Network for Global Health in creating collaborative research-based answers to large-scale health issues. Equitable partnerships among member universities representing North America, Africa, Asia, and Europe reverse standard cross-national dynamics to develop locally relevant responses to health challenges as well as their underlying disparities. Case studies focusing on multiple morbidities and effects of urbanization on health illustrate open dialogue in addressing HIV, maternal/child health, diabetes, and other major concerns. These instructive examples model collaborations between global North and South as meaningful steps toward the emerging global future of public health.Included in the coverage: Building sustainable networks: introducing the Pan Institution Network for Global Health Fostering dialogues in global health education: a graduate and undergraduate approach Provider workload and multiple morbidities in the Caribbean and South Africa Project Redemption: conducting research with informal workers in New York City Partnership and collaboration in global health: valuing reciprocityGlobal Health Collaboration will interest faculty working within the field of global health; scholars within public health, health policy, and cognate disciplines; as well as administrators looking to develop international university partnerships around global health and graduate students in the areas of global health, health administration, and public health and related social sciences (e.g., sociology, anthropology, demography).

A Journey of Embedded and Cyber-Physical Systems

Author:
ISBN: 9783030474874 Year: Pages: 176 DOI: 10.1007/978-3-030-47487-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-09-01 00:02:28
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

Listing 1 - 10 of 22 << page
of 3
>>
Sort by
Narrow your search

Publisher

Springer Nature (22)


License

CC by (21)

CC by-nc (1)


Language

english (21)

german (1)


Year
From To Submit

2021 (2)

2020 (15)

2018 (5)