نتایج جستجو برای: typing

تعداد نتایج: 22230  

2012
Bo Povlsen

OBJECTIVES To investigate if typing speed is proportional to the severity of pain in keyboard workers with work-related upper limb disorder (WRULD). DESIGN Standardized functional typing test with participants scoring pain before and after typing; calculation of typing speed. PARTICIPANTS Fifty-nine patients and six controls. SETTING Tertiary hospital centre for hand and upper limb pain. ...

Journal: :Science of Computer Programming 2022

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capture some programming patterns used untyped languages. Although typing was tied from its inception set-theoretic types—union types, particular—it never fully exploited capabilities these types. Here we show how, by using it is possible develop general framework that encompasses and ge...

Journal: :Veterinary World 2023

Background and Aim: Staphylococcus aureus pseudintermedius are widespread skin mucous membrane colonizers may cause opportunistic infections in humans animals. This study aimed to identify characterize methicillin-resistant S. (MRSA) (MRSP) isolates from domestic stray dogs cats pet owners Malaysia using molecular epidemiology antimicrobial profiling. Materials Methods: Three hundred fifty oral...

Journal: :Mathematical and Computer Modelling 1992

Journal: :Logical Methods in Computer Science 2017

1995
Erik Barendsen Sjaak Smetsers

We present two type systems for graph rewriting: conventional typing and (polymorphic) uniqueness typing. The latter is introduced as a natural extension of simple algebraic and higher-order uniqueness typing. The systems are given in natural deduction style using an inductive syntax of graph denotations with familiar constructs such as let and case. The conventional system resembles traditiona...

Journal: :British Journal of Haematology 2015

Journal: :ACM Transactions on Programming Languages and Systems 2010

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید