Results 151 to 160 of about 31,145 (240)

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

A reconstruction theory of relational schema induction. [PDF]

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

Lax monoidal fibrations

, 2011
86 pages. 86 pages. The definition of an analytic diagram corrected.
openaire   +2 more sources

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

Bounded monoids [PDF]

Pacific Journal of Mathematics, 1978
openaire   +3 more sources

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

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

Monoide

, 2011
[ES] Definición del término Monoide en el diccionario Dicter. [EN] Definition of the word Monoide in the dictionary Dicter.
openaire   +1 more source

Regular logarithmic connections. [PDF]

Math Ann
Achinger P.
europepmc   +1 more source

The ultrametric backbone is the union of all minimum spanning forests. [PDF]

J Phys Complex
Rozum JC, Rocha LM.
europepmc   +1 more source