An industrial application of symbolic model checking     

Florian Kammüller  S?ren Preibusch 《Informatik - Forschung und Entwicklung》2008,22(2):95-108

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale. CR subject classification  D.2.4; F.3.1; J.7 ; C.3  相似文献   

Single-trial evaluative conditioning can be moderated by instructed forgetting     

Anne Gast  Florian Kattner 《Learning & behavior》2016,44(3):260-269

  相似文献   

Recommendations for the application and follow-up of quality controls in medical laboratories     

Jean-Marc Giannoli  Stphanie Albarede  Thierry Avellan  Jean-Pierre Bouilloux  Rgine Cartier  Richard Cohen  Nathalie Colard  Luc Essemilaire  Jean-Louis Galinier  Mathieu Kuentz  Mickaël Paris  Henri Portugal  Florian Scherrer  Jean-Pascal Siest  Anne Vassault  Jean-Michel Vialle 《Biochemia medica : ?asopis Hrvatskoga dru?tva medicinskih biokemi?ara / HDMB》2021,31(2)

This is a translation of the paper “Recommendations for the application and follow-up of quality controls in medical biology laboratories” published in French in the journal Annales de Biologie Clinique (Recommandations pour la mise en place et le suivi des contrôles de qualité dans les laboratoires de biologie médicale. Ann Biol Clin (Paris). 2019;77:577-97.). The recommendations proposed in this document are the result of work conducted jointly by the Network of Accredited Medical Laboratories (LABAC), the French Society of Medical Biology (SFBC) and the Federation of Associations for External Quality Assessment (FAEEQ). The different steps of the implementation of quality controls, based on a risk analysis, are described. The changes of reagent or internal quality control (IQC) materials batches, the action to be taken in case of non-conform IQC results, the choice of external quality assessment (EQA) scheme and interpretation of their results as well as the new issue of analyses performed on several automatic systems available in the same laboratory are discussed. Finally, the concept of measurement uncertainty, the robustness of the methods as well as the specificities of near-patient testing and rapid tests are described. These recommendations cannot apply for all cases we can find in medical laboratories. The implementation of an objective alternative strategy, supported with documented evidence, might be equally considered.  相似文献   

A stigma power perspective on digital government service avoidance     

Florian Pethig  Julia Kroenung  Markus Noeltner 《Government Information Quarterly》2021,38(2):101545

The digital-by-default policy for government services implemented in many European countries can pose challenges to marginalized citizens, such as people with disabilities. Prior research on electronic inclusion and the digital divide has mainly considered technology-related concerns, such as Internet anxiety, preventing people with disabilities from using digital government services. Yet, these concerns may insufficiently account for the fact that people with disabilities may suspect that governments provide new services only to reduce costs and forgo the need for more meaningful social change. Therefore, we draw from stigma power theory to understand how perceptions of stereotyping and discrimination contribute to the avoidance of digital government services among people with disabilities. Our results indicate that overcoming underutilization of digital government services among people with disabilities requires a holistic approach by addressing technology-related as well as stigma-related concerns.  相似文献   

The impact of cultural,ethnic, and national variables on attitudes towards the disabled in Israel: A review     

Victor Florian  Shlomo Katz 《Int J Intercult Relat》1983,7(2):167-179

Studies in Israel relating to attitudes of various ethnic, cultural and religious groups towards the disabled were reviewed. The results indicate that although there were differences in attitudes towards the disabled, these differences appear to be a function of interaction effects between many other variables and not necessarily only related to ethnic, cultural, and religious affiliation.  相似文献   

Editorial     

Lani Florian 《Journal of Research in Special Educational Needs》2003,3(1):no-no

This case study evaluates the efficacy of Intensive Interaction in developing the social and communication ability of a young boy with severe learning difficulties. The Intensive Interaction approach is based on the model of caregiver–infant interaction and underpinned by theoretical foundations of psychological literature of early development. A multiple‐method approach was adopted mixing quantitative and qualitative data. An intricate system of behaviour coding was devised so that progress could be measured via video‐recorded observation. Findings showed that substantial progress was made in sociability and communication, with some new behaviours such as eye contact emerging. Stereotypy was also observed to reduce substantially.  相似文献   

Can't Ignore—Distraction by Task-Irrelevant Sounds in Early and Middle Childhood     

Nicole Wetzel  Florian Scharf  Andreas Widmann 《Child development》2019,90(6):e819-e830

Attention control abilities are relevant for learning success. Little is known about the development of audio-visual attention in early childhood. Four groups of children between the ages of 4 and 10 years and adults performed an audio-visual distraction paradigm (N = 106). Multilevel analyses revealed increased reaction times in a visual categorization task when task-irrelevant novel sounds were presented, demonstrating involuntary distraction of attention. This distraction effect decreased with age and significantly differed between age groups. In addition, the two youngest age groups responded with a delay in trials following a distractor trial, indicating delayed reallocation of attention to the task at hand. Results indicate a significant maturation of audio-visual attention control within a few years during early childhood that continues throughout middle childhood.  相似文献   

Editorial     

Lani Florian 《Journal of Research in Special Educational Needs》2001,1(3)

  相似文献   

Inclusive Practice in English Secondary Schools: Lessons learned     

Lani Florian  Martyn Rouse 《Cambridge Journal of Education》2001,31(3):399-412

This paper considers how some secondary schools in England have been able to respond to the conflicting demands of school improvement policies, as measured by high academic standards and the inclusion of pupils with special educational needs. It begins with a discussion of the context in which all English schools are currently operating and a summary of the extent to which research on school effectiveness and school improvement has influenced research on inclusion and vice versa. Key findings from our work in secondary schools committed to inclusion are presented and discussed in light of teacher, subject department and whole school responses to pupil diversity. The paper concludes with a conceptualisation of inclusive schools as those that meet the dual criteria of enrolling a diverse student population and improving academic standards for all.  相似文献   

Inclusive pedagogy in action: getting it right for every child     

Lani Florian  Mhairi Beaton 《International Journal of Inclusive Education》2018,22(8):870-884

A key assumption underpinning formative assessment strategies is that individual pupils must be fully involved in the process. While such engagement and attention on the individual is important, studies suggest that teachers do not always readily engage with formative assessment as a reciprocal process which involves pupils. Additionally, a focus on individual differences between pupils can be problematic if the work that is set for some is differentiated to such an extent that they are not able to participate in classroom activities with others. Inclusive pedagogy is an approach to teaching and learning that attends to individual differences between pupils but avoids the marginalisation that can occur when pedagogical responses are designed only with individual needs in mind. Using participant observation and video footage from three classrooms that captured ‘learning moments’ identified by teachers and pupils, this study documents how the professional craft knowledge of teachers develops as they learn to use what their pupils have to say about learning in the context of whole class teaching. By concentrating on the findings from one site, this paper shows how teachers can use what they learn from listening to pupils’ self-assessments of their learning in ways that meet the standard of inclusive pedagogy.  相似文献