Oris: a tool for modeling, verification and evaluation of real-time systems

Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements symbolic state space analysis of preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running under priority preemptive scheduling; and stochastic Time Petri Nets, which enable an integrated approach to qualitative verification and quantitative evaluation. In this paper, we present the current version of the tool and we illustrate its application to two different case studies in the areas of qualitative verification and quantitative evaluation, respectively.     

Automatic eye fixations identification based on analysis of variance and covariance

Eye movement is the simplest and repetitive movement that enables humans to interact with the environment. The common daily activities, such as reading a book or watching television, involve this natural activity, which consists of rapidly shifting our gaze from one region to another. In clinical application, the identification of the main components of eye movement during visual exploration, such as fixations and saccades, is the objective of the analysis of eye movements: however, in patients affected by motor control disorder the identification of fixation is not banal. This work presents a new fixation identification algorithm based on the analysis of variance and covariance: the main idea was to use bivariate statistical analysis to compare variance over x and y to identify fixation. We describe the new algorithm, and we compare it with the common fixations algorithm based on dispersion. To demonstrate the performance of our approach, we tested the algorithm in a group of healthy subjects and patients affected by motor control disorder.     

Mobile Agent Coordination for Distributed Network Management

Mobile agents are a promising technology to face the problems raised by the increasing complexity and size of today's networks. In particular, in the area of network management, mobile agents can lead to a fully distributed paradigm to overcome the limits of traditional centralized approaches. A basic requirement for the management of a complex network is the definition of high-level and flexible models to coordinate the accesses to the resources—data and services—provided by the network nodes. On this basis, this paper describes the MARS coordination architecture for mobile agents. MARS is based on the definition of programmable tuple spaces associated with the network nodes: mobile agents can access the local resources and services via the tuple space, thus adopting a standard and high-level interface. The network administrator—via mobile agents—can dynamically program the behavior of the tuple space in reaction to the agents' access to the tuple space, thus leading to a flexible network model. Several examples show the effectiveness of the MARS approach in supporting network management activities.     

SEON: a pyramid of ontologies for software evolution and its applications

The Semantic Web provides a standardized, well-established framework to define and work with ontologies. It is especially apt for machine processing. However, researchers in the field of software evolution have not really taken advantage of that so far. In this paper, we address the potential of representing software evolution knowledge with ontologies and Semantic Web technology, such as Linked Data and automated reasoning. We present Seon, a pyramid of ontologies for software evolution, which describes stakeholders, their activities, artifacts they create, and the relations among all of them. We show the use of evolution-specific ontologies for establishing a shared taxonomy of software analysis services, for defining extensible meta-models, for explicitly describing relationships among artifacts, and for linking data such as code structures, issues (change requests), bugs, and basically any changes made to a system over time. For validation, we discuss three different approaches, which are backed by Seon and enable semantically enriched software evolution analysis. These techniques have been fully implemented as tools and cover software analysis with web services, a natural language query interface for developers, and large-scale software visualization.     

Device-based decision-making for adaptation of three-dimensional content

The goal of this research was the creation of an adaptation mechanism for the delivery of three-dimensional content. The adaptation of content, for various network and terminal capabilities – as well as for different user preferences, is a key feature that needs to be investigated. Current state-of-the art research of the adaptation shows promising results for specific tasks and limited types of content, but is still not well-suited for massive heterogeneous environments. In this research, we present a method for transmitting adapted three-dimensional content to multiple target devices. This paper presents some theoretical and practical methods for adapting three-dimensional content, which includes shapes and animation. We also discuss practical details of the integration of our methods into MPEG-21 and MPEG-4 architectures.     

On‐Chip Magnetic Platform for Single‐Particle Manipulation with Integrated Electrical Feedback

Methods for the manipulation of single magnetic particles have become very interesting, in particular for in vitro biological studies. Most of these studies require an external microscope to provide the operator with feedback for controlling the particle motion, thus preventing the use of magnetic particles in high‐throughput experiments. In this paper, a simple and compact system with integrated electrical feedback is presented, implementing in the very same device both the manipulation and detection of the transit of single particles. The proposed platform is based on zig‐zag shaped magnetic nanostructures, where transverse magnetic domain walls are pinned at the corners and attract magnetic particles in suspension. By applying suitable external magnetic fields, the domain walls move to the nearest corner, thus causing the step by step displacement of the particles along the nanostructure. The very same structure is also employed for detecting the bead transit. Indeed, the presence of the magnetic particle in suspension over the domain wall affects the depinning field required for its displacement. This characteristic field can be monitored through anisotropic magnetoresistance measurements, thus implementing an integrated electrical feedback of the bead transit. In particular, the individual manipulation and detection of single 1‐μm sized beads is demonstrated.     

ILB®, a Low Molecular Weight Dextran Sulphate,Restores Glutamate Homeostasis,Amino Acid Metabolism and Neurocognitive Functions in a Rat Model of Severe Traumatic Brain Injury

In a previous study, we found that administration of ILB^®, a new low molecular weight dextran sulphate, significantly improved mitochondrial functions and energy metabolism, as well as decreased oxidative/nitrosative stress, of brain tissue of rats exposed to severe traumatic brain injury (sTBI), induced by the closed-head weight-drop model of diffused TBI. Using aliquots of deproteinized brain tissue of the same animals of this former study, we here determined the concentrations of 24 amino acids of control rats, untreated sTBI rats (sacrificed at 2 and 7 days post-injury) and sTBI rats receiving a subcutaneous ILB^® administration (at the dose levels of 1, 5 and 15 mg/kg b.w.) 30 min post-impact (sacrificed at 2 and 7 days post-injury). Additionally, in a different set of experiments, new groups of control rats, untreated sTBI rats and ILB^®-treated rats (administered 30 min after sTBI at the dose levels of 1 or 5 mg/kg b.w.) were studied for their neurocognitive functions (anxiety, locomotor capacities, short- and long-term memory) at 7 days after the induction of sTBI. Compared to untreated sTBI animals, ILB^® significantly decreased whole brain glutamate (normalizing the glutamate/glutamine ratio), glycine, serine and γ-aminobutyric acid. Furthermore, ILB^® administration restored arginine metabolism (preventing nitrosative stress), levels of amino acids involved in methylation reactions (methionine, L-cystathionine, S-adenosylhomocysteine), and N-acetylaspartate homeostasis. The macroscopic evidences of the beneficial effects on brain metabolism induced by ILB^® were the relevant improvement in neurocognitive functions of the group of animals treated with ILB^® 5 mg/kg b.w., compared to the marked cognitive decline measured in untreated sTBI animals. These results demonstrate that ILB^® administration 30 min after sTBI prevents glutamate excitotoxicity and normalizes levels of amino acids involved in crucial brain metabolic functions. The ameliorations of amino acid metabolism, mitochondrial functions and energy metabolism in ILB^®-treated rats exposed to sTBI produced significant improvement in neurocognitive functions, reinforcing the concept that ILB^® is a new effective therapeutic tool for the treatment of sTBI, worth being tested in the clinical setting.     

BETaaS: A Platform for Development and Execution of Machine-to-Machine Applications in the Internet of Things

Wireless Personal Communications - The integration of everyday objects into the Internet represents the foundation of the forthcoming Internet of Things (IoT). Smart objects will be the building...     

Localization-limited exciton oscillator strength in colloidal CdSe nanoplatelets revealed by the optically induced stark effect

2D materials are considered for applications that require strong light-matter interaction because of the apparently giant oscillator strength of the exciton tra...