Quantum Mechanical Propagators in Terms of Hida Distributions

We review some basic notions and results of White Noise Analysis that are used in the construction of the Feynman integrand as a generalized White Noise functional. After sketching this construction for a large class of potentials we show that the resulting Feynman integrals solve the Schroedinger equation

Automated verification of model transformations based on visual contracts

The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-yModel-Driven Engineering promotes the use of models to conduct the different phases of the software development. In this way, models are transformed between different languages and notations until code is generated for the final application. Hence, the construction of correct Model-to-Model (M2M) transformations becomes a crucial aspect in this approach. Even though many languages and tools have been proposed to build and execute M2M transformations, there is scarce support to specify correctness requirements for such transformations in an implementation-independent way, i.e., irrespective of the actual transformation language used. In this paper we fill this gap by proposing a declarative language for the specification of visual contracts, enabling the verification of transformations defined with any transformation language. The verification is performed by compiling the contracts into QVT to detect disconformities of transformation results with respect to the contracts. As a proof of concept, we also report on a graphical modeling environment for the specification of contracts, and on its use for the verification of transformations in several case studies.This work has been funded by the Austrian Science Fund (FWF) under grant P21374-N13, the Spanish Ministry of Science under grants TIN2008-02081 and TIN2011-24139, and the R&D programme of the Madrid Region under project S2009/TIC-1650

Evaluation studies of robotic rollators by the user perspective: A systematic review

Background: Robotic rollators enhance the basic functions of established devices by technically advanced physical, cognitive, or sensory support to increase autonomy in persons with severe impairment. In the evaluation of such Ambient Assisted Living solutions, both the technical and user perspectives are important to prove usability, effectiveness, and safety, and to ensure adequate device application.Objective: The aim of this systematic review is to summarize the methodology of studies evaluating robotic rollators with focus on the user perspective and to give recommendations for future evaluation studies.Methods: A systematic literature search up to December 31, 2014 was conducted based on the Cochrane Review methodology using the electronic databases PubMed and IEEE Xplore. Articles were selected according to the following inclusion criteria: Evaluation studies of robotic rollators documenting human-robot interaction, no case reports, published in English language.Results: Twenty-eight studies were identified that met the predefined inclusion criteria. Large heterogeneity in the definitions of the target user group, study populations, study designs, and assessment methods was found across the included studies. No generic methodology to evaluate robotic rollators could be identified. We found major methodological shortcomings related to insufficient sample descriptions and sample sizes, and lack of appropriate, standardized and validated assessment methods. Long-term use in habitual environment was also not evaluated.Conclusions: Apart from the heterogeneity, methodological deficits in most of the identified studies became apparent. Recommendations for future evaluation studies include: clear definition of target user group, adequate selection of subjects, inclusion of other assistive mobility devices for comparison, evaluation of the habitual use of advanced prototypes, adequate assessment strategy with established, standardized and validated methods, and statistical analysis of study results. Assessment strategies may additionally focus on specific functionalities of the robotic rollators allowing an individually tailored assessment of innovative features to document their added value

Integrative transcriptome analysis deciphers mechanisms of nickel contact dermatitis

Background Nickel-induced allergic contact dermatitis (nACD) remains a major occupational skin disorder, significantly impacting the quality of life of suffering patients. Complex cellular compositional changes and associated immunological pathways are partly resolved in humans; thus, the impact of nACD on human skin needs to be further elucidated. Methods To decipher involved immunological players and pathways, human skin biopsies were taken at 0, 2, 48, and 96 hours after nickel patch test in six nickel-allergic patients. Gene expression profiles were analyzed via microarray. Results Leukocyte deconvolution of nACD-affected skin identified major leukocyte compositional changes at 48 and 96 hours, including natural killer (NK) cells, macrophage polarization, and T-cell immunity. Gene set enrichment analysis mirrored cellular-linked functional pathways enriched over time. NK cell infiltration and cytotoxic pathways were uniquely found in nACD-affected skin compared to sodium lauryl sulfate-induced irritant skin reactions. Conclusion These results highlight key immunological leukocyte subsets as well as associated pathways in nACD, providing insights into pathophysiology with the potential to unravel novel therapeutic targets.Peer reviewe