43 research outputs found
Parent-Mediated Interventions With Children With Autism Spectrum Disorder: A Systematic Review
No full textAbstract
Date Presented 3/30/2017
A systematic review was conducted to evaluate the efficacy of parent-mediated interventions for children with autism in occupational performance areas. Findings support improvement in social communication and symptom severity, with emerging support for feeding, play, independence, and behavior.
Primary Author and Speaker: Caitlin Dammann
Additional Authors and Speakers: Colleen Althoff, Sarah Hope, Karla Ausderau</jats:p
Evaluating Case-Based Reasoning Systems
No full textEvaluation is an important issue for every scientific field and a necessity for an emerging soft-ware technology like case- based reasoning. This paper is a supplementation to the review of industrial case-based reasoning tools by K.-D. Althoff, E. Auriol, R. Barletta and M. Manago which describes the most detailed evaluation of commercial case-based reasoning tools currently available. The author focuses on some important aspects that correspond to the evaluation ofcase-based reasoning systems and gives links to ongoing research
ARCH-COMP20 Category Report: Stochastic Models
No full textThis report presents the results of a friendly competition for formal verification andpolicy synthesis of stochastic models. It also introduces new benchmarks within thiscategory, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring/Summer 2020.Virtual/online event due to COVID-19Air Transport & Operation
ARCH-COMP21 Category Report: Stochastic Models
No full textThis report presents the results of a friendly competition for formal verification andpolicy synthesis of stochastic models. It also introduces new benchmarks within this category, and recommends next steps for this category towards next year's edition of the competition. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Spring/Summer 2021.Air Transport & Operation
ARCH-COMP22 Category Report: Stochastic Models
No full textThis report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. It also introduces new benchmarks and their properties within this category and recommends next steps for this category towards next year’s edition of the competition. In comparison with tools on non-probabilistic models, the tools for stochastic models are at the early stages of development that do not allow full competition on a standard set of benchmarks. We report on an initiative to collect a set of minimal benchmarks that all such tools can run, thus facilitating the comparison between efficiency of the implemented techniques. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in Summer 2022.Air Transport & Operation
ARCH-COMP18 Category Report: Stochastic Modelling
No full textThis report presents the results of a friendly competition for formal verification and policy synthesis of stochastic models. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybrid Systems (ARCH) in 2018. In this first edition, we present five benchmarks with different levels of complexities and stochastic favours. We make use of six different tools and frameworks (in alphabetical order): Barrier Certificates, FAUST2, FIRM-GDTL, Modest, SDCPN modelling & MC simulation and SReachTools; and attempt to solve instances of the five different benchmark problems. Through these benchmarks, we capture a snapshot on the current state-of the art tools and frameworks within the stochastic modelling domain. We also present the challenges encountered within this domain and highlight future plans which will push forward the development of more tools and methodologies for performing formal verification and optimal policy synthesis of stochastic processes.Air Transport & Operation
Automatic hyperlink creation using p2p and publish/subscribe
No full textAbstract. The World-Wide Web allows users to quickly and easily publish information in the form of web pages. Pages are linked to other pages already on the web using a hyperlink inserted into a web page by the page’s author that contains the URL address of another existing web page. This model of web publishing, although simple and efficient, also has the effect that links between pages must be created manually and only to pages that are known to the author of the links. This can be a disadvantage if, for example, information in a particular field is incomplete and expanding rapidly over time, and where a page author cannot be expected to know which pages are the most appropriate to link to and when they become available. In this paper, we look at a radically different model of web publishing in which the author of a web page does not specify links using URLs. Instead, the page author expresses an interest about the kind of content the page should link to and as new content comes online that matches that interest, links are inserted automatically into the original page to point to the new content. This leads to the possibility that a hyperlink from a particular location in a web page can lead to multiple destinations, something we call a multi-valued hyperlink. We also describe a prototype implementation of our web architecture, based on the CHORD-based peer-to-peer overlay network, which uses publish/subscribe to communicate page author interests to other peers in order to create links between pages.
Christian Values and Noble Ideas of Rank and their Consequences on Symbolic Acts*
No full textIn the Middle Ages a Christian system of values met the values of a noble warrior society. Although these two systems had completely different conceptions of norms, they adapted from each other certain values and symbolic forms to express these values.The development of this adaptation is depicted by treating the Christian values misericordia, humilitas and clementia. In which way did the noble warrior society take up these values and how did these norms possibly change?Misericordia, for example, became an essential part of noble behaviour, but the fundamental idea of Christian misericordia was changed. Helping the poor was often motivated by the nobles’ will to prove his mercy, not by personal compassion.Although the value of humilitas implied a sharp contrast to the values of honor and rank, one can find forms of expression, which revealed a noble’s or ruler’s humility. With his humble behaviour one proved one’s qualification and legitimacy. Humility was expressed with symbolic forms of expression like walking barefoot and in penitential clothes or making footfalls. Similarly, these forms were used in inner-secular communication to acknowledge the existing order of rank.The ritual of deditio combines the values humilitas and clementia. The author describes this ritual as a pre-arranged stage-play, in which the one’s humility granted the other’s clemency. These ‘stage-plays’ had only little in common with the original Christian virtues, but this way several elements of the Christian virtue system influenced the noble behaviour pattern
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
No full textWe propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial conditions. Candidate solutions are proposed using genetic programming, which evolves controllers based on a finite number of simulations. Subsequently, the best candidate is verified using reachability analysis; if the candidate solution does not satisfy the specification, an initial condition violating the specification is extracted as a counterexample. Based on this counterexample, candidate solutions are refined until eventually a solution is found (or a user-specified number of iterations is met). The resulting sampled-data controller is expressed as a closed-form expression, enabling both interpretability and the implementation in embedded hardware with limited memory and computation power. The effectiveness of our approach is demonstrated for multiple systems.Team Manuel Mazo J
Recommended from our members
La Búsqueda de la Identidad Femenina en las Novelas de Dos Autoras Mexicanas
No full textThe novel is one means by which writers can provide examples of the possibilities for women in patriarchal societies to seek greater independence. Sabina Berman (1955- ) and Silvia Molina (1946- ) are modern day Mexican novelists whose writings support the betterment of the female condition in this Latin American society. This study focuses on these two authors and describes and analyzes several of their female protagonists who can be characterized as being in search of their self-identity and self-realization. The novels of interest are La Bobe (2006) and La Mujer que Buceó Dentro del Corazón del Mundo (2010) by Sabina Berman and La Mañana Debe Seguir Gris (1977) and El Amor Que Me Juraste (1998) by Silvia Molina. The theoretical framework used to analyze these novels is based on The Second Sex by Simone de Beauvoir and on the writings of the Mexican author Rosario Castellanos. These novels provide examples of how women can challenge patriarchal social norms in order to seek their identity as an individual and their self-realization. However, to do this, women must be willing to accept the risks and costs that may accompany this self-searching. By seeking identity women can satisfy their longings and desires, but at the same time this may also produce undesired results. Nevertheless, these novels show that women have the ability to seek their personal identity if they take the initiative to do so
