Results 31 to 40 of about 2,629,837 (349)
Typing Context-Dependent Behavioural Variation [PDF]
, 2012 Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain
Degano, Pierpaolo +3 more
core +3 more sources
Frontiers in Public Health, 2019 Clostridioides difficile is an important nosocomial pathogen increasingly observed in the community and in different non-human reservoirs. The epidemiology and transmissibility of C. difficile has been studied using a variety of typing methods, including
Sandra Janezic +3 more
doaj +1 more source
Chagas disease reactivation in a heart transplant patient infected by domestic Trypanosoma cruzi discrete typing unit I (TcIDOM) [PDF]
, 2015 Background Trypanosoma cruzi, causative agent of Chagas disease, displays high intraspecific genetic diversity: six genetic lineages or discrete typing units (DTUs) are currently recognized, termed TcI through TcVI.
Bhattacharyya, T. +7 more
core +2 more sources
Molecular Typing of Methicillin Resistant Staphylococcus aureus using coa Gene Polymerase Chain Reaction-Restriction Fragment Length Polymorphism: A Cross-sectional Study [PDF]
Journal of Clinical and Diagnostic Research, 2022 Introduction: Methicillin Resistant Staphylococcus aureus (MRSA) are the most important multidrug resistant pathogen of humans causing a wide array of infections.
P Hema, B Appalaraju, R Someshwaran
doaj +1 more source
Typing Quantum Superpositions and Measurement [PDF]
, 2017 We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions.
A Díaz-Caro +5 more
core +3 more sources
Brazilian Journal of Poultry Science, 2012 Salmonella is widespread in nature and can be found in all links of the poultry production chain. Due to its high impact on meat processing, techniques for the rapid detection and reproducible characterization of Salmonella serotypes in foods are needed.
CM Baratto +4 more
doaj +1 more source
Mycobacterium tuberculosis lineage: a naming of the parts [PDF]
, 2005 There have been many reports of groups of related Mycobacterium tuberculosis strains described variously as lineages, families or clades. There is no objective definition of these groupings making it impossible to define relationships between those ...
Bellamy +25 more
core +1 more source
Typing Actors using Behavioural Types
Xjenza Online, 2015 The actor model of computation assists and disciplines the development of concurrent programs by forcing the software engineer to reason about high-level concurrency abstractions. While this leads to a better handling of concurrency-related issues, the model itself does not exclude erratic program behaviours.
Masini, Joseph, Francalanza, Adrian
openaire +2 more sources
Case Reports in Transplantation, 2013 Allografting patients with human leukocyte antigens (HLA) which are recognized by preformed antibodies constitutes the main cause for hyper-acute or acute rejections.
G. Schlaf +3 more
doaj +1 more source
Logical relations for coherence of effect subtyping
, 2018 A coercion semantics of a programming language with subtyping is typically defined on typing derivations rather than on typing judgments. To avoid semantic ambiguity, such a semantics is expected to be coherent, i.e., independent of the typing derivation
Biernacki, Dariusz, Polesiuk, Piotr
core +1 more source