Results 261 to 270 of about 315,042 (319)

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Genome architecture reveals hidden strain-level diversity in the highly conserved fish pathogen Nocardia seriolae. [PDF]

Access Microbiol
Islam SI, Shahed K, Ahamed MI, Mohammed H.   +3 more
europepmc   +1 more source

Divergent Roles of <i>SOG</i> Family Genes in Salt Tolerance: A Comparative Genomics Study Between Barley and Rice. [PDF]

Plants (Basel)
Weng Y, Zheng X, Xu X, Zhou Z, Chen K, Wu H, Fu L.   +6 more
europepmc   +1 more source

Copy number evolution of conserved noncoding RNA gene families across mammals. [PDF]

Mamm Genome
Yang Z, Huang Z.
europepmc   +1 more source

Case Report: Severe neonatal lupus in an infant with homozygous <i>NCF1</i> p.Arg90His variant and a <i>der</i>(14)<i>t</i>(4;14) translocation. [PDF]

Front Immunol
Yu X, Lou J, Zhong Y, Zhang L.
europepmc   +1 more source

Drug class duplication patterns among South African middle-aged adults: findings from a medicine claims database. [PDF]

Int J Clin Pharm
Fourie DH, Burger JR, du Plessis JM, Lubbe MS.   +3 more
europepmc   +1 more source

RETRACTION: Downregulation of SUMO2 inhibits hepatocellular carcinoma cell proliferation, migration and invasion. [PDF]

FEBS Open Bio
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Duplication for the Removal of Duplication

2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016
A semantics-preserving code-motion refactoring transformation by Komondoor and Horwitz (KH) had been shown to be effective in the elimination of type-3 clones, partly thanks to its successful combination of statement reordering with duplication of predicates.
Ran Ettinger, Shmuel S. Tyszberowicz
openaire   +1 more source

Duplicated Thumb

Plastic and Reconstructive Surgery, 1982
A follow-up study was made of 77 hands for 6 months or more after operation for bifid thumb. Repair of detached thenar muscles and capsule is the most important procedure at the initial ablation of the extra digit. After reinsertion of the thenar muscles, the remaining problems are deformity of bones themselves, adduction contracture in the web space ...
openaire   +2 more sources