Result 1 to 20 of 68 total
On the estimation of transmural myocardial shear by means of MRI tagging. (English)
Metaxas, Dimitris N. (ed.) et al., Functional imaging and modeling of the heart. 6th international conference, FIMH 2011, New York City, NY, USA, May 25‒27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21027-3/pbk). Lecture Notes in Computer Science 6666, 105-112 (2011).
1
Testing data consistency of data-intensive applications using quickcheck. (English)
Electron. Notes Theor. Comput. Sci. 271, 41-62 (2011).
2
Agile collaborative research: action principles for industry-academia collaboration (English)
IEEE Software 28, No. 4, 74-83 (2011).
3
On the estimation of transmural myocardial shear by means of MRI tagging (English)
FIMH, 105-112 (2011).
4
Property-based testing ‒ the protest project. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4‒6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 250-271 (2010).
5
A classification of value for software architecture decisions. (English)
Babar, Muhammad Ali (ed.) et al., Software architecture. 4th European conference, ECSA 2010, Copenhagen, Denmark, August 23‒26, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15113-2/pbk). Lecture Notes in Computer Science 6285, 368-375 (2010).
6
Remashed - an usability study of a recommender system for mash-ups for learning (English)
iJET 5, No. S1, 7-11 (2010).
7
Mapping displacement and deformation of the heart with local sine-wave modeling (English)
IEEE Trans. Med. Imaging 29, No. 5, 1114-1123 (2010).
8
A classification of value for software architecture decisions (English)
ECSA, 368-375 (2010).
9
Remashed ‒ recommendations for Mash-Up personal learning environments. (English)
Cress, Ulrike (ed.) et al., Learning in the synergy of multiple disciplines. 4th European conference on technology enhanced learning, EC-TEL 2009, Nice, France, September 29‒October 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04635-3/pbk). Lecture Notes in Computer Science 5794, 788-793 (2009).
10
Ventricular mechanical asynchrony in pulmonary arterial hypertension: A model study. (English)
Ayache, Nicholas (ed.) et al., Functional imaging and modeling of the heart. 5th international conference, FIMH 2009, Nice, France, June 3‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01931-9/pbk). Lecture Notes in Computer Science 5528, 249-257 (2009).
11
Adaptive reorientation of cardiac myofibers: Comparison of left ventricular shear in model and experiment. (English)
Ayache, Nicholas (ed.) et al., Functional imaging and modeling of the heart. 5th international conference, FIMH 2009, Nice, France, June 3‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01931-9/pbk). Lecture Notes in Computer Science 5528, 58-67 (2009).
12
Computational analysis of the myocardial structure: adaptation of cardiac myofiber orientations through deformation (English)
Medical Image Analysis 13, No. 2, 346-353 (2009).
13
Advances in semantic representation for multiscale biosimulation: A case study in merging models (English)
Pacific Symposium on Biocomputing, 304-315 (2009).
14
Property-based testing - the protest project (English)
FMCO, 250-271 (2009).
15
Automatic testing of TCP/IP implementations using quickcheck (English)
Erlang Workshop, 83-92 (2009).
16
Model based testing of data constraints: testing the business logic of a mnesia application with quviq quickcheck (English)
Erlang Workshop, 71-82 (2009).
17
Finding race conditions in Erlang with quickcheck and PULSE (English)
ICFP, 149-160 (2009).
18
Ventricular mechanical asynchrony in pulmonary arterial hypertension: A model study (English)
FIMH, 249-257 (2009).
19
Adaptive reorientation of cardiac myofibers: comparison of left ventricular shear in model and experiment (English)
FIMH, 58-67 (2009).
20
Result 1 to 20 of 68 total