نتایج جستجو برای: pseudo typing
تعداد نتایج: 71527 فیلتر نتایج به سال:
The present paper introduces a typing system for a version of Milner's polyadic calculus, and a typing inference algorithm linear on the size of the input. The central concept underlying the typing system is the notion of type assignment, where each free name in a term is assigned a type, the term itself being given multiple nametype pairs. This observation leads to a clean typing system for Mi...
Typing is one of the basic and prevalent activities in human machine interaction. John (1988, 1996) proposed a PERT (Project-Evaluation-Research-Technique)-based model called TYPIST, which modeled 21 of the 31 behavioral phenomena in transcription typing (Salthouse, 1986, 1987; Gentner, 1983). However, TYPIST can only analyze the typing phenomena along the time dimension; it can not model error...
ECDC collects human typing data through the European Surveillance System (TESSy) since 2013 [1]. Typing data from non-human isolates can now be submitted by the food and veterinary authorities of the EU/EEA Member States through the EFSA molecular typing data collection system. Furthermore, the joint ECDC-EFSA molecular typing database allows the comparison of the typing data collected by ECDC ...
This review compares and contrasts MALDI-MS, FT-IR spectroscopy Raman for whole organism fingerprinting bacterial typing.
introduction: considering the role of hla matching in transplant outcome, the quality of hla-dr typing is clearly an important issue.in recent years serologic methods have been replaced with dna based typing methods.the main objective of this study was to compare hla-dr typing data obtained from existing serologic method with that obtained by the new pcr-ssp method. material and methods: fifty-...
We present two systems for rst-order typing of graph expressions, in natural deduction style: conventional typing and (polymorphic) uniqueness typing. In both type systems, typing is preserved during evaluation, and types can be determined eeectively.
The authors have found three typing errors in their published paper and would like to make corrections this [...]
we study umbilic (space-like) submanifolds of pseudo-riemannian space forms, then define totally semi-umbilic space-like submanifold of pseudo euclidean space and relate this notion to umbilicity. finally we give characterization of total semi-umbilicity for space-like submanifolds contained in pseudo sphere or pseudo hyperbolic space or the light cone.a pseudo-riemannian submanifold m in (a ps...
BACKGROUND Bloodstream infections (BSIs) caused by enterobacteria remain a leading cause of mortality in patients with chemotherapy-induced neutropenia. The rate and type of colonization and infection with ESBL-producing Enterobacteriaceae (ESBL-E) and their mode of transmission in German cancer centres is largely unknown. METHODS We performed a prospective, observational study at five German...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید