Search results for "Names"

showing 10 items of 6843 documents

Optimal Resource Discovery Paths of Gnutella2

2008

This paper shows that the performance of peer-to-peer resource discovery algorithms is upper bounded by a k-Steiner minimum tree and proposes an algorithm locating near-optimal query paths for the peer-to-peer resource discovery problem. Global knowledge of the topology and the resources from the peer-to-peer network are required as an input to the algorithm. The algorithm provides an objective measure for defining how good local search algorithms are. The performance is evaluated in simulated peer-to-peer scenarios and in the measured Gnutella2 P2P network topology with four local search algorithms: breadth-first search, self-avoiding random walker, highest degree search and Dynamic Query …

Theoretical computer sciencebusiness.industryComputer scienceNetwork topologyComputer Science::Digital LibrariesSteiner tree problemTree (graph theory)symbols.namesakeRandom walker algorithmSearch algorithmBounded functionsymbolsResource allocationLocal search (optimization)Gnutella2business22nd International Conference on Advanced Information Networking and Applications (aina 2008)
researchProduct

Seeing reality through Einstein's eyes: a teaching proposal for special relativity

2021

The teaching of Special Relativity is still a critical issue not only for students but also for teachers. In this paper, we describe the trial of a learning unit on the Special Relativity topic based on Minkowski's approach through spacetime diagrams, following the results in pedagogical researches in this field. The main innovation of our project consists of a mechanical instrument: it allows to physically and mechanically represent Lorentz’s transformations by hands, exploring the effects of a change of the reference frame. Teachers and students can deal “by eye” with unusual phenomena as the loss of simultaneity, time dilation, length contraction, relativistic addition of velocities and …

Theoretical physicssymbols.namesakespecial relativitySpecial Relativity spacetime didactics of Physics High Schools laboratory of Special Relativity.PhilosophySettore FIS/08 - Didattica E Storia Della FisicasymbolsEinsteinlaboratory of special relativityspacetimedidactics of physicsSpecial relativity (alternative formulations)high schools
researchProduct

Analytical design of nonlinear optical loop mirrors for fiber-optic communication systems

2006

International audience; We propose an easy and efficient method for analytically designing nonlinear optical loop mirrors (NOLMs) for fiber-optic communication systems. This analytical design is based on a Taylor series expansion of the transfer function of the NOLM, from which highly stable dynamical regimes can be readily obtained for any desired pulse parameters. We present numerical simulations showing dramatically improved performances in a 160 Gb/s transmission system that incorporates the NOLMs designed analytically.

Theoretical studyNumerical simulationCommunications systemTransfer functionAnalytical methodNon linear loop mirrorOptical fiber communicationsymbols.namesakeNonlinear opticalOpticsTaylor seriesOptical telecommunicationElectrical and Electronic EngineeringPhysical and Theoretical ChemistryAnalytical designPhysicsbusiness.industryTransfer functionTransmission systemAtomic and Molecular Physics and OpticsElectronic Optical and Magnetic MaterialsPulse (physics)Loop (topology)[CHIM.THEO] Chemical Sciences/Theoretical and/or physical chemistry[ PHYS.PHYS.PHYS-AO-PH ] Physics [physics]/Physics [physics]/Atmospheric and Oceanic Physics [physics.ao-ph][ CHIM.THEO ] Chemical Sciences/Theoretical and/or physical chemistrysymbolsbusiness
researchProduct

Quantum versus Probabilistic One-Way Finite Automata with Counter

2001

The paper adds the one-counter one-way finite automaton [6] to the list of classical computing devices having quantum counterparts more powerful in some cases. Specifically, two languages are considered, the first is not recognizable by deterministic one-counter one-way finite automata, the second is not recognizable with bounded error by probabilistic one-counter one-way finite automata, but each recognizable with bounded error by a quantum one-counter one-way finite automaton. This result contrasts the case of one-way finite automata without counter, where it is known [5] that the quantum device is actually less powerful than its classical counterpart.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESNested wordComputer scienceTimed automatonBüchi automatonω-automatonNondeterministic finite automaton with ε-movesTuring machinesymbols.namesakeDFA minimizationDeterministic automatonContinuous spatial automatonQuantum finite automataDeterministic system (philosophy)Two-way deterministic finite automatonNondeterministic finite automatonDiscrete mathematicsFinite-state machineQuantum dot cellular automatonNonlinear Sciences::Cellular Automata and Lattice GasesMobile automatonTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESDeterministic finite automatonProbabilistic automatonsymbolsAutomata theoryComputer Science::Formal Languages and Automata TheoryQuantum cellular automaton
researchProduct

Multiple Usage of Random Bits in Finite Automata

2012

Finite automata with random bits written on a separate 2-way readable tape can recognize languages not recognizable by probabilistic finite automata. This shows that repeated reading of random bits by finite automata can have big advantages over one-time reading of random bits.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESNested wordFinite-state machineTheoretical computer scienceKolmogorov complexityComputer scienceω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesBit fieldTuring machinesymbols.namesakeTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESsymbolsQuantum finite automataAutomata theoryArithmeticComputer Science::DatabasesComputer Science::Formal Languages and Automata Theory
researchProduct

Tally languages accepted by Monte Carlo pushdown automata

1997

Rather often difficult (and sometimes even undecidable) problems become easily decidable for tally languages, i.e. for languages in a single-letter alphabet. For instance, the class of languages recognizable by 1-way nondeterministic pushdown automata equals the class of the context-free languages, but the class of the tally languages recognizable by 1-way nondeterministic pushdown automata, contains only regular languages [LP81]. We prove that languages over one-letter alphabet accepted by randomized one-way 1-tape Monte Carlo pushdown automata are regular. However Monte Carlo pushdown automata can be much more concise than deterministic 1-way finite state automata.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESNested wordTheoretical computer scienceComputational complexity theoryComputer scienceDeterministic pushdown automatonTuring machinesymbols.namesakeRegular languageComputer Science::Logic in Computer ScienceQuantum finite automataNondeterministic finite automatonDiscrete mathematicsFinite-state machineDeterministic context-free languageComputabilityDeterministic context-free grammarContext-free languagePushdown automatonAbstract family of languagesComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Cone (formal languages)Embedded pushdown automatonUndecidable problemNondeterministic algorithmTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESDeterministic finite automatonsymbolsComputer Science::Programming LanguagesAlphabetComputer Science::Formal Languages and Automata Theory
researchProduct

The computational power of continuous time neural networks

1997

We investigate the computational power of continuous-time neural networks with Hopfield-type units. We prove that polynomial-size networks with saturated-linear response functions are at least as powerful as polynomially space-bounded Turing machines.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESQuantitative Biology::Neurons and CognitionComputational complexity theoryArtificial neural networkComputer sciencebusiness.industryComputer Science::Neural and Evolutionary ComputationNSPACEComputational resourcePower (physics)Turing machinesymbols.namesakeCellular neural networksymbolsArtificial intelligenceTypes of artificial neural networksbusiness
researchProduct

Ultrametric Finite Automata and Turing Machines

2013

We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the properties of probabilistic automata but complexity of probabilistic automata and complexity of ultrametric automata can differ very much.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceComputer scienceSuper-recursive algorithmProbabilistic Turing machineDescription numberNonlinear Sciences::Cellular Automata and Lattice GasesTuring machinesymbols.namesakeTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTuring completenesssymbolsQuantum finite automataAutomata theoryTwo-way deterministic finite automatonComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Ultrametric Algorithms and Automata

2015

We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the properties of probabilistic automata but complexity of probabilistic automata and complexity of ultrametric automata can differ very much.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceFinite-state machineComputer scienceComputationStochastic matrixNonlinear Sciences::Cellular Automata and Lattice GasesAutomatonTuring machinesymbols.namesakeTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESProbabilistic automatonsymbolsAutomata theoryUltrametric spaceComputer Science::Formal Languages and Automata TheoryMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

How to simulate free will in a computational device

1999

Since we believe that human brain is not a purely deterministic device merely reacting to the environment but rather it is capable to a free will, Theoretical Computer Science has also tried to develop a system of notions generalizing determinism. Nondeterministic and probabilistic algorithms were the first generalizations. Nondeterministic machines constitute an important part of the Theory of Computation. Nondeterminism is a useful way to describe possible choices. In real life there are many regulations restricting our behavior. These regulations nearly always leave some freedom for us how to react. Such regulations are best described in terms of nondeterministic algorithms. Nondetermini…

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoretical computer scienceProperty (philosophy)General Computer ScienceComputer scienceProbabilistic logicDeterminismTheoretical Computer ScienceMoment (mathematics)Nondeterministic algorithmTuring machinesymbols.namesakeTheory of computationsymbolsProbabilistic analysis of algorithmsACM Computing Surveys
researchProduct