Results 31 to 40 of about 14,267,916 (344)
Trust, but Verify: Two-Phase Typing for Dynamic Languages [PDF]
, 2015 A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave according to the types of its arguments.
Cosman, Benjamin +2 more
core +2 more sources
A novel word-independent gesture-typing continuous authentication scheme for mobile devices [PDF]
, 2019 In this study, we produce a new continuous authentication scheme for gesture-typing on mobile devices. Our scheme is the first scheme that authenticates gesture-typing interactions in a word-independent format.
Rajarajan, M., Smith-Creasey, M.
core +1 more source
PLoS ONE, 2016 For nearly 100 years serotyping has been the gold standard for the identification of Salmonella serovars. Despite the increasing adoption of DNA-based subtyping approaches, serotype information remains a cornerstone in food safety and public health ...
C. Yoshida +6 more
semanticscholar +1 more source
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
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
Msphere, 2018 SCCmec in MRSA is acknowledged to be of importance not only because it contains the mecA or mecC gene but also for staphylococcal adaptation to different environments, e.g., in hospitals, the community, and livestock.
H. Kaya +9 more
semanticscholar +1 more source
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
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
eJHaem, 2022 The effect of higher FOXP3 mRNA expression by recipient pre‐transplant CD4+ T cells on leukaemia relapse was analysed in a series of 106 patients who received allogeneic haematopoietic stem cell transplantation after myeloablative conditioning with or ...
Niels Jacobsen +7 more
doaj +1 more source