Result 1 to 20 of 151 total
Specification and quantitative analysis of probabilistic cloud deployment patterns. (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 145-159 (2012).
1
Super-additive sequences and algebras of polynomials. (English)
Proc. Am. Math. Soc. 139, No. 10, 3431-3443 (2011).
2
Searching for small simple automorphic loops. (English)
LMS J. Comput. Math. 14, 200-213, electronic only (2011).
3
Rigid body motion compensation for spiral projection imaging (English)
IEEE Trans. Med. Imaging 30, No. 3, 655-665 (2011).
4
Computerized provider-order entry: challenges, achievements, and opportunities (English)
JAMIA 18, No. 6, 730-731 (2011).
5
Data from clinical notes: a perspective on the tension between structure and flexible documentation (English)
JAMIA 18, No. 2, 181-186 (2011).
6
Health information exchange usage in emergency departments and clinics: the who, what, and why (English)
JAMIA 18, No. 5, 690-697 (2011).
7
User perspectives on the usability of a regional health information exchange (English)
JAMIA 18, No. 5, 711-716 (2011).
8
Using observation ageing to improve Markovian model learning in QoS engineering (English)
ICPE, 505-510 (2011).
9
Hierarchical clustering of the genetic connectivity matrix reveals the network topology of gene action on brain microstructure: an N=531 twin study (English)
ISBI, 832-835 (2011).
10
Agile methods for software practice transformation. (English)
IBM J. Res. Dev. 54, No. 2, 3 (2010).
11
Right division in Moufang loops. (English)
Commentat. Math. Univ. Carol. 51, No. 2, 209-215 (2010).
12
Trajectory planning for the cooperative manipulation of a flexible structure by two differentially-driven robots. (English)
J. Intell. Robot. Syst. 58, No. 2, 149-163 (2010).
13
Lights out on finite graphs. (English)
Involve 3, No. 1, 17-32 (2010).
14
Trajectory planning for the cooperative manipulation of a flexible structure by two differentially-driven robots (English)
Journal of Intelligent and Robotic Systems 58, No. 2, 149-163 (2010).
15
On the smallest simple, unipotent bol loop (English)
J. Comb. Theory, Ser. A 117, No. 6, 790-798 (2010).
16
Mymedihealth - designing a next generation system for child-centered medication management (English)
Journal of Biomedical Informatics 43, No. 5-Supplement-1, S27-S31 (2010).
17
Showing your work: impact of annotating electronic prescriptions with decision support results (English)
Journal of Biomedical Informatics 43, No. 2, 321-325 (2010).
18
Project healthdesign: advancing the vision of consumer-clinician-computer collaborations (English)
Journal of Biomedical Informatics 43, No. 5-Supplement-1, S1-S2 (2010).
19
Traversing the many paths of workflow research: developing a conceptual framework of workflow terminology through a systematic literature review (English)
JAMIA 17, No. 3, 265-273 (2010).
20
Result 1 to 20 of 151 total
Start
Contact
Print
General Help
