Results 51 to 60 of about 355 (91)

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. [PDF]

open access: yesJ Autom Reason, 2018
Blanchette JC   +3 more
europepmc   +1 more source

Remoteness in the category of bilocales

open access: yes
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  

Spatial and Single-Cell Analyses Reveal Heterogeneity of DNAM-1 Receptor-Ligand Interactions That Instructs Intratumoral γδT-cell Activity. [PDF]

open access: yesCancer Res
Wang X   +22 more
europepmc   +1 more source

Raney extensions of frames: topological aspects

open access: yes
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  

Home - About - Disclaimer - Privacy