Consent Verification Under Evolving Privacy Policies

Personal data provides important business value, for example, in the personalization of services. In addition, companies are moving toward new business models, in which products and services are offered without charge to users, but in exchange for targeted advertising revenue. New privacy regulations require organizations to explicitly state their data practices in privacy policies, including which data types will be collected. By consenting to data collections described in a policy, the user acknowledges that he or she is granting the company the authorizations needed to access their data. When data practices change, a new version of the policy is released. This release can occur a few times a year, when requirements are rapidly changing for the collection and processing of personal data. Furthermore, the user may change his or her privacy consent by opting in or out of the policy. We propose a formal framework to support companies and users in their understanding of policies evolution under consent regime that supports both retroactive and non-retroactive consent and consent revocation. Preliminary results include an ontology for policy evolution, expressed in Description Logic, that can be used to formalize consent and data collection logs and then query for which data types can be legally accessed

A portable laser system for high precision atom interferometry experiments

We present a modular rack-mounted laser system for the cooling and manipulation of neutral rubidium atoms which has been developed for a portable gravimeter based on atom interferometry that will be capable of performing high precision gravity measurements directly at sites of geophysical interest. This laser system is constructed in a compact and mobile design so that it can be transported to different locations, yet it still offers improvements over many conventional laboratory-based laser systems. Our system is contained in a standard 19" rack and emits light at five different frequencies simultaneously on up to 12 fibre ports at a total output power of 800 mW. These frequencies can be changed and switched between ports in less than a microsecond. The setup includes two phase-locked diode lasers with a phase noise spectral density of less than 1 \mu rad/sqrt(Hz) in the frequency range in which our gravimeter is most sensitive to noise. We characterize this laser system and evaluate the performance limits it imposes on an interferometer.Comment: 8 pages, 11 figures; The final publication is available at http://www.springerlink.co

D-mannose: a promising support for acute urinary tract infections in women. A pilot study

Urinary tract infections still represent a significant bother for women and result in high costs to the health system. D-mannose is a simple sugar; it seems able to hinder bacteria adhesion to the urothelium. The present study aimed to determine whether D-mannose alone is effective in treating acute urinary tract infections in women and its possible utility in the management of recurrences

Search for spontaneous muon emission from lead nuclei

We describe a possible search for muonic radioactivity from lead nuclei using the base elements ("bricks" composed by lead and nuclear emulsion sheets) of the long-baseline OPERA neutrino experiment. We present the results of a Monte Carlo simulation concerning the expected event topologies and estimates of the background events. Using few bricks, we could reach a good sensitivity level.Comment: 12 pages, 4 figure

Implementing BDI Continual Temporal Planning for Robotic Agents

Making autonomous agents effective in real-life applications requires the ability to decide at run-time and a high degree of adaptability to unpredictable and uncontrollable events. Reacting to events is still a fundamental ability for an agent, but it has to be boosted up with proactive behaviors that allow the agent to explore alternatives and decide at run-time for optimal solutions. This calls for a continuous planning as part of the deliberation process that makes an agent able to reconsider plans on the base of temporal constraints and changes of the environment. Online planning literature offers several approaches used to select the next action on the base of a partial exploration of the solution space. In this paper, we propose a BDI continuous temporal planning framework, where interleave planning and execution loop is used to integrate online planning with the BDI control-loop. The framework has been implemented with the ROS2 robotic framework and planning algorithms offered by JavaFF

Electron/pion separation with an Emulsion Cloud Chamber by using a Neural Network

We have studied the performance of a new algorithm for electron/pion separation in an Emulsion Cloud Chamber (ECC) made of lead and nuclear emulsion films. The software for separation consists of two parts: a shower reconstruction algorithm and a Neural Network that assigns to each reconstructed shower the probability to be an electron or a pion. The performance has been studied for the ECC of the OPERA experiment [1]. The $e/\pi$ separation algorithm has been optimized by using a detailed Monte Carlo simulation of the ECC and tested on real data taken at CERN (pion beams) and at DESY (electron beams). The algorithm allows to achieve a 90% electron identification efficiency with a pion misidentification smaller than 1% for energies higher than 2 GeV