Search results for "TRANSFORMATION"

showing 10 items of 1634 documents

Extensions of the witness method to characterize under-, over- and well-constrained geometric constraint systems

2011

International audience; This paper describes new ways to tackle several important problems encountered in geometric constraint solving, in the context of CAD, and which are linked to the handling of under- and over-constrained systems. It presents a powerful decomposition algorithm of such systems. Our methods are based on the witness principle whose theoretical background is recalled in a first step. A method to generate a witness is then explained. We show that having a witness can be used to incrementally detect over-constrainedness and thus to compute a well-constrained boundary system. An algorithm is introduced to check if anchoring a given subset of the coordinates brings the number …

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationBoundary (topology)Witness configuration020207 software engineeringContext (language use)CAD02 engineering and technologyW-decompositionComputer Graphics and Computer-Aided DesignWitness[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationIndustrial and Manufacturing EngineeringComputer Science ApplicationsConstraint (information theory)symbols.namesakeTransformation groupJacobian matrix and determinant0202 electrical engineering electronic engineering information engineeringsymbolsGeometric constraints solving020201 artificial intelligence & image processingFinite setAlgorithmAlgorithmsMathematics
researchProduct

Spatial correction in dynamic photon emission by affine transformation matrix estimation

2014

International audience; Photon emission microscopy and Time Resolved Imaging have proved their efficiency for defect localization on VLSI. A common process to find defect candidate locations is to draw a comparison between acquisitions on a normally working device and a faulty one. In order to be accurate and meaningful, this method requires that the acquisition scene remains the same between the two parts. In practice, it can be difficult to set. In this paper, a method to correct position by affine matrix transformation is suggested. It is based on image features detection, description and matching and affine transformation estimation.

[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image ProcessingMatching (graph theory)Computer science[INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing[SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics02 engineering and technology[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingPosition (vector)020204 information systems0202 electrical engineering electronic engineering information engineeringComputer vision[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processingVery-large-scale integrationHarris affine region detectorbusiness.industryProcess (computing)Affine shape adaptationTransformation (function)020201 artificial intelligence & image processing[ SPI.NANO ] Engineering Sciences [physics]/Micro and nanotechnologies/MicroelectronicsArtificial intelligenceAffine transformationbusiness[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct

An optimized algorithm of image stitching in the case of a multi-modal probe for monitoring the evolution of scars

2013

International audience; We propose a new system that makes possible to monitor the evolution of scars after the excision of a tumorous dermatosis. The hardware part of this system is composed of a new optical innovative probe with which two types of images can be acquired simultaneously: an anatomic image acquired under a white light and a functional one based on autofluorescence from the protoporphyrin within the cancer cells. For technical reasons related to the maximum size of the area covered by the probe, acquired images are too small to cover the whole scar. That is why a sequence of overlapping images is taken in order to cover the required area. The main goal of this paper is to des…

[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image ProcessingMatching (graph theory)Panorama[INFO.INFO-TS] Computer Science [cs]/Signal and Image ProcessingComputer scienceComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONScale-invariant feature transform[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing02 engineering and technologyautofluorescence010501 environmental sciences01 natural sciencesImage stitching[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processingstitchingmulti-modal probe0202 electrical engineering electronic engineering information engineeringComputer visionProjection (set theory)[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing0105 earth and related environmental sciencesbusiness.industryFluorescenceScars evolutionmonitoringAutofluorescenceTransformation (function)020201 artificial intelligence & image processingArtificial intelligencebusiness[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingAlgorithmSPIE Proceedings
researchProduct

Darboux curves on surfaces I

2017

International audience; In 1872, G. Darboux defined a family of curves on surfaces of $\mathbb{R}^3$ which are preserved by the action of the Mobius group and share many properties with geodesics. Here, we characterize these curves under the view point of Lorentz geometry and prove that they are geodesics in a 3-dimensional sub-variety of a quadric $\Lambda^4$ contained in the 5-dimensional Lorentz space $\mathbb{R}^5_1$ naturally associated to the surface. We construct a new conformal object: the Darboux plane-field $\mathcal{D}$ and give a condition depending on the conformal principal curvatures of the surface which guarantees its integrability. We show that $\mathcal{D}$ is integrable w…

[ MATH ] Mathematics [math]GeodesicGeneral MathematicsDarboux frame02 engineering and technology01 natural sciencessymbols.namesakeMoving frame57R300202 electrical engineering electronic engineering information engineeringDarboux curves0101 mathematics[MATH]Mathematics [math]Möbius transformationMathematicsConformal geometryEuclidean spaceMSC: Primary 53A30 Secondary: 53C12 53C50 57R3053A3053C50010102 general mathematicsMathematical analysis53C12Ridge (differential geometry)Family of curvessymbolsSpace of spheres020201 artificial intelligence & image processingConformal geometry
researchProduct

Categorical action of the extended braid group of affine type $A$

2017

Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.

[ MATH ] Mathematics [math]Pure mathematicsGeneral MathematicsCategorificationBraid groupGeometric intersection01 natural sciencesMathematics - Geometric TopologyMorphismMathematics::Category TheoryQuiverMathematics - Quantum Algebra0103 physical sciencesFOS: MathematicsQuantum Algebra (math.QA)Representation Theory (math.RT)0101 mathematics[MATH]Mathematics [math]MathematicsHomotopy categoryGroup (mathematics)Applied Mathematics010102 general mathematicsQuiverBraid groupsGeometric Topology (math.GT)16. Peace & justiceCategorificationCategorical actionBounded functionMSC: 20F36 18E30 57M99 13D99010307 mathematical physicsAffine transformationMathematics - Representation Theory
researchProduct

Contribution à l'estimation non paramétrique des quantiles géométriques et à l'analyse des données fonctionnelles

2008

In this dissertation we study the nonparametric geometric quantile estimation, conditional geometric quantiles estimation and functional data analysis. First, we are interested to the definition of geometric quantiles. Different simulations show that Transformation-Retransformation technique should be used to estimate geometric quantiles when the distribution is not spheric. A real study shows that, data are better modelized by geometric quantiles than by marginal one's, especially when variables that make up the random vector are correlated. Then we estimate geometric quantiles when data are obtained by survey sampling techniques. First, we propose an unbaised estimator, then using lineari…

[ MATH ] Mathematics [math]sondageinfluence function[MATH] Mathematics [math]\alpha-mixingTransformation-Retransformation\alpha -mélangeACP fonctionnellelinéarisationFunctional PCAQuantiles géométriquesfonction d'influenceGeometric quantilesconditional geometric quantiles[MATH]Mathematics [math]survey samplingquantiles géométriques conditionnelslinerization
researchProduct

Asymptotics of accessibility sets along an abnormal trajectory

2001

We describe precisely, under generic conditions, the contact of the accessibility set at time $T$ with an abnormal direction, first for a single-input affine control system with constraint on the control, and then as an application for a sub-Riemannian system of rank 2. As a consequence we obtain in sub-Riemannian geometry a new splitting-up of the sphere near an abnormal minimizer $\gamma$ into two sectors, bordered by the first Pontryagin's cone along $\gamma$, called the $\xLinfty$-sector and the $\xLtwo$-sector. Moreover we find again necessary and sufficient conditions of optimality of an abnormal trajectory for such systems, for any optimization problem.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]0209 industrial biotechnologyControl and OptimizationOptimization problemRank (linear algebra)02 engineering and technologycontrol-affine systems01 natural sciencesSet (abstract data type)020901 industrial engineering & automationFOS: Mathematicssingular trajectories0101 mathematicsMathematics - Optimization and ControlMathematics010102 general mathematicsMathematical analysisConstraint (information theory)Computational MathematicsCone (topology)Optimization and Control (math.OC)Control and Systems EngineeringControl systemTrajectoryAffine transformation[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
researchProduct

Computation of conjugate times in smooth optimal control: the COTCOT algorithm

2006

Conjugate point type second order optimality conditions for extremals associated to smooth Hamiltonians are evaluated by means of a new algorithm. Two kinds of standard control problems fit in this setting: the so-called regular ones, and the minimum time singular single-input affine systems. Conjugate point theory is recalled in these two cases, and two applications are presented: the minimum time control of the Kepler and Euler equations.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Differential equationComputation010102 general mathematics05 social sciences050301 education[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]Optimal control01 natural sciencesEuler equationssymbols.namesakesymbolsOrder (group theory)Point (geometry)Affine transformation[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]0101 mathematics0503 educationAlgorithmMathematicsConjugate
researchProduct

cIAP1 oncogenic properties analysis : contribution of its partners cdc42 and E2F1

2014

The inhibitor of apoptosis protein cIAP1 (cellular inhibitor of apoptosis protein-1) from the IAP family (Inhibitor of Apoptosis Protein) is an oncogene with an E3 ubiquitin ligase activity. cIAP1 is relocalized from the nucleus to the cytoplasm during the differentiation of many kind of cellular models (macrophages, dendritic cells, colon epithelial cells, hematopoietic stem cells, cardiomyocytes) and this relocalization is associated with a proliferation arrest. The well-known functions of cIAP1 are associated with its cytoplasmic localization, where it regulates the TNFa receptors and NF-?B signaling pathways. However, cIAP1 is mainly expressed in the nucleus on many cell types which is …

[ SDV.BC ] Life Sciences [q-bio]/Cellular BiologyTNF-aFilipodiaProliferationActin cytoskeleton[SDV.BC]Life Sciences [q-bio]/Cellular BiologyCIAP1E2F1Rho GTPasesHRasCytosquelette d’actineOncogenic transformation[SDV.BBM] Life Sciences [q-bio]/Biochemistry Molecular Biology[SDV.BBM]Life Sciences [q-bio]/Biochemistry Molecular BiologyCdc42ProliférationFilipodes[ SDV.BBM ] Life Sciences [q-bio]/Biochemistry Molecular Biology[SDV.BC] Life Sciences [q-bio]/Cellular BiologyTransformation oncogénique
researchProduct

How to Enrich Description Logics with Fuzziness

2017

International audience; The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Theoretical computer science[ INFO ] Computer Science [cs]Relation (database)Process (engineering)Computer scienceMathematics::General Mathematics0102 computer and information sciences02 engineering and technology[INFO] Computer Science [cs]01 natural sciencesFuzzy logicTask (project management)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Knowledge-based systemsFuzzy Description LogicDescription logicComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs][ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]Semantic WebSemantic WebUncertaintyTransformation (function)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematics020201 artificial intelligence & image processingComputingMethodologies_GENERALHardware_LOGICDESIGN
researchProduct