Results 1 to 10 of about 2,690,124 (264)
Forward Analysis for WSTS, Part II: Complete WSTS [PDF]
Logical Methods in Computer Science, 2012 We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the clover in S is a finite description of the downward closure of the ...
Alain Finkel, Jean Goubault-Larrecq
doaj +7 more sources
Fascicolo completo: seconda parte / Complete issue: second part
Il Capitale Culturale: Studies on the Value of Cultural Heritage, 2018 IL CAPITALE CULTURALE. Studies on the Value of Cultural Heritage, Supplementi (8/2018): La Galleria dell'Eneide di palazzo Buonaccorsi a Macerata. Nuove letture e prospettive di ricerca per il Settecento europeo / The Gallery of Palazzo Buonaccorsi in Macerata: new interpretations and research perspectives for the European Eighteenth ...
Comitato editoriale
doaj +2 more sources
Fascicolo completo: parte prima / Complete issue: first part
Il Capitale Culturale: Studies on the Value of Cultural Heritage, 2018 IL CAPITALE CULTURALE. Studies on the Value of Cultural Heritage, Supplementi (8/2018): La Galleria dell'Eneide di palazzo Buonaccorsi a Macerata. Nuove letture e prospettive di ricerca per il Settecento europeo / The Gallery of Palazzo Buonaccorsi in Macerata: new interpretations and research perspectives for the European Eighteenth ...
Comitato editoriale
doaj +2 more sources
The complete chloroplast genome sequences of Korean native Veronica subgenus Pseudolysimachion species (Part I): V. longifolia and V. pusanensis [PDF]
Mitochondrial DNA. Part B. ResourcesThe genus Pseudolysimachion (Plantaginaceae) is currently considered a subgenus of Veronica, though its independent status is still debated. In Korea, Veronica subgenus Pseudolysimachion is diverse, including widespread Veronica longifolia (formerly ...
Sang Heon Kim +4 more
doaj +2 more sources
Forward analysis for WSTS, part I: completions [PDF]
Mathematical Structures in Computer Science, 2020 AbstractWe define representations for downward-closed subsets of a rich family of well-quasi-orders, and more generally for closed subsets of an even richer family of Noetherian topological spaces. This includes the cases of finite words, of multisets, of finite trees, notably.
Finkel, Alain, Goubault-Larrecq, Jean
openaire +6 more sources
Complete parts and subhypergroups in reversible regular hypergroups
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2022 In this paper we analyse the center and centralizer of an element in the context of reversible regular hypergroups, in order to obtain the class equation in regular reversible hypergroups, by using complete parts.
Leoreanu-Fotea V. +3 more
doaj +1 more source
Complete interventional revascularization versus infarct-related artery revascularization only in SТЕМI patients – part I [PDF]
Българска кардиология, 2020 Multivessel coronary artery disease is a frequent fi nding during primary PCI procedures in patients with ST-elevation myocardial infarction (STEMI). Optimal therapy of the infarct-related lesion has been largely elucidated and is stipulated in current ...
Iskra Bayraktarova, Elina Trendafilova
doaj +3 more sources
Automatic assembly of micro-miniature parts based on coaxial alignment and ORB feature matching [PDF]
MATEC Web of Conferences, 2021 Aiming at the problems of low manual assembly process efficiency and low yield of micro-miniature parts. A vision system based on ORB feature matching for fast coaxial alignment of micro-miniature parts automated assembly is proposed.
Shi Mingkuan +4 more
doaj +1 more source
E 9 exceptional field theory. Part II. The complete dynamics
Journal of High Energy Physics, 2021 We construct the first complete exceptional field theory that is based on an infinite-dimensional symmetry group. E 9 exceptional field theory provides a unified description of eleven-dimensional and type IIB supergravity covariant under the affine Kac ...
Guillaume Bossard +4 more
doaj +1 more source
Pointless Parts of Completely Regular Frames
Applied Categorical Structures, 2023 Abstract (Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a ...
openaire +2 more sources