DoMAIns: Domain-based Modeling for Ambient Intelligence

Ambient Intelligence and Smart Home Automation systems are currently emerging as feasible and ready to exploit solutions to support more intelligent features inside future and current homes. Thanks to increased availability of off-the-shelf components and to relatively easy to implement solutions we are experiencing a steady evolution of households, causing an ever-increasing users’ awareness of the capabilities of such innovative environments. To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification. Several research efforts have already addressed the design of expressive modeling tools, mostly based on Semantic Web technologies, as well as of suitable platforms for adding interoperation and rule-based intelligence to home environments. This paper proposes a new modeling methodology designed to fit the different phases of Intelligent Environments design, with a particular focus on validation and verification of the whole system. Carefully designed separation of modeled entities permits to exploit the DoMAIns framework during all phases of the environment design, from early abstract conception to the final in-field deployment. The DoMAIns design methodology is applied to a sample use case that involves comprehensive modeling and simulation of a Bank Security Booth, including the environment, the control algorithms, the automation devices and the user. Results show that the approach is feasible and that can easily handle different types of environment modeling, required in the different design phases, and for each of them it may support simulation, emulation, or other verification techniques

SAT based Enforcement of Domotic Effects in Smart Environments

The emergence of economically viable and efficient sensor technology provided impetus to the development of smart devices (or appliances). Modern smart environments are equipped with a multitude of smart devices and sensors, aimed at delivering intelligent services to the users of smart environments. The presence of these diverse smart devices has raised a major problem of managing environments. A rising solution to the problem is the modeling of user goals and intentions, and then interacting with the environments using user defined goals. `Domotic Effects' is a user goal modeling framework, which provides Ambient Intelligence (AmI) designers and integrators with an abstract layer that enables the definition of generic goals in a smart environment, in a declarative way, which can be used to design and develop intelligent applications. The high-level nature of domotic effects also allows the residents to program their personal space as they see fit: they can define different achievement criteria for a particular generic goal, e.g., by defining a combination of devices having some particular states, by using domain-specific custom operators. This paper describes an approach for the automatic enforcement of domotic effects in case of the Boolean application domain, suitable for intelligent monitoring and control in domotic environments. Effect enforcement is the ability to determine device configurations that can achieve a set of generic goals (domotic effects). The paper also presents an architecture to implement the enforcement of Boolean domotic effects, and results obtained from carried out experiments prove the feasibility of the proposed approach and highlight the responsiveness of the implemented effect enforcement architectur

DOGeye: Controlling your Home with Eye Interaction

Nowadays home automation, with its increased availability, reliability and with its ever reducing costs is gaining momentum and is starting to become a viable solution for enabling people with disabilities to autonomously interact with their homes and to better communicate with other people. However, especially for people with severe mobility impairments, there is still a lack of tools and interfaces for effective control and interaction with home automation systems, and general-purpose solutions are seldom applicable due to the complexity, asynchronicity, time dependent behavior, and safety concerns typical of the home environment. This paper focuses on user-environment interfaces based on the eye tracking technology, which often is the only viable interaction modality for users as such. We propose an eye-based interface tackling the specific requirements of smart environments, already outlined in a public Recommendation issued by the COGAIN European Network of Excellence. The proposed interface has been implemented as a software prototype based on the ETU universal driver, thus being potentially able to run on a variety of eye trackers, and it is compatible with a wide set of smart home technologies, handled by the Domotic OSGi Gateway. A first interface evaluation, with user testing sessions, has been carried and results show that the interface is quite effective and usable without discomfort by people with almost regular eye movement control

Fringe Tracker for the VLTI Spectro-Imager

The implementation of the simultaneous combination of several telescopes (from four to eight) available at Very Large Telescope Interferometer (VLTI) will allow the new generation interferometric instrumentation to achieve interferometric image synthesis with unprecedented resolution and efficiency. The VLTI Spectro Imager (VSI) is the proposed second-generation near-infrared multi-beam instrument for the Very Large Telescope Interferometer, featuring three band operations (J, H and K), high angular resolutions (down to 1.1 milliarcsecond) and high spectral resolutions. VSI will be equipped with its own internal Fringe Tracker (FT), which will measure and compensate the atmospheric perturbations to the relative beam phase, and in turn will provide stable and prolonged observing conditions down to the magnitude K=13 for the scientific combiner. In its baseline configuration, VSI FT is designed to implement, from the very start, the minimum redundancy combination in a nearest neighbor scheme of six telescopes over six baselines, thus offering better options for rejection of large intensity or phase fluctuations over each beam, due to the symmetric set-up. The planar geometry solution of the FT beam combiner is devised to be easily scalable either to four or eight telescopes, in accordance to the three phase development considered for VSI. The proposed design, based on minimum redundancy combination and bulk optics solution, is described in terms of opto-mechanical concept, performance and key operational aspects.Comment: 11 pages, to be published in Proc. SPIE conference 7013 "Optical and Infrared Interferometry", Schoeller, Danchi, and Delplancke, F. (eds.

Interoperability and FAIRness through a novel combination of Web technologies

Data in the life sciences are extremely diverse and are stored in a broad spectrum of repositories ranging from those designed for particular data types (such as KEGG for pathway data or UniProt for protein data) to those that are general-purpose (such as FigShare, Zenodo, Dataverse or EUDAT). These data have widely different levels of sensitivity and security considerations. For example, clinical observations about genetic mutations in patients are highly sensitive, while observations of species diversity are generally not. The lack of uniformity in data models from one repository to another, and in the richness and availability of metadata descriptions, makes integration and analysis of these data a manual, time-consuming task with no scalability. Here we explore a set of resource-oriented Web design patterns for data discovery, accessibility, transformation, and integration that can be implemented by any general- or special-purpose repository as a means to assist users in finding and reusing their data holdings. We show that by using off-the-shelf technologies, interoperability can be achieved atthe level of an individual spreadsheet cell. We note that the behaviours of this architecture compare favourably to the desiderata defined by the FAIR Data Principles, and can therefore represent an exemplar implementation of those principles. The proposed interoperability design patterns may be used to improve discovery and integration of both new and legacy data, maximizing the utility of all scholarly outputs

Heat Treated NiP–SiC Composite Coatings: Elaboration and Tribocorrosion Behaviour in NaCl Solution

Tribocorrosion behaviour of heat-treated NiP and NiP–SiC composite coatings was investigated in a 0.6 M NaCl solution. The tribocorrosion tests were performed in a linear sliding tribometer with an electrochemical cell interface. It was analyzed the influence of SiC particles dispersion in the NiP matrix on current density developed, on coefficient of friction and on wear volume loss. The results showed that NiP–SiC composite coatings had a lower wear volume loss compared to NiP coatings. However, the incorporation of SiC particles into the metallic matrix affects the current density developed by the system during the tribocorrosion test. It was verified that not only the volume of co-deposited particles (SiC vol.%) but also the number of SiC particles per coating area unit (and consequently the SiC particles size) have made influence on the tribocorrosion behaviour of NiP–SiC composite coatings

Influence of photon-Induced photoacoustic streaming (PIPS) on root canal disinfection and post-Operative pain: a randomized clinical trial

The aim of this study was to evaluate the ability of a PIPS (photon-induced photoacoustic streaming) Er:YAG laser to reduce the root canal system bacterial count in vivo in comparison to the traditional irrigation technique. The post-operative patients’ quality of life (QoL) after endodontic therapy was evaluated through a questionnaire. Fifty-four patients affected by pulp necrosis with or without apical periodontitis biofilm disease were selected for endodontic treatment and randomly assigned to Group A (n = 27) with traditional irrigation and Group B (n = 27), with PIPS irrigation applied according to the protocol. Shaping was performed with ProGlider and ProTaper Next, and irrigation was performed with 5% NaOCl and 10% EDTA. Intracanal samples for culture tests were collected before and after irrigation. The microbiological analysis was evaluated by the Kolmogorov–Smirnov normality and Mann–Whitney tests (p < 0.05). A self-assessment questionnaire was used to evaluate the QoL during the 7 days after treatment; differences were analysed with Student’s t-test. Irrigation with the PIPS device was significantly effective in reducing bacterial counts, which were higher for facultative than obligate anaerobic strains, particularly for Gram-negative bacteria, without statistical significance (p > 0.05). There were no significant differences among the QoL indicators, except for the maximum pain (p = 0.02), eating difficulty (p = 0.03) and difficulty performing daily functions (p = 0.02) in the first few days post-treatment. PIPS may represent an aid to root canal disinfection not affecting the patients’ QoL, particularly for the first day after treatment