Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e.g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks

Visitor Management in World Heritage Destinations before and after Covid-19, Angkor

The purpose of this research was to analyze the visitor-management tactics and strategies in World Heritage destinations. The Temples of Angkor (Cambodia) were selected as case studies. The analysiswas carried out in two phases—before and after COVID-19. A qualitativemethodologywas used. Participant observation was employed for the pre-COVID-19 strategies, and recommendations of scholars and bodies responsible for tourism were the basis for the strategies proposed for the post-COVID-19 scenario. Grounded theory and the Atlas.ti qualitative analysis software were used. The results showed that the public health goal, together with its related strategies and tactics, should be added to the classic sustainability goals and the hard and soft strategies (physical, regulatory, and educational). It was also noted that new actors came into play—those responsible for public health. In conclusion, this new public health goal and its tactics will condition classic factors such as carrying capacity, and can conflict with goals such as the economic and social goals. The sustainability paradigm is maintained, but with the addition of risk society and the public health goal playing a key role.Research Group on Territorial Studies at University of CoruñaDepartment of Sociology at University of Granad

Second grade life science curriculum design using Howard Gardner\u27s theory of multiple intelligences

The purpose of this project is to bring the subject of life sciences to second grade students through a diverse curriculum design. The theory of multiple intelligence and the principles of brain-based learning areused to incorporate elements that will reach each student on an individual basis

Exploring teachers’ perceptions of critical digital literacies and how these are manifested in their teaching practices

Digital systems are increasingly becoming central to the running of contemporary schools. A range of digital tools are also adopted by teachers to facilitate face to face teaching and learning and more recently to accommodate remote schooling. Similarly, digital technologies lie at the heart of how students support their learning but also interact with peers. These digital practices raise questions in relation to teachers’ own critical digital literacies as well as their role in developing students’ critical digital literacies. This paper presents the findings of a qualitative study that aimed to develop an understanding of teachers’ current experiences and future needs relating to critical digital literacies within school contexts. Drawing on empirical data collected during focus group interviews with primary and secondary school teachers in Finland, Italy, Spain and the UK this paper looks at teachers’ perceptions of critical digital literacies and explores whether and how these are manifested in their practices. Findings revealed that different dimensions of critical digital literacies were more prevalent for each national group and highlighted the disjuncture between how Critical digital literacies (CDL) is defined and perceived in academic research with a stronger emphasis on the “critical” and between the more “twenty-first century skills” oriented policy agendas and curricula which inform teachers’ practice. The paper goes on to discuss the implications of these findings and identifies gaps in relation to teachers’ understandings of critical digital literacies. Last, it offers original insights for future policymaking, research and practice regarding the challenges of supporting teachers with developing critical digital literacies

Logistics and Agri\u2010Food: Digitization to Increase Competitive Advantage and Sustainability. Literature Review and the Case of Italy

This paper examines the current challenges faced by logistics with a focus on the agri\u2010food sector. After outlining the context, a review of the literature on the relationship between logistics and strategic management in gaining and increasing competitiveness in the agri\u2010food sector is con-ducted. In particular, the flow of the paper is as follows: after examining the aforementioned managerial problem and its broader repercussions, the paper proceeds to address two main research questions. First, how and by which tools can digitization contribute to improving supply chain management and sustainability in logistics? Second, what are the main managerial and strategic implications and consequences of this for the agri\u2010food sector in terms of efficiency, effectiveness, cost reduction, and supply chain optimization? Finally, the paper presents Italy as a case study, chosen both for its peculiar internal differences in logistical infrastructures and entrepreneurial management between Northern and Southern regions (which could be at least partially overcome with the use of new technologies and frameworks) and for the importance of the agri\u2010food sector for the domestic economy (accounting about 25% of the country\u2019s GDP), on which digitization should have positive effects in terms of value creation and sustainability

Preliminary evaluation of the Korea Health Development Institute community health practitioner training program

노트 : Evaluates project to train community health practitioners and aides (CHP and CHA) and village health aides (VHA) to provide primary health care to Korea's rural poor. Evaluation covers a period ending 5/80 and is based on document review, site visits, and interviews with trainees and with project personnel. The project paper defined the CHP's role as mainly curative, however, a mid-term assessment divided CHP duties evenly among preventive, curative, and clinic management. Trainees were chosen from the areas they were to serve on the basis of attitude and experience. The one-year CHP training program has three parts: classroom (for which texts were developed on internal medicine, surgery, preventive and emergency care, clinic management, and pharmaceutics), hospital internship, and field practice. Due to a lack of instructors and available hospital space, half the trainees entered field practice without adequate preparation, and field supervision was limited. Nonetheless, all trainees were judged to be doing satisfactory work. The CHP evaluation (30% in-class exam, 70% clinical assessment) was judged well-designed and objective. Guidelines for a revised CHP training program are provided. CHA's are nurse aides who undergo a 9-month training course. Turnover was high among CHA's who felt their duties required more varied training. VHA's are volunteers who perform simple health care and refer cases to the community health center. Although the VHA program was not examined in detail, a large number of VHA's have been trained and the program appears basically sound. It is recommended that: the final external evaluation include experts in mid-level health manpower training and that the final training evaluation estimate the quality of preventive and curative services; a management and supply system and a standardized training and evaluation program for nationwide deployment of CHP's be developed; and that USAID/P take immediate action to provide additional technical assistance to the Korean Health Development Institute

The Southeastern Librarian v. 57, no. 1 (Spring 2009) Complete Issue

Complete issue of The Southeastern Librarian, volume 57, No. 1 (Spring 2009)