Results 21 to 30 of about 14,267,916 (344)
Type Annotation for Adaptive Systems [PDF]
, 2016 We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms.
Bottoni, Paolo +2 more
core +3 more sources
Applied Sciences, 2021 Bacterial cellulose (BC) is receiving a great deal of attention due to its unique properties such as high purity, water retention capacity, high mechanical strength, and biocompatibility.
Salvatore La China +5 more
doaj +1 more source
ACM Computing Surveys, 2019 Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program.
Jana Dunfield, N. Krishnaswami
semanticscholar +1 more source
Veterinární Medicína, 2005 The presence of the chloramphenicol resistance genes cat, cmlA, flo, and the role of plasmids and class 1 integrons in the spread and persistence of chloramphenicol resistance were investigated on a collection of 40 Salmonella enterica serovar ...
N. Nogrady +3 more
doaj +1 more source
Immune phenotype of tissues from exudative lesions of Reinke’s space
Медицинская иммунология, 2022 Non-inflammatory exudative lesions of Reinke’ pos space present the most common cause of phonation disorders in representatives of vocal professions. The leading role in pathogenesis of this disorder is given to the nearly complete absence of lymphatic ...
M. A. Kovalev +2 more
doaj +1 more source
Typing Copyless Message Passing [PDF]
, 2011 We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks ...
Bruno Courcelle +9 more
core +3 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
Case Reports in Transplantation, 2015 About forty years ago the complement-dependent crossmatch assay (CDC-CM) was developed as standard procedure in order to select recipients without donor-specific antibodies directed against human leukocyte antigens of their given donors since the ...
G. Schlaf +3 more
doaj +1 more source
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