Results 111 to 120 of about 6,864 (172)

Checking Contact Tracing App Implementations with Bespoke Static Analysis. [PDF]

SN Comput Sci, 2022
Flood R, Chan SC, Chen W, Aspinall D.
europepmc   +1 more source

Coordination sequences of crystals are of quasi-polynomial type. [PDF]

Acta Crystallogr A Found Adv, 2021
Nakamura Y, Sakamoto R, Mase T, Nakagawa J.   +3 more
europepmc   +1 more source

Structure of the (Total) Transformation Monoids Under Rank N Generators. [PDF]

F1000Res
M Sulaiman H, Al-Aadhami A.
europepmc   +1 more source

A reconstruction theory of relational schema induction. [PDF]

PLoS Comput Biol, 2021
Phillips S.
europepmc   +1 more source

Using monoids for the integration of genomic and metabolic parameters in the prediction of phenotypes in regulatory cascades. [PDF]

Biosystems
Castillo-Villalba MP, Romero Y, Miramontes P.   +2 more
europepmc   +1 more source

Brauer and partition diagram models for phylogenetic trees and forests. [PDF]

Proc Math Phys Eng Sci, 2022
Francis A, Jarvis PD.
europepmc   +1 more source

Cognitive near-singularity: a possibility theorem and a witness-based protocol with a corpus case study. [PDF]

Front Artif Intell
Williams AE.
europepmc   +1 more source

A Criterion for Categories on Which Every Grothendieck Topology is Rigid. [PDF]

Appl Categ Struct
Marquès J.
europepmc   +1 more source

Stable finiteness of monoid algebras and surjunctivity [PDF]

A monoid $M$ is said to be surjunctive if every injective cellular automaton with finite alphabet over $M$ is surjective. We show that monoid algebras of surjunctive monoids are stably finite.
Phung, Xuan Kien, Ceccherini-Silberstein, Tullio, Coornaert, Michel   +2 more
core  

Regular logarithmic connections. [PDF]

Math Ann
Achinger P.
europepmc   +1 more source