Results 21 to 30 of about 283,550 (300)
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
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
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
Journal of Infection in Developing Countries, 2015 Introduction: Bovine viral diarrhea (BVD) is one of the most economically significant diseases in the bovine industry causing losses due to diarrhea, reproductive disorders, immunosuppression and mortalities.
Mohamed Ahmed Soltan +5 more
doaj +1 more source
Type-level programming with match types [PDF]
Proceedings of the ACM on Programming Languages, 2022 Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types , a type-level equivalent of pattern matching.
Olivier Blanvillain +3 more
openaire +1 more source
Type Theory with Opposite Types: A Paraconsistent Type Theory
Logic Journal of the IGPL, 2021 Abstract A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory ($\textsf{PTT} $). The rules for opposite types in $\textsf{PTT} $ are based on the rules of the so-called constructible falsity.
Juan Carlos Agudelo Agudelo +1 more
openaire +2 more sources
Blast database sequences for NG-typing
, 2022 Sequences used as Blast database for NG-typing.
Chi Zhang (7249187)
core +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
Dynamic Typing with Dependent Types [PDF]
, 2006 Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages require programmers to annotate their programs with many typing specifications to help guide the type checker.
Xinming Ou +3 more
openaire +2 more sources