3545 search results - page 149 / 709 » Computational methods for case-cohort studies |
163
click to vote
ICPR
2008
IEEE
16 years 28 days ago
2008
IEEE
In our previous study, we visualized microarray data of hepatocellular carcinoma (HCC) by using selforganizing-map, and investigated molecular signature representing the developme...
169
click to vote
WMTE
2005
IEEE
16 years 2 days ago
2005
IEEE
The paper reports on a small pilot study that explores the role of mobile technology (m-technology) in English as second language (ESL) vocabulary learning for working adult learn...
188
click to vote
HAPTICS
2008
IEEE
15 years 7 months ago
2008
IEEE
In our previous study, a method that allows dynamic interaction with an elastic object, which is called impulse response deformation model, has been proposed. An advantage of the m...
161
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...