Results 41 to 50 of about 950 (196)
The homology digraph of a preordered space [PDF]
, 2023 This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology theory for ...
Kahl, Thomas, Faustino, Catarina
core
The right indemnity in the case of expropriation constraint reiteration
Aestimum, 2013 Section 39 of the current consolidated expropriation act states: “while expecting a systematic re-regulation of the matter, in the case of reiteration of a preordered constraint or a practical expropriation constraint, the estate owner is entitled to an ...
Stefano Carrer
doaj +1 more source
Aerospace, 2022 Inflight catering services are crucial for air travel. Airlines provide food and beverages to the passengers during the flight with different options depending on, e.g., the flying class, distance, and type of service.
Rafael Mortensen Ernits +4 more
doaj +1 more source
A Brauerian representation of split preorders [PDF]
Mathematical Logic Quarterly, 2003 AbstractSplit preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose
Kosta Dosen, Zoran Petric
openaire +4 more sources
On the use of partial orders in uniform spaces
Applied General Topology, 2003 We investigate the use of nets indexed by preorders in uniform spaces. Nine different Cauchy conditions and four different convergence conditions yield 36 completeness properties, each of which turns out to be equivalent to a known form of completeness ...
Bruce S. Burdick
doaj +1 more source
Random preorders and alignments
Discrete Mathematics, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peter J. Cameron +2 more
openaire +1 more source
Profile Trees for Büchi Word Automata, with Application to Determinization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The determinization of Buchi automata is a celebrated problem, with applications in synthesis, probabilistic verification, and multi-agent systems. Since the 1960s, there has been a steady progress of constructions: by McNaughton, Safra, Piterman, Schewe,
Seth Fogarty +3 more
doaj +1 more source
On the additive image of zeroth persistent homology
Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.Abstract For a category X$X$ and a finite field F$F$, we study the additive image of the functor H0(−;F)∗:rep(X,Top)→rep(X,VectF)$\operatorname{H}_0(-;F)_* \colon \operatorname{rep}(X, \mathbf {Top}) \rightarrow \operatorname{rep}(X, \mathbf {Vect}_F)$, or equivalently, of the free functor rep(X,Set)→rep(X,VectF)$\operatorname{rep}(X, \mathbf {Set ...
Ulrich Bauer +3 more
wiley +1 more source
Advanced NanoBiomed Research, Volume 6, Issue 10, October 2026.Beyond the green solvent paradigm, this review redefines Deep Eutectic Systems (DES) as programmable supramolecular nanoassemblies. We survey their biomedical convergence: stabilizing thermolabile mRNA to enable cold chain‐free logistics, reshaping transdermal microneedle delivery, enabling long‐term wearables via eutectogels, and utilizing Generative ...
Jeesu Moon, Min Seo Kim, Jae‐Seung Lee
wiley +1 more source
Handling inconsistency in partially preordered ontologies: the Elect method
, 2021 International audienceAbstract We focus on the problem of handling inconsistency in lightweight ontologies. We assume that the terminological knowledge base (TBox) is specified in DL-Lite and that the set of assertional facts (ABox) is partially ...
Chomicki, Jan +5 more
core +1 more source