Training Faculty to Adopt the Ignatian Pedagogical Paradigm, IPP and its Influence on Teaching and Learning: Process and Outcomes

This is the second of two articles describing the action research undertaken by the three trainees and their trainer (author of this article). After formal training, the training team integrated the Ignatian Pedagogical Paradigm (IPP) into their undergraduate courses from fall of 2010 through May 2013 in the College of Professional Studies (CPS) at Marquette University in Milwaukee, Wisconsin. The first article was published in this journal in fall 2012 and provided a narrative describing the faculty development process, predicated on the five constructs of the IPP: Context, Experience, Reflection, Action and Evaluation. This article includes a full description of the training protocol, data collection process, and the qualitative data analysis methods. This training team used an Action Research model put forth by Reil over two years and nine months to determine the influence of the IPP on their teaching. This study seeks to provide others who teach at Jesuit Colleges and Universities a rationale for using the IPP both as pedagogy, a curriculum guide along with specific instructional practices, and learning activities. In addition, a replicable IPP training protocol is provided that is based on best practices derived from analogous research in the fields of contemporary learning, cognitive, and educational research. The study also provides the outcomes related to the impact the infusion of the IPP had on the instructors’ curricula, pedagogies, instructional strategies, learning activities, and assessment practices, as well as the student-teacher learning relationship

On formalising and analysing the tweetchain protocol

Distributed Ledger Technology is demonstrating its capability to provide flexible frameworks for information assurance capable of resisting to byzantine failures and multiple target attacks. The availability of development frameworks allows the definition of many applications using such a technology. On the contrary, the verification of such applications are far from being easy since testing is not enough to guarantee the absence of security problems. The paper describes an experience in the modelling and security analysis of one of these applications by means of formal methods: in particular, we consider the Tweetchain protocol as a case study and we use the Tamarin Prover tool, which supports the modelling of a protocol as a multiset rewriting system and its analysis with respect to temporal first-order properties. With the aim of making the modeling and verification process reproducible and independent of the specific protocol, we present a general structure of the Tamarin Prover model and of the properties to verified. Finally, we discuss the strengths and limitations of the Tamarin Prover approach considering three aspects: modelling, analysis and the verification process. Copyrigh

Access to timely formal dementia care in Europe: protocol of the Actifcare (ACcess to Timely Formal Care) study

The project is supported through the following funding organizations under the aegis of JPND - www.jpnd.eu. Germany, Ministry of Education and Research, Ireland, Health research board, Italy, Ministry of Health, the Netherlands, The Netherlands organization for Health Research and Development, Sweden, The Swedish Research Council for Health, Working Life and Welfare, Norway, The Research Council of Norway, Portugal, Foundation for Science and Technology, (Fundação para a Ciência e Tecnologia (FCT - JPND-HC/0001/2012), United Kingdom, Economic and Social Research Council. JPND has read and approved of the protocol of the Actifcare study.Background: Previous findings indicate that people with dementia and their informal carers experience difficulties accessing and using formal care services due to a mismatch between needs and service use. This mismatch causes overall dissatisfaction and is a waste of the scarce financial care resources. This article presents the background and methods of the Actifcare (ACcess to Timely Formal Care) project. This is a European study aiming at best-practice development in finding timely access to formal care for community-dwelling people with dementia and their informal carers. There are five main objectives: 1) Explore predisposing and enabling factors associated with the use of formal care, 2) Explore the association between the use of formal care, needs and quality of life and 3) Compare these across European countries, 4) Understand the costs and consequences of formal care services utilization in people with unmet needs, 5) Determine the major costs and quality of life drivers and their relationship with formal care services across European countries. Methods: In a longitudinal cohort study conducted in eight European countries approximately 450 people with dementia and informal carers will be assessed three times in 1 year (baseline, 6 and 12 months). In this year we will closely monitor the process of finding access to formal care. Data on service use, quality of life and needs will be collected. Discussion: The results of Actifcare are expected to reveal best-practices in organizing formal care. Knowledge about enabling and predisposing factors regarding access to care services, as well as its costs and consequences, can advance the state of the art in health systems research into pathways to dementia care, in order to benefit people with dementia and their informal carers.publishersversionpublishe

Counting Is Not Enough: Investing in Qualitative Case Reviews for Practice Improvement in Child Welfare

Outlines the value of quality case service reviews in child welfare systems, requirements for building and sustaining a robust process and adapting it under limited state budgets, and recommendations for jurisdictions, initiators, and national leadership

What makes industries believe in formal methods

The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research