Sciweavers

852 search results - page 133 / 171
» A Mechanism for Sequential Consistency in a Distributed Obje...
Sort
View
BMCBI
2010
129views more  BMCBI 2010»
13 years 9 months ago
Automatic prediction of catalytic residues by modeling residue structural neighborhood
Background: Prediction of catalytic residues is a major step in characterizing the function of enzymes. In its simpler formulation, the problem can be cast into a binary classific...
Elisa Cilia, Andrea Passerini
ICRA
2009
IEEE
155views Robotics» more  ICRA 2009»
14 years 3 months ago
Monte Carlo simultaneous localization of multiple unknown transient radio sources using a mobile robot with a directional antenn
— We report our system and algorithm developments that enable a single mobile robot equipped with a directional antenna to simultaneously localize multiple unknown transient radi...
Dezhen Song, Chang-Young Kim, Jingang Yi
DAIS
2006
13 years 10 months ago
Mobile Process Description and Execution
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
Christian P. Kunze, Sonja Zaplata, Winfried Lamers...
ENTCS
2006
146views more  ENTCS 2006»
13 years 9 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
TITB
2010
163views Education» more  TITB 2010»
13 years 3 months ago
Absolute electrical impedance tomography (aEIT) guided ventilation therapy in critical care patients: simulations and future tre
Thoracic electrical impedance tomography (EIT) is a noninvasive, radiation-free monitoring technique whose aim is to reconstruct a cross-sectional image of the internal spatial dis...
Mouloud Azzedine Denaï, Mahdi Mahfouf, Suzani...