Results 211 to 220 of about 6,728 (264)

Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2000
Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA): plain interferences, which are similar to the interferences one finds in CCS and p-calculus; and grave interferences, which are more dangerous and may be regarded as programming errors. To control interferences, the MA movement primitives are modified. On the new
LEVI, FRANCESCA, Sangiorgi D.
openaire   +2 more sources

Control microbiológico ambiental

Enfermedades Infecciosas y Microbiología Clínica, 2013
Resumen El medio ambiente hospitalario raramente esta implicado en la transmision de infecciones salvo en pacientes inmunodeprimidos. Algunos autores no recomiendan los cultivos ambientales porque son caros y laboriosos y no deben utilizarse como sustitutos de controles de calidad y practicas adecuadas en los procesos de desinfeccion y mantenimiento ...
Carmen Ezpeleta-Baquedano, Jose Luis Barrios-Andrés, Alberto Delgado-Iribarren García-Campero   +2 more
openaire   +1 more source

Controlling Ambient SO2

JOM, 1973
TVA’s emission control program has almost eliminated excessive ground-level SO2 concentrations.
T. L. Montgomery, J. M. Leavitt, T. L. Crawford, F. E. Gartrell   +3 more
openaire   +1 more source

Sensors, models and platform for ambient control

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 2012
The future of ambient intelligence (AmI) brings new challenges in designing adequate control systems able to handle a diversity of sensors, and actuators. The paper analyzes on the example of a personalized climate control the classification of sensor, actuator and control approaches and derives a system architecture for an AmI-based control system.
Denis Stein, Matthias Lehmann, Joern Ploennigs, Klaus Kabitzsch   +3 more
openaire   +1 more source

Optimal control theory for ambient pollution

International Journal of Control, 2010
We study optimal control of systems of distributed parameters applied to problems of ambient pollution. The model consists of a parabolic partial differential equation that models the transport of a pollutant in an incompressible viscous fluid, with boundary conditions and initial value, that is in our model we consider the velocity that the pollutant ...
Santina de F. Arantes, Jaime E. Muñoz Rivera   +1 more
openaire   +1 more source

RFID Uses for Prosis Ambient Control.

Proceedings of the 4th International Workshop on RFID Technology - Concepts, Applications, Challenges, 2010
no ...
Pujo, Patrick, Dubromelle, Yves, Ounnar, Fouzia   +2 more
openaire   +3 more sources

Self organizing ambient control space

Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, 2005
One of the major challenges in ambient networking is to provide interworking between heterogeneous and dynamically changing networks. This paper presents a novel network and system architecture enabling network self-organization and dynamic network composition.
Peter Kersch, Róbert Szabó, Zoltán Lajos Kis, Márk Erdei, Balázs Kovács   +4 more
openaire   +1 more source

Reflective Interaction Capabilities by Use of Ambient Manuals for an Ambient Light-Control

2016
Intelligent Environments like Smart Homes consist of a variety of interconnected devices, which are increasingly controlled by NUI. However, provided interaction possibilities and functionality are often not obvious to users. Illustrating such scenario, we’ve developed an ambient light-control using two NUI devices for interaction.
Daniel Burmeister, Andreas Schrader, Bashar Altakrouri   +2 more
openaire   +1 more source

Indoor localization using controlled ambient sounds

2012 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012
Audio-based receiver localization in indoor environments has multiple applications including indoor navigation, location tagging, and tracking. Public places like shopping malls and consumer stores often have loudspeakers installed to play music for public entertainment.
Ish Rishabh, Don Kimber, John Adcock
openaire   +1 more source

Safe Ambients: Control Flow Analysis and Security

2000
We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis refines and computes an approximation of the run-time topology of processes. We use the result of the analysis to establish a secrecy property.
DEGANO, PIERPAOLO, LEVI, FRANCESCA, BODEI, CHIARA   +2 more
openaire   +2 more sources