Results 51 to 60 of about 355 (91)
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]
Blanchette JC +3 more
europepmc +1 more source
Partitioning of the 2-microm circle plasmid of Saccharomyces cerevisiae. Functional coordination with chromosome segregation and plasmid-encoded rep protein distribution. [PDF]
Velmurugan S +4 more
europepmc +1 more source
Remoteness in the category of bilocales
In locale theory, a sublocale is said to be remote in case it misses every nowhere dense sublocale. In this paper, we introduce and study a new class of sublocales in the category of bilocales, namely (i,j)-remote sublocales.
Nxumalo, Mbekezeli
core
Generating sublocales by subsets and relations: a tangle of adjunctions
M. Andrew Moshier +2 more
openalex +2 more sources
Spatial and Single-Cell Analyses Reveal Heterogeneity of DNAM-1 Receptor-Ligand Interactions That Instructs Intratumoral γδT-cell Activity. [PDF]
Wang X +22 more
europepmc +1 more source
Raney extensions of frames: topological aspects
We explore a pointfree approach to spaces which extends the category of $T_0$ spaces. Our pointfree objects are Raney extensions, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame which meet-generates it, and the inclusion $L\subseteq C ...
Suarez, Anna Laura
core

