Search results: Found 29

Listing 1 - 10 of 29 << page
of 3
>>
Sort by
Mujeres y niños en la cárcel. Lectura y escritura dentro y fuera de la Unidad 33

Authors: ---
Book Series: Andamios, Serie experiencias ISBN: 9789503416532 Year: Volume: 2 Language: Spanish
Publisher: Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación
Subject: Education --- Sociology
Added to DOAB on : 2018-10-30 13:44:42
License:

Loading...
Export citation

Choose an application

Abstract

En esta publicación colectiva analizamos el trabajo realizado entre los años 2010-2015 en el marco del Proyecto de Extensión «Lectura y escritura en la Unidad 33. Madres, niños e instituciones educativas». Nuestro propósito es aportar documentación y análisis de las si­tuaciones educativas no escolares en torno a la lectura y la escritura que desarrollamos en dicha unidad con grupos de niños multiedad y con grupos de mujeres, así como otras accio­nes a favor del derecho de las madres priva­das de libertad de participar de las actividades escolares de sus hijas/os fuera de la unidad penitenciaria. Los registros de las interaccio­nes verbales, las crónicas de los encuentros, las entrevistas a las participantes y las diver­sas producciones escritas se constituyeron en material imprescindible para comprender el funcionamiento de las situaciones propues­tas, para identificar avances, revisar decisiones considerando las particularidades del contex­to y para incluir las voces de todas/os las/os protagonistas. Los resultados de este trabajo ponen en evidencia cómo mujeres y niñas/os pueden ejercer sus derechos culturales cuan­do tienen oportunidades dentro y fuera de la prisión.

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.

Advances in Proof-Theoretic Semantics

Authors: ---
Book Series: Trends in Logic ISSN: 15726126 ISBN: 9783319226859 9783319226866 Year: Volume: 43 Pages: 283 DOI: 10.1007/978-3-319-22686-6 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Statistics --- Philosophy
Added to DOAB on : 2016-06-08 18:00:12
License:

Loading...
Export citation

Choose an application

Abstract

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:
ISBN: 9783866448858 Year: Pages: XXI, 412 p. DOI: 10.5445/KSP/1000028867 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Author:
ISBN: 9783866445949 Year: Pages: XIX, 203 p. DOI: 10.5445/KSP/1000020678 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.

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.

Raw Life, New Hope

Author:
ISBN: 9781919895277 9781920499327 Year: DOI: 10.26530/oapen_628135 Language: English
Publisher: UCT Press Grant: Knowledge Unlatched - 100294
Subject: Ethnology
Added to DOAB on : 2017-04-28 11:01:31
License:

Loading...
Export citation

Choose an application

Abstract

The Cape Flats, a windswept, barren and sandy area which rings Cape Town, is home to more than a million people. Many live here in sprawling shack settlements. The post-apartheid state is attempting to eradicate such settlements by providing formal houses in planned residential estates. Raw Life, New Hope is a longitudinal study of the residents of one such shack settlement, The Park, who moved to new, 'formal' houses in The Village, at the turn of the millennium. It introduces readers to core social science topics and modes of theorising. Over 17 years the author has traced how ordinary people attempt to live in accord with their ideals of decency under almost impossible circumstances, and the effects of material changes in their lives after 1994, including the provision of housing. Photos, maps, anecdotes, recipes and philosophical reflections on subjects that arose during conversations elicit a sense of the everyday and of how people try to solve the problems of poverty.

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.

Listing 1 - 10 of 29 << page
of 3
>>
Sort by