Search results for "Set theory"
showing 10 items of 751 documents
A Geometrical Approach for Vision Based Attitude and Altitude Estimation for UAVs in Dark Environments
2012
International audience; This paper presents a single camera and laser system dedicated to the realtime estimation of attitude and altitude for unmanned aerial vehicles (UAV) under low illumination conditions to dark environments. The fisheye camera allows to cover a large field of view (FOV). The approach, close to structured light systems, uses the geometrical information obtained by the projection of a laser circle onto the ground plane and perceived by the camera. We propose some experiments based on simulated data and real sequences. The results show good agreement with the ground truth values from the commercial sensors in terms of its accuracy and correctness. The results also prove i…
Wind component estimation for UAS flying in turbulent air
2019
One of the most important problem of autonomous flight for UAS is the wind identification, especially for small scale vehicles. This research focusses on an identification methodology based on the Extended Kalman Filter (EKF). In particular authors focus their attention on.the filter tuning problem. The proposed procedure requires low computational power, so it is very useful for UAS. Besides it allows a robust wind component identification even when, as it is usually, the measurement data set is affected by noticeable noises. (C) 2019 Elsevier Masson SAS. All rights reserved.
Combined column-and-row-generation for the optimal communication spanning tree problem
2018
Abstract This paper considers the exact solution of the optimal communication spanning tree problem (OCSTP), which can be described as follows: Given an undirected graph with transportation costs on every edge and communication requirements for all pairs of vertices, the OCSTP seeks for a spanning tree that minimizes the sum of the communication costs between all pairs of vertices, where the communication cost of a pair of vertices is defined as their communication requirement multiplied by the transportation cost of the unique tree path that connects the two vertices. Two types of compact formulations for OCSTP were presented in the literature. The first one is a four-index model based on …
The Role the Static Maximization Approach Plays in Neoclassical Analyses
1994
This is an article on the methodology of economic thought. The critical assessment of the neoclassical research programme contained here basically comes from the contributions of J.M. Buchanan, Nobel prize winner in Economics 1986. These comments are aimed at pointing out the role that the static maximization approach plays in neoclassical analyses since L. Robbins and P. Samuelson’s influential contributions came about after World War II. Just to complement this basic purpose, I present in section 4 the alternative methodological foundations J.M. Buchanan proposes and uses to replace the static maximization approach when building public choice analyses and I sketch in section 5 several pe…
On the continuous and discontinuous maximal operators
2018
Abstract In the first part of this paper we study the regularity properties of a wide class of maximal operators. These results are used to show that the spherical maximal operator is continuous W 1 , p ( R n ) ↦ W 1 , p ( R n ) , when p > n n − 1 . Other given applications include fractional maximal operators and maximal singular integrals. On the other hand, we show that the restricted Hardy–Littlewood maximal operator M λ , where the supremum is taken over the cubes with radii greater than λ > 0 , is bounded from L p ( R n ) to W 1 , p ( R n ) but discontinuous.
The colored longest common prefix array computed via sequential scans
2018
Due to the increased availability of large datasets of biological sequences, the tools for sequence comparison are now relying on efficient alignment-free approaches to a greater extent. Most of the alignment-free approaches require the computation of statistics of the sequences in the dataset. Such computations become impractical in internal memory when very large collections of long sequences are considered. In this paper, we present a new conceptual data structure, the colored longest common prefix array (cLCP), that allows to efficiently tackle several problems with an alignment-free approach. In fact, we show that such a data structure can be computed via sequential scans in semi-exter…
High-Performance Biocomputing in Synthetic Biology-Integrated Transcriptional and Metabolic Circuits
2019
Biocomputing uses molecular biology parts as the hardware to implement computational devices. By following pre-defined rules, often hard-coded into biological systems, these devices are able to process inputs and return outputs-thus computing information. Key to the success of any biocomputing endeavor is the availability of a wealth of molecular tools and biological motifs from which functional devices can be assembled. Synthetic biology is a fabulous playground for such purpose, offering numerous genetic parts that allow for the rational engineering of genetic circuits that mimic the behavior of electronic functions, such as logic gates. A grand challenge, as far as biocomputing is concer…
Tunable-frequency three-dimensional structured illumination microscopy with reduced data-acquisition
2018
The performance of a tunable three-dimensional (3D) structured illumination microscope (SIM) system and its ability to provide simultaneously super-resolution (SR) and optical-sectioning (OS) capabilities are investigated. Numerical results show that the performance of our 3D-SIM system is comparable with the one provided by a three-wave interference SIM, while requiring 40% fewer images for the reconstruction and providing frequency tunability in a cost-effective implementation. The performance of the system has been validated experimentally with images from test samples, which were also imaged with a commercial SIM based on incoherent-grid projection for comparison. Restored images from d…
Quantum field inspired model of decision making: Asymptotic stabilization of belief state via interaction with surrounding mental environment
2018
This paper is devoted to justification of quantum-like models of the process of decision making based on the theory of open quantum systems, i.e. decision making is considered as decoherence. This process is modeled as interaction of a decision maker, Alice, with a mental (information) environment ${\cal R}$ surrounding her. Such an interaction generates "dissipation of uncertainty" from Alice's belief-state $\rho(t)$ into ${\cal R}$ and asymptotic stabilization of $\rho(t)$ to a steady belief-state. The latter is treated as the decision state. Mathematically the problem under study is about finding constraints on ${\cal R}$ guaranteeing such stabilization. We found a partial solution of th…
Stability of stationary solutions in models of the Calvin cycle
2017
Abstract In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in the model of Zhu et al. (2009) for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under certain explicit special conditions on the parameters there is a whole continuum of positive stationary solutions. It is also shown that in the set of parameter values for which two isolated positive stationary solutions exist there is an open subset where one of the solutions is asym…