2024 export record
dblp key:
journals/cmpb/NakanoDVWVJGVB24 share record
persistent URL:
Felipe Kenji Nakano , Karolijn Dulfer , Ilse Vanhorebeek , Pieter J. Wouters , Sascha C. Verbruggen , Koen F. Joosten , Fabian Güiza Grandas , Celine Vens , Greet Van den Berghe : Predicting adverse long-term neurocognitive outcomes after pediatric intensive care unit admission. Comput. Methods Programs Biomed. 250 : 108166 (2024 )share record
persistent URL:
Ana de Almeida Borges , Mireia González Bedmar , Juan José Conejero Rodríguez , Eduardo Hermo Reyes , Joaquim Casals Buñuel , Joost J. Joosten : UTC Time, Formally Verified. CPP 2024 : 2-13 export record
dblp key:
journals/corr/abs-2402-06487 share record
persistent URL:
Joost J. Joosten , Manuela Montoya García : Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care. CoRR abs/2402.06487 (2024 )export record
dblp key:
journals/corr/abs-2403-05379 share record
persistent URL:
Salome Kazeminia , Max Joosten , Dragan Bosnacki , Carsten Marr : Self-Supervised Multiple Instance Learning for Acute Myeloid Leukemia Classification. CoRR abs/2403.05379 (2024 )export record
dblp key:
journals/corr/abs-2405-09194 share record
persistent URL:
Henri Bouma , Bart Joosten , Maarten C. Kruithof , Maaike H. T. de Boer , Alexandru Ginsca , Benjamin Labbé , Quoc T. Vuong : Flexible image analysis for law enforcement agencies with deep neural networks to determine: where, who and what. CoRR abs/2405.09194 (2024 )2023 share record
persistent URL:
Reinoud Joosten , Rogier Harmelink : Tipping and strong rarity value in a stochastic fishery game. IGTR 25 (3 ) : 2340001:1-2340001:34 (2023 )export record
dblp key:
journals/jimaging/BeukelWJGVHB23 share record
persistent URL:
Bastiaan A. W. van den Beukel , Bram De Wilde , Frank Joosten , Harry van Goor , Wulphert Venderink , Henkjan J. Huisman , Richard P. G. ten Broek : Quantifiable Measures of Abdominal Wall Motion for Quality Assessment of Cine-MRI Slices in Detection of Abdominal Adhesions. J. Imaging 9 (5 ) : 92 (2023 )export record
dblp key:
journals/jimaging/WildeJVDGKVMSHB23 share record
persistent URL:
Bram De Wilde , Frank Joosten , Wulphert Venderink , Mirjam E. J. Davidse , Juliëtte Geurts , Hanneke Kruijt , Afke Vermeulen , Bibi Martens , Maxime V. P. Schyns , Josephine C. B. M. Huige , Myrte C. de Boer , Bart A. R. Tonino , Herman J. A. Zandvoort , Kirsti Lammert , Helka Parviainen , Aino-Maija Vuorinen , Suvi Syväranta , Ruben R. M. Vogels , Wiesje Prins , Andrea Coppola , Nancy Bossa , Richard P. G. ten Broek , Henkjan Huisman : Inter- and Intra-Observer Variability and the Effect of Experience in Cine-MRI for Adhesion Detection. J. Imaging 9 (3 ) : 55 (2023 )share record
persistent URL:
Ana de Almeida Borges , Joost J. Joosten : An Escape from Vardanyan's Theorem. J. Symb. Log. 88 (4 ) : 1613-1638 (2023 )export record
dblp key:
journals/titb/RachakondaMJBBMQJM23 share record
persistent URL:
Siddartha Rachakonda , Shiva Moorthy , Anshul Jain , Aleksandr Bukharev , Anca Bucur , Francesca Manni , Thaise M. Quiterio , Lex Joosten , Nancy Irisarri Mendez : Privacy Enhancing and Scalable Federated Learning to Accelerate AI Implementation in Cross-Silo and IoMT Environments. IEEE J. Biomed. Health Informatics 27 (2 ) : 744-755 (2023 )share record
persistent URL:
Stef Joosten , Ella E. Roubtsova : Enterprise Modeling with Conventions. BMSD 2023 : 56-73 export record
dblp key:
journals/corr/abs-2307-05658 share record
persistent URL:
Moritz Müller , Joost J. Joosten : Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561. CoRR abs/2307.05658 (2023 )export record
dblp key:
journals/corr/abs-2308-02513 share record
persistent URL:
Anthony Brogni , Sebastiaan J. C. Joosten : Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3. CoRR abs/2308.02513 (2023 )export record
dblp key:
journals/corr/abs-2309-10678 share record
persistent URL:
Joost J. Joosten : Dialogues with algorithms. CoRR abs/2309.10678 (2023 )2022 export record
dblp key:
journals/biomedsem/Queralt-Rosinach22 share record
persistent URL:
Núria Queralt-Rosinach , Rajaram Kaliyaperumal , César Henrique Bernabé , Qinqin Long , Simone A. Joosten , Henk Jan van der Wijk , Erik Flikkenschild , Kees Burger , Annika Jacobsen , Barend Mons , Marco Roos : Applying the FAIR principles to data in a hospital: challenges and opportunities in a pandemic. J. Biomed. Semant. 13 (1 ) : 12 (2022 )export record
dblp key:
journals/ejlt/BreeijenDJJZ22 share record
persistent URL:
Sterre den Breeijen , Gijs van Dijck , Tobias Jonkers , Rieks Joosten , Katja Zimmermann : Self-Sovereign Identity and Guardianship in Practice. Eur. J. Law Technol. 13 (3 ) (2022 )share record
persistent URL:
Xianghui Li , Reinoud Joosten , Marc Uetz , Yang Li : Power surplus solutions for weighted hypergraph communication situations. Int. Trans. Oper. Res. 29 (6 ) : 3346-3369 (2022 )export record
dblp key:
journals/logcom/Fernandez-Duque22 share record
persistent URL:
David Fernández-Duque , Joost J. Joosten , Fedor Pakhomov , Konstnatinos Papafilippou , Andreas Weiermann : Arithmetical and Hyperarithmetical Worm Battles. J. Log. Comput. 32 (8 ) : 1558-1584 (2022 )share record
persistent URL:
Evan Goris , Marta Bílková , Joost J. Joosten , Luka Mikec : Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68 (3 ) : 352-374 (2022 )export record
dblp key:
conf/acii/CosmannHHHJKK22 share record
persistent URL:
Niklas Cosmann , Jana Haberkern , Alexander Hahn , Patrick Harms , Jan Joosten , Katharina Klug , Tania Kollischan : The value of mood measurement for regulating negative influences of social media usage: A case study of TikTok. ACII 2022 : 1-7 export record
dblp key:
conf/financecom/MeijerAJ22 share record
persistent URL:
Koen Meijer , Abhishta , Reinoud Joosten : Role of Culture in Customer Acceptance of Neobanks. FinanceCom 2022 : 97-116 share record
persistent URL:
Stef Joosten , Ella E. Roubtsova , El Makki Haddouchi : Constraint Formalization for Automated Assessment of Enterprise Models. ICEIS (2) 2022 : 430-441 export record
dblp key:
conf/lfcs/Fernandez-Duque22 share record
persistent URL:
David Fernández-Duque , Konstnatinos Papafilippou , Joost J. Joosten : Hyperarithmetical Worm Battles. LFCS 2022 : 52-69 export record
dblp key:
journals/corr/abs-2209-14227 share record
persistent URL:
Ana de Almeida Borges , Mireia González Bedmar , Juan José Conejero Rodríguez , Eduardo Hermo Reyes , Joaquim Casals Buñuel , Joost J. Joosten : FV Time: a formally verified Coq library. CoRR abs/2209.14227 (2022 )2021 share record
persistent URL:
Sebastiaan J. C. Joosten : Gale-Stewart Games. Arch. Formal Proofs 2021 (2021 )export record
dblp key:
journals/iandc/BorgesRFBJ21 share record
persistent URL:
Ana de Almeida Borges , Juan José Conejero Rodríguez , David Fernández-Duque , Mireia González Bedmar , Joost J. Joosten : To drive or not to drive: A logical and computational analysis of European transport regulations. Inf. Comput. 280 : 104636 (2021 )share record
persistent URL:
Joost J. Joosten : MüNchhausen Provability. J. Symb. Log. 86 (3 ) : 1006-1034 (2021 )export record
dblp key:
conf/semweb/RutledgeMPJ21 share record
persistent URL:
Lloyd Rutledge , Pascal Mellema , Tije Pietersma , Stef Joosten : Displaying Triple Provenance with Extensions of Fresnel. VOILA@ISWC 2021 : 103-114 export record
dblp key:
journals/corr/abs-2107-12734 share record
persistent URL:
Ralf Raumanns , Gerard Schouten , Max Joosten , Josien P. W. Pluim , Veronika Cheplygina : ENHANCE (ENriching Health data by ANnotations of Crowd and Experts): A case study for skin lesion classification. CoRR abs/2107.12734 (2021 )2020 export record
dblp key:
journals/artmed/MartinWFGGIJMMM20 share record
persistent URL:
Niels Martin , Jochen De Weerdt , Carlos Fernández-Llatas , Avigdor Gal , Roberto Gatta , Gema Ibáñez , Owen A. Johnson , Felix Mannhardt , Luis Marco-Ruiz , Steven Mertens , Jorge Munoz-Gama , Fernando Seoane , Jan Vanthienen , Moe Thandar Wynn , David Baltar Boilève , Jochen Bergs , Mieke Joosten-Melis , Stijn Schretlen , Bram B. Van Acker : Recommendations for enhancing the usability and understandability of process mining in healthcare. Artif. Intell. Medicine 109 : 101962 (2020 )