Pedagogical quality in e-learning

The article is concerned with design and use of e-learning technology to develop education qualitatively. The purpose is to develop a framework for a pedagogical evaluation of e-learning technology. The approach is that evaluation and design must be grounded in a learning theoretical approach, and it is argued that it is necessary to make a reflection of technology in relation to activities, learning principles, and a learning theory in order to qualitatively develop education. The article presents three frameworks developed on the basis of cognitivism, radical constructivism and activity theory. Finally, on the basis of the frameworks, the article discusses e-learning technology and, more specifically, design of virtual learning environments and learning objects. It is argued that e-learning technology is not pedagogically neutral, and that it is therefore necessary to focus on design of technology that explicitly supports a certain pedagogical approach. Further, it is argued that design should direct its focus away from organisation of content and towards design of activities.

Dynamics of Traditional Ecological Knowledge, Local Use and Conservation of Native Trees and Shrubs in the Bolivian Andes

Native trees and shrubs are essential components of rural landscapes in the semi-arid inner-Andean valleys of Bolivia. They can be found as hedges and bushes in various agroecosystems such as terrace walls, slopes, field boundaries and fallow land. Their distribution and floristic composition are the result of dynamic spatial and temporal interactions between local farmers and the environment. Local uses of natural resources and biodiversity reflect the constantly evolving Andean culture, which can be generally characterised as an intertwining of the human, natural, and spiritual worlds. The aim of the present ethnobotanical study was to analyse the dynamics of traditional ecological knowledge, to ascertain local farmers’ perceptions and uses of native woody species in Andean communities and to associate the results with local conservation activities for the trees and shrubs concerned. Our case study was carried out within two communities of the Tunari National Park (Dept. Cochabamba) in Bolivia. For data collection, research methods from social science (semi-structured interviews, participative observation, participatory mapping) as well as vegetation surveys were combined. Local actors included women and men of all ages as well as families from different social categories and altitudinal levels of permanent residence. Our study indicates that, due to a multitude of socio-economic pressures (e.g. migration of young people) as well as changes in use of biodiversity (e.g. replacement of native by exotic introduced species), the traditional ecological knowledge base of native trees and shrubs and their respective uses has become diminished over time. In many cases it has led to a decline in people’s awareness of native species and as a consequence their practical, emotional and spiritual relationships with them have been lost. However, results also show that applied traditional ecological knowledge has led to local conservation strategies, which have succeeded in protecting those tree and shrub species which are most widely regarded for their multifunctional, constant and exclusive uses (e.g. Schinus molle, Prosopis laevigata, Baccharis dracunculifolia). The presentation will discuss the question if and how applied traditional ecological knowledge positively contributes to local initiatives of sustainable use and conservation of biodiversity in rural areas.

Capacity building in the use of geospatial tools for natural resource management in Tajikistan: Inception report BNWPP project

The Centre for Development and Environment (CDE) has been contracted by the World Bank Group to conduct a program on capacity development in use of geospatial tools for natural resource management in Tajikistan. The program aimed to help improving natural resource management by fostering the use of geospatial tools among governmental and non-governmental institutions in Tajikistan. For this purpose a database including a Geographic Information System (GIS) has been prepared, which combines spatial data on various sectors for case study analysis related to the Community Agriculture and Watershed Management Project (CAWMP). The inception report is based on the findings resulting from the Swiss Consultant Trust Fund (CTF) financed project, specifically on the experiences from the awareness creation and training workshop conducted in Dushanbe in November 2007 and the analysis of historical land degradation trends carried out for the four CAWMP watersheds. Furthermore, also recommendations from the inception mission of CDE to Tajikistan (5-20 August 2007) and the inception report for the Swiss CTF support were considered. The inception report for the BNWPP project (The Bank-Netherlands Water Partnership Program) discusses the following project relevant issues: (1) Preliminary list of additional data layers, types of data analysis, and audiences to be covered by BNWPP grant (2) Assessing skills and equipment already available within Tajikistan, and implications for training program and specific equipment procurement plans (3) Updated detailed schedule and plans for all activities to be financed by BNWPP grant, and (4) Proposed list of contents for the final report and web-based presentations.

Finite volume effects in chiral perturbation theory with twisted boundary conditions

We study the effects of a finite cubic volume with twisted boundary conditions on pseudoscalar mesons. We apply Chiral Perturbation Theory in the p-regime and introduce the twist by means of a constant vector field. The corrections of masses, decay constants, pseudoscalar coupling constants and form factors are calculated at next-to-leading order. We detail the derivations and compare with results available in the literature. In some case there is disagreement due to a different treatment of new extra terms generated from the breaking of the cubic invariance. We advocate to treat such terms as renormalization terms of the twisting angles and reabsorb them in the on-shell conditions. We confirm that the corrections of masses, decay constants, pseudoscalar coupling constants are related by means of chiral Ward identities. Furthermore, we show that the matrix elements of the scalar (resp. vector) form factor satisfies the Feynman–Hellman Theorem (resp. the Ward–Takahashi identity). To show the Ward–Takahashi identity we construct an effective field theory for charged pions which is invariant under electromagnetic gauge transformations and which reproduces the results obtained with Chiral Perturbation Theory at a vanishing momentum transfer. This generalizes considerations previously published for periodic boundary conditions to twisted boundary conditions. Another method to estimate the corrections in finite volume are asymptotic formulae. Asymptotic formulae were introduced by Lüscher and relate the corrections of a given physical quantity to an integral of a specific amplitude, evaluated in infinite volume. Here, we revise the original derivation of Lüscher and generalize it to finite volume with twisted boundary conditions. In some cases, the derivation involves complications due to extra terms generated from the breaking of the cubic invariance. We isolate such terms and treat them as renormalization terms just as done before. In that way, we derive asymptotic formulae for masses, decay constants, pseudoscalar coupling constants and scalar form factors. At the same time, we derive also asymptotic formulae for renormalization terms. We apply all these formulae in combination with Chiral Perturbation Theory and estimate the corrections beyond next-to-leading order. We show that asymptotic formulae for masses, decay constants, pseudoscalar coupling constants are related by means of chiral Ward identities. A similar relation connects in an independent way asymptotic formulae for renormalization terms. We check these relations for charged pions through a direct calculation. To conclude, a numerical analysis quantifies the importance of finite volume corrections at next-to-leading order and beyond. We perform a generic Analysis and illustrate two possible applications to real simulations.

From Theory to Practice: Improving the Impact of Health Services Research.

BACKGROUND: While significant strides have been made in health research, the incorporation of research evidence into healthcare decision-making has been marginal. The purpose of this paper is to provide an overview of how the utility of health services research can be improved through the use of theory. Integrating theory into health services research can improve research methodology and encourage stronger collaboration with decision-makers. DISCUSSION: Recognizing the importance of theory calls for new expectations in the practice of health services research. These include: the formation of interdisciplinary research teams; broadening the training for those who will practice health services research; and supportive organizational conditions that promote collaboration between researchers and decision makers. Further, funding bodies can provide a significant role in guiding and supporting the use of theory in the practice of health services research. SUMMARY: Institutions and researchers should incorporate the use of theory if health services research is to fulfill its potential for improving the delivery of health care.

Prospective run theory for multinomial outcomes

The focus of this study was to generalize the theory of runs to multinomial outcomes using the generating function approach. Detailed discussion is provided for determining the probability distributions for all runs of length i in a sequence of n trials for the binomial and trinomial cases. The generalization to multinomial case is also presented. Application to data for patients from a long term disability care facility is presented to illustrate the use of Run Theory in determining the probability of a dominant state of treatment associated with a patient during his/her hospitalization. ^

Operational Aspects of Full Reduction in Lambda Calculi

Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 En esencia, la reducción plena consiste en evaluar los cuerpos de las funciones en los lenguajes de programación funcional con ligaduras. Se toma el cálculo lambda clásico (i.e., puro y sin tipos) como el sistema formal que modela el paradigma de programación funcional. La reducción plena es una técnica fundamental cuando se considera a los programas como datos, por ejemplo para la optimización de programas mediante evaluación parcial, o cuando algún atributo del programa se representa a su vez por un programa, como el tipo en los demostradores automáticos de teoremas actuales. Muchas semánticas operacionales que realizan reducción plena tienen naturaleza híbrida. Se introduce formalmente la noción de naturaleza híbrida, que constituye el hilo conductor de todo el trabajo. En el cálculo lambda la naturaleza híbrida se manifiesta como una ‘distinción de fase’ en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas. Esta distinción de fase conlleva una estructura en capas en la que una semántica híbrida depende de una o más semánticas subsidiarias. Desde el punto de vista de los lenguajes de programación, la tesis muestra como derivar, mediante técnicas de transformación de programas, implementaciones de semánticas operacionales que reducen plenamente a partir de sus especificaciones. Las técnicas de transformación de programas consisten en transformaciones sintácticas que preservan la equivalencia semántica de los programas. Se ajustan las técnicas de transformación de programas existentes para trabajar con implementaciones de semánticas híbridas. Además, se muestra el impacto que tiene la reducción plena en las implementaciones que utilizan entornos. Los entornos son un ingrediente fundamental en las implementaciones realistas de una máquina abstracta. Desde el punto de vista de los sistemas formales, la tesis desvela una teoría novedosa para el cálculo lambda con paso por valor (‘call-by-value lambda calculus’ en inglés) que es consistente con la reducción plena. Dicha teoría induce una noción de equivalencia observacional que distingue más puntos que las teorías existentes para dicho cálculo. Esta contribución ayuda a establecer una ‘teoría estándar’ en el cálculo lambda con paso por valor que es análoga a la ‘teoría estándar’ del cálculo lambda clásico propugnada por Barendregt. Se presentan resultados de teoría de la demostración, y se sugiere como abordar el estudio de teoría de modelos. ABSTRACT This thesis studies full reduction in lambda calculi. In a nutshell, full reduction consists in evaluating the body of the functions in a functional programming language with binders. The classical (i.e., pure untyped) lambda calculus is set as the formal system that models the functional paradigm. Full reduction is a prominent technique when programs are treated as data objects, for instance when performing optimisations by partial evaluation, or when some attribute of the program is represented by a program itself, like the type in modern proof assistants. A notable feature of many full-reducing operational semantics is its hybrid nature, which is introduced and which constitutes the guiding theme of the thesis. In the lambda calculus, the hybrid nature amounts to a ‘phase distinction’ in the treatment of abstractions when considered either from outside or from inside themselves. This distinction entails a layered structure in which a hybrid semantics depends on one or more subsidiary semantics. From a programming languages standpoint, the thesis shows how to derive implementations of full-reducing operational semantics from their specifications, by using program transformations techniques. The program transformation techniques are syntactical transformations which preserve the semantic equivalence of programs. The existing program transformation techniques are adjusted to work with implementations of hybrid semantics. The thesis also shows how full reduction impacts the implementations that use the environment technique. The environment technique is a key ingredient of real-world implementations of abstract machines which helps to circumvent the issue with binders. From a formal systems standpoint, the thesis discloses a novel consistent theory for the call-by-value variant of the lambda calculus which accounts for full reduction. This novel theory entails a notion of observational equivalence which distinguishes more points than other existing theories for the call-by-value lambda calculus. This contribution helps to establish a ‘standard theory’ in that calculus which constitutes the analogous of the ‘standard theory’ advocated by Barendregt in the classical lambda calculus. Some prooftheoretical results are presented, and insights on the model-theoretical study are given.

The role of nutrients for improving seedling quality in drylands

Forest plantations have been extensively used to combat desertification. In drylands, harsh climate conditions and unfertile soils often preclude seedling establishment. The improvement in seedling quality by manipulating nutrient availability could contribute to increase planting success. However, morpho-functional traits defining optimum seedling quality in drylands, and the fertilization schemes to achieve them, are still under discussion. Several studies suggest that well fertilized seedlings may perform better than nutrient limited seedlings in these environments. However, recent works have shown opposite results. In this review, we discuss the concept of seedling quality in drylands based on an evaluation of the effects of nutrient manipulation on seedling morpho-functional traits and field performance. According to existing data, we hypothesize that nutrient-limited small seedlings may be better adapted to arid environments and unfavorable microsites, where access to water is uncertain and a conservative water use strategy may be advantageous. In contrast, in dry sub-humid areas, areas with deep soils, protected from excess radiation, and areas where irrigation is feasible, well-fertilized big seedlings with high root growth potential may have more chances of success. We discuss this theory in the context of the multiple objectives of dryland restoration and the environmental constrains posed by these areas, and identify knowledge gaps that should be targeted to test our hypothesis.

Teachers’ Use of Inclusive Practices in Spain

The aim of this study was to examine the extent to which teachers use inclusive practices to respond to students’ special needs in their classrooms and to determine whether grade level taught, training, and availability of resources and support affect the implementation of these practices. A research survey was designed for this purpose with the participation of a representative sample of 336 general education teachers (68 kindergarten, 133 elementary, and 135 secondary education teachers) in the province of Alicante, Spain. Findings reflected a moderate use of inclusive practices, with teachers more frequently implementing general adaptations rather than substantial ones. Statistically significant differences in use of inclusive practices were found as a function of the grade level taught, training received, and availability of material resources. Results are discussed in terms of their implication for teacher education reform and training programs.

Shades of CORDS in the Kush : the false hope of "unity of effort" in American counterinsurgency /

"Counterinsurgency (COIN) requires an integrated military, political, and economic program best developed by teams that field both civilians and soldiers. These units should operate with some independence but under a coherent command. In Vietnam, after several false starts, the United States developed an effective unified organization, Civil Operations and Revolutionary Development Support (CORDS), to guide the counterinsurgency. CORDS had three components absent from our efforts in Afghanistan today: sufficient personnel (particularly civilian), numerous teams, and a single chain of command that united the separate COIN programs of the disparate American departments at the district, provincial, regional, and national levels. This paper focuses on the third issue and describes the benefits that unity of command at every level would bring to the American war in Afghanistan. The work begins with a brief introduction to counterinsurgency theory, using a population-centric model, and examines how this warfare challenges the United States. It traces the evolution of the Provincial Reconstruction Teams (PRTs) and the country team, describing problems at both levels. Similar efforts in Vietnam are compared, where persistent executive attention finally integrated the government's counterinsurgency campaign under the unified command of the CORDS program. The next section attributes the American tendency towards a segregated response to cultural differences between the primary departments, executive neglect, and societal concepts of war. The paper argues that, in its approach to COIN, the United States has forsaken the military concept of unity of command in favor of 'unity of effort' expressed in multiagency literature. The final sections describe how unified authority would improve our efforts in Afghanistan and propose a model for the future."--P. iii.

A history of the warfare of science with theology in christendom /

Includes bibliographical references and index.

Trends in the use of hospital beds by older people in Australia: 1993-2002

Objective: To determine trends in use of Australian acute hospital inpatient services by older patients. Design and data sources: Secondary analysis of hospital data from the Australian Institute of Health and Welfare in the period 1993-94 to 2001-02, with population data for this period from the Australian Bureau of Statistics. Outcome measures: Population-based rates of hospital separations and bed utilisation. Results: The Australian aged population (65 years and older) increased by 18% compared with total population growth of 10%, yet the proportion of hospital beds occupied by older patients remained stable at 47%. The most substantial changes were observed in the population aged 75 years and older, with separations increasing by 89%, length of stay reducing by 35% and bed utilisation increasing by 23%. However, rates of bed utilisation (in relation to population) declined among older groups (10% decline in per capita use in population 75 years and older), but increased in the younger population (1% increase in per capita use in people younger than 65 years). Conclusion: Important trends in use of inpatient services were identified in this study. These trends are contrary to common perception. Ageing of the Australian population was not associated with an increase in the proportion of hospital beds used by older patients.