Search results: Found 19

Listing 1 - 10 of 19 << page
of 2
>>
Sort by
The Indigenous Identity of the South Saami

Authors: --- --- ---
ISBN: 9783030050290 Year: Pages: 186 DOI: 10.1007/978-3-030-05029-0 Language: English
Publisher: Springer Nature
Subject: Linguistics --- Archaeology --- Sociology
Added to DOAB on : 2020-02-05 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book is a novel contribution in two ways: It is a multi-disciplinary examination of the indigenous South Saami people in Fennoscandia, a social and cultural group that often is overlooked as it is a minority within the Saami minority. Based on both historical material such as archaeological evidence, 20th century newspapers, and postcard motives as well as current sources such as ongoing land-right trials and recent works of historiography, the articles highlight the culture and living conditions of this indigenous group, mapping the negotiations of different identities through the interaction of Saami and non-Saami people through the ages. By illuminating this under-researched field, the volume also enriches the more general debate on global indigenous history, and sheds light on the construction of a Scandinavian identity and the limits of the welfare state and the myth of heterogeneity and equality.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255404 Year: Pages: 673 DOI: 10.1007/978-3-030-25540-4 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume 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 organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science ISBN: 9783030171841 Year: Pages: 816 DOI: 10.1007/978-3-030-17184-1 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 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.

Fundamental Approaches to Software Engineering

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030167226 Year: Pages: 446 DOI: 10.1007/978-3-030-16722-6 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 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 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.

Data Parallel C++

Authors: --- --- --- --- et al.
ISBN: 9781484255742 Year: Pages: 548 DOI: 10.1007/978-1-4842-5574-2 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-11-19 00:18:20
License:

Loading...
Export citation

Choose an application

Abstract

Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics. Data parallelism in C++ enables access to parallel resources in a modern heterogeneous system, freeing you from being locked into any particular computing device. Now a single C++ application can use any combination of devices—including GPUs, CPUs, FPGAs and AI ASICs—that are suitable to the problems at hand. This book begins by introducing data parallelism and foundational topics for effective use of the SYCL standard from the Khronos Group and Data Parallel C++ (DPC++), the open source compiler used in this book. Later chapters cover advanced topics including error handling, hardware-specific programming, communication and synchronization, and memory model considerations. Data Parallel C++ provides you with everything needed to use SYCL for programming heterogeneous systems. What You'll Learn Accelerate C++ programs using data-parallel programming Target multiple device types (e.g. CPU, GPU, FPGA) Use SYCL and SYCL compilers Connect with computing’s heterogeneous future via Intel’s oneAPI initiative Who This Book Is For Those new data-parallel programming and computer programmers interested in data-parallel programming using C++.

Foundations of Software Science and Computation Structures

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030171278 Year: Pages: 542 DOI: 10.1007/978-3-030-17127-8 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Computer Science
Added to DOAB on : 2020-01-29 11:21:11
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

Play-Responsive Teaching in Early Childhood Education

Authors: --- --- --- --- et al.
Book Series: International Perspectives on Early Childhood Education and Development ISBN: 9783030159580 Year: Pages: 183 DOI: 10.1007/978-3-030-15958-0 Language: English
Publisher: Springer Nature
Subject: Linguistics --- Psychology --- Education
Added to DOAB on : 2020-02-04 11:21:13
License:

Loading...
Export citation

Choose an application

Abstract

This open access book develops a theoretical concept of teaching that is relevant to early childhood education, and based on children’s learning and development through play. It discusses theoretical premises and research on playing and learning, and proposes the development of play-responsive didaktik. It examines the processes and products of learning and development, teaching and its phylogenetic and ontogenetic development, as well as the ‘what’ of learning and didaktik. Next, it explores the actions, objects and meaning of play and provides insight into the diversity of beliefs about the practices of play. The book presents ideas on how combined research and development projects can be carried out, providing incentive and a model for practice development and research. The second part of the book consists of empirical studies on teacher’s playing skills and examples of play with very young as well as older children.

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.

Programming Languages and Systems

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030449148 Year: Pages: 772 DOI: 10.1007/978-3-030-44914-8 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-05-14 09:30:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

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.

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

Publisher

Springer Nature (19)


License

CC by (19)


Language

english (19)


Year
From To Submit

2021 (1)

2020 (7)

2019 (6)

2018 (5)