Search results for "automatic"
showing 10 items of 730 documents
Blogging as a research and educational tool: a three years experience
2008
Abstract Blogging can be also used to share knowledge in research and education. We have been using many blogs with the following purposes. One goal has been to raise awareness about research methods in the information technology field by supporting information exchange, collaboration, and cooperation between researchers. We have been using a common blog for 3 years to share inter- and intra disciplinary knowledge among us. We have also collected stories and interviewed colleagues and friends. An other goal is the use of blogs during our teaching experience as an instrument to support the exchange of knowledge with students. A comparison of the use of blogging is presented with positive and…
Optimisation non-lisse pour l'estimation de composants immunitaires cellulaires dans un environnement tumoral
2021
In this PhD proposal we will investigate new regularization methods of inverse problems that provide an absolute quantification of immune cell subpopulations. The mathematical aspect of this PhD proposal is two-fold. The first goal is to enhance the underlying linear model through a more refined construction of the expression matrix. The second goal is, given this linear model, to derive the best possible estimator. These two issues can be treated in a decoupled way, which is the standard for existing methods such as Cibersort, or as a coupled optimization problem (which is known as blind deconvolution in signal processing).
Decentralized Coordination System for Multiple AGVs in a Structured Environment
2011
Abstract In this paper, we propose a decentralized coordination algorithm for safe and efficient management of a group of mobile robots following predefined paths in a dynamic industrial environment. The proposed algorithm is based on shared resources and proved to guarantee ordered traffic flows avoiding collisions and deadlocks. In consistency with the model of distributed robotic systems (DRS), no centralized mechanism, synchronized clock, shared memory or ground support is needed. A local inter-robot communication is required among a small number of spatially adjacent robotic units.
Do deaf children use phonological syllables as reading units?
2004
This study aimed at examining whether deaf children process written words on the basis of phonological units. In French, the syllable is a phonologically and orthographically well-defined unit. French deaf children and hearing children matched on word recognition level were asked to copy written words and pseudo-words. The number of glances at the item, copying duration, and the locus of the first segmentation (i.e., after the first glance) within the item were measured. The main question was whether the segments copied by the deaf children corresponded to syllables as defined by phonological and orthographic rules.The results showed that deaf children, like hearing children, used syllables…
Set-valued consensus for distributed clock synchronization
2009
This paper addresses the clock synchronization problem in a wireless sensor network (WSN) and proposes a distributed solution that consists of a form of consensus, where agents are able to exchange data representing intervals or sets. The solution is based on a centralized algorithm for clock synchronization, proposed by Marzullo, that determines the smallest interval that is in common with the maximum number of measured intervals. We first show how to convert such an algorithm into a problem involving only operations on sets, and then we convert it into a set–valued consensus. The solution is valid for more general scenarios where agents have uncertain measures of e.g. the position of an o…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Attitude estimation from polarimetric cameras
2018
International audience; In the robotic field, navigation and path planning applications benefit from a wide range of visual systems (e.g. perspective cameras, depth cameras, catadioptric cameras, etc.). In outdoor conditions, these systems capture information in which sky regions cover a major segment of the images acquired. However, sky regions are discarded and are not considered as visual cue in vision applications. In this paper, we propose to estimate attitude of Unmanned Aerial Vehicle (UAV) from sky information using a polarimetric camera. Theoretically , we provide a framework estimating the attitude from the skylight polarized patterns. We showcase this formulation on both simulate…
FRIPON: a worldwide network to track incoming meteoroids
2020
Context. Until recently, camera networks designed for monitoring fireballs worldwide were not fully automated, implying that in case of a meteorite fall, the recovery campaign was rarely immediate. This was an important limiting factor as the most fragile - hence precious - meteorites must be recovered rapidly to avoid their alteration. Aims. The Fireball Recovery and InterPlanetary Observation Network (FRIPON) scientific project was designed to overcome this limitation. This network comprises a fully automated camera and radio network deployed over a significant fraction of western Europe and a small fraction of Canada. As of today, it consists of 150 cameras and 25 European radio receiver…
Data Acquisition System for the Characterization of Biomechanical and Ergonomic Thresholds in Driving Vehicles
2020
Directive (EU) 2015/653 on driving licenses has involved the modification of different codes that must appear on driver&rsquo
An automated image analysis methodology for classifying megakaryocytes in chronic myeloproliferative disorders
2008
This work describes an automatic method for discrimination in microphotographs between normal and pathological human megakaryocytes and between two kinds of disorders of these cells. A segmentation procedure has been developed, mainly based on mathematical morphology and wavelet transform, to isolate the cells. The features of each megakaryocyte (e.g. area, perimeter and tortuosity of the cell and its nucleus, and shape complexity via elliptic Fourier transform) are used by a regression tree procedure applied twice: the first time to find the set of normal megakaryocytes and the second to distinguish between the pathologies. The output of our classifier has been compared to the interpretati…