Results 1 to 10 of about 55,672 (161)
Labelled transition systems as a Stone space [PDF]
Logical Methods in Computer Science, 2005 A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj +5 more sources
Stone Duality for Kolmogorov Locally Small Spaces [PDF]
Symmetry, 2021 In this paper, we prove new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with bornologies in the lattices of (quasi-) compact open sets as objects and spectral mappings respecting those ...
Artur Piękosz
exaly +4 more sources
The Stone Age in a Space Cruiser
EXARC Journal, 2012 The Jeongok Prehistory Museum in South Korea. Like a stranded UFO the building is settled between the hills at a river (See Figure 1), the sun reflects off the metal outer skin.
Wulf Hein
doaj +1 more source
Linear thermal expansion of the building stone from plutonic massifs of the Vardar zone of Serbia [PDF]
Tehnika, 2020 Thermal properties of the building stone used for cladding and flooring, especially in exteriors, are significant for durability and lifespan of buildings' surfaces covered with it, but also their aesthetic properties in the sense of integrity.
Kurešević Lidja M. +2 more
doaj +1 more source
Experimental Validation of Cryobot Thermal Models for the Exploration of Ocean Worlds
The Planetary Science Journal, 2023 Accessing the potentially habitable subsurface waters of Ocean Worlds requires a robotic ice probe (or “cryobot”) to traverse tens of kilometers of ice with temperatures ranging from ∼100 to 273 K.
Paula do Vale Pereira +19 more
doaj +1 more source
Intraguild Predation by the Eagle Owl Determines the Space Use of a Mesopredator Carnivore
Diversity, 2020 Top predators shape the communities of sympatric predators by killing and displacing smaller predators. Predation risk pushes smaller predators to select enemy-free spaces irrespective of food availability, which results in changes in their behaviour ...
Emilio Virgós +3 more
doaj +1 more source
Bisimulations for coalgebras on Stone spaces [PDF]
Journal of Logic and Computation, 2018 We introduce and study bisimulations for coalgebras on Stone spaces (Kupke et al., 2004, Theoretical Computer Science, 327, 109–134), motivated by previous work on ultrafilter extensions for coalgebras (Kupke et al., 2005, Algebra and Coalgebra in Computer Science, 263–277), bisimulations for the Vietoris functor (Bezhanishvili et al., 2010, Journal of
Enqvist, S., Sourabh, S.
openaire +3 more sources
Urology Case Reports, 2022 Complete staghorn renal calculi are surgical challenge requiring multi-tract or staged PCNL. We report a case of supine PCNL where complete stone clearance was achieved with dual tracts (24 Fr/lower pole and 16Fr/upper pole) through which two surgeons ...
Ahmed Ghazi, Nitin Sharma
doaj +1 more source
Applied General Topology, 2022 We discuss spaces and the Alexandroff duplicates of those spaces that admit a Č-S embedding into the Čech-Stone compactification of a discrete space.
Andrzej A Szymanski
doaj +1 more source