A Week Devoted to Wellness in the Preclinical Phase: Lessons Learned

Background During the 2017-2018 academic year, a large private medical college underwent a complete transformation of its curriculum from a primarily lecture based, traditional format to an integrated, longitudinal format that included both time limited blocks and longitudinal threads of content. Wellness, conceptualized at both wellness of the provider and the patient, is one of the eight threads. Goals Provide a structured pause in medical school for you to reflect on your own wellness Allow time to explore the ideas of resilience Provide time for rejuvenation Allow you to start building productive habits to last you throughout your entire medical careershttps://jdc.jefferson.edu/rmposters/1005/thumbnail.jp

Global Building Physics

High ambitions are set for the building physics performance of buildings today. No single technology can achieve fulfilment of these ambitions alone. Integrated, multi-facetted solutions and optimization are necessary. A holistic, or “global”, technological perspective is needed, which includes all aspects of the building as defined in building engineering.We live in an international society and building solutions are developed across country borders. Building physics is a global theme. The International Association of Building Physics has global appeal.The keynote lecture and this brief paper will illustrate some global relations and highlight some of the challenges we see today

Building multi-layer social knowledge maps with google maps API

Google Maps is an intuitive online-map service which changes people's way of navigation on Geo-maps. People can explore the maps in a multi-layer fashion in order to avoid information overloading. This paper reports an innovative approach to extend the "power" of Google Maps to adaptive learning. We have designed and implemented a navigator for multi-layer social knowledge maps, namely ProgressiveZoom, with Google Maps API. In our demonstration, the knowledge maps are built from the Interactive System Design (ISD) course at the School of Information Science, University of Pittsburgh. Students can read the textbooks and reflect their individual and social learning progress in a context of pedagogical hierarchical structure

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for the purpose. Our experience in using such an IDE, supported by a 'push-button' verifying compiler in a classroom setting, reveals the highly iterative process learners use to arrive at suitably specified, automatically provable code. We explain how the IDE facilitates reasoning at each step of this process by providing human readable verification conditions (VCs) and feedback from an integrated prover that clearly indicates unprovable VCs to help identify obstacles to completing proofs. The paper discusses the IDE's usage in verified software development using several examples drawn from actual classroom lectures and student assignments to illustrate principles of design-by-contract and the iterative process of creating and subsequently refining assertions, such as loop invariants in object-based code.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

Using video in the construction technology classroom: encouraging active learning

During the last fifteen years the use of video in the classroom at all levels of education has increased while at the same time most research into educational technology has concentrated on personal computers and the internet. Consequently there is a lack of research into how video is used in teaching at a time when it is one of the most used technologies. What research has been carried out (mainly in the medical education domain) has generally found video to be effective in promoting student learning and that students are receptive to its use. However it is necessary to ensure that students engage in active (rather than passive) viewing. This paper reports the authors’ experience of using the materials produced by the Video Project at the University of West of England (UWE) in teaching Level 1 domestic scale construction technology at Anglia Ruskin University. The research is concerned with how the videos may best be used in the lecture theatre. Data, collected by questionnaire from over 200 students largely support the authors’ approach of using a short but carefully focused quiz as an ‘orienting activity’ to encourage ‘active learning’. Feedback of the quiz results can then be used as the means by which further detail and reinforcement of key points is provided

Scan to BIM for 3D reconstruction of the papal basilica of saint Francis in Assisi In Italy

The historical building heritage, present in the most of Italian cities centres, is, as part of the construction sector, a working potential, but unfortunately it requires planning of more complex and problematic interventions. However, policies to support on the existing interventions, together with a growing sensitivity for the recovery of assets, determine the need to implement specific studies and to analyse the specific problems of each site. The purpose of this paper is to illustrate the methodology and the results obtained from integrated laser scanning activity in order to have precious architectural information useful not only from the cultural heritage point of view but also to construct more operative and powerful tools, such as BIM (Building Information Modelling) aimed to the management of this cultural heritage. The Papal Basilica and the Sacred Convent of Saint Francis in Assisi in Italy are, in fact, characterized by unique and complex peculiarities, which require a detailed knowledge of the sites themselves to ensure visitor’s security and safety. For such a project, we have to take in account all the people and personnel normally present in the site, visitors with disabilities and finally the needs for cultural heritage preservation and protection. This aim can be reached using integrated systems and new technologies, such as Internet of Everything (IoE), capable of connecting people, things (smart sensors, devices and actuators; mobile terminals; wearable devices; etc.), data/information/knowledge and processes to reach the desired goals. The IoE system must implement and support an Integrated Multidisciplinary Model for Security and Safety Management (IMMSSM) for the specific context, using a multidisciplinary approach

Leading the Practice in Layered Enterprise Architecture

While Enterprise Architecture (EA) causes organisations to think, work and model in domains, there are inadequacies in such a waterfall approach. By restating domains as layers, i.e. LEAD (Layered Enterprise Architecture Design/ Development) based on the LEAD Enterprise Ontology, EA performs better in enterprise layers and levels of abstraction. Through LEAD, the domain relationships are also better captured, hence leading the advancement of agile EA

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Using the Internet to improve university education

Up to this point, university education has largely remained unaffected by the developments of novel approaches to web-based learning. The paper presents a principled approach to the design of problem-oriented, web-based learning at the university level. The principles include providing authentic contexts with multimedia, supporting collaborative knowledge construction, making thinking visible with dynamic visualisation, quick access to content resources via information and communication technologies, and flexible support by tele-tutoring. These principles are used in the MUNICS learning environment, which is designed to support students of computer science to apply their factual knowledge from the lectures to complex real-world problems. For example, students may model the knowledge management in an educational organisation with a graphical simulation tool. Some more general findings from a formative evaluation study with the MUNICS prototype are reported and discussed. For example, the students' ignorance of the additional content resources is discussed in the light of the well-known finding of insufficient use of help systems in software applications