Search results for "Automata"

showing 10 items of 453 documents

"Table 64" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the 2LSR2 region in the M(stop), M(neutralino) plane in the scenario where M(chargino) = 106 GEV.

InclusiveDijet ProductionProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 50" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the 1LSR region in the M(chargino), M(neutralino) plane in the scenario where M(stop) = 180 GEV.

InclusiveDijet ProductionProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 7" of "Search for a heavy top-quark partner in final states with two leptons with the ATLAS detector at the LHC"

2012

(1) Observed CLs values for the scalar top signal grid (2) Expected CLs values for the scalar top signal grid.

InclusiveNonlinear Sciences::Exactly Solvable and Integrable SystemsProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceCLSPhysics::Atomic and Molecular ClustersTop7000.0Jet ProductionP P --> 2LEPTON JETS XComputer Science::Computers and SocietyComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 60" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the best expected combination in the M(chargino), M(neutralino) plane in the scenario where M(stop) = 180 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 59" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

expected CLs values for the best expected combination in the M(chargino), M(neutralino) plane in the scenario where M(stop) = 180 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 65" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

expected CLs values for the best expected combination in the M(stop), M(neutralino) plane in the scenario where M(chargino) = 106 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

"Table 66" of "Search for light top squark pair production in final states with leptons and b-jets with the ATLAS detector in sqrt(s) = 7 TeV proton-…

2013

observed CLs values for the best expected combination in the M(stop), M(neutralino) plane in the scenario where M(chargino) = 106 GEV.

InclusiveProton-Proton ScatteringComputer Science::Computational Engineering Finance and ScienceHigh Energy Physics::PhenomenologyP P --> LEPTONS JETS BJETS MM XTop7000.0High Energy Physics::ExperimentJet ProductionNNuclear ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

Vertical Representation of C∞-words

2015

International audience; We present a new framework for dealing with C∞-words, based on their left and right frontiers. Thisallows us to give a compact representation of them, and to describe the set of C∞-words throughan infinite directed acyclic graph G. This graph is defined by a map acting on the frontiers ofC∞-words. We show that this map can be defined recursively and with no explicit reference toC∞-words. We then show that some important conjectures on C∞-words follow from analogousstatements on the structure of the graph G.

Kolakoski wordC∞-wordsComputer Science (all)[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]directed acyclic graphComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)directed setrecursive function[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Computer Science::Formal Languages and Automata Theory[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]C∞-wordTheoretical Computer Science
researchProduct

Representation of Autonomous Automata

2001

An autonomous automaton is a finite automaton with output in which the input alphabet has cardinality one when special reduced. We define the transition from automata to semigroups via a representation successful if given two incomparable automata (neither simulate the other), the semigroups representing the automata are distinct. We show that representation by the transition semigroup is not successful. We then consider a representation of automata by semigroups of partial transformations. We show that in general transition from automata to semigroups by this representation is not successful either. In fact, the only successful transition presented is the transiton to this semigroup of par…

Krohn–Rhodes theoryDiscrete mathematicsNested wordFinite-state machineMathematics::Operator AlgebrasComputer scienceSemigroupTimed automatonω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesMobile automatonAutomatonNondeterministic finite automaton with ε-movesStochastic cellular automatonDeterministic finite automatonDFA minimizationDeterministic automatonContinuous spatial automatonSpecial classes of semigroupsQuantum finite automataAutomata theoryTwo-way deterministic finite automatonNondeterministic finite automatonComputer Science::Formal Languages and Automata Theory
researchProduct

Minimal Forbidden Factors of Circular Words

2017

Minimal forbidden factors are a useful tool for investigating properties of words and languages. Two factorial languages are distinct if and only if they have different (antifactorial) sets of minimal forbidden factors. There exist algorithms for computing the minimal forbidden factors of a word, as well as of a regular factorial language. Conversely, Crochemore et al. [IPL, 1998] gave an algorithm that, given the trie recognizing a finite antifactorial language M, computes a DFA of the language having M as set of minimal forbidden factors. In the same paper, they showed that the obtained DFA is minimal if the input trie recognizes the minimal forbidden factors of a single word. We gener…

L-automatonDiscrete mathematicsFactorialFibonacci numberSettore INF/01 - InformaticaComputer Science (all)Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)0102 computer and information sciences02 engineering and technologyCircular wordMinimal forbidden factor01 natural sciencesTheoretical Computer ScienceSet (abstract data type)010201 computation theory & mathematicsIf and only ifTrie0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer Science::Formal Languages and Automata TheoryWord (computer architecture)Mathematics
researchProduct