User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Towards an abstract domain for resource analysis of logic programs using sized types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Resource usage analysis of logic programs via abstract interpretation using sized types

We present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing resource analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for inferring both size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.

Assessment for English language education on the programs at the Agricultural Engineering School of Madrid

The convergence process among European academic degrees pursues the exchange of graduate students and the adaptation of university programs to social demand. Within the framework of the European Higher Education, European universities will need to be more competitive not only by increasing or maintaining the student enrolment, but also in their academic performance. Thus, the reinforcing of English language education within the University Programs might play an important role to reach these objectives. In this sense, a complete survey was accomplished at the Agricultural Egineering School of Madrid (ETSIA ) addressing issues such as: identification the needs for bilingual instruction at ETSIA, identification resources needed and interest and background in English language of students and professors (San José et al., 2013). The conclusions and recommendations to promote the bilingual instruction in the ETSIA, taking into account the approaches followed by other Spanish universities, are presented in this work.

Fostering English-taught higher education programs in a Spanish university: the "TechEnglish" innovative project

In recent years, coinciding with adjustments to the Bologna process, many European universities have attempted to improve their international profile by increasing course offerings in English. According to the Institute of International Education (IIE), Spain has notably increased its English-taught higher education programs, ranking fifth in the list of European countries by number of English-taught Master's programs in 2013. This article presents the goals and preliminary results of an on-going innovative education project (TechEnglish) that aims to promote course offerings in English at the Technical University of Madrid (Universidad Politécnica de Madrid, UPM). The UPM is the oldest and largest of all Technical Universities in Spain. It offers graduate and postgraduate programs that cover all the engineering disciplines as well as architecture. Currently, the UPM has no specific bilingual/multilingual program to promote teaching in English, although there is an Educational Model Whitepaper (with a focus on undergraduate degrees) that promotes the development of activities like an International Semester or a unique shared curriculum. The TechEnglish project is an attempt to foster courses taught in English at 7 UPM Technical Schools, including students and 80 faculty members. Four tasks were identified: (1) to design a university wide framework to increase course offerings, (2) to identify administrative difficulties, (3) to increase visibility of courses offered, and (4) to disseminate the results of the project. First, to design a program we analyzed existing programs at other Spanish universities, and other projects and efforts already under way at the UPM. A total of 13 plans were analyzed and classified according to their relation with students (learning), professors (teaching), administration, course offerings, other actors/institutions within the university (e.g., language departments), funds and projects, dissemination activities, mobility plans and quality control. Second, to begin to identify administrative and organizational difficulties in the implementation of teaching in English, we first estimated the current and potential course offerings at the undergraduate level at the UPM using a survey (student, teacher and administrative demand, level of English and willingness to work in English). Third, to make the course offerings more attractive for both Spanish and international students we examined the way the most prestigious universities in Spain and in Europe try to improve the visibility of their academic offerings in English. Finally, to disseminate the results of the project we created a web page and a workspace on the Moodle education platform and prepared conferences and workshops within the UPM. Preliminary results show that increasing course offerings in English is an important step to promote the internationalization of the University. The main difficulties identified at the UPM were related to how to acknowledge/certify the departments, teachers or students involved in English courses, how students should register for the courses, how departments should split and schedule the courses (Spanish and English), and the lack of qualified personnel. A concerted effort could be made to increase the visibility of English-taught programs offered on-line.

Republican Scientific-Medical Library, The Republic of Armenia: progress and programs*

In 1990, the Republican Scientific-Medical Library (RSML) of the Ministry of Health of Armenia in collaboration with the Fund for Armenian Relief created a vision of a national library network supported by information technology. This vision incorporated four goals: (1) to develop a national resource collection of biomedical literature accessible to all health professionals, (2) to develop a national network for access to bibliographic information, (3) to develop a systematic mechanism for sharing resources, and (4) to develop a national network of health sciences libraries. During the last decade, the RSML has achieved significant progress toward all four goals and has realized its vision of becoming a fully functional national library. The RSML now provides access to the literature of the health sciences including access to the Armenian medical literature, provides education and training to health professionals and health sciences librarians, and manages a national network of libraries of the major health care institutions in Armenia. The RSML is now able to provide rapid access to the biomedical literature and train health professionals and health sciences librarians in Armenia in information system use. This paper describes the evolution of the RSML and how it was accomplished.

Multicultural education in Clinical Psychology Programs and the needs of racial minority trainees.

With more racial minorities entering the field of clinical psychology, the training needs of racial minority students in doctoral programs must be considered. Few studies address training in multicultural education from the perspective of racial minority students despite their increasing presence in the field. This may be due to assumptions educators make based on their level of competency in the area of multiculturalism. Thus, the goal of this exploratory study is to help determine the multicultural training needs of racial minorities enrolled in clinical psychology programs. This exploratory study was quantitative and used snowball sampling to survey racial minority trainees in doctoral programs in clinical psychology. Sixty one participants completed the survey. Results indicated that multicultural/diversity classes are valued by racial minority students and are relevant to them. However, the majority of students do not feel challenged, suggesting that their needs are not being fully met. It is recommended that their unique needs be included in the curriculum for multicultural education.

Library and Information Science Education and eScience: The Current State of ALA Accredited MLS/MLIS Programs in preparing Librarians and Information Professionals for eScience Needs

The purpose of this study is multifaceted: 1) to describe eScience research in acomprehensive way; 2) to help library and information specialists understand the realm of eScience research and the information needs of the community and demonstrate the importance of LIS professionals within the eScience domain; 3) and to explore the current state of curricular content of ALA accredited MLS/MLIS programs to understand the extent to which they prepare new professionals within eScience librarianship. The literature review focuses heavily on eScientists and other data-driven researchers’ information service needs in addition to demonstrating how and why librarians and information specialists can and should fulfill these service gaps and information needs within eScience research. By looking at the current curriculum of American Library Association (ALA) accredited MLS/MLIS programs, we can identify potential gaps in knowledge and where to improve in order to prepare and train new MLS/MLIS graduates to fulfill the needs of eScientists. This investigation is meant to be informative and can be used as a tool for LIS programs to assess their curriculums in comparison to the needs of eScience and other data-driven and networked research. Finally, this investigation will provide awareness and insight into the services needed to support a thriving eScience and data-driven research community to the LIS profession.

Evaluation of online tools as didactic resource in the university education

Recently, many efforts have been made in the academic world to adapt the new degrees to the new European Higher Education Area (EHEA). New technologies have been the most important factor to carry out this adaptation. In particular, the tools 2.0 have been spreading quickly, not just the Web 2.0, but even in all the educational levels. Nevertheless, it is now necessary to evaluate whether all these efforts and all the changes, carried out in order to obtain improved academic performance among students, have provided good results. Therefore, the aim of this paper is focused on studying the impact of the implementation of information and communication technologies (ICTs) in a subject belonging to a Master from the University of Alicante in the academic year (2010-2011). In special, it is an elective course called "Advanced Visual Ergonomics" from the Master of Clinical Optometry and Vision. The methodology used to teach this course differs from the traditional one in many respects. For example, one of the resources used for the development of this course is a blog developed specifically to coordinate a series of virtual works, whose purpose is that the student goes into specific aspects of the current topic. Next, the student participates in an active role by writing a personal assessment on the blog. However, in the course planning, there is an attendance to lessons, where the teacher presents certain issues in a more traditional way, that is, with a lecture supported with audiovisual materials, such as materials generated in powerpoint. To evaluate the quality of the results achieved with this methodology, in this work the personal assessment of the students, who have completed this course during this academic year, are collected. In particular, we want to know their opinion about the used resources, as well as the followed methodology. The tool used to collect this information was a questionnaire. This questionnaire evaluates different aspects of the course: a general opinion, quality of the received information, satisfaction about the followed methodology and the student´s critical awareness. The design of this questionnaire is very important to get conclusive information about the methodology followed in the course. The questionnaire has to have an adequate number of questions; whether it has many questions, it might be boring for the student who would pay no enough attention. The questions should be well-written, with a clear structure and message, to avoid confusion and an ambiguity. The questions should be objectives, without any suggestion for a desired answer. In addition, the questionnaire should be interesting to encourage the student´ s interest. In conclusion, this questionnaire developed for this subject provided good information to evaluate whether the methodology was a useful tool to teach "Advanced Visual Ergonomics". Furthermore, the student´s opinion collected by this questionnaire might be very helpful to improve this didactic resource.

Implementing the Physical Literacy Component of the 2015 Ontario Health and Physical Education Curriculum: Is the Stage Set?

Introduction: Current physical activity levels among children and youth are alarmingly low; a mere 7% of children and youth are meeting the Canadian Physical Activity Guidelines (Colley et al., 2011), which means that the vast majority of this population is at risk of developing major health problems in adulthood (Janssen & Leblanc, 2010). These high inactivity rates may be related to suboptimal experiences in sport and physical activity stemming from a lack of competence and confidence (Lubans, Morgan, Cliff, Barnett, & Okely, 2010). Developing a foundation of physical literacy can encourage and maintain lifelong physical activity, yet this does not always occur naturally as a part of human growth (Hardman, 2011). An ideal setting to foster the growth and development of physical literacy is physical education class. Physical education class can offer all children and youth an equal opportunity to learn and practice the skills needed to be active for life (Hardman, 2011). Elementary school teachers are responsible for delivering the physical education curriculum, and it is important to understand their will and capacity as the implementing agents of physical literacy development curriculum (McLaughlin, 1987). Purpose: The purpose of this study was to explore the physical literacy component of the 2015 Ontario Health and Physical Education curriculum policy through the eyes of key informants, and to explore the resources available for the implementation of this new policy. Methods: Qualitative interviews were conducted with seven key informants of the curriculum policy development, including two teachers. In tandem with the interviews, a resource inventory and curriculum review were conducted to assess the content and availability of physical literacy resources. All data were analyzed through the lens of Hogwood and Gunn’s (1984) 10 preconditions for policy implementation. Results: Participants discussed how implementation is affected by: accountability, external capacity, internal capacity, awareness and understanding of physical literacy, implementation expertise, and policy climate. Discussion: Participants voiced similar opinions on most issues, and the overall lack of attention given to physical education programs in schools will continue to be a major dilemma when trying to combat such high physical inactivity levels.

Basic education in manpower programs : the R & D experience : [report] /

Includes bibliographical references.

Resources in bilingual education : a preliminary guide to government agency programs of interest to minority language groups.

"This publication was issued by the National Clearinghouse for Bilingual Education pursuant to a contract awarded to InterAmerica Research Associates by the National Institute of Education in cooperation with the Office of Bilingual Education, Department of Health, Education and Welfare."

Competencies for university programs in bilingual education /

Bibliography: p. 39-40.

Border environmental education resource guide = Guía de recursos de educación ambiental en la frontera : Southern New Mexico, South Texas, Northern Chihuahua, Northern Coahuila, Northern Nuevo Leon, Northern Tamaulipas.

English and Spanish text inverted, bound together back to back.