Results 11 to 20 of about 2,516,098 (344)
Logical Methods in Computer Science, 2013 We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of ...
Bartoletti, Massimo +3 more
openaire +17 more sources
Science of Computer Programming, 2002 AbstractA polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell, such as show, read, and ‘==’. More advanced examples are functions for digital searching, pattern matching, unification, rewriting, and ...
Hinze, R, Jeuring, J, Löh, A
openaire +10 more sources
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. +5 more
core +2 more sources
Type Inference for Correspondence Types [PDF]
Electronic Notes in Theoretical Computer Science, 2009 AbstractWe present a correspondence type/effect system for authenticity in a π-calculus with polarized channels, dependent pair types and effect terms and show how one may, given a process P and an a priori type environment E, generate constraints that are formulae in the Alternating Least Fixed-Point (ALFP) logic.
Gordon, Andrew D. +2 more
openaire +2 more sources
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 +2 more
core +2 more sources
SSRN Electronic Journal, 2005 We define and analyze strategic topologies on types, under which two types are close if their strategic behavior will be similar in all strategic situations. To operationalize this idea, we adopt interim rationalizability as our solution concept, and define a metric topology on types in the Harsanyi-Mertens-Zamir universal type space.
Stephen Morris +3 more
openaire +7 more sources
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 +7 more
doaj +1 more source
Microorganisms, 2021 Fluoroquinolones are the highest priority, critically important antimicrobial agents. Resistance development can occur via different mechanisms, with plasmid-mediated quinolone resistance (PMQR) being prevalent in the livestock and food area. Especially,
Katharina Juraschek +8 more
doaj +1 more source
The Application of Pulsed Field Gel Electrophoresis in Clinical Studies [PDF]
Journal of Clinical and Diagnostic Research, 2016 Pulsed-field gel electrophoresis is a method applied in separating large segments of deoxyribonucleotide using an alternating and cross field. In a uniform magnetic field, components larger than 50kb pass a route through the gel and since the movement ...
Elaheh Gholami Parizad +2 more
doaj +1 more source
Antibiotics, 2021 Despite the fact that freshwater fish populations are experiencing severe declines worldwide, our knowledge on the interaction between endangered populations and pathogenic agents remains scarce.
Miguel L. Grilo +7 more
doaj +1 more source