Marketing of Library Services in an Academic Environment

Marketing of information services is now an important goal of librarians all over the ~orld t? attract mor~ users to the libr~ry. thereby promoting user satisfaction. Marketing IS considered ~s ~n Integr~1 part of libraries and information centres mainly due to the developments In information t.echnology, information explosion, and declining library budgets. Kotler defines marketing as the "analysis, planning, implementation and control o~ carefully formulated programs designed to bring about voluntary exchanges of values WIth target markets fo~ the ~~rpos~ of~chievingorganizational objectives". Organizations suc.h as museums, unrversittes, libraries, and charities need to market their causes and their products to gain. political and social support as well as economic support (Kotler, 1995). In the marketing world people are now migrating from the traditional Four P ~lodelto th~ S~VE mode! (Alt~ns~n, 2013). According to the SAVE model, marketing III an orgarusanon must grve pnonty to 'Solutions' instead of the features or functions of~he.'Product" Similarily it is to focus on 'Access', instead of ,Place'; 'Value' instead of Price" so that the benefits are more stressed, rather than production costs. Instead of :Proliloti.on', marketi~g has. to conc~ntrate on 'Educating' the customers, providing lJlfo~mahol~ about t~eJr specific req~lrements, instead of relying on advertising, public rel~tlons, direct selling etc. From a library point ofview, to ensure maximum utilization of library ~ervices there is an increasing need for definite marketing plans to exploit the techn.ologlcal dcvelop",len~s so ~s to entice the users. By anticipating their changing needs and ~y co.mmulllcatl~g WIth them it should be possible to devise strategies to present various library services and products in a perceptive style.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code

A Compilation Strategy for Numerical Programs Based on Partial Evaluation

This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders to propagate intermediate results. For an important class of numerical programs, a compiler based on this technique improves performance by an order of magnitude over conventional compilation techniques. I show that by eliminating inherently sequential data-structure references, partial evaluation exposes the low-level parallelism inherent in a computation. I have implemented several parallel scheduling and analysis programs that study the tradeoffs involved in the design of an architecture that can effectively utilize this parallelism. I present these results using the 9- body gravitational attraction problem as an example.

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

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

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.

Análisis de los programas de la agencia española de cooperación internacional para el desarrollo dirigidos a las mujeres en la lucha contra el vih/sida en mozambique (2005-2010)

En este estudio de caso pretende dar respuesta a que factores vitalizan la cooperación Española en Mozambique a través del análisis de programas como el VITA, dirigidos específicamente al desarrollo y mejoramiento de la salud en el continente Africano. Este estudio de caso se centra en el investigación de los discursos de desarrollo que se fundamentan en las políticas internacionales de cooperación , basadas en la existencia de una enfermedad como el VIH que ha puesto en manifiesto la interacción entre la esfera biológica y social , social e individual entre el fenómeno existencial y cultural, lo que fundamenta su importancia y estudio. Se ha escogido esta herramienta de investigación social, en este estudio de caso, para abordar la forma en que funciona y opera la AECID en Mozambique a través de los programas con enfoque de género encaminados al problema del VIH. Se pretende dar a conocer el desarrollo en materia de la cooperación internacional de una organización tan importante como la AECID, cuyos proyectos gozan de una gran credibilidad en cuanto a la ejecución de sus acciones y que en general dichos proyectos se adecuan a las necesidades de la población, a los objetivos de desarrollo nacionales y a las prioridades de la cooperación española.

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.

Performance indicators for the physical therapy program’s field academic programs at the Universidad del Rosario for 2004-2007.

Introducción: El programa de Fisioterapia de la Universidad del Rosario, en su responsabilidad social de generar un impacto positivo en la comunidad y en su propósito de formar profesionales, cuenta con los Programas Académicos de Campo (PAC) que se consideran una fuerte estrategia de extensión de la Universidad. Los PAC contribuyen a la adquisición de competencias para el desarrollo de procesos de acción-actuación-creación en los estudiantes para que resuelvan problemas en un espacio real de ejercicio profesional. Bajo esta perspectiva los PAC del programa de Fisioterapia muestran su comportamiento a través de la medición de indicadores de proceso y resultados propuestos desde el Programa con el fin de proveer información útil para la reorientación y permanente actualización de los contenidos programáticos en las asignaturas y en los mismos PAC. Materiales y métodos: En el siguiente artículo se presenta un análisis de los indicadores de demanda por género, régimen de Seguridad Social en Salud, procedimiento y morbilidad de los Programas Académicos de Campo Integral Pediátrico, Integral de Adultos y Rehabilitación cardíaca y/o pulmonar, con el fin de establecer las características de la población objeto de la prestación de los servicios y procurar información verificable que dé soporte para la construcción de procesos de cambio dentro de la dinámica de mejoramiento continuo que debe tener cualquier institución. Este seguimiento es útil para la toma de decisiones de planeación académica que contribuye a mejorar los procesos de planeación y a facilitar el cumplimiento de los propósitos de formación para cada práctica, y de esta manera ayuda a ser elemento de análisis para directivas, instructores y estudiantes en la orientación del proceso de gestión académico-administrativo, y a retroalimentar los procesos de planeación y programación académica. Resultados: Los resultados arrojados en el análisis de los datos de la morbilidad en los programas académicos de campo muestran el siguiente comportamiento durante los años 2004, 2005, 2006 y 2007. Conclusiones: En el PAC pediátrico la mayor incidencia es de asma con un 37,2% y la más baja incidencia es para luxación congénita de cadera y enfermedad mental de origen central con un 0,1%. El 58% de los usuarios es de género masculino, y el 81% del total pertenece al régimen contributivo. En la morbilidad del PAC de adultos la mayor incidencia es de EPOC, con un 23,2%, y la menor incidencia es de lumbalgia, con un 2,4%. La mayoría de usuarios atendidos (58%) son hombres, y el 58% de los usuarios pertenece al régimen contributivo. En el PAC de rehabilitación cardíaca y/o pulmonar la mayor incidencia fue de EPOC, con un 40%; seguido de neumonía, con 17%; y con una menor incidencia para asma, con un 2%. El 54% de los usuarios son hombres y el 91% del total pertenece al régimen subsidiado.

Continuous improvement programs as processes for organizational learning: a case study of a company in the food products industry

This article intends to show the relationships between quality practices and the process of organizational learning. When we look at the literature about programs of continuous improvement we see that theoreticians consider that the process of organizational learning is a superior stage in the quality culture adopted by companies. To investigate this possibility, we put together a series of indicators taken from classic authors who have written about organizational learning. Adopting a multiple methodology, we applied these indicators to two plants belonging to the Nestlé food product company which have introduced continuous improvement programs over the last two years.

Ejercicio y resultados clínicos en pacientes con enfermedad de Parkinson: una revisión sistemática y metaanálisis

Antecedentes. La enfermedad de Parkinson (EP) es la segunda enfermedad neurodegenerativa más común en el mundo, la cual afecta el componente físico, psicológico y social de los individuos que la padecen. Numerosos estudios han abordado los beneficios de diferentes programas de ejercicio, llegando a ser una estrategia no-farmacológica efectiva para aminorar el deterioro funcional de los pacientes con EP. Objetivo. Determinar los efectos de las diferentes modalidades de ejercicio físico en los principales desenlaces clínicos en pacientes con EP. Métodos. Se consultaron las bases de datos MEDLINE, EMBASE, Scopus, CENTRAL y PEDro desde febrero de 1990 hasta febrero de 2014 para identificar Ensayos Clínicos Aleatorizados (ECA) publicados. Además, se examinaron las listas de referencias de otras revisiones y de estudios identificados. La extracción de datos se realizó por dos autores independientes. Se empleó un modelo de efectos aleatorios en presencia de heterogeneidad estadística (I2>50%). El sesgo de publicación fue evaluado mediante el gráfico de embudo. Resultados: Un total de 18 estudios fueron incluidos. Se encontraron diferencias estadísticamente significativas en las intervenciones con ejercicio y las siguientes medidas de resultado, severidad de los síntomas motores (MDS-UPDRS) DME 1.44, IC 95% [-2.09 a -0.78] (p<0.001) I2= 87,9% y el equilibrio DME 0,52 IC 95% [0,30 a 0,74] (p<0.001) I2= 85,6%. En el análisis de subgrupos en la modalidad de ejercicio aeróbico, en MDS-UPDRS DME -1,28, IC 95% [-1,98 a -0,59] (p<0.001), 3 calidad de vida DME -1,91 IC 95% [-2,76 a -1,07] (p<0.001), equilibrio DME 0,54 IC 95% [0,31 a 0,77] (p<0.001), 10-m WT DME 0,15 IC 95% [0,06 a 0,25] (p<0.001) y Vo2 máximo DME -1,09 IC 95% [-1,31 a -0,88] (p=0.001), 6MWT DME 40,46 IC 95% [11,28 a 69,65] (p=0.007). Conclusiones: El ejercicio aeróbico produjo mejoras significativas en MDS UPDRS, equilibrio, calidad de vida, 10-m WT y y Vo2 máximo; mientras que el ejercicio combinado mejoró la fuerza.