Results 231 to 240 of about 509,427 (264)
Some of the next articles are maybe not open access.
A Spatial Logical Characterisation of Context Bisimulation
2007In this paper, we present a spatial logic for higher order π-calculus. In order to prove that the induced logical equivalence coincides with context bisimulation, we present some new bisimulations, and prove the equivalence between these new bisimulations and context bisimulation.
openaire +1 more source
Spatial profiling technologies illuminate the tumor microenvironment
Cancer Cell, 2023Leeat Keren, Raz Ben-Uri
exaly
Microscopic examination of spatial transcriptome using Seq-Scope
Cell, 2021Yichen Si, Jun Hee Lee, Hyun Min Kang
exaly
High-Spatial-Resolution Multi-Omics Sequencing via Deterministic Barcoding in Tissue
Cell, 2020Si Hui Pan, Rong Fan, Yang Xiao
exaly
Determining the spatial effects of COVID-19 using the spatial panel data model
Spatial Statistics, 2020Guliyev Hasraddin
exaly

