Results 1 to 10 of about 7,224 (155)

On the system CL12 of computability logic [PDF]

Logical Methods in Computer Science, 2015
Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a long-term project for redeveloping logic on the basis of a constructive game semantics, with games seen as abstract models of interactive computational problems.
Giorgi Japaridze
doaj   +1 more source

A new DNA-based model for finite field arithmetic

Heliyon, 2019
A Galois field GF(pn) with p≥2 a prime number and n≥1 is a mathematical structure widely used in Cryptography and Error Correcting Codes Theory. In this paper, we propose a novel DNA-based model for arithmetic over GF(pn).
Iván Jirón, Susana Soto, Sabrina Marín, Mauricio Acosta, Ismael Soto   +4 more
doaj   +1 more source

Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates

, 2019
La logique du premier ordre est un des formalismes les plus importants à la base des mathématiques et de l'informatique. Il est bien connu que le problème de la satisfaisabilité de la logique du premier ordre n'admet pas de solution algorithmique, et cela représente une limitation fondamentale pour les mécanismes de calcul en général et la déduction ...
openaire   +4 more sources

Profilometric Quantification of Wear-Track Degradation in FFF Kevlar-Reinforced ASA Composites. [PDF]

Materials (Basel)
Brăileanu PI, Mocanu MT, Pascu NE.
europepmc   +1 more source

New contributions to the taxonomy and phylogeny of Cyrtophoria ciliates (Alveolata, Ciliophora, Phyllopharyngea) from China, with description of Dysteria bella sp. nov. and two rare species. [PDF]

BMC Microbiol
Wang C, Zhang Q, Sun J, Yao X, Wang R, Hu X.   +5 more
europepmc   +1 more source

Genetic Diversity and Population Structure Reveal Post-Introduction Differentiation in <i>Heracleum sosnowskyi</i>. [PDF]

Genes (Basel)
Rysiak A, Sowa S, Kulik M, Koroluk A, Lech J, Kacorzyk P, Klarzyńska A, Wyłupek T, Paczos-Grzęda E.   +8 more
europepmc   +1 more source

Synthetic super-enhancers enable precision viral immunotherapy. [PDF]

Nature
Koeber U, Matjusaitis M, Alfazema N, Furlong K, Wang Z, White R, Hamdan A, Dewari P, Morisse G, Navarette M, Willis R, Wang J, Clark MP, Jacinto de Sousa C, Hong HI, Sheraz S, Southgate B, Cholewa-Waclaw J, Gogolok S, Morrison GM, Cancino FG, Robertson F, Williams A, Rosser SJ, Brennan PM, Sieger D, Soufi A, Quezada SA, Pollard SM.   +28 more
europepmc   +1 more source

Capturing the extensive diversity of marine anaerobic scuticociliates (Oligohymenophorea, Ciliophora) through cultivation. [PDF]

Mar Life Sci Technol
Koštířová K, Rotterová J, Bourland WA, Čepička I.   +3 more
europepmc   +1 more source

A new contribution to the subclass Cyrtophoria (Protista, Ciliophora): a brief revision of Chilodonellidae, including reports of three species and one new genus. [PDF]

Mar Life Sci Technol
Guo J, Zhang G, Pecina L, Jiang J, Pan H.   +4 more
europepmc   +1 more source

PHScaffolding: a hypergraph clustering and dual-weight integration strategy for scaffolding with Pore-C reads. [PDF]

Brief Bioinform
Su Q, Luo J, Guo F.
europepmc   +1 more source