Search results for " Computer Science"
showing 10 items of 3983 documents
Dual Labeling of Lipopolysaccharides for SPECT-CT Imaging and Fluorescence Microscopy.
2013
International audience; : Lipopolysaccharides (LPS) or endotoxins are amphipathic, pro-inflammatory components of the outer membrane of Gram-negative bacteria. In the host, LPS can trigger a systemic inflammatory response syndrome. To bring insight into in vivo tissue distribution and cellular uptake of LPS, dual labeling was performed with a bimodal molecular probe designed for fluorescence and nuclear imaging. LPS were labeled with DOTA-Bodipy-NCS, and pro-inflammatory properties were controlled after each labeling step. LPS were then radiolabeled with (111)In and subsequently injected intravenously into wild-type, C57B16 mice, and their in vivo behavior was followed by single photon emis…
Weld pool surface temperature measurement from polarization state of thermal emission
2014
This paper presents a passive polarimetry method using a division of aperture optical device in order to measure the temperature distribution at the weld pool surface. Thermal emission from a hot liquid metal was investigated at a near-infrared wavelength corresponding to a blind spectral window of a helium plasma generated during gas tungsten arc welding process. The refractive index of liquid metal and the surface radiance are deduced from the polarisation state of thermal emissions. Based upon the knowledge of both characteristics, the temperature distribution can be calculated. Conseil Régional de Bourgogne
A Coexistence Analysis of Blockchain, SCADA Systems, and OpenADR for Energy Services Provision
2022
The advent of blockchain technology allows the raise of new business models for the electricity market, opening the way also to end-users and letting them offer regulation services to the power grid. Thanks to the characteristic of being distributed, the blockchain technology could be a solution to balancing problems caused by the penetration of renewable sources, implementing a platform for Demand-Response programs delivery. Demand-Response allows consumers to respond to market signals by increasing or reducing their energy consumption, contributing to greater flexibility and stability of the grid and to a more efficient use of infrastructures and energy resources. Currently, Demand-Respon…
Method to find the Minimum 1D Linear Gradient Model for Seismic Tomography
2016
The changes in the state of a geophysical medium before a strong earthquake can be found by studying of 3D seismic velocity images constructed for consecutive time windows. A preliminary step is to see changes with time in a minimum 1D model. In this paper we develop a method that finds the parameters of the minimum linear gradient model by applying a two-dimensional Taylor series of the observed data for the seismic ray and by performing least-square minimization for all seismic rays. This allows us to obtain the mean value of the discrete observed variable, close to zero value.
Coarse-Grained Barrier Trees of Fitness Landscapes
2016
Recent literature suggests that local optima in fitness landscapes are clustered, which offers an explanation of why perturbation-based metaheuristics often fail to find the global optimum: they become trapped in a sub-optimal cluster. We introduce a method to extract and visualize the global organization of these clusters in form of a barrier tree. Barrier trees have been used to visualize the barriers between local optima basins in fitness landscapes. Our method computes a more coarsely grained tree to reveal the barriers between clusters of local optima. The core element is a new variant of the flooding algorithm, applicable to local optima networks, a compressed representation of fitnes…
Apprentissage de modalités auxiliaires pour la localisation basée vision
2018
In this paper we present a new training with side modality framework to enhance image-based localization. In order to learn side modality information, we train a fully convo-lutional decoder network that transfers meaningful information from one modality to another. We validate our approach on a challenging urban dataset. Experiments show that our system is able to enhance a purely image-based system by properly learning appearance of a side modality. Compared to state-of-the-art methods, the proposed network is lighter and faster to train, while producing comparable results.
The shortest-path problem with resource constraints with -loop elimination and its application to the capacitated arc-routing problem
2014
Abstract In many branch-and-price algorithms, the column generation subproblem consists of computing feasible constrained paths. In the capacitated arc-routing problem (CARP), elementarity constraints concerning the edges to be serviced and additional constraints resulting from the branch-and-bound process together impose two types of loop-elimination constraints. To fulfill the former constraints, it is common practice to rely on a relaxation where loops are allowed. In a k-loop elimination approach all loops of length k and smaller are forbidden. Following Bode and Irnich (2012) for solving the CARP, branching on followers and non-followers is the only known approach to guarantee integer …
From First Principles to the Burrows and Wheeler Transform and Beyond, via Combinatorial Optimization
2007
AbstractWe introduce a combinatorial optimization framework that naturally induces a class of optimal word permutations with respect to a suitably defined cost function taking into account various measures of relatedness between words. The Burrows and Wheeler transform (bwt) (cf. [M. Burrows, D. Wheeler, A block sorting lossless data compression algorithm, Technical Report 124, Digital Equipment Corporation, 1994]), and its analog for labelled trees (cf. [P. Ferragina, F. Luccio, G. Manzini, S. Muthukrishnan, Structuring labeled trees for optimal succinctness, and beyond, in: Proc. of the 45th Annual IEEE Symposium on Foundations of Computer Science, 2005, pp. 198–207]), are special cases i…
Input-to-state stability for discrete-time nonlinear switched singular systems
2016
Discrete-time nonlinear switched singular systems (SSSs) are investigated.The input-to-state stability (ISS) problems for discrete-time nonlinear SSSs are concerned.The ISS criteria are obtained via average dwell time approach and iterative algorithm of discrete-time systems.The switching rules are optimized and designed. This paper investigates the input-to-state stability (ISS) problems for a class of discrete-time nonlinear switched singular systems (SSSs). Two novel ISS criteria are proposed based on average dwell time (ADT) approach and iterative algorithm of discrete-time systems (IADS). In particular, the following two cases are considered for the underlying systems: the first case i…
Fuzzy/Kalman Hierarchical Horizontal Motion Control of Underactuated ROVs.
2010
A new closed loop fuzzy motion control system including on-line Kalman's filter (KF) for the two dimensional motion of underactuated and underwater Remotely Operated Vehicle (ROV) is presented. Since the sway force is unactuated, new continuous and discrete time models are developed using a polar transformation. A new hierarchical control architecture is developed, where the high level fuzzy guidance controller generates the surge speed and the yaw rate needed to achieve the objective of planar motion, while the low level controller gives the thruster surge force and the yaw torque control signals. The Fuzzy controller ensures robustness with respect to uncertainties due to the marine envi…