Search results: Found 20

Listing 1 - 10 of 20 << page
of 2
>>
Sort by
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 9783319893631 Year: Volume: 10802 Pages: 357 DOI: https://doi.org/10.1007/978-3-319-89363-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:

Loading...
Export citation

Choose an application

Abstract

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 and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Security and Cryptology ISBN: 9783319897219 9783319897226 Year: Volume: 10804 Pages: 347 DOI: https://doi.org/10.1007/978-3-319-89722-6 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 14:49:22
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 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 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

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 I

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899596 9783319899602 Year: Volume: 10805 Pages: 429 DOI: https://doi.org/10.1007/978-3-319-89960-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:22:46
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.

The Community Education Program: A Reflection on Good Practice in the USA (Book chapter)

Book title: International and Comparative Studies in Adult and Continuing Education

Author:
Book Series: Studies on Adult Learning and Education ISSN: 27045781 ISBN: 9788855181549 Year: Volume: 12 DOI: 10.36253/978-88-5518-155-6.13
Publisher: Firenze University Press
Subject: Education
Added to DOAB on : 2020-11-26 11:35:25
License:

Loading...
Export citation

Choose an application

Abstract

This good practice essay puts the Community Education Program (CEP) as a focus for comparison between West Virginia (USA) and Germany/European Union (EU). The essay is a combination of reflections on qualification frameworks, learning outcomes, lifelong learners/learning, transnational organisations, the Scottish Framework, a number of good practices, and accreditation from a research and practical perspective. Despite substantial research efforts, a national qualifications framework (NQF) or accrediting body for the CEP could not be identified in the US. The goal is to continue research on a national and international level. In the meantime, the good practice efforts, established through various features, continue to apply.

Aspects of Poverty and Inequality in Cameroon

Author:
Book Series: Goettinger Studien zur Entwicklungsoekonomik / Goettingen Studies in Development Economics ISBN: 9783631595350 Year: Pages: 171 DOI: 10.3726/b13873 Language: English
Publisher: Peter Lang International Academic Publishing Group
Subject: Economics --- Political Science --- Languages and Literatures
Added to DOAB on : 2019-01-15 13:32:28
License:

Loading...
Export citation

Choose an application

Abstract

Poverty and inequality remain extremely high for Cameroon despite improvements in poverty figures between 1996 and 2001. To understand the dynamics of poverty and inequality between 1996 and 2001, this book develops a poverty and inequality profile, investigates the sources of inequality along spatial lines and simulates some policies which could be used in the reduction of poverty and inequality. The book also addresses two major sectors of the Cameroonian economy with a special focus on gender bias in agriculture and linkages between the formal and informal sector. The empirical analyses show that there are large spatial differences in poverty in Cameroon and that sources of inequality vary by location. Regardless of the definition used, the informal sector in Cameroon is extremely large but closely linked to the formal sector. The gender bias experienced by women in access to productive assets in agriculture reduces the efficiency of agricultural production.

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.

Advances in the study of Siouan languages and linguistics

Authors: ---
Book Series: Studies in Diversity Linguistics ISBN: 9783946234371 9783946234388 Year: Pages: 501 DOI: 10.26530/OAPEN_611691 Language: English
Publisher: Language Science Press
Subject: Linguistics
Added to DOAB on : 2016-05-25 14:58:43
License:

Loading...
Export citation

Choose an application

Abstract

" The Siouan family comprises some twenty languages, historically spoken across a broad swath of the central North American plains and woodlands, as well as in parts of the southeastern United States. In spite of its geographical extent and diversity, and the size and importance of several Siouan-speaking tribes, this family has received relatively little attention in the linguistic literature and many of the individual Siouan languages are severely understudied. This volume aims to make work on Siouan languages more broadly available and to encourage deeper investigation of the myriad typological, theoretical, descriptive, and pedagogical issues they raise. The 17 chapters in this volume present a broad range of current Siouan research, focusing on various Siouan languages, from a variety of linguistic perspectives: historical-genetic, philological, applied, descriptive, formal/generative, and comparative/typological. The editors' preface summarizes characteristic features of the Siouan family, including head-final and ""verb-centered"" syntax, a complex system of verbal affixes including applicatives and subject-possessives, head-internal relative clauses, gendered speech markers, stop-systems including ejectives, and a preference for certain prosodic and phonotactic patterns. The volume is dedicated to the memory of Professor Robert L. Rankin, a towering figure in Siouan linguistics throughout his long career, who passed away in February of 2014. "

The Impact of Formal and Informal Institutions on Economic Growth

Author:
Book Series: Hohenheimer volkswirtschaftliche Schriften ISBN: 9783631616161 Year: Pages: 250 Language: English
Publisher: Peter Lang International Academic Publishing Group
Subject: Economics --- Political Science --- Sociology
Added to DOAB on : 2019-01-15 13:33:00
License:

Loading...
Export citation

Choose an application

Abstract

Regarding the Arab region, GDP per capita virtually stagnated for more than 20 years from 1980. During the same period, GDP per capita in the world’s highly industrialized states further increased and the gap between the Middle East and North Africa (MENA) and the highly developed countries widened. However, the differences between Arab countries and the Western states exist not only economically. The countries also differ regarding their political, legal, and social systems. This work explains the differences in development on the basis of institutional economics. In addition to a general theoretical part, an empirical analysis demonstrates the effects of institutions on income, and a historical case study explains the divergent development paths of the Arab region and selected advanced economies.

Sémantique formelle: Volume 1

Author:
Book Series: Textbooks in Language Sciences ISBN: 9783961100170 9781977891549 Year: Pages: 498 DOI: 10.5281/zenodo.1000504 Language: French
Publisher: Language Science Press
Subject: Linguistics
Added to DOAB on : 2018-01-13 11:02:32
License:

Loading...
Export citation

Choose an application

Abstract

"For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism. The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science."

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