Engendering Development

This article discusses the productive and reproductive roles Filipino women perform and assesses their contributions to human development. It also examines the reality of their marginalization from the country’s social, economic and political life. It then suggests on measures by which women can be empowered to achieve the goals of gender equality and equity.women's issues, vulnerable groups, development program, MIMAP

A Study of Junior High Students' Perceptions of the Water Cycle

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about the water cycle The resource being annotated is: http://www.dlese.org/dds/catalog_DLESE-000-000-003-365.htm

The Development of Student Conceptions of the Earth-Sun Relationship in an Inquiry-Based Curriculum

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about the earth's rotation and the seasons The resource being annotated is: http://www.dlese.org/dds/catalog_SERC-NAGT-000-000-000-644.htm

Growing Pebbles and Conceptual Prisms - Understanding The Source of Student Misconceptions About Rock Formation

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about the rock cycle The resource being annotated is: http://www.dlese.org/dds/catalog_NASA-Edmall-535.htm

Students' Beliefs About the Role of Atoms in Radioactive Decay and Half-life

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about radioactive decay The resource being annotated is: http://www.dlese.org/dds/catalog_ESA-000-000-000-035.htm

Students' Conceptions of Scale Regarding Groundwater

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about groundwater The resource being annotated is: http://www.dlese.org/dds/catalog_SERC-STARTINGPOINT-000-000-000-337.htm

A Proof of the S-m-n theorem in Coq

This report describes the implementation of a mechanisation of the theory of computation in the Coq proof assistant which leads to a proof of the Smn theorem. This mechanisation is based on a model of computation similar to the partial recursive function model and includes the definition of a computable function, proofs of the computability of a number of functions and the definition of an effective coding from the set of partial recursive functions to natural numbers. This work forms part of a comparative study of the HOL and Coq proof assistants

Misconceptions About Caves and Karst: Common Problems and Educational Solutions

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about groundwater, caves, karst The resource being annotated is: http://www.dlese.org/dds/catalog_DLESE-000-000-010-102.htm

Science in the elementary and middle schools

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about the earth in space The resource being annotated is: http://www.dlese.org/dds/catalog_DLESE-000-000-008-745.htm

Water Towers, Pump Houses, and Mountain Streams: Students' Ideas about Watersheds

Provides pedagogical insight concerning learners' pre-conceptions and misconceptions about watersheds The resource being annotated is: http://www.dlese.org/dds/catalog_DLESE-000-000-008-111.htm