Q2 Symbolic Reasoning about Noisy Dynamic Systems

Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q2 methodology abstracts a provably consistent symbolic representation of noise-free general dynamic systems. However, the Q2 symbolic representation has not been previously evaluated for efficacy in the presence of noise. We evaluate the effects of noise on Q2 symbolic reasoning in the domain of maneuver detection. We demonstrate how the Q2 methodology derives a symbolic abstraction of a general dynamic system model used in evaluating maneuver detectors. Simulation results represented by ROC curves show that the Q2 based maneuver detector is superior to a box-based detector. While no method is consistent in the presence of noise, the Q2 methodology is superior to the classic box's approach for deriving qualitative decisions about noisy dynamic systems.     

An analytical model for manufacturing service supply contracts

The practice of service-based manufacturing, utilized in various industries, particularly in electronics, pharmaceuticals, and automotive, is on the rise as it improves enterprise effectiveness in dynamic markets. The mutual responsibilities between the supplier(s) and user(s) of such services are spelled out in defined-time-horizon contracts. While such contracts define mutual obligations of both parties on a tactical/operational level, the long-term strategic objectives of the parties may be in conflict. This paper is focused on studying the dynamics of manufacturing service contracts. It investigates the factors affecting the shape of the negotiation space for such contracts and also the way the space should be navigated in response to changing market conditions. The paper presents an analytical framework developed to facilitate behavior analysis of the actors involved in the contract.     

Local controllability of quantum systems

We give a criterion that is sufficient for controllability of multipartite quantum systems. We generalize the graph infection criterion to the quantum systems that cannot be described with the use of a graph theory. We introduce the notation of hypergraphs and reformulate the infection property in this setting. The introduced criterion has a topological nature and therefore it is not connected to any particular experimental realization of quantum information processing.     

A bio-inspired predictive sensory-motor coordination scheme for robot reaching and preshaping

This paper presents a sensory-motor coordination scheme for a robot hand-arm-head system that provides the robot with the capability to reach an object while pre-shaping the fingers to the required grasp configuration and while predicting the tactile image that will be perceived after grasping. A model for sensory-motor coordination derived from studies in humans inspired the development of this scheme. A peculiar feature of this model is the prediction of the tactile image. The implementation of the proposed scheme is based on a neuro-fuzzy module that, after a learning phase, starting from visual data, calculates the position and orientation of the hand for reaching, selects the best-suited hand configuration, and predicts the tactile feedback. The implementation of the scheme on a humanoid robot allowed experimental validation of its effectiveness in robotics and provided perspectives on applications of sensory predictions in robot motor control.     

Experiences with large-scale operational trials of ALTO-enhanced P2P filesharing in an intra-ISP scenario

Application Layer Traffic Optimization (ALTO) has recently gained attention in the research and standardisation community as a way for a network operator to guide the peer selection process of distributed applications by providing network layer topology information. In particular P2P applications are expected to gain from ALTO, due to the many connections peers form among each other, often without taking network layer topology information into account. In this paper, we present results of an extensive intra-ISP trial with an ALTO-enhanced P2P filesharing software. In summary, our results show that—depending on the concrete setting and on the distribution of upload capacity in the network—ALTO enables an ISP to save operational costs significantly while not degrading application layer performance noticeably. In addition, based on our experience we are able to give advice to operators on how to save costs with ALTO while not sacrificing application layer performance at all.     

INSIGMA: an intelligent transportation system for urban mobility enhancement

Intelligent Transportation Systems (ITS) aim to improve safety, mobility and environmental performance of road transport. The INSIGMA project provides a fresh look at the possible innovations in this field, by enhancing the functionality and accuracy of ITS in urban environments. This paper describes the architecture, sensors, processing algorithms, output modules and advantages of the developed system. A comparison of existing ITS systems has been provided as background. Special attention has been given to performance and privacy issues, as the system includes social aspects such as location monitoring.     

A Comparison of the Effect of Lead (Pb) on the Slow Vacuolar (SV) and Fast Vacuolar (FV) Channels in Red Beet (Beta vulgaris L.) Taproot Vacuoles

Little is known about the effect of lead on the activity of the vacuolar K⁺ channels. Here, the patch-clamp technique was used to compare the impact of lead (PbCl₂) on the slow-activating (SV) and fast-activating (FV) vacuolar channels. It was revealed that, under symmetrical 100-mM K⁺, the macroscopic currents of the SV channels exhibited a typical slow activation and a strong outward rectification of the steady-state currents, while the macroscopic currents of the FV channels displayed instantaneous currents, which, at the positive potentials, were about three-fold greater compared to the one at the negative potentials. When PbCl₂ was added to the bath solution at a final concentration of 100 µM, it decreased the macroscopic outward currents of both channels but did not change the inward currents. The single-channel recordings demonstrated that cytosolic lead causes this macroscopic effect by a decrease of the single-channel conductance and decreases the channel open probability. We propose that cytosolic lead reduces the current flowing through the SV and FV channels, which causes a decrease of the K⁺ fluxes from the cytosol to the vacuole. This finding may, at least in part, explain the mechanism by which cytosolic Pb²⁺ reduces the growth of plant cells.     

Nitrification process in a packed bed reactor with a chemically active bed

A laboratory scale submerged filter filled with crushed marble was used for the nitrification process investigation. The results obtained showed that the alkaline reactor filling material react with the hydrogen ions released during the process course which enables reactor exploitation without any pH value or alkalinity control.