Results 11 to 20 of about 3,005 (232)
IEEE Access, 2023 This paper studied a novel parallel machine rescheduling problem with controllable processing times under machine breakdown and precedence constraints.
De Meng +3 more
doaj +1 more source
On P-transitive graphs and applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We introduce a new class of graphs which we call P-transitive graphs, lying between transitive and 3-transitive graphs. First we show that the analogue of de Jongh-Sambin Theorem is false for wellfounded P-transitive graphs; then we show that the mu ...
Giacomo Lenzi
doaj +1 more source
Psi-Calculi Revisited: Connectivity and Compositionality [PDF]
Logical Methods in Computer Science, 2020 Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus.
Johannes Åman Pohjola
doaj +1 more source
ON SOME VERTEX-TRANSITIVE DISTANCE-REGULAR ANTIPODAL COVERS OF COMPLETE GRAPHS
Ural Mathematical Journal, 2022 In the present paper, we classify abelian antipodal distance-regular graphs \(\Gamma\) of diameter 3 with the following property: \((*)\) \(\Gamma\) has a transitive group of automorphisms \(\widetilde{G}\) that induces a primitive almost simple ...
Ludmila Yu. Tsiovkina
doaj +1 more source
Transitive closure and transitive reduction in bidirected graphs [PDF]
Czechoslovak Mathematical Journal, 2019 In a bidirected graph an edge has a direction at each end, so bidirected graphs generalize directed graphs. We generalize the definitions of transitive closure and transitive reduction from directed graphs to bidirected graphs by introducing new notions of bipath and bicircuit that generalize directed paths and cycles.
Bessouf, Ouahiba +2 more
openaire +2 more sources
On noncausal/causal alternations in Tima (Nuba Mountains, Sudan)
Linguistique et Langues Africaines, 2022 Tima, a language spoken in the Nuba Mountains of Sudan, uses three derivation markers (with various allomorphs) to either increase or decrease the valency of the verb. Middle voice and antipassive marking are used to reduce the valency. Causative marking
Gertrud Schneider-Blum
doaj +1 more source
On the Transition Reduction Problem for Finite Automata [PDF]
Fundamenta Informaticae, 2014 In this paper we apply the concept of common follow sets (CFS) of a regular expression to homogeneous finite state automaton. Based on this concept and using particular binary trees, we devise an efficient algorithm to reduce (minimize) the number of transitions of the automaton recognizing the language L(En) denoted by the regular expression $E_n = (1
el Houcein el Abdalaoui +2 more
openaire +3 more sources
Non-Standard Grammatical Features in Castile-La Mancha
Languages, 2023 The Spanish spoken in contemporary Castile-La Mancha has been traditionally considered as a mere transitional variety between Northern Castilian and Southern Spanish of the Andalusian type.
Bruno Camus Bergareche
doaj +1 more source
Semantik Verba dalam Membentuk Gaya Bahasa pada Judul Berita Tempodotco
SeBaSa, 2022 The headline is the main highlight that readers see in a news story. Tempodotco digitized its printed news headlines. The digitization of this news title is done by visualizing it in the form of a poster.
Hani Agustina +2 more
doaj +1 more source
Emergence and reduction combined in phase transitions [PDF]
AIP Conference Proceedings, 2012 24 pp, v2: one minor change.
Butterfield, Jeremy, Bouatta, Nazim
openaire +2 more sources