Detectives and Superheroes: A Pilot Study Teaching Flexible Thinking in Social Situations to a Child with High Functioning Autism

Complex social-cognitive deficits are common in individuals diagnosed with high functioning autism and Asperger syndrome. Research on effective and evidence-based social interventions is needed for this population. This study focused specifically on the challenges these individuals face with respect to flexible thinking and related flexible behaviour in social situations. Madrigal and Winner's (2008) Superflex curriculum - targets social flexibility, however at the time of this study no published research had been conducted to determine the effectiveness of this approach. This study was a pilot study, which sought to examine the impact of the Superflex curriculum within a 10-week training program in teaching one individual with high functioning autism how to think and behave flexibly in social situations. Multiple measurement tools were utilized, and analyses within and across the measures revealed inconsistencies, especially with respect to generalization. Although preliminary, this study provided valuable information for subsequent research.

Applications and modelling in mathematics teaching

The aim of this paper is a comprehensive presentation of some important basic and general aspects of the topic applications and modelling, with emphasis on the secondary school level. Owing to the review character of this paper, some overlap with the survey paper Blum and Niss (1989) for ICME-6 in Budapest is inevitable. The paper will consist of three parts. In part 1, I shall try to clarify some basic concepts and remind the reader of a few application and modelling examples suitable for teaching. In part 2, I shall formulate some general aims for mathematics instruction and, on that basis, summarise the most important arguments for and against applications and modelling in mathematics teaching. Finally, in part 3, I shall discuss some relevant instructional aspects resulting from the considerations in part 2.

The Personal tutorial guidance sessions in the framework of the teaching-learning field of the Bologna process: University of Minho (first cycle) courses students’ perceptions

The Bologna Process defends the adoption of a higher education in teaching-learning methodologies that – in contraposition to the previous model based on the transmission of knowledge, which for being essentially theoretical, gives the student a passive role in the knowledge construction process – allows a (pro) active, autonomous and practical learning, where the student acquires and develops his competences. The personal tutorial guidance sessions are included in the teaching contact hours. This abstract presents a study about the University of Minho (first cycle) Courses Students’ perceptions of the personal tutorial guidance sessions’ relevance in the scope of the learning-teaching process, so as to confirm if the implementation/implantation of the commonly called tutorial (type) education, as an approach to an active, autonomous and practical learning, is sensed by the learners themselves

The UK Professional Standards Framework for teaching and supporting learning in higher education

The UK Professional Standards Framework (UK PSF) for teaching and supporting learning, launched in February 2006, is a flexible framework which uses a descriptor-based approach to professional standards. There are three standard descriptors each of which is applicable to a number of staff roles and to different career stages of those engaged in teaching and supporting learning. The standard descriptors are underpinned by areas of professional activity, core knowledge and professional values. The framework provides a reference point for institutions and individuals as well as supporting ongoing development within any one standard descriptor.

Teaching poetry in the early years

The chapter begins by establishing the key features of poetry itself and of poetry in the early years of schooling. A case study of how poetry is taught and learnt in one Reception class (ages 4 - 5 years) is presented, in this way demonstrating what excellent practice might look like. Poetry for listening to, for performing, for word-play, for responding and for writing are all covered. The chapter ends with advice on 'where do I start in teaching poetry?'

Meta-morphs: – being a mediator of the ‘thin’ place and ‘thin’ experience in the HE classroom. A paper on the experience of creating transformations in HE teaching and learning

The research which underpins this paper began as a doctoral project exploring archaic beliefs concerning Otherworlds and Thin Places in two particular landscapes - the West Coast of Wales and the West Coast of Ireland. A Thin Place is an ancient Celtic Christian term used to describe a marginal, liminal realm, beyond everyday human experience and perception, where mortals could pass into the Otherworld more readily, or make contact with those in the Otherworld more willingly. To encounter a Thin Place in ancient folklore was significant because it engendered a state of alertness, an awakening to what the theologian John O’ Donohue (2004: 49) called “the primal affection.” These complex notions and terms will be further explored in this paper in relation to Education. Thin Teaching is a pedagogical approach which offers students the space to ruminate on the possibility that their existence can be more and can mean more than the categories they believed they belonged to or felt they should inhabit. Central to the argument then, is that certain places and their inhabitants can become revitalised by sensitively considered teaching methodologies. This raises interesting questions about the role spirituality plays in teaching practice as a tool for healing in the twenty first century.

Traces, Patterns, Texture: In Search of Aesthetic Teaching/Learning Encounters

This inquiry reveals the crucial guidance of teachers toward surveying the capacity and needs of students, the formation of ideas, acting upon ideas, fostering connections, seeing potential, making judgments, and arranging conditions. Each aesthetic trace causes me to wonder how teachers learn to create experiences that foster student participation in the world aesthetically. The following considerations surface: • Given the emphasis in schools on outcomes and results, how do we encourage teachers to focus on acts of mind instead of end products in their work with students? • Given the orientations toward technical rationality, to fixed sequence, how do we help teachers experience fluid, purposeful learning adventures with students in which the imagi¬nation is given room to play? • Given the tendency to conceive of planning in teaching as the deciding of everything in advance, how do we help teachers and students become attuned to making good judgments derived from within learning experiences? • How do we help teachers build dialogical multivoiced conversations instead of monolithic curriculum? • What do we do to recover the pleasure dwelling in subject matter? How do we get teachers and students to engage thoughtfully in meaningful learning as opposed to covering curriculum7 • A capacity to attend sensitively, to perceive the complexity of relationships coming together in any teaching/learning experience seems critical. How do we help teachers and students attend to the unity of a learning experience and the play of meanings that arises from such undergoing and doing? The traces, patterns, and texture evidenced locate tremendous hope and wondrous possibilities alive within aesthetic teaching/learning encounters. It is such aliveness I encountered in the grade 4 art classroom that opened this account and continues to compel my attention. Possibilities for teaching, learning, and teacher education emerge. I am convinced they are most worthy of continued pursuit.

Teaching of the Integrated Management of Childhood Illness strategy in undergraduate nursing programs

Objective: To describe and analyze the teaching of the Integrated Management of hildhood Illness (IMCI) strategy on Brazilian undergraduate nursing programs. Method: Integrating an international multicentric study, a cross-sectional online survey was conducted between May and October 2010 with 571 undergraduate nursing programs in Brazil Results: Responses were received from 142 programs, 75% private and 25% public. 64% of them included the IMCI strategy in the theoretical content, and 50% of the programs included IMCI as part of the students’ practical experience. The locations most used for practical teaching were primary health care units. The ‘treatment’ module was taught by the fewest number of programs, and few programs had access to the IMCI instructional manuals. All programs used exams for evaluation, and private institutions were more likely to include class participation as part of the evaluation. Teaching staff in public institutions were more likely to have received training in teaching IMCI. Conclusion: In spite of the relevance of the IMCI strategy in care of the child, its content is not addressed in all undergraduate programs in Brazil, and many programs do not have access to the IMCI teaching manuals and have not provide training in IMCI to their teaching staff.

Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

Sustainable computer systems require some flexibility to adapt to environmental unpredictable changes. A solution lies in autonomous software agents which can adapt autonomously to their environments. Though autonomy allows agents to decide which behavior to adopt, a disadvantage is a lack of control, and as a side effect even untrustworthiness: we want to keep some control over such autonomous agents. How to control autonomous agents while respecting their autonomy? A solution is to regulate agents’ behavior by norms. The normative paradigm makes it possible to control autonomous agents while respecting their autonomy, limiting untrustworthiness and augmenting system compliance. It can also facilitate the design of the system, for example, by regulating the coordination among agents. However, an autonomous agent will follow norms or violate them in some conditions. What are the conditions in which a norm is binding upon an agent? While autonomy is regarded as the driving force behind the normative paradigm, cognitive agents provide a basis for modeling the bindingness of norms. In order to cope with the complexity of the modeling of cognitive agents and normative bindingness, we adopt an intentional stance. Since agents are embedded into a dynamic environment, things may not pass at the same instant. Accordingly, our cognitive model is extended to account for some temporal aspects. Special attention is given to the temporal peculiarities of the legal domain such as, among others, the time in force and the time in efficacy of provisions. Some types of normative modifications are also discussed in the framework. It is noteworthy that our temporal account of legal reasoning is integrated to our commonsense temporal account of cognition. As our intention is to build sustainable reasoning systems running unpredictable environment, we adopt a declarative representation of knowledge. A declarative representation of norms will make it easier to update their system representation, thus facilitating system maintenance; and to improve system transparency, thus easing system governance. Since agents are bounded and are embedded into unpredictable environments, and since conflicts may appear amongst mental states and norms, agent reasoning has to be defeasible, i.e. new pieces of information can invalidate formerly derivable conclusions. In this dissertation, our model is formalized into a non-monotonic logic, namely into a temporal modal defeasible logic, in order to account for the interactions between normative systems and software cognitive agents.

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.

Narrated PowerPoints and Audio Podcasts in Clinical Teaching: One Clerkship's Experience

Introduction: Clinical medical education is increasingly utilizing novel technological approaches in order to supplement traditional lecture-based didactics. The Neurology Core Clerkship at Baylor College of Medicine is a four week required course taken by clinical medical students. Given the large amount of information to be disseminated in a short period of time, part of the didactic material has been provided online in the form of narrated PowerPoint files or lecture audio tracks along with stand-alone PowerPoint files. The narrated files are generated using the native PowerPoint narration function while the stand-alone audio files are created as MP3 format files using an inexpensive digital recording device. [See PDF for complete abstract]