Results 261 to 270 of about 1,494,052 (317)

COPD-MMDDxNet: a multimodal deep learning framework for accurate COPD diagnosis using electronic medical records. [PDF]

Front Med (Lausanne)
Yi Y, Shi L, Liu H, Wang M, Feng M, Li Y.   +5 more
europepmc   +1 more source

Dataset of Grey plover (<i>Pluvialissquatarola</i>) diet composition on the SW Black Sea coast using DNA metabarcoding. [PDF]

Biodivers Data J
Vassileva LV, Lozanova L, Marinov M, Morinière J, Neov B, Nikolov B, Simov N, Klayn S.   +7 more
europepmc   +1 more source

The Eye of the Chiropterologist: Phenotypic Versus Genotypic Identification of Bats. [PDF]

Ecol Evol
Dami FD, Adeyanju TE, Chaskda AA, Okpanachi IM, Adeyanju AT, Ezekiel SM, Gwom T, Iniunam IA, Hitch A, Pam DD, Luka P, Weaver SC, Paessler S, Cross RW, Shehu N.   +14 more
europepmc   +1 more source

Prediction and quality assessment of protein quaternary structure models using the MultiFOLD2 and ModFOLDdock2 servers. [PDF]

Nucleic Acids Res
McGuffin LJ, Alhaddad SN, Behzadi B, Edmunds NS, Genc AG, Adiyaman R.   +5 more
europepmc   +1 more source

PyOrthoANI, PyFastANI, and Pyskani: a suite of Python libraries for computation of average nucleotide identity. [PDF]

NAR Genom Bioinform
Larralde M, Zeller G, Carroll LM.
europepmc   +1 more source

Exploring disparities and drivers of contraceptive use among Syrian refugee youth: evidence from a mixed-methods study in Jordan. [PDF]

Confl Health
Luckenbill S, Baird S, Alheiwidi S, Jones N.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

The industrialization of formal methods

International Journal on Software Tools for Technology Transfer, 2005
This special section contains papers based on work presented at the 12th International Symposium on Formal Methods (FM 2003) held at the CNR Research Campus in Pisa on 8-13 September 2003. The papers all focus on tools and techniques for cost-effective application of formal methods on the industrial scale.
JOHN S. FITZGERALD, STEFANIA GNESI, MANDRIOLI, DINO   +2 more
openaire   +5 more sources

A formal nethod (a networked formal method) [PDF]

Innovations in Systems and Software Engineering, 2010
A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin
openaire   +1 more source