Search results: Found 12

Listing 1 - 10 of 12 << page
of 2
>>
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.

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.

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).

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Authors: --- ---
ISBN: 9783030439460 Year: Pages: 285 DOI: 10.1007/978-3-030-43946-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-05-14 09:30:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.

Particle Physics Reference Library

Authors: ---
ISBN: 9783030342456 Year: Pages: 863 DOI: 10.1007/978-3-030-34245-6 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Science (General)
Added to DOAB on : 2020-06-16 23:59:41
License:

Loading...
Export citation

Choose an application

Abstract

This third open access volume of the handbook series deals with accelerator physics, design, technology and operations, as well as with beam optics, dynamics and diagnostics. A joint CERN-Springer initiative, the “Particle Physics Reference Library” provides revised and updated contributions based on previously published material in the well-known Landolt-Boernstein series on particle physics, accelerators and detectors (volumes 21A,B1,B2,C), which took stock of the field approximately one decade ago. Central to this new initiative is publication under full open access

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030451905 Year: Pages: 501 DOI: 10.1007/978-3-030-45190-5 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:00
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Listing 1 - 10 of 12 << page
of 2
>>
Sort by
Narrow your search

Publisher

Springer Nature (12)


License

CC by (12)


Language

english (11)

german (1)


Year
From To Submit

2020 (8)

2018 (4)