Results 11 to 20 of about 2,629,837 (349)

Genome-wide SNP typing of ancient DNA: Determination of hair and eye color of Bronze Age humans from their skeletal remains. [PDF]

, 2020
Objective A genome-wide high-throughput single nucleotide polymorphism (SNP) typing method was tested with respect of the applicability to ancient and degraded DNA. The results were compared to mini-sequencing data achieved through single base extension (
Dörk, T., Hummel, S., Klintschar, M., Krause, I., Schmidt, N., Schücker, K.   +5 more
core   +2 more sources

Typing unmarshalling without marshalling types [PDF]

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012
Unmarshalling primitives in statically typed language require, in order to preserve type safety, to dynamically verify the compatibility between the incoming values and the statically expected type. In the context of programming languages based on parametric polymorphism and uniform data representation, we propose a relation of compatibility between ...
Henry, Grégoire, Mauny, Michel, Chailloux, Emmanuel, Manoury, Pascal   +3 more
openaire   +1 more source

Gradual Program Analysis [PDF]

, 2020
Dataflow analysis and gradual typing are both well-studied methods to gain information about computer programs in a finite amount of time. The gradual program analysis project seeks to combine those two techniques in order to gain the benefits of both ...
Bader Johannes, Brotherston Dan, Siek Jeremy G.   +2 more
core   +2 more sources

Type Reconstruction for Type Classes [PDF]

Journal of Functional Programming, 1995
AbstractWe study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement.
Nipkow, Tobias, Prehofer, Christian
openaire   +2 more sources

Type-Indexed Data Types

Science of Computer Programming, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hinze, R., Jeuring, J.T., Löh, A.
openaire   +8 more sources

CoxBase: an Online Platform for Epidemiological Surveillance, Visualization, Analysis, and Typing of Coxiella burnetii Genomic Sequences

mSystems, 2021
Q (query) fever is an infectious zoonotic disease caused by the Gram-negative bacterium Coxiella burnetii. Although the disease has been studied for decades, it still represents a threat due to sporadic outbreaks across farms in Europe.
Akinyemi M. Fasemore, Andrea Helbich, Mathias C. Walter, Thomas Dandekar, Gilles Vergnaud, Konrad U. Förstner, Dimitrios Frangoulidis   +6 more
doaj   +1 more source

A marker suitable for sex-typing birds from degraded samples [PDF]

, 2015
A new primer set was developed for sex-typing birds, Z37B. This primer set was designed to amplify alleles of small size to render it suitable for sex-typing degraded samples, including shed feathers.
Brekke, P, Dawson, DA, Dos Remedios, N, Horsburgh, GJ   +3 more
core   +2 more sources

Improvement and Validation of a Multi-Locus Variable Number of Tandem Repeats Analysis (MLVA8+) for Klebsiella pneumoniae, Klebsiella variicola, and Klebsiella quasipneumoniae

Microorganisms, 2023
The genotyping of the multidrug-resistant Klebsiella pneumoniae species complex is essential to identify outbreaks and to track their source and spread.
Deyan Donchev, Ivan N. Ivanov, Ivan Stoikov, Stefana Sabtcheva, Yordan Kalchev, Marianna Murdjeva, Elina Dobreva, Rumyana Hristova   +7 more
doaj   +1 more source

Session Types = Intersection Types + Union Types [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
In Proceedings ITRS 2010, arXiv:1101 ...
openaire   +4 more sources

Surveillance and Genomic Analysis of Third-Generation Cephalosporin-Resistant and Carbapenem-Resistant Klebsiella pneumoniae Complex in Germany

Antibiotics, 2022
To analyse the epidemiology and population structure of third-generation cephalosporin-resistant (3GCR) and carbapenem-resistant (CR) Klebsiella pneumoniae complex isolates, patients were screened for rectal colonisation with 3GCR/CR K.
Kyriaki Xanthopoulou, Can Imirzalioglu, Sarah V. Walker, Michael Behnke, Ariane G. Dinkelacker, Simone Eisenbeis, Petra Gastmeier, Hanna Gölz, Nadja Käding, Winfried V. Kern, Axel Kola, Evelyn Kramme, Kai Lucassen, Alexander Mischnik, Silke Peter, Anna M. Rohde, Jan Rupp, Evelina Tacconelli, David Tobys, Maria J. G. T. Vehreschild, Julia Wille, Harald Seifert, Paul G. Higgins, on behalf of the DZIF R-Net Study Group   +23 more
doaj   +1 more source