Search

Your search keyword '"Kuiper, Ruurd"' showing total 120 results
Start Over Author "Kuiper, Ruurd"
120 results on '"Kuiper, Ruurd"'

5. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations

Author

Zhang, Dan, Bošnački, Dragan, van den Brand, Mark, Huizing, Cornelis, Jacobs, Bart, Kuiper, Ruurd, Wijs, Anton, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Yuan, Junsong, Series editor, Zhou, Lizhu, Series editor, Hammoudi, Slimane, editor, Pires, Luís Ferreira, editor, Selic, Bran, editor, and Desfray, Philippe, editor

Published
2017
Full Text
View/download PDF

6. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

Author

Bošnački, Dragan, van den Brand, Mark, Gabriels, Joost, Jacobs, Bart, Kuiper, Ruurd, Roede, Sybren, Wijs, Anton, Zhang, Dan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Braga, Christiano, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

8. Impact of bone and cartilage segmentation from CT and MRI on both bone forearm osteotomy planning

Author

Kuiper, Ruurd J.A., Colaris, Joost W., Stockmans, Filip, van Es, Eline M., Viergever, Max A., Seevinck, Peter R., Weinans, Harrie, Sakkers, Ralph J.B., Kuiper, Ruurd J.A., Colaris, Joost W., Stockmans, Filip, van Es, Eline M., Viergever, Max A., Seevinck, Peter R., Weinans, Harrie, and Sakkers, Ralph J.B.

Abstract

Introduction: The use of MRI scans for pre-operative surgical planning of forearm osteotomies provides additional information of joint cartilage and soft tissue structures and reduces radiation exposure in comparison with the use of CT scans. In this study, we investigated whether using 3D information obtained from MRI with and without cartilage information leads to a different outcome of pre-operative planning. Methods: Bilateral CT and MRI scans of the forearms of 10 adolescent and young adult patients with a unilateral bone deformation were acquired in a prospective study. The bones were segmented from CT and MRI, and cartilage only from MRI. The deformed bones were virtually reconstructed, by registering the joint ends to the healthy contralateral side. An optimal osteotomy plane was determined that minimized the distance between the resulting fragments. This process was performed in threefold: using the CT and MRI bone segmentations, and the MRI cartilage segmentations. Results: Comparison of bone segmentation from MRI and CT scan resulted in a 0.95 ± 0.02 Dice Similarity Coefficient and 0.42 ± 0.07 mm Mean Absolute Surface Distance. All realignment parameters showed excellent reliability across the different segmentations. However, the mean differences in translational realignment between CT and MRI bone segmentations (4.5 ± 2.1 mm) and between MRI bone and MRI bone and cartilage segmentations (2.8 ± 2.1 mm) were shown to be clinically and statistically significant. A significant positive correlation was found between the translational realignment and the relative amount of cartilage. Conclusion: This study indicates that although bone realignment remained largely similar when using MRI with and without cartilage information compared to using CT, the small differences in segmentation could induce statistically and clinically significant differences in the osteotomy planning. We also showed that endochondral cartilage might be a non-negligible factor when pl

Published
2023

9. Impact of bone and cartilage segmentation from CT and MRI on both bone forearm osteotomy planning

Author

ORT Research, Beeldverwerking ISI, Regenerative Medicine and Stem Cells, Cancer, MS Orthopaedie Algemeen, Kuiper, Ruurd J A, Colaris, Joost W, Stockmans, Filip, van Es, Eline M, Viergever, Max A, Seevinck, Peter R, Weinans, Harrie, Sakkers, Ralph J B, ORT Research, Beeldverwerking ISI, Regenerative Medicine and Stem Cells, Cancer, MS Orthopaedie Algemeen, Kuiper, Ruurd J A, Colaris, Joost W, Stockmans, Filip, van Es, Eline M, Viergever, Max A, Seevinck, Peter R, Weinans, Harrie, and Sakkers, Ralph J B

Published
2023

10. Automatic Assessment of Lower-Limb Alignment from Computed Tomography

Author

ORT Research, Beeldverwerking ISI, Regenerative Medicine and Stem Cells, Cancer, MS Orthopaedie Algemeen, Kuiper, Ruurd J A, Seevinck, Peter R, Viergever, Max A, Weinans, Harrie, Sakkers, Ralph J B, ORT Research, Beeldverwerking ISI, Regenerative Medicine and Stem Cells, Cancer, MS Orthopaedie Algemeen, Kuiper, Ruurd J A, Seevinck, Peter R, Viergever, Max A, Weinans, Harrie, and Sakkers, Ralph J B

Published
2023

11. Halting Still Standing – Programs versus Specifications

Author

Huizing, Cornelis, Kuiper, Ruurd, Verhoeff, Tom, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Qin, Shengchao, editor

Published
2010
Full Text
View/download PDF

12. A Small Step for Mankind

Author

Huizing, Cornelis, Koymans, Ron, Kuiper, Ruurd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dams, Dennis, editor, Hannemann, Ulrich, editor, and Steffen, Martin, editor

Published
2010
Full Text
View/download PDF

13. Efficient cascaded V-net optimization for lower extremity CT segmentation validated using bone morphology assessment

Author

ORT Research, Imago ISI, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Beeldverwerking ISI, Other research (not in main researchprogram), Cancer, Kuiper, Ruurd J.A., Sakkers, Ralph J.B., van Stralen, Marijn, Arbabi, Vahid, Viergever, Max A., Weinans, Harrie, Seevinck, Peter R., ORT Research, Imago ISI, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Beeldverwerking ISI, Other research (not in main researchprogram), Cancer, Kuiper, Ruurd J.A., Sakkers, Ralph J.B., van Stralen, Marijn, Arbabi, Vahid, Viergever, Max A., Weinans, Harrie, and Seevinck, Peter R.

Published
2022

17. A Structured (Java) Exercise Repository with Automated Feedback (SERF)

Author

Passier, Harrie, Huizing, Cornelis, Kok, Arjan, Kuiper, Ruurd, Bijlsma, Lex, Scheffers, Erik, Schivo, Stefano, Vos, Tanja E. J., Stikkolorum, Dave, Rahimi, Ebrahim, RS-Research Line Software quality (part of THIS program), RS-Research Line Teaching and learning (part of THIS program), Department of Computer Science, RS-Research Line Learning (part of LIRS program), RS-Research Program Towards High-Quality and Intelligent Software (THIS), Department Computer Science, and RS-Research Line Security and privacy (part of THIS program)

Published
2021

18. Construction of a knowledge graph for exercise selection

Author

Bijlsma, A., Huizing, Cornelis, Kok, A.J.F., Kuiper, Ruurd, Passier, H.J.M., Scheffers, Erik, Schivo, S., and Vos, T.E.J.

Subjects
Knowledge graph, repository, exercise
Abstract

This paper describes the construction of an open-source repository to store and select exercises, whose architecture and design are usable for many knowledge areas. The repository has been built and is operational for a collection of Java programming exercises, independent of any specific teaching approach. Each exercise is equipped with a set of knowledge items to clearly show which programming knowledge is needed. Consequently, a tag-based search enables students to find those exercises that match their knowledge level. In order to make the process of tagging and searching efficient, the exercise tags have been structured into a foreknowledge graph. In this graph, each node is a tag while edges describe dependency relations between them. An interactive online tool is provided that supports the submission of and search for exercises.

Published
2021

23. Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings

Author

Diepstraten, Eduard, Kuiper, Ruurd, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. -P., editor, and Rozenberg, G., editor

Published
1990
Full Text
View/download PDF

27. 3D-printed saw guides for lower arm osteotomy, a comparison between a synthetic CT and CT-based workflow

Author

DHS 3D Lab, Beeldverwerking ISI, ORT Research, Orthopaedie Opleiding, Infection & Immunity, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Orthopaedie Onderzoek, Translational Neuroscience, Cancer, Willemsen, Koen, Ketel, Mirte H M, Zijlstra, Frank, Florkow, Mateusz C, Kuiper, Ruurd J A, van der Wal, Bart C H, Weinans, Harrie, Pouran, Behdad, Beekman, Freek J, Seevinck, Peter R, Sakkers, Ralph J B, DHS 3D Lab, Beeldverwerking ISI, ORT Research, Orthopaedie Opleiding, Infection & Immunity, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Orthopaedie Onderzoek, Translational Neuroscience, Cancer, Willemsen, Koen, Ketel, Mirte H M, Zijlstra, Frank, Florkow, Mateusz C, Kuiper, Ruurd J A, van der Wal, Bart C H, Weinans, Harrie, Pouran, Behdad, Beekman, Freek J, Seevinck, Peter R, and Sakkers, Ralph J B

Published
2021

28. CT to MR registration of complex deformations in the knee joint through dual quaternion interpolation of rigid transforms

Author

ORT Research, Beeldverwerking ISI, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Cancer, Kuiper, Ruurd J.A., Van Stralen, Marijn, Sakkers, Ralph J.B., Bergmans, Rick H.J., Zijlstra, Frank, Viergever, Max A., Weinans, Harrie, Seevinck, Peter R., ORT Research, Beeldverwerking ISI, MS Orthopaedie Algemeen, Regenerative Medicine and Stem Cells, Cancer, Kuiper, Ruurd J.A., Van Stralen, Marijn, Sakkers, Ralph J.B., Bergmans, Rick H.J., Zijlstra, Frank, Viergever, Max A., Weinans, Harrie, and Seevinck, Peter R.

Published
2021

33. Evaluation of a Structured Design Methodology for Concurrent Programming

Author

Bijlsma, A., Huizing, Kees, Kuiper, Ruurd, Passier, H.J.M., Pootjes, H.J., Smetsers, Sjaak, Rahimi, Ebrahim, Stikkolorum, Dave, Rahimi, Ebrahim, Stikkolorum, Dave, Rahimi, E., RS-Research Line Learning (part of LIRS program), and Department Computer Science

Subjects
0303 health sciences, Object-oriented programming, Structured analysis, Correctness, Syntax (programming languages), business.industry, Computer science, Teaching method, Concurrency, object-oriented programming, concurrency, Education, 03 medical and health sciences, 0302 clinical medicine, Software Science, Concurrent computing, Program Design Language, Program design, Software engineering, business, 030217 neurology & neurosurgery, Java, 030304 developmental biology
Abstract

Learning how to design and implement a program is hard. Teaching methods and textbooks on Java programming often treat a new subject in terms of syntax and examples. Little attention is paid to systematically designing programs with these new concepts. Research has shown that such a complex task requires not only conceptual knowledge, but also explicit procedural support. In this paper, we investigate the effect of combining conceptualand procedural guidance to teaching and learning concurrent programming. We build on earlier research in which we have introduced such a structured design methodology which divides the development of multi-threaded Java programs into a sequence of explicit, manageable steps: the Steps Plan. We present our experiences with applying the Steps Plan in an introductory course on object-oriented programming, with multithreading. The main questions addressed are: "What problems did the students encounter in direct relation to the Steps Plan?", and "What general problems surfaced?" As to the first question, two important issues were that using a relatively far developed sequential solution as a stepping stone towards a multi-threaded solution wrong-footed some students, and that remedying race condition situations turned out to be supported at a too high level of abstraction. As to the second question, two notable issues were that deciding on the right amount and type of concurrency by themselves is maybe too difficult for students at this level, and that the notion of(establishing) correctness or quality of a solution is, different from the sequential case, not intuitively clear to students. For these issues, the paper recommends remedies and indicates directions for future work. We discuss the consequences for educationas regards teaching materials and forms of teaching.

Published
2019

35. Evaluation of a Structured Design Methodology for Concurrent Programming

Author

Rahimi, E., Bijlsma, Lex, Huizing, Kees, Kuiper, Ruurd, Passier, Harrie, Pootjes, Harold, Smetsers, Sjaak, Rahimi, E., Bijlsma, Lex, Huizing, Kees, Kuiper, Ruurd, Passier, Harrie, Pootjes, Harold, and Smetsers, Sjaak

Abstract

CSERC '19, Contains fulltext : 219622.pdf (Publisher’s version ) (Open Access)

Published
2019

44. Paradigms for real-time systems

Author

Koymans, Ron, Kuiper, Ruurd, Zijlstra, Erik, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Joseph, M., editor

Published
1988
Full Text
View/download PDF

45. Towards the hierarchical, temporal logic, specification of concurrent systems

Author

Barringer, Howard, Kuiper, Ruurd, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Denvir, B. T., editor, Harwood, W. T., editor, Jackson, M. I., editor, and Wray, M. J., editor

Published
1985
Full Text
View/download PDF

46. Hierarchical development of concurrent systems in a temporal logic framework

Author

Barringer, Howard, Kuiper, Ruurd, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Brookes, Stephen D., editor, Roscoe, Andrew William, editor, and Winskel, Glynn, editor

Published
1985
Full Text
View/download PDF

47. Modular termination verification: extended version

Author

Jacobs, Bart, Bosnacki, Dragan, and Kuiper, Ruurd

Abstract

We propose an approach for the modular specification and verification of total correctness properties of object-oriented programs. We start from an existing program logic for partial correctness based on separation logic and abstract predicate families. We extend it with call permissions qualified by an arbitrary ordinal number, and we define a specification style that properly hides implementation details, based on the ideas of using methods and bags of methods as ordinals, and exposing the bag of methods reachable from an object as an abstract predicate argument. These enable each method to abstractly request permission to call all methods reachable by it any finite number of times, and to delegate similar permissions to its callees. We illustrate the approach with several examples. We then extend the approach to a concurrent setting, by incorporating an existing approach for verifying deadlock-freedom of channels and locks. Our main contribution here is to achieve information hiding by using method bags for lock ordering. We also show how our approach prevents infinite thread creation and enables verification of termination of fine-grained concurrent algorithms involving compare-and-swap loops. We explain how our approach can be used also to verify liveness properties of non-terminating programs. ispartof: CW Reports nrpages: 32 status: published

Published
2015

48. Dependency Safety for Java

Author

Bošnački, Dragan, primary, van den Brand, Mark, additional, Denissen, Philippe, additional, Huizing, Cornelis, additional, Jacobs, Bart, additional, Kuiper, Ruurd, additional, Wijs, Anton, additional, Wiłkowski, Maciej, additional, and Zhang, Dan, additional

Published
2016
Full Text
View/download PDF

50. Modular Termination Verification

Author

Jacobs, Bart, Bosnacki, Dragan, Kuiper, Ruurd, Jacobs, Bart, Bosnacki, Dragan, and Kuiper, Ruurd

Abstract

We propose an approach for the modular specification and verification of total correctness properties of object-oriented programs. We start from an existing program logic for partial correctness based on separation logic and abstract predicate families. We extend it with call permissions qualified by an arbitrary ordinal number, and we define a specification style that properly hides implementation details, based on the ideas of using methods and bags of methods as ordinals, and exposing the bag of methods reachable from an object as an abstract predicate argument. These enable each method to abstractly request permission to call all methods reachable by it any finite number of times, and to delegate similar permissions to its callees. We illustrate the approach with several examples.

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results