Stability Analysis of a Human Arm Interacting with a Force Augmenting Device

This paper presents a stability analysis of the interaction between a human and a linear moving Force Augmenting Device (FAD). The analysis employs a mathematical model of the human arm, the FAD and their interaction. As a depart from past works, this article presents a stability analysis considering time-delays in the human model. A key ingredient in the analysis is the use of the Rekasius substitution for replacing the time-delay terms. It is proved that the human machine interaction is stable when the human model has no delays. When delays are considered in the human model, the analysis provides an upper bound for the time-delays preserving a stable interaction. Numerical simulations allow to assess the human-FAD interaction. An experiment is performed with a laboratory prototype, where a human operator lifts a load. It is observed that the human machine interaction is stable and the human operator is able to move the load to a desired position by experiencing very little effort.     

Single-frame super-resolution in remote sensing: a practical overview

Image acquisition technology is improving very fast from a performance point of view. However, there are physical restrictions that can only be solved using software processing strategies. This is particularly true in the case of super resolution (SR) methodologies. SR techniques have found a fertile application field in airborne and space optical acquisition platforms. Single-frame SR methods may be advantageous for some remote-sensing platforms and acquisition time conditions. The contributions of this article are basically two: (1) to present an overview of single-frame SR methods, making a comparative analysis of their performance in different and challenging remote-sensing scenarios, and (2) to propose a new single-frame SR taxonomy, and a common validation strategy. Finally, we should emphasize that, on the one hand, this is the first time, to the best of our knowledge, that such a review and analysis of single SR methods is made in the framework of remote sensing, and, on the other hand, that the new single-frame SR taxonomy is aimed at shedding some light when classifying some types of single-frame SR methods.     

Efficient inclusion for a class of XML types with interleaving and counting

Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleaving and counting can be decided in polynomial time in the presence of two important restrictions: no element appears twice in the same content model, and Kleene star is only applied to disjunctions of single elements.     

Enabling machine understandable exchange of energy consumption information in intelligent domotic environments

In the 21st century, all the major countries around the world are coming together to reduce the impact of energy generation and consumption on the global environment. Energy conservation and its efficient usage has become a top agenda on the desks of many governments. In the last decade, the drive to make homes automated and to deliver a better assisted living picked pace and the research into home automation systems accelerated, usually based on a centralized residential gateway. However most devised solutions fail to provide users with information about power consumption of different house appliances. The ability to collect power consumption information can lead us to have a more energy efficient society. The goal addressed in this paper is to enable residential gateways to provide the energy consumption information, in a machine understandable format, to support third party applications and services. To reach this goal, we propose a Semantic Energy Information Publishing Framework. The proposed framework publishes, for different appliances in the house, their power consumption information and other properties, in a machine understandable format. Appliance properties are exposed according to the existing semantic modeling supported by residential gateways, while instantaneous power consumption is modeled through a new modular Energy Profile ontology.     

Microdroplet-based multiplex PCR on chip to detect foodborne bacteria producing biogenic amines

The development of fast, reliable and culture-independent molecular tools to detect bacteria producing biogenic amines deserves the attention of research and ultimately of the food industry in order to protect consumers' health. Here we present the application of a simple, low-cost, fast and sensitive method to perform microdroplet-based multiplex PCR, directly on a food matrix, for the simultaneous detection of bacterial genes involved in biogenic amine biosynthesis. After inoculating wine with Lactobacillus brevis IOEB 9809, cell lysis and DNA amplification are performed in one single step, without preliminary nucleic acid extraction or purification treatments. The assay is performed in about 30 min, requiring 150 nL of starting sample and it enables the detection of down to 15 bacterial cells. With respect to traditional culture techniques, the speed, the simplicity and the cheapness of this procedure allow an effective monitoring of microbial cells during food-making and processing.     

Design concept and validation of a robotic arm inspired by the octopus

The octopus is an invertebrate sea animal, considered as an interesting model of inspiration in robotics, due to its high dexterity, variable stiffness, and very complex behaviours, if compared with its position in the evolutionary scale. This paper reports the design of an artificial muscular hydrostat for developing an octopus-like robot. The experimental study consists of the fabrication of a set of mock-ups demonstrating some of the key features and patterns of movement of the octopus arm.The experimental trials performed with the different mock-ups demonstrated the suitability of the silicone materials used and the patterns of actuators activation to replicate the typical octopus movements of elongation, shortening, bending, and reaching. They also confirm that control is simplified by the arrangement of muscles as well as by the mechanical properties of the muscular hydrostat.     

Robust control of uncertain multi-inventory systems via linear matrix inequality

We consider a continuous time linear multi-inventory system with unknown demands bounded within ellipsoids and controls bounded within ellipsoids or polytopes. We address the problem of ε-stabilising the inventory since this implies some reduction of the inventory costs. The main results are certain conditions under which ε-stabilisability is possible through a saturated linear state feedback control. All the results are based on a linear matrix inequalities approach and on some recent techniques for the modelling and analysis of polytopic systems with saturations. Numerical simulations are provided.     

Rule-based intelligence for domotic environments

In the last years Home Automation systems gained new momentum, permeating many human-related environments, from homes to hospitals. The rapid evolution of such systems showed several interoperability pitfalls and a generally insufficient support for advanced user–home interaction. To tackle these emerging issues, recent research works defined the concept of Intelligent Domotic Environments (IDEs) where different automation systems, appliances and devices are integrated into a single powerful environment, capable of providing Ambient Intelligence (AmI) functionalities. IDEs represent one of the first attempts to define a framework for AmI environments based on off-the-shelf domotic systems. This paper contributes to extend IDE capabilities by supporting basic intelligence requirements through a rule-based reasoning mechanism. Starting from a formal model of IDE elements (DogOnt), rules are defined to evaluate environment properties. Property checking is done both off-line, for structural properties, i.e., properties involving the physical structure and configuration of the IDE, and on-line for properties dependent on current IDE states. Two rule languages, SWRL and JenaRules, are considered for rule formalization and their reasoning performance is evaluated by comparing two different rule engines, namely Jess and Jena. Results show that rule-based reasoning can deal with quite complex property checking, effectively addressing basic intelligence for IDEs and providing the basis for more advanced behaviors such as user adaptation and proactive interaction.     

Identifying multiple roles of ICT coordinators

This study reports on the development and validation of measurement scales to study the different roles fulfilled by ICT coordinators. Based on a review of the literature, a 24 item questionnaire was constructed and administered to a sample of 177 Flemish ICT coordinators working in primary education. Exploratory factor analysis revealed a four-factor solution: the ICT coordinator as a planner, a budgeter, a technician, and an educationalist. Qualitative data corroborated these roles. This study provides a quantitative measure of the different roles assumed by ICT coordinators in practice. The implications of our findings for schools, researchers and policy makers are discussed.