Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Educación no formal --- Prisioneros --- Lecturas --- Mujeres --- Niños

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

authentication --- computer science --- computer software selection and evaluation --- cryptography --- data privacy --- formal logic --- formal methods --- formal specification --- internet --- privacy --- program compilers --- programming languages --- security analysis --- security systems --- semantics --- separation logic --- software engineering --- specifications --- verification --- world wide web

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Aspects --- Cameroon --- inequality --- Inequality --- Informal and formal sector linkages --- Kumase --- Linear expenditure systems --- Poverty --- Poverty

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

computer architecture --- computer software selection and evaluation --- formal logic --- formal methods --- model checker --- model checking --- multi core processors --- program compilers --- programming languages --- semantics --- software engineering --- specifications --- state space --- verification