Search results for "Rete"

showing 10 items of 3470 documents

A simple algorithm for finding short sigma-definite representatives

2010

We describe a new algorithm which for each braid returns a quasi-geodesic sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears either only positively or only negatively.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid groupbraid monoids20F3620M0506F05Group Theory (math.GR)02 engineering and technology01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Mathematics::Group TheoryMathematics::Category TheoryMathematics::Quantum AlgebraFOS: MathematicsBraidBraid group0101 mathematicsSIMPLE algorithmMathematicsDiscrete mathematicsGenerator (computer programming)algorithmAlgebra and Number Theory010102 general mathematicsSigmaComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)021001 nanoscience & nanotechnologyMathematics::Geometric Topologybraid orderingIndex (publishing)0210 nano-technologyMathematics - Group TheoryWord (computer architecture)Journal of Algebra
researchProduct

Ping-pong configurations and circular orders on free groups

2017

We discuss actions of free groups on the circle with "ping-pong" dynamics; these are dynamics determined by a finite amount of combinatorial data, analogous to Schottky domains or Markov partitions. Using this, we show that the free group $F_n$ admits an isolated circular order if and only if n is even, in stark contrast with the case for linear orders. This answers a question from (Mann, Rivas, 2016). Inspired by work of Alvarez, Barrientos, Filimonov, Kleptsyn, Malicet, Menino and Triestino, we also exhibit examples of "exotic" isolated points in the space of all circular orders on $F_2$. Analogous results are obtained for linear orders on the groups $F_n \times \mathbb{Z}$.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR][ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS][MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]MSC2010: Primary 20F60 57M60. Secondary 20E05 37C85 37E05 37E10 57M60.Extension (predicate logic)Group Theory (math.GR)Dynamical Systems (math.DS)Space (mathematics)20F60 57M60[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsFree groupsOne-dimensional dynamicsFree groupPing pongFOS: MathematicsDiscrete Mathematics and CombinatoricsOrder (group theory)Geometry and TopologyMathematics - Dynamical SystemsMathematics - Group TheoryMathematicsOrders on groups
researchProduct

Compressed Drinfeld associators

2004

Drinfeld associator is a key tool in computing the Kontsevich integral of knots. A Drinfeld associator is a series in two non-commuting variables, satisfying highly complicated algebraic equations - hexagon and pentagon. The logarithm of a Drinfeld associator lives in the Lie algbera L generated by the symbols a,b,c modulo [a,b]=[b,c]=[c,a]. The main result is a description of compressed associators that satisfy the compressed pentagon and hexagon in the quotient L/[[L,L],[L,L]]. The key ingredient is an explicit form of Campbell-Baker-Hausdorff formula in the case when all commutators commute.

[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Hexagon equationPure mathematicsCampbell–Baker–Hausdorff formulaKnotLie algebraModuloCompressed Vassiliev invariantsPentagon equation01 natural sciencessymbols.namesakeMathematics - Geometric TopologyChord diagramsExtended Bernoulli numbers[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]Mathematics::Quantum Algebra0103 physical sciencesLie algebraMathematics - Quantum AlgebraFOS: MathematicsQuantum Algebra (math.QA)0101 mathematicsAlgebraic numberBernoulli numberQuotientMathematics[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]Zeta functionDiscrete mathematics[MATH.MATH-QA] Mathematics [math]/Quantum Algebra [math.QA]Algebra and Number TheoryVassiliev invariants[ MATH.MATH-QA ] Mathematics [math]/Quantum Algebra [math.QA]Drinfeld associator57M25 57M27 11B68 17B01010102 general mathematicsAssociatorQuantum algebraGeometric Topology (math.GT)Kontsevich integralRiemann zeta functionsymbols[MATH.MATH-QA]Mathematics [math]/Quantum Algebra [math.QA]Compressed associator010307 mathematical physicsBernoulli numbers
researchProduct

On the optimal control of the circular restricted three body problem

2011

The context of this work is space mechanics. More precisely, we aim at computing low thrust transfers in the Earth-Moon system modeled by the circular restricted three-body problem. The goal is to calculate the optimal steering of the spacecraft engine with respect to two optimization criteria: Final time and fuel consumption. The contributions of this thesis are of two kinds. Geometric, first, as we study the controllability of the system together with the geometry of the transfers (structure of the command) by means of geometric control tools. Numerical, then, different homotopic methods being developed. A two-three body continuation is used to compute minimum time trajectories, and then …

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Earth-Moon transfercontinuations discrète et différentielletrajectoires temps ou consommation minimalesminimum time or fuel consumption trajectories[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]transfert Terre-Lunecircular restricted three-body problemshootingoptimal controlcontrôle optimalpoussée faibleméthode de tirproblème des trois corps circulaire restreintlow thrust[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]discrete and differential continuation
researchProduct

Geometric optimal control of elliptic Keplerian orbits

2005

This article deals with the transfer of a satellite between Keplerian orbits. We study the controllability properties of the system and make a preliminary analysis of the time optimal control using the maximum principle. Second order sufficient conditions are also given. Finally, the time optimal trajectory to transfer the system from an initial low orbit with large eccentricity to a terminal geostationary orbit is obtained numerically.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Physics0209 industrial biotechnologyApplied Mathematicsmedia_common.quotation_subject010102 general mathematicsMathematical analysis[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]02 engineering and technologyOptimal control01 natural sciencesControllability020901 industrial engineering & automationMaximum principleOrbit (dynamics)Geostationary orbitDiscrete Mathematics and CombinatoricsSatellite[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Astrophysics::Earth and Planetary Astrophysics0101 mathematicsOrbital maneuverEccentricity (behavior)media_commonDiscrete & Continuous Dynamical Systems - B
researchProduct

Computerized delimitation of odorant areas in gas-chromatography-olfactometry by kernel density estimation: Data processing on French white wines

2017

International audience; GC-O using the detection frequency method gives a list of odor events (OEs) where each OE is described by a linear retention index (LRI) and by the aromatic descriptor given by a human assessor. The aim of the experimenter is to gather OEs in a total olfactogram on which he tries to delimit odorant areas (OAs), then to compute each detection frequency. This paper proposes a computerized mathematical method based on kernel density estimation that makes up the total olfactogram as continuous and differentiable function from the OEs LRI only. The corresponding curve looks like a chromatogram, the peaks of which are potential OAs. The limits of an OA are the LRI of the t…

[ SDV.AEN ] Life Sciences [q-bio]/Food and NutritionKernel density estimation01 natural sciencesolfactogramAnalytical ChemistrySet (abstract data type)0404 agricultural biotechnologyStatisticsRange (statistics)Kernel densitu estimationSpectroscopyMathematicsContingency tableProcess Chemistry and Technology010401 analytical chemistry04 agricultural and veterinary sciencesdetection frequency method040401 food science0104 chemical sciencesComputer Science ApplicationsMaxima and minimaGC olphactometryKernel (statistics)Benchmark (computing)Kovats retention indexParzen-Rosenblatt[SDV.AEN]Life Sciences [q-bio]/Food and NutritionSoftware
researchProduct

An original approach for gas chromatography-olfactometry detection frequency analysis: Application to gin

2012

Abstract Gas Chromatography-Olfactometry (GC-O) is a technique that lies halfway between physicochemical and sensory analysis and involves the perception of volatile flavour compounds, separated by gas chromatography, by the human nose. Of the different GC-O procedures available, detection frequency has been proved to be more rapid and more repeatable, even with an untrained panel. This characteristic regarding the panel is often not considered when dealing with the sensory attributes determined by assessors. An original approach to GC-O using the detection frequency procedure has been developed and tested on two types of gin and made it possible to benefit from sensory data. The panel cons…

[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutritionginkey aroma compound01 natural sciencesSensory analysissensory analysisHuman nose0404 agricultural biotechnologyFrequency detectionOlfactometryparasitic diseasesmedicineChromatographyChemistrybusiness.industry010401 analytical chemistryPattern recognition04 agricultural and veterinary sciences040401 food science0104 chemical sciencesHighly sensitivemedicine.anatomical_structurearomaHomogeneousgas chromatography-olfactometryKovats retention indexArtificial intelligenceGas chromatographybusinessdetection frequency[SDV.AEN]Life Sciences [q-bio]/Food and Nutritionpsychological phenomena and processesFood Science
researchProduct

An Essay on Denotational Mathematics

2019

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]020204 information systems0202 electrical engineering electronic engineering information engineeringMathematics education020201 artificial intelligence & image processing[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]ComputingMilieux_MISCELLANEOUS[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]Mathematics
researchProduct

Whole mirror duplication-random loss model and pattern avoiding permutations

2010

International audience; In this paper we study the problem of the whole mirror duplication-random loss model in terms of pattern avoiding permutations. We prove that the class of permutations obtained with this model after a given number p of duplications of the identity is the class of permutations avoiding the alternating permutations of length p2+1. We also compute the number of duplications necessary and sufficient to obtain any permutation of length n. We provide two efficient algorithms to reconstitute a possible scenario of whole mirror duplications from identity to any permutation of length n. One of them uses the well-known binary reflected Gray code (Gray, 1953). Other relative mo…

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Class (set theory)0206 medical engineeringBinary number0102 computer and information sciences02 engineering and technology[ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]01 natural sciencesIdentity (music)Combinatorial problemsTheoretical Computer ScienceGray codeCombinatoricsPermutation[ INFO.INFO-BI ] Computer Science [cs]/Bioinformatics [q-bio.QM]Gene duplicationRandom loss[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Pattern avoiding permutationGenerating algorithmComputingMilieux_MISCELLANEOUSMathematicsDiscrete mathematicsWhole duplication-random loss modelMathematics::CombinatoricsGenomeParity of a permutationComputer Science Applications[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO][ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Binary reflected Gray code010201 computation theory & mathematicsSignal Processing[INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]020602 bioinformaticsAlgorithmsInformation Systems
researchProduct

Topological properties of cellular automata on trees

2012

We prove that there do not exist positively expansive cellular automata defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some topological properties of these automata and their relationships, namely permutivity, surjectivity, preinjectivity, right-closingness and openness.

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)Formal Languages and Automata Theory (cs.FL)FOS: Physical sciencesComputer Science - Formal Languages and Automata Theory0102 computer and information sciences[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Computational Complexity (cs.CC)Topology01 natural scienceslcsh:QA75.5-76.95[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]0101 mathematicsF.1.1;F.1.2;F.1.3MathematicsCellular Automata and Lattice Gases (nlin.CG)lcsh:Mathematics010102 general mathematicsCellular automaton tree shift expansivity permutivity right-closingness opennesslcsh:QA1-939Nonlinear Sciences::Cellular Automata and Lattice GasesCellular automatonAutomatonComputer Science - Computational Complexity010201 computation theory & mathematicsTree (set theory)lcsh:Electronic computers. Computer scienceF.1.2F.1.3ExpansiveNonlinear Sciences - Cellular Automata and Lattice GasesF.1.1Computer Science::Formal Languages and Automata TheoryComputer Science - Discrete Mathematics
researchProduct