QuantUM: Quantitative Safety Analysis of UML Models

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Introducing the DizzyQuest: an app-based diary for vestibular disorders

BACKGROUND Most questionnaires currently used for assessing symptomatology of vestibular disorders are retrospective, inducing recall bias and lowering ecological validity. An app-based diary, administered multiple times in daily life, could increase the accuracy and ecological validity of symptom measurement. The objective of this study was to introduce a new experience sampling method (ESM) based vestibular diary app (DizzyQuest), evaluate response rates, and to provide examples of DizzyQuest outcome measures which can be used in future research. METHODS Sixty-three patients diagnosed with a vestibular disorder were included. The DizzyQuest consisted of four questionnaires. The morning- and evening-questionnaires were administered once each day, the within-day-questionnaire 10 times a day using a semi-random time schedule, and the attack questionnaire could be completed after the occurrence of a vertigo or dizziness attack. Data were collected for 4~weeks. Response rates and loss-to-follow-up were determined. Reported symptoms in the within-day-questionnaire were compared within and between patients and subgroups of patients with different vestibular disorders. RESULTS Fifty-one patients completed the study period. Average response rates were significantly higher than the desired response rate of \textgreater 50% (p \textless 0.001). The attack-questionnaire was used 159 times. A variety of neuro-otological symptoms and different disease profiles were demonstrated between patients and subgroups of patients with different vestibular disorders. CONCLUSION The DizzyQuest is able to capture vestibular symptoms within their psychosocial context in daily life, with little recall bias and high ecological validity. The DizzyQuest reached the desired response rates and showed different disease profiles between subgroups of patients with different vestibular disorders. This is the first time ESM was used to assess daily symptoms and quality of life in vestibular disorders, showing that it might be a useful tool in this population

Ice nucleation activity of agricultural soil dust aerosols from Mongolia, Argentina, and Germany

Soil dust particles emitted from agricultural areas contain considerable mass fractions of organic material. Also, soil dust particles may act as carriers for potentially ice-active biological particles. In this work, we present ice nucleation experiments conducted in the Aerosol Interaction and Dynamics in the Atmosphere (AIDA) cloud chamber. We investigated the ice nucleation efficiency of four types of soil dust from different regions of the world. The results are expressed as ice nucleation active surface site (INAS) densities and presented for the immersion freezing and the deposition nucleation mode. For immersion freezing occurring at 254 K, samples from Argentina, China, and Germany show ice nucleation efficiencies which are by a factor of 10 higher than desert dusts. On average, the difference in ice nucleation efficiencies between agricultural and desert dusts becomes significantly smaller at temperatures below 247 K. In the deposition mode the soil dusts showed higher ice nucleation activity than Arizona Test Dust over a temperature range between 232 and 248 K and humidities RHice up to 125%. INAS densities varied between 109 and 1011m-2 for these thermodynamic conditions. For one soil dust sample (Argentinian Soil), the effect of treatments with heat was investigated. Heat treatments (383 K) did not affect the ice nucleation efficiency observed at 249 K. This finding presumably excludes proteinaceous ice-nucleating entities as the only source of the increased ice nucleation efficiency.Fil: Steinke, I.. Karlsruhe Institute of Technology; AlemaniaFil: Funk, R.. Leibniz Centre for Agricultural Landscape Research; AlemaniaFil: Busse, J.. Leibniz Centre for Agricultural Landscape Research; AlemaniaFil: Iturri, Laura Antonela. Universidad Nacional de La Pampa; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Instituto de Ciencias de la Tierra y Ambientales de La Pampa. Universidad Nacional de La Pampa. Facultad de Ciencias Exactas y Naturales. Instituto de Ciencias de la Tierra y Ambientales de La Pampa; ArgentinaFil: Kirchen, S.. Karlsruhe Institute of Technology; AlemaniaFil: Leue, M.. Leibniz Centre for Agricultural Landscape Research; AlemaniaFil: Möhler, O.. Karlsruhe Institute of Technology; AlemaniaFil: Schwartz, T.. Universidad Nacional de La Pampa; ArgentinaFil: Schnaiter, M.. Karlsruhe Institute of Technology; AlemaniaFil: Sierau, B.. Institute for Atmospheric and Climate Science; SuizaFil: Toprak, E.. Karlsruhe Institute of Technology; AlemaniaFil: Ullrich, R.. Karlsruhe Institute of Technology; AlemaniaFil: Ulrich, A.. Leibniz Centre for Agricultural Landscape Research; AlemaniaFil: Hoose, C.. Karlsruhe Institute of Technology; AlemaniaFil: Leisner, T.. Karlsruhe Institute of Technology; Alemania. Heidelberg University; Alemani

A modern network approach to revisiting the positive and negative affective schedule (PANAS) construct validity

Introduction: The factor structure of the Positive and Negative Affective Schedule (PANAS) is still a topic of debate. There are several reasons why using Exploratory Graph Analysis (EGA) for scale validation is advantageous and can help understand and resolve conflicting results in the factor analytic literature. Objective: The main objective of the present study was to advance the knowledge regarding the factor structure underlying the PANAS scores by utilizing the different functionalities of the EGA method. EGA was used to (1) estimate the dimensionality of the PANAS scores, (2) establish the stability of the dimensionality estimate and of the item assignments into the dimensions, and (3) assess the impact of potential redundancies across item pairs on the dimensionality and structure of the PANAS scores. Method: This assessment was carried out across two studies that included two large samples of participants. Results and Conclusion: In sum, the results are consistent with a two-factor oblique structure.Fil: Flores Kanter, Pablo Ezequiel. Universidad Empresarial Siglo XXI; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Garrido, Luis Eduardo. Pontificia Universidad Católica Madre y Maestra; República DominicanaFil: Moretti, Luciana Sofía. Universidad Empresarial Siglo XXI; Argentina. Pontificia Universidad Católica Madre y Maestra; República Dominicana. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Medrano, Leonardo. Universidad Empresarial Siglo XXI; Argentina. Pontificia Universidad Católica Madre y Maestra; República Dominicana. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin

A Theoretical Model of Augmented Reality Acceptance in Urban Cultural Heritage Tourism

Latest mobile technologies have revolutionised the way people experience their environment. Recent research explored the opportunities of using augmented reality (AR) in order to enhance the user experience however, there is only limited research on users’ acceptance of AR in the tourism context. The technology acceptance model is the predominant theory for researching technology acceptance. Previous researchers used the approach of proposing external dimensions based on secondary literature; however missed the opportunity to integrate context specific dimensions. This paper therefore aims to propose an AR acceptance model in the context of urban heritage tourism. Five focus groups, with young British female tourists visiting Dublin and experiencing a mobile AR application, were conducted. The data were analysed using thematic analysis and revealed seven dimensions that should be incorporated into AR acceptance research including information quality, system quality, costs of use, recommendations, personal innovativeness and risk as well as facilitating conditions

Functional anatomy of the equine temporomandibular joint: Collagen fiber texture of the articular surfaces

In the last decade, the equine masticatory apparatus has received much attention. Numerous studies have emphasized the importance of the temporomandibular joint (TMJ) in the functional process of mastication. However, ultrastructural and histological data providing a basis for biomechanical and histopathological considerations are not available. The aim of the present study was to analyze the architecture of the collagen fiber apparatus in the articular surfaces of the equine TMJ to reveal typical morphological features indicating biomechanical adaptions. Therefore, the collagen fiber alignment was visualized using the split-line technique in 16 adult warmblood horses without any history of TMJ disorders. Within the central two-thirds of the articular surfaces of the articular tubercle, the articular disc and the mandibular head, split-lines ran in a correspondent rostrocaudal direction. In the lateral and medial aspects of these articular surfaces, the split-line pattern varied, displaying curved arrangements in the articular disc and punctual split-lines in the bony components. Mediolateral orientated split-lines were found in the rostral and caudal border of the articular disc and in the mandibular fossa. The complex movements during the equine chewing cycle are likely assigned to different areas of the TMJ. The split-line pattern of the equine TMJ is indicative of a relative movement of the joint components in a preferential rostrocaudal direction which is consigned to the central aspects of the TMJ. The lateral and medial aspects of the articular surfaces provide split-line patterns that indicate movements particularly around a dorsoventral axis

Not Available

Not AvailableUnder mist house condition, though successful propagation of Assam Lemon can be done from May to September but it requires good infrastructure and uninterrupted power supply at least during the day time. Resource poor farmers/ nursery men can go for vegetative propagation of Assam lemon under shade house from June 2nd fortnight to August end with comparable success rate.Not Availabl

Caracterización de los adolecentes que utilizan los servicios de salud sexual y reproductiva, en el C.S.U. de Progreso, Yucatán

Objetivo • Caracterizar la utilización del servicio de salud sexual y reproductiva de adolescentes. Metodología • Estudio Observacional, descriptiva, transversal; población adolescente estudiada 4582 personas entre 10 y 19 años de edad que son responsabilidad de los servicios de salud y la muestra está constituida por 100 adolescentes de uno y otro sexo. Resultados • El 74% no conoce el servicio de salud sexual y reproductiva; 24% pertenecen a familias con un ingreso menor a 4 salarios mínimos, métodos anticonceptivos mas conocidos son pastillas y preservativos; inician relaciones sexuales de 10 a 14 años 12 % y de 15 a 19 años 14%. De los que inician relaciones sexuales 69.2% tiene conocimientos sobre salud sexual y reproductiva, 7.7% no utilizaron método anticonceptivo en la primera relación sexual. Motivos de uso del servicio de salud sexual y reproductiva prevenir embarazos no deseados y prevención de las ITS. Conclusiones • Los adolescentes son personas que requieren atención específica permanente, con personal específico e instalaciones específicas