15 research outputs found

    Hybrid Cloud Model Checking Using the Interaction Layer of HARMS for Ambient Intelligent Systems

    Get PDF
    Soon, humans will be co-living and taking advantage of the help of multi-agent systems in a broader way than the present. Such systems will involve machines or devices of any variety, including robots. These kind of solutions will adapt to the special needs of each individual. However, to the concern of this research effort, systems like the ones mentioned above might encounter situations that will not be seen before execution time. It is understood that there are two possible outcomes that could materialize; either keep working without corrective measures, which could lead to an entirely different end or completely stop working. Both results should be avoided, specially in cases where the end user will depend on a high level guidance provided by the system, such as in ambient intelligence applications. This dissertation worked towards two specific goals. First, to assure that the system will always work, independently of which of the agents performs the different tasks needed to accomplish a bigger objective. Second, to provide initial steps towards autonomous survivable systems which can change their future actions in order to achieve the original final goals. Therefore, the use of the third layer of the HARMS model was proposed to insure the indistinguishability of the actors accomplishing each task and sub-task without regard of the intrinsic complexity of the activity. Additionally, a framework was proposed using model checking methodology during run-time for providing possible solutions to issues encountered in execution time, as a part of the survivability feature of the systems final goals

    Intelligent technologies for the aging brain: opportunities and challenges

    Get PDF
    Intelligent computing is rapidly reshaping healthcare. In light of the global burden of population aging and neurological disorders, dementia and elderly care are among the healthcare sectors that are most likely to benefit from this technological revolution. Trends in artificial intelligence, robotics, ubiquitous computing, neurotechnology and other branches of biomedical engineering are progressively enabling novel opportunities for technology-enhanced care. These Intelligent Assistive Technologies (IATs) open the prospects of supporting older adults with neurocognitive disabilities, maintain their independence, reduce the burden on caregivers and delay the need for long-term care (1, 2). While technology develops fast, yet little knowledge is available to patients and health professionals about the current availability, applicability, and capability of existing IATs. This thesis proposes a state-of-the-art analysis of IATs in dementia and elderly care. Our findings indicate that advances in intelligent technology are resulting in a rapidly expanding number and variety of assistive solutions for older adults and people with neurocognitive disabilities. However, our analysis identifies a number of challenges that negatively affect the optimal deployment and uptake of IATs among target users and care institutions. These include design issues, sub-optimal approaches to product development, translational barriers between lab and clinics, lack of adequate validation and implementation, as well as data security and cyber-risk weaknesses. Additionally, in virtue of their technological novelty, intelligent technologies raise a number of Ethical, Legal and Social Implications (ELSI). Therefore, a significant portion of this thesis is devoted to providing an early ethical Technology Assessment (eTA) of intelligent technology, hence contributing to preparing the terrain for its safe and ethically responsible adoption. This assessment is primarily focused on intelligent technologies at the human-machine interface, as these applications enable an unprecedented exposure of the intimate dimension of individuals to the digital infosphere. Issues of privacy, integrity, equality, and dual-use were addressed at the level of stakeholder analysis, normative ethics and human-rights law. Finally, this thesis is aimed at providing evidence-based recommendations for guiding participatory and responsible development in intelligent technology, and delineating governance strategies that maximize the clinical benefits of IATs for the aging world, while minimizing unintended risks

    Retrying Leopold and Loeb: A Neuropsychological Perspective

    Get PDF
    They called it the crime of the century; in 1924 in Chicago two brilliant, well-educated, and wealthy young men kidnapped and murdered a 14-year-old boy and killed him for the thrill of it . Expert testimony was presented by several well-known psychiatrists and psychologists, but even with all their clinical insights, none could reach a conclusion about the causal relation between their disturbed childhoods and a violent senseless crime. In fact, the well-known criminal defense attorney Clarence Darrow made little mention of the extensive psychiatric and psychological workups, and the judge did not deal with it in his sentencing. A review of the findings does suggest a delusional disorder for one of the defendants and psychopathy for the other; the interaction of these two disordered personalities led to a perfect storm a confluence of factors that only in combination could result in the brutal crime. Recent developments in neuropsychology allow us to see how these two disordered personalities interacted; the neuropsychological basis of delusional disorder and of psychopathy will be explored in this presentation along with a re-imagined closing argument by their attorney

    Self-healing Mechanism over the Cloud on Interaction Layer for AALs Using HARMS

    No full text
    International audienceIn humans, interactions happen as a process taught generation to generation, it is our nature given the implicit need of cooperation within society. When talking about systems, reality is rather different, specifically for systems conformed by heterogeneous agents. In this sense, errors in interactions can occur at any time and for many different reasons. This paper proposes a self-healing mechanism based on model checking, taking advantages of the cloud for ambient assisted living systems

    Mobile Ad-Hoc Networks

    Get PDF
    Being infrastructure-less and without central administration control, wireless ad-hoc networking is playing a more and more important role in extending the coverage of traditional wireless infrastructure (cellular networks, wireless LAN, etc). This book includes state-of-the-art techniques and solutions for wireless ad-hoc networks. It focuses on the following topics in ad-hoc networks: quality-of-service and video communication, routing protocol and cross-layer design. A few interesting problems about security and delay-tolerant networks are also discussed. This book is targeted to provide network engineers and researchers with design guidelines for large scale wireless ad hoc networks

    Nutritional quality and digestibility of maize hybrid plants for silage. Life sciences in dialogue of generations: connections between universities, academia and business

    Get PDF
    In order to assess the silage potential of maize hybrids, the nutritional quality and the enzymatic in vitro digestibility of five local maize hybrids (ZP 707, ZP 7357, ZP 7072, ZP 7777, and ZP 6263) was tested in the laboratory of the Group for Food Technology and Biochemistry of the Maize Research Institute "Zemun Polje". The hybrids were grown at a total of four locations, one in Srem (Autonomous Province of Vojvodina) and three in Central Serbia. The hybrid 7001 was used as a standard. The selection of hybrids for this research was made on the basis of the actuality of individual hybrids and the market orientation of the Maize Research Institute. The following properties were investigated: dry matter content, lignocellulose fiber content, and in vitro dry matter digestibility of the whole plant. According to the achieved results, it can be concluded that hybrids ZP 707, ZP 7357, followed by ZP 7777 proved to be the maize genotypes highly preferable for the production of silage. All tested hybrids achieved better results than the standard in most locations. Hybrid ZP 707 on average had the highest in vitro dry matter digestibility (61.43 ± 1.86%), as well as the lowest content of all lignocellulosic fibers (NDF-52.76%, ADF-24.40%, ADL-2.58, hemicellulose-28.36, and cellulose-21.82%), which all indicates its potential as a silage maize form suitable for cultivation in different agro-ecological conditions. In terms of digestibility and dry matter content, the ZP 707 hybrid can be singled out as the most stable, i.e. it is appropriate for growing both in lowland areas and at higher altitudes. ZP 6263 proved to be the most inferior hybrid at most locations, while based on in vitro digestibility and dry matter content, ZP 7072 hybrid varied the most. The digestibility of the whole plant was negatively affected by the higher content of primarily lignin (ADL), followed by ADF and cellulose fraction share. Although it is optimal to harvest silage maize in the waxy maturity stage of grain ripeness, when the dry matter content of the whole plant is in the range between 30 and 35%, the harvest time in some hybrids in some locations was significantly exceeded, which affected the results of dry matter digestibility. The findings obtained in this study can be highly useful for future breeding programs directed toward creating new and improved silage maize hybrids

    2009 - 2010 University Catalog

    Get PDF
    Volume 99, Number 1, October 30, 2009 Published once a year, October 30, 2009https://scholarsrepository.llu.edu/univcatalog/1011/thumbnail.jp

    University catalog, 2016-2017

    Get PDF
    The catalog is a comprehensive reference for your academic studies. It includes a list of all degree programs offered at MU, including bachelors, masters, specialists, doctorates, minors, certificates, and emphasis areas. It details the university wide requirements, the curricular requirements for each program, and in some cases provides a sample plan of study. The catalog includes a complete listing and description of approved courses. It also provides information on academic policies, contact information for supporting offices, and a complete listing of faculty members. -- Page 3

    University catalog, 2019-2020

    Get PDF
    corecore