Zobrazeno 1 - 10
of 2 547
pro vyhledávání: '"Jongmans, A."'
Autor:
Jongmans, Sung-Shik
Multiparty session typing (MPST) is a formal method to make concurrent programming simpler. The idea is to use type checking to automatically prove safety (protocol compliance) and liveness (communication deadlock freedom) of implementations relative
Externí odkaz:
http://arxiv.org/abs/2407.00540
Autor:
Smeele, Ton, Jongmans, Sung-Shik
Publikováno v:
EPTCS 378, 2023, pp. 49-60
Implementing distributed systems is hard; choreographic programming aims to make it easier. In this paper, we present the design of a new choreographic programming language that supports isolated transactions among overlapping sets of processes. The
Externí odkaz:
http://arxiv.org/abs/2304.06399
Publikováno v:
EPTCS 365, 2022, pp. 37-52
Choreographic languages describe possible sequences of interactions among a set of agents. Typical models are based on languages or automata over sending and receiving actions. Pomsets provide a more compact alternative by using a partial order over
Externí odkaz:
http://arxiv.org/abs/2208.04632
Autor:
Jette J. Bakhuizen, Franck Bourdeaut, Karin A.W. Wadt, Christian P. Kratz, Marjolijn C.J. Jongmans, Nicolas Waespe
Publikováno v:
EJC Paediatric Oncology, Vol 4, Iss , Pp 100176- (2024)
Background: Cancer Predisposition Syndromes (CPSs) have been identified in 7–15 % of children with cancer. The possibilities for germline genetic testing have increased in recent years, presenting new opportunities but also challenges. There is cur
Externí odkaz:
https://doaj.org/article/80ac3cc002404966bcc44cb173a75ae0
Autor:
Arts, Rob J.W., Bijker, Else M., Bruno, Mariolina, Hobo, Willemijn, Hoppenreijs, Esther, de Jonge, Marien I., van Laarhoven, Arjan, van der Molen, Renate, Oud, Manon, Schatorje, Ellen J.H., Smeets, Ruben, Sprenkeler, Evelien G.G., Stol, Kim, Verhagen, Lilly M., Zonneveld-Huijssoon, Evelien, Vorsteveld, Emil E., Van der Made, Caspar I., Smeekens, Sanne P., Schuurs-Hoeijmakers, Janneke H., Astuti, Galuh, Diepstra, Heleen, Gilissen, Christian, Hoenselaar, Evelien, Janssen, Alice, van Roozendaal, Kees, Engelen, Jettie Sikkema-van, Steyaert, Wouter, Weiss, Marjan M., Yntema, Helger G., Mantere, Tuomo, AlZahrani, Mofareh S., van Aerde, Koen, Derfalvi, Beata, Faqeih, Eissa Ali, Henriet, Stefanie S.V., van Hoof, Elise, Idressi, Eman, Issekutz, Thomas B., Jongmans, Marjolijn C.J., Keski-Filppula, Riikka, Krapels, Ingrid, te Loo, Maroeska, Mulders-Manders, Catharina M., ten Oever, Jaap, Potjewijd, Judith, Sarhan, Nora Tarig, Slot, Marjan C., Terhal, Paulien A., Thijs, Herman, Vandersteen, Anthony, Vanhoutte, Els K., van de Veerdonk, Frank, van Well, Gijs, Netea, Mihai G., Simons, Annet, Hoischen, Alexander
Publikováno v:
In Clinical Immunology November 2024 268
Autor:
Bakhuizen, Jette J, van Dijk, Freerk, Koudijs, Marco J, Bladergroen, Reno S, Bon, Sebastian B B, Hopman, Saskia M J, Kester, Lennart A, Kranendonk, Mariëtte E G, Loeffen, Jan L C, Smetsers, Stephanie E, Sonneveld, Edwin, Tachdjian, Melissa, de Vos-Kerkhof, Evelien, Goudie, Catherine, Merks, Johannes H M, Kuiper, Roland P, Jongmans, Marjolijn C J *
Publikováno v:
In The Lancet Child & Adolescent Health October 2024 8(10):751-761
Autor:
Bon, S.B.B., Wouters, R.H.P., Bakhuizen, J.J., van den Heuvel-Eibrink, M.M., Maurice-Stam, H., Jongmans, M.C.J., Grootenhuis, M.A.
Publikováno v:
In Genetics in Medicine January 2025 27(1)
Autor:
Bakhuizen, Jette J., Bourdeaut, Franck, Wadt, Karin A.W., Kratz, Christian P., Jongmans, Marjolijn C.J., Waespe, Nicolas
Publikováno v:
In EJC Paediatric Oncology December 2024 4
Autor:
Emma Kroeze, Dilys D. Weijers, Michelle M. Kleisman, Uri Ilan, Reno S. Bladergroen, Rico Hagelaar, Jules P. P. Meijerink, Marjolijn C. J. Jongmans, Jan L. C. Loeffen, Roland P. Kuiper
Publikováno v:
HemaSphere, Vol 8, Iss 5, Pp n/a-n/a (2024)
Externí odkaz:
https://doaj.org/article/f06e363facb04d1f9c65581e4a74e3cd
Autor:
Postma, Amber, Minderhoud, Crista A., Otte, Wim M., Jansen, Floor E., Gunning, W.B., Verhoeven, Judith S., Jongmans, Marian J., Zinkstok, Janneke R., Brilstra, Eva H.
Publikováno v:
In Epilepsy & Behavior May 2024 154