Results 11 to 20 of about 2,148 (195)
Identifiability, Sequentiality and Infinity
MathematicsA definition of identifiable-sets is used with sequential analysis to establish a realm of mathematics. Within this imaginary world, a specific consonant between infinite sets and sequentiality is reached.
Jose Luis Menaldi
doaj +2 more sources
The Effect of Sequentiality on Cooperation in Repeated Games [PDF]
, 2022 Sequentiality of moves in an infinitely repeated prisoner's dilemma does not change the conditions under which mutual cooperation can be supported in equilibrium relative to simultaneous decision-making.
Riccardo Ghidoni +3 more
core +1 more source
On sequentiality and well-bracketing in the π-calculus [PDF]
, 2021 The π-calculus is used as a model for programming languages. Its cons exhibit arbitrary concurrency, making them very discriminating. This may prevent validating desirable behavioural equivalences in cases when more disciplined cons are expected.In this ...
Hirschkoff D., Prebet E., Sangiorgi D.
core +2 more sources
Deciding Unambiguity and Sequentiality of Polynomially Ambiguous Min-Plus Automata [PDF]
, 2009 International audienceThis paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characterization involving so-called metatransitions and an ...
Kirsten, Daniel, Lombardy, Sylvain
core +4 more sources
Finite Sequentiality of Finitely Ambiguous Max-Plus Tree Automata [PDF]
, 2020 We show that the finite sequentiality problem is decidable for finitely ambiguous max-plus tree automata. A max-plus tree automaton is a weighted tree automaton over the max-plus semiring.
Paul, Erik
core +1 more source
A refinement of strong sequentiality for term rewriting with constructors [PDF]
, 1987 The notion of call-by-need evaluation has turned out to be very fruitful when applied to dialects of the [lambda]-calculus (Henderson and Morris, 1976, in "Proc. 3rd ACM Symp. on the Principles of Programming Languages, Atlanta; Kahn and Mac Queen, 1977,
Thatte, Satish R.
core +1 more source
CoSMO, 2021 The point of departure of this study is the temporal multilayeredness of our narrative constructions of life and identity, both in fictional and factual genres of life writing. The question of “historical sequence” and “morphology” – the central issue of
Jens Brockmeier
doaj +1 more source
Finite Sequentiality of Unambiguous Max-Plus Tree Automata [PDF]
, 2019 We show the decidability of the finite sequentiality problem for unambiguous max-plus tree automata. A max-plus tree automaton is called unambiguous if there is at most one accepting run on every tree.
Paul, Erik
core +1 more source
The Equivalence, Unambiguity and Sequentiality Problems of Finitely Ambiguous Max-Plus Tree Automata are Decidable [PDF]
, 2017 We show that the equivalence, unambiguity and sequentiality problems are decidable for finitely ambiguous max-plus tree ...
Paul, Erik
core +1 more source
Sequential educational expansion, equality, and growth in the Republic of Korea
KEDI Journal of Educational Policy, 2009 It is a well-known fact that the Republic of Korea has followed a rapid growth path since the 1960s. This successful growing experience was accom- panied by the maintenance of a moderate economic inequality level and the development of its educational ...
Álvaro Choi
doaj +1 more source