Search results for " Combinatoric"

showing 10 items of 299 documents

Periodic and quasi-periodic orbits of the dissipative standard map

2011

We present analytical and numerical investigations of the dynamics of the dissipative standard map. We first study the existence of periodic orbits by using a constructive version of the implicit function theorem; then, we introduce a parametric representation, which provides the interval of the drift parameter ensuring the existence of a periodic orbit with a given period. The determination of quasi--periodic attractors is efficiently obtained using the parametric representation combined with a Newton's procedure, aimed to reduce the error of the approximate solution provided by the parametric representation. These methods allow us to relate the drift parameter of the periodic orbits to th…

Dissipative standard mapApplied MathematicsMathematical analysisArnold's tonguesPeriodic sequenceStandard mapParameter spaceImplicit function theoremAttractorDissipative systemDiscrete Mathematics and CombinatoricsPeriodic orbitsArnold's tongues; Dissipative standard map; Periodic orbits; Discrete Mathematics and Combinatorics; Applied MathematicsInvariant (mathematics)Dissipative standard map; Periodic orbits; Arnold's tonguesSettore MAT/07 - Fisica MatematicaParametric statisticsMathematics
researchProduct

Speed control design for a vehicle system using fuzzy logic and PID controller

2015

This paper consists of designing fuzzy and PID controllers for controlling the vehicle speed. The dynamic of the system is modeled to provide a transfer function for the plant. Fuzzy and PID controller are designed for linear model. The external disturbances such road grade is considered to stabilizing the system. Both controllers are modeled using MATLAB Simulink software. Finally, a comparative assessment of each simulated result is done based on the response characteristics.

Electronic speed controlControl and Optimizationbusiness.industryComputer sciencePID controllerFuzzy control systemFuzzy logicTransfer functionSoftwarecruise controlArtificial IntelligenceControl theoryControl systemcontroller; cruise control; fuzzy logic; PID control; Artificial Intelligence; Control and Optimization; Discrete Mathematics and CombinatoricsPID controlDiscrete Mathematics and Combinatoricsfuzzy logiccontrollerbusinessCruise control2015 International Conference on Fuzzy Theory and Its Applications (iFUZZY)
researchProduct

On the statistics of pairs of logarithms of integers

2022

We study the statistics of pairs of logarithms of positive integers at various scalings, either with trivial weights or with weights given by the Euler function, proving the existence of pair correlation functions. We prove that at the linear scaling, which is not the usual scaling by the inverse of the average gap, the pair correlations exhibit a level repulsion similar to radial distribution functions of fluids. We prove total loss of mass phenomena at superlinear scalings, and constant nonzero asymptotic behavior at sublinear scalings. The case of Euler weights has applications to the pair correlation of the lengths of common perpendicular geodesic arcs from the maximal Margulis cusp nei…

Euler functionAlgebra and Number Theorypair correlationmatematiikkatilastomenetelmätlogarithms of integersDiscrete Mathematics and Combinatoricslevel repulsionfunktiotlogaritmit
researchProduct

On the Inner Product Predicate and a Generalization of Matching Vector Families

2018

Motivated by cryptographic applications such as predicate encryption, we consider the problem of representing an arbitrary predicate as the inner product predicate on two vectors. Concretely, fix a Boolean function $P$ and some modulus $q$. We are interested in encoding $x$ to $\vec x$ and $y$ to $\vec y$ so that $$P(x,y) = 1 \Longleftrightarrow \langle\vec x,\vec y\rangle= 0 \bmod q,$$ where the vectors should be as short as possible. This problem can also be viewed as a generalization of matching vector families, which corresponds to the equality predicate. Matching vector families have been used in the constructions of Ramsey graphs, private information retrieval (PIR) protocols, and mor…

FOS: Computer and information sciences060201 languages & linguistics000 Computer science knowledge general worksComputer Science - Cryptography and Security06 humanities and the arts02 engineering and technologyComputational Complexity (cs.CC)Computer Science - Computational Complexity0602 languages and literatureComputer ScienceFOS: Mathematics0202 electrical engineering electronic engineering information engineeringMathematics - Combinatorics020201 artificial intelligence & image processingCombinatorics (math.CO)Cryptography and Security (cs.CR)
researchProduct

Novel Results on the Number of Runs of the Burrows-Wheeler-Transform

2021

The Burrows-Wheeler-Transform (BWT), a reversible string transformation, is one of the fundamental components of many current data structures in string processing. It is central in data compression, as well as in efficient query algorithms for sequence data, such as webpages, genomic and other biological sequences, or indeed any textual data. The BWT lends itself well to compression because its number of equal-letter-runs (usually referred to as $r$) is often considerably lower than that of the original string; in particular, it is well suited for strings with many repeated factors. In fact, much attention has been paid to the $r$ parameter as measure of repetitiveness, especially to evalua…

FOS: Computer and information sciencesBurrows–Wheeler transformSettore INF/01 - InformaticaCombinatorics on wordsFormal Languages and Automata Theory (cs.FL)Computer scienceString (computer science)Search engine indexingCompressed data structuresComputer Science - Formal Languages and Automata TheoryString indexingData structureMeasure (mathematics)Burrows-Wheeler-TransformRepetitivenessCombinatorics on wordsBurrows-Wheeler-Transform Compressed data structures String indexing Repetitiveness Combinatorics on wordsTransformation (function)Computer Science - Data Structures and AlgorithmsData Structures and Algorithms (cs.DS)AlgorithmData compression
researchProduct

Popularity of patterns over $d$-equivalence classes of words and permutations

2020

Abstract Two same length words are d-equivalent if they have same descent set and same underlying alphabet. In particular, two same length permutations are d-equivalent if they have same descent set. The popularity of a pattern in a set of words is the overall number of copies of the pattern within the words of the set. We show the far-from-trivial fact that two patterns are d-equivalent if and only if they are equipopular over any d-equivalence class, and this equipopularity does not follow obviously from a trivial equidistribution.

FOS: Computer and information sciencesClass (set theory)General Computer ScienceDiscrete Mathematics (cs.DM)010102 general mathematics0102 computer and information sciences01 natural sciencesPopularityTheoretical Computer ScienceCombinatoricsSet (abstract data type)010201 computation theory & mathematicsIf and only if[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]FOS: MathematicsMathematics - CombinatoricsCombinatorics (math.CO)0101 mathematicsAlphabetComputingMilieux_MISCELLANEOUSComputer Science::Formal Languages and Automata TheoryMathematicsDescent (mathematics)Computer Science - Discrete Mathematics
researchProduct

On the Number of Closed Factors in a Word

2015

A closed word (a.k.a. periodic-like word or complete first return) is a word whose longest border does not have internal occurrences, or, equivalently, whose longest repeated prefix is not right special. We investigate the structure of closed factors of words. We show that a word of length $n$ contains at least $n+1$ distinct closed factors, and characterize those words having exactly $n+1$ closed factors. Furthermore, we show that a word of length $n$ can contain $\Theta(n^{2})$ many distinct closed factors.

FOS: Computer and information sciencesClosed wordCombinatorics on wordsComplete returnFormal Languages and Automata Theory (cs.FL)Computer scienceComputer Science (all)Structure (category theory)Computer Science - Formal Languages and Automata TheoryCombinatorics on words Closed word Complete return Rich word Bitonic word68R15Theoretical Computer ScienceCombinatoricsPrefixCombinatorics on wordsRich wordBitonic wordFOS: MathematicsMathematics - CombinatoricsCombinatorics (math.CO)ArithmeticWord (computer architecture)Combinatorics on word
researchProduct

Lightweight LCP construction for very large collections of strings

2016

The longest common prefix array is a very advantageous data structure that, combined with the suffix array and the Burrows-Wheeler transform, allows to efficiently compute some combinatorial properties of a string useful in several applications, especially in biological contexts. Nowadays, the input data for many problems are big collections of strings, for instance the data coming from "next-generation" DNA sequencing (NGS) technologies. In this paper we present the first lightweight algorithm (called extLCP) for the simultaneous computation of the longest common prefix array and the Burrows-Wheeler transform of a very large collection of strings having any length. The computation is reali…

FOS: Computer and information sciencesComputer scienceComputation0102 computer and information sciences02 engineering and technologyParallel computing01 natural sciencesGeneralized Suffix ArrayTheoretical Computer Sciencelaw.inventionlawComputational Theory and MathematicComputer Science - Data Structures and AlgorithmsExtended Burrows-Wheeler TransformData_FILES0202 electrical engineering electronic engineering information engineeringDiscrete Mathematics and CombinatoricsData Structures and Algorithms (cs.DS)Discrete Mathematics and CombinatoricAuxiliary memoryLongest Common Prefix Array; Extended Burrows-Wheeler Transform; Generalized Suffix Array;String (computer science)LCP arraySuffix arrayData structureComputational Theory and Mathematics010201 computation theory & mathematicsLongest Common Prefix Array020201 artificial intelligence & image processingJournal of Discrete Algorithms
researchProduct

Right-jumps and pattern avoiding permutations

2015

We study the iteration of the process "a particle jumps to the right" in permutations. We prove that the set of permutations obtained in this model after a given number of iterations from the identity is a class of pattern avoiding permutations. We characterize the elements of the basis of this class and we enumerate these "forbidden minimal patterns" by giving their bivariate exponential generating function: we achieve this via a catalytic variable, the number of left-to-right maxima. We show that this generating function is a D-finite function satisfying a nice differential equation of order~2. We give some congruence properties for the coefficients of this generating function, and we sho…

FOS: Computer and information sciencesD-finite function[ MATH.MATH-CV ] Mathematics [math]/Complex Variables [math.CV]Discrete Mathematics (cs.DM)General Computer Scienceinsertion sort[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]left-to-right maximumPermutation patternTheoretical Computer Science[ MATH.MATH-NT ] Mathematics [math]/Number Theory [math.NT]Combinatorics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]FOS: Mathematicsanalytic combinatoricsMathematics - CombinatoricsDiscrete Mathematics and CombinatoricsGolden ratioMathematicsProbability (math.PR)Generating function[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM][MATH.MATH-CV]Mathematics [math]/Complex Variables [math.CV]Function (mathematics)[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]Exponential function[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]generating functionPermutation patternExponentAnalytic combinatoricssupercongruenceCombinatorics (math.CO)Maxima[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - ProbabilityComputer Science - Discrete Mathematics
researchProduct

Properties of a Class of Toeplitz Words

2021

We study the properties of the uncountable set of Stewart words. These are Toeplitz words specified by infinite sequences of Toeplitz patterns of the form $\alpha\beta\gamma$, where $\alpha,\beta,\gamma$ is any permutation of the symbols 0,1,?. We determine the critical exponent of the Stewart words, prove that they avoid the pattern $xxyyxx$, find all factors that are palindromes, and determine their subword complexity. An interesting aspect of our work is that we use automata-theoretic methods and a decision procedure for automata to carry out the proofs.

FOS: Computer and information sciencesDecision procedureSubword complexityDiscrete Mathematics (cs.DM)Combinatorics on wordsSettore INF/01 - InformaticaGeneral Computer ScienceFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata TheoryToeplitz wordTheoretical Computer ScienceComputer Science::Discrete MathematicsPattern avoidanceFOS: MathematicsAutomatic sequenceMathematics - CombinatoricsCombinatorics (math.CO)Computer Science::Formal Languages and Automata TheoryComputer Science - Discrete Mathematics
researchProduct