Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Implementation of training programs in self-regulated learning strategies in Moodle format : Results of a experience in higher education

Resumen tomado de la publicaci??n

Intellectual Literacy Hour

This is a Guardian article abut the JISC commissioned report: Information behaviour of the researcher of the future. UCL 2008 http://www.jisc.ac.uk/media/documents/programmes/reppres/gg_final_keynote_11012008.pdf

The ISSA Pedagogical Standards: a tool to influence quality in early childhood programs

The ISSA Pedagogical Standards were first published in 2001 as a network-developed tool that defined quality in teaching practices and the classroom environment and captured the changes that had occurred in the region since 1994 when the Step by Step Program, an initiative to promote democratic principles in early childhood development and education, was launched. The Program was built on belief that each child has the right to receive maximum support for the development of his or her full potential, and this work should be done in partnership and close cooperation with families, communities and professionals

Databases and cooperative projects of the IZI documentation centre : promoting media literacy. 'Bases de datos y proyectos cooperativos del centro de documentación IZI : promoviendo la alfabetización de los medios de comunicación'.

El Instituto Internacional Central para la Televisión Juvenil y Educativa (IZI) es un centro de investigación y documentación dedicado a promover la calidad en la televisión y medios de comunicación para niños y jóvenes y educación. El departamento de documentación del IZI cuenta con una base de datos de referencia internacional para educadores, investigadores, padres, estudiantes y especialistas de la información. Además el IZI participa en redes nacionales e internacionales educativas documentales. El objetivo esencial de estos proyectos cooperativos es la promoción de la alfabetización de medios de comunicación, que constituye una habilidad imprescindible en la sociedad del conocimiento.

The New Web Literacy

Web 2.0 is sometimes described as the read/write web, giving everyday users the chance to create and share information as well as to consume information created by others. Social media systems are built on this foundation of participation and sharing, but what is the mindset of these users, and are they quite so everyday as we might suppose? The skills and attitudes held by users can be described as their literacy, and there has been a lot of debate over the last few years about how to describe these literacies, and design for them. One field that has been changed radically by this notion is Technology Enhanced Learning (TEL) where a fierce debate has raged about the potential of a new generation of highly literate digital natives, and Edupunks have argued for open and personal systems that challenge traditional models of institutional control. In this session we look at the arguments surrounding digital literacy and examine TEL as an example of how social media can change an application domain.

Abstraction: From Transistors to Computers and from Bits to Programs

Takes the Tanenbaum (Structured Computer Organisation) approach to show how application of successive levels of abstraction allow us to understand how computers are made from transitors and how they are programmed.

Digital Literacy Conference - permission to record

This document details the legal agreement that conference participants will need to sign so that the University can video, stream and store recordinsg of the sessions.

La influencia de factores educativos y familiares sobre el aprendizaje de una segunda lengua, y los efectos sobre la inteligencia y cognición

Actualmente, la investigación científica acerca de la influencia de los factores educativos y familiares en el aprendizaje de una segunda lengua (L2) es limitada. En comparación, los efectos que tiene la L2 en la inteligencia y cognición han sido más estudiados. Por esta razón, el artículo presenta una revisión de la literatura empírica existente que relaciona lo mencionado anteriormente, ampliando así la temática del bilingüismo. Se buscaron artículos en cuatro bases de datos (PSICODOC, ISI Web of knowledge y SCOPUS), usando palabras claves específicas, en el periodo de 1990 hasta el 2012. De 79 artículos encontrados, 34 cumplieron con los criterios de inclusión para la revisión. Asimismo, se tuvieron en cuenta dos libros, de los cuales se revisó un capítulo por cada uno según los mismos criterios. En conjunto, los resultados arrojaron importantes datos teóricos y de investigación que relacionan el éxito en el aprendizaje de una L2 con la inteligencia y cognición, según la influencia de los factores educativos y familiares. En conclusión, se identificaron más factores educativos que familiares; lo cual a concepto de la autora evidencia la limitada investigación que se ha hecho sobre los factores familiares en el bilingüismo actualmente.

W8 Visual Literacy

Slides, notes and links summarising presentation, discussions, activities and further reading

Computer Applications: Information Literacy

Week 2

SIDUR: development of an information system, using controlled vocabulary designed to the characterization and sample of population with and without disability, attended by Rehabilitation programs, University of Rosario

Introduction: the statistical record used in the Field Academic Programs (PAC for it’s initials in Spanish) of Rehabilitation denotes generalities in the data conceptualization, which complicates the reliable guidance in making decisions and provides a low support for research in rehabilitation and disability. In response, the Research Group in Rehabilitation and Social Integration of Persons with Disabilities has worked on the creation of a registry to characterize the population seen by Rehabilitation PAC. This registry includes the use of the International Classification of Functioning, Disability and Health (ICF) of the WHO. Methodology: the proposed methodology includes two phases: the first one is a descriptive study and the second one involves performing methodology Methontology, which integrates the identification and development of ontology knowledge. This article contextualizes the progress made in the second phase. Results: the development of the registry in 2008, as an information system, included documentary review and the analysis of possible use scenarios to help guide the design and development of the SIDUR system. The system uses the ICF given that it is a terminology standardization that allows the reduction of ambiguity and that makes easier the transformation of health facts into data translatable to information systems. The record raises three categories and a total of 129 variables Conclusions: SIDUR facilitates accessibility to accurate and updated information, useful for decision making and research.