Search results for "Context"

showing 10 items of 6304 documents

A non-linear version of Hunt-Lion's theorem from the point of view of T-accretivity

1992

In the classical topological context, Dellacherie [10] has given a non-linear version of Hunt's theorem characterizing the proper kernels verifying the complete maximum principle as those closing a submarkovian resolvent. In this paper we study the relation between this non-linear version of Hunt's theorem and T-accretivity.

Discrete mathematicsNonlinear systemMaximum principleFunctional analysisCalculusQuantitative Biology::Populations and EvolutionContext (language use)Point (geometry)Astrophysics::Earth and Planetary AstrophysicsAnalysisPotential theoryResolventMathematicsPotential Analysis
researchProduct

General aggregation operators based on a fuzzy equivalence relation in the context of approximate systems

2016

Our paper deals with special constructions of general aggregation operators, which are based on a fuzzy equivalence relation and provide upper and lower approximations of the pointwise extension of an ordinary aggregation operator. We consider properties of these approximations and explore their role in the context of extensional fuzzy sets with respect to the corresponding equivalence relation. We consider also upper and lower approximations of a t-norm extension of an ordinary aggregation operator. Finally, we describe an approximate system, considering the lattice of all general aggregation operators and the lattice of all fuzzy equivalence relations.

Discrete mathematicsPointwiseLogic05 social sciencesFuzzy set050301 educationContext (language use)02 engineering and technologyExtension (predicate logic)Lattice (discrete subgroup)Operator (computer programming)Artificial Intelligence0202 electrical engineering electronic engineering information engineeringEquivalence relationApplied mathematics020201 artificial intelligence & image processing0503 educationOrdered weighted averaging aggregation operatorMathematicsFuzzy Sets and Systems
researchProduct

Quantum Finite Multitape Automata

1999

Quantum finite automata were introduced by C. Moore, J. P. Crutchfield [4], and by A. Kondacs and J. Watrous [3]. This notion is not a generalization of the deterministic finite automata. Moreover, in [3] it was proved that not all regular languages can be recognized by quantum finite automata. A. Ambainis and R. Freivalds [1] proved that for some languages quantum finite automata may be exponentially more concise rather than both deterministic and probabilistic finite automata. In this paper we introduce the notion of quantum finite multitape automata and prove that there is a language recognized by a quantum finite automaton but not by deterministic or probabilistic finite automata. This …

Discrete mathematicsProbabilistic finite automataFinite-state machineNested wordComputer scienceDeterministic context-free grammarTimed automatonω-automatonNonlinear Sciences::Cellular Automata and Lattice GasesAutomatonMobile automatonNondeterministic finite automaton with ε-movesDeterministic finite automatonDFA minimizationRegular languageDeterministic automatonProbabilistic automatonContinuous spatial automatonAutomata theoryQuantum finite automataTwo-way deterministic finite automatonNondeterministic finite automatonComputer Science::Formal Languages and Automata TheoryQuantum cellular automaton
researchProduct

Butterflies in a Semi-Abelian Context

2011

It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp, with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects). Monoidal functors can be equivalently described by a kind of weak morphisms introduced by B. Noohi under the name of butterflies. In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show th…

Discrete mathematicsPure mathematicsButterflyFunctorInternal groupoidWeak equivalenceGeneral MathematicsSemi-abelian categoryFunctor categoryContext (language use)Mathematics - Category TheoryBicategory of fractionBicategoryMathematics::Algebraic TopologyWeak equivalence18D05 18B40 18E10 18A40Surjective functionMorphismMathematics::Category TheoryFOS: MathematicsCategory Theory (math.CT)Abelian groupMathematics
researchProduct

Context Trees, Variable Length Markov Chains and Dynamical Sources

2012

Infinite random sequences of letters can be viewed as stochastic chains or as strings produced by a source, in the sense of information theory. The relationship between Variable Length Markov Chains (VLMC) and probabilistic dynamical sources is studied. We establish a probabilistic frame for context trees and VLMC and we prove that any VLMC is a dynamical source for which we explicitly build the mapping. On two examples, the "comb" and the "bamboo blossom", we find a necessary and sufficient condition for the existence and the uniqueness of a stationary probability measure for the VLMC. These two examples are detailed in order to provide the associated Dirichlet series as well as the genera…

Discrete mathematicsPure mathematicsStationary distributionMarkov chain010102 general mathematicsProbabilistic dynamical sourcesProbabilistic logicContext (language use)Information theoryVariable length Markov chains01 natural sciencesMeasure (mathematics)Occurrences of words[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]010104 statistics & probabilitysymbols.namesakesymbolsUniquenessDynamical systems of the intervalDirichlet series0101 mathematics[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Dirichlet seriesMathematics
researchProduct

Exceptional Quantum Walk Search on the Cycle

2016

Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk's hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is such an exceptional configuration. Using this discovery, we construct a search problem where the quantum walk's random sampling yields an arbitrary speedup in query complexity over the classical random walk's hitting time. In this context, however, the mixing time to prepare the initial uniform state…

Discrete mathematicsQuantum PhysicsSpeedupHitting timeFOS: Physical sciencesStatistical and Nonlinear PhysicsContext (language use)Random walk01 natural sciences010305 fluids & plasmasTheoretical Computer ScienceElectronic Optical and Magnetic MaterialsQuadratic equationModeling and Simulation0103 physical sciencesSignal ProcessingSearch problemQuantum walkElectrical and Electronic Engineering010306 general physicsQuantum Physics (quant-ph)MathematicsSign (mathematics)
researchProduct

Logics for context-free languages

1995

We define matchings, and show that they capture the essence of context-freeness. More precisely, we show that the class of context-free languages coincides with the class of those sets of strings which can be defined by sentences of the form ∃ bϕ, where ϕ is first order, b is a binary predicate symbol, and the range of the second order quantifier is restricted to the class of matchings. Several variations and extensions are discussed.

Discrete mathematicsRange (mathematics)Class (set theory)Quantifier (logic)Symbol (programming)Context-free languageAbstract family of languagesOrder (group theory)Of the formAlgorithmMathematics
researchProduct

The Discursive Construction of European Identity: Stylistic Analysis of "Text in Context"

2010

The Draft Treaty establishing a Constitution for Europe submitted to the European Council meeting in Thessaloniki on June 2003 was intended to repeal by a single instrument all the existing European treaties (about 16 Treaties enacted between 1951-ECSC Treaty and 2001-Treaty of Nice, with the exception of the Euratom Treaty). Indeed, the ratification by all the Member States of the Treaty establishing a Constitution for Europe was necessary in order to enter it into force. Because of the difficulties and problems faced in ratifying the Treaty, the European Council decided in 2005 to start a ‘period of reflection’ on the future of the European Union. In particular, at the European Council me…

Discursive ContructionContextEuropean UnionStyleSettore L-LIN/12 - Lingua E Traduzione - Lingua IngleseText
researchProduct

Investment Arbitration and the Controverted Right of the Arbitrator to Issue a Separate or Dissenting Opinion

2018

Abstract Although dissents are not generally encouraged in international arbitration, they are a reality of investment treaty disputes. About one in five cases includes at least one separate or dissenting opinion. The ICSID Convention is rare among investment arbitration rules to expressly recognise the right of the arbitrator to attach his or her personal opinion to the award. Other investment arbitration rules are silent on the topic. And yet dissenting opinions are an established feature of several international courts and tribunals and their role is often viewed more benevolently than in investment arbitration. The article explores the perceived advantages and disadvantages of dissents …

Dissenting opinionsSociology and Political Sciencepeople.professionContext (language use)International lawInvestment (macroeconomics)Development of international investment lawAdjudicatorPublic international law[SHS.DROIT]Humanities and Social Sciences/LawDissenting opinionNeutrality of party-appointed arbitratorsPolitical scienceLawSeparate opinionsPolitical Science and International RelationsInternational arbitrationTreatypeopleLaw
researchProduct

Revista electrónica de investigación y evaluación educativa

2014

Resumen tomado de la publicación Título, resumen y palabras clave en inglés y español Se muestra el proceso seguido para diseñar e identificar las propiedades psicométricas del instrumento de evaluación del constructo Atención a la Diversidad como variable de contexto. Para ello, se ha comenzado con una pequeña revisión de los instrumentos utilizados para recoger información sobre la diversidad tanto cultural como social, lingüística o en capacidades. A continuación y, partiendo de una clasificación de los distintos enfoques teóricos, se ha construido un primer instrumento, apostando por un enfoque inclusivo. Posteriormente se procede a una validación por expertos. Tras la validación se tom…

Diversity attention context variables inclusive approach evaluation of educational systemseducación especialmedia_common.quotation_subjectContext variablecuestionariomodeloevaluaciónEducationpedagogía diferencialPsychologyHumanitiesDiversity (politics)media_common
researchProduct