- document
-
Meulah, Brice (author), Oyibo, P.O. (author), Hoekstra, Pytsje T. (author), Mour, Paul Alvyn Nguema (author), Maloum, Moustapha Nzamba (author), Laclong Lontchi, Roméo Aimé (author), Honkpehedji, Yabo Josiane (author), Bengtson, Michel (author), Hokke, Cornelis (author), Diehl, J.C. (author)Introduction<br/>Schistosomiasis is a significant public health concern, especially in Sub-Saharan Africa. Conventional microscopy is the standard diagnostic method in resource-limited settings, but with limitations, such as the need for expert microscopists. An automated digital microscope with artificial intelligence (Schistoscope), offers a...journal article 2024
- document
-
Onasanya, A.A. (author), Bengtson, Michel (author), Agbana, T.E. (author), Oladunni, Opeyemi (author), van Engelen, J.M.L. (author), Oladepo, Oladimeji (author), Diehl, J.C. (author)Designing new and inclusive diagnostic tools to detect Neglected Tropical Diseases (NTDs) to achieve rational disease control requires a co-design process where end-users’ input is important. Failure to involve all potential end-users in new diagnostics for NTDs can result in low use and adoption failure, leading to persistent infection hot...journal article 2023
- document
-
Onasanya, A.A. (author), Bengtson, Michel (author), de Goeje, Ludo (author), van Engelen, J.M.L. (author), Diehl, J.C. (author), van Lieshout, Lisette (author)IntroductionThe INSPIRED project aims to develop inclusive Digital Optical Diagnostic Devices (DODDs) for schistosomiasis, to support disease management by enabling rapid diagnostic results, to improve efficient data management to guide decision-making and to provide healthcare workers with critical health information to facilitate follow-up...journal article 2023
- document
-
Oyibo, P.O. (author), Meulah, Brice (author), Bengtson, Michel (author), Lieshout, Lisette van (author), Oyibo, Wellington (author), Diehl, J.C. (author), Vdovin, Gleb (author), Agbana, T.E. (author)Purpose: Automated diagnosis of urogenital schistosomiasis using digital microscopy images of urine slides is an essential step toward the elimination of schistosomiasis as a disease of public health concern in Sub-Saharan African countries. We create a robust image dataset of urine samples obtained from field settings and develop a two-stage...journal article 2023
- document
-
Oyibo, P.O. (author), Jujjavarapu, S. (author), Meulah, Brice (author), Agbana, T.E. (author), Braakman, I.G. (author), van Diepen, Angela (author), Bengtson, M.L. (author), van Lieshout, Lisette (author), Andi, Wellington Oyibo (author), Vdovin, Gleb (author), Diehl, J.C. (author)For many parasitic diseases, the microscopic examination of clinical samples such as urine and stool still serves as the diagnostic reference standard, primarily because microscopes are accessible and cost-effective. However, conventional microscopy is laborious, requires highly skilled personnel, and is highly subjective. Requirements for...journal article 2022
- document
-
Samenjo, K.T. (author), Bengtson, Michel (author), Onasanya, A.A. (author), Intriago Zambrano, J.C. (author), Oladunni, Opeyemi (author), Oladepo, Oladimeji (author), van Engelen, J.M.L. (author), Diehl, J.C. (author)Urinary schistosomiasis is a waterborne parasitic infection caused by Schistosoma haematobium that affects approximately 30 million people annually in Nigeria. Treatment and eradication of this infection require effective diagnostics. However, current diagnostic tests have critical shortcomings and consequently are of limited value to...journal article 2022
- document
-
Hinrichsen, Jonas Kastberg (author), Bengtson, Jesper (author), Krebbers, R.J. (author)Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs...journal article 2022
- document
-
Bengtson, M.L. (author), Bharadwaj, M. (author), Franch, O. (author), van der Torre, J. (author), Meerdink, V.E.E. (author), Schallig, Henk (author), Dekker, C. (author)Nucleic-acid detection is crucial for basic research as well as for applications in medicine such as diagnostics. In resource-limited settings, however, most DNA-detection diagnostic schemes are inapplicable since they rely on expensive machinery, electricity, and trained personnel. Here, we present an isothermal DNA detection scheme for the...journal article 2022
- document
-
Meulah, Brice (author), Oyibo, P.O. (author), Bengtson, M.L. (author), Agbana, T.E. (author), Laclong Lontchi, Roméo Aimé (author), Adegnika, Ayola Akim (author), Andi, Wellington Oyibo (author), Hokke, C.H. (author), Diehl, J.C. (author), van Lieshout, Lisette (author)Conventional microscopy is the standard procedure for the diagnosis of schistosomiasis, despite its limited sensitivity, reliance on skilled personnel, and the fact that it is error prone. Here, we report the performance of the innovative (semi-)automated Schistoscope 5.0 for optical digital detection and quantification of Schistosoma...journal article 2022
- document
-
Bengtson, M.L. (author), Onasanya, A.A. (author), Oyibo, P.O. (author), Meulah, Brice (author), Samenjo, K.T. (author), Braakman, I.G. (author), Andi, Wellington Oyibo (author), Diehl, J.C. (author)Schistosomiasis is a neglected tropical disease thatis predominantly diagnosed by conventional microscopy in Sub-Saharan Africa. However, effective diagnosis by conventional microscopy is limited by multiple technical and logistic barriers.Alternative diagnostic techniques are needed. The Schistoscope is a digital optical device that has been...conference paper 2022
- document
-
Meulah, Brice (author), Bengtson, Michel (author), van Lieshout, Lisette (author), Hokke, C.H. (author), Kreidenweiss, Andrea (author), Diehl, J.C. (author), Adegnika, Ayola Akim (author), Agbana, T.E. (author)Diagnosis of soil-transmitted helminth (STH) and schistosome infections relies largely on conventional microscopy which has limited sensitivity, requires highly trained personnel and is error-prone. Rapid advances in miniaturization of optical systems, sensors and processors have enhanced research and development of digital and automated...review 2022
- document
-
Bengtson, M.L. (author)The aim of this thesis was to develop a DNA-detection scheme for a point-of-care diagnostic test for Neglected Tropical Diseases (NTDs) for use within resource-limited settings. The scientific innovation is to develop an adaptable DNA-detection scheme, using CRISPR-dCas9 (catalytically inactive Cas9), that can detect the DNA of any pathogen in...doctoral thesis 2021
- document
-
Hinrichsen, Jonas Kastberg (author), Louwrink, Daniël (author), Krebbers, R.J. (author), Bengtson, Jesper (author)Session types- A family of type systems for message-passing concurrency-have been subject to many extensions, where each extension comes with a separate proof of type safety. These extensions cannot be readily combined, and their proofs of type safety are generally not machine checked, making their correctness less trustworthy. We overcome...conference paper 2021
- document
-
Onasanya, A.A. (author), Bengtson, M.L. (author), Oladepo, Oladimeji (author), van Engelen, J.M.L. (author), Diehl, J.C. (author)The control and elimination of schistosomiasis have over the last two decades involved several strategies, with the current strategy by the World Health Organization (WHO)<br/>focusing mainly on treatment with praziquantel during mass drug administration (MDA). However, the disease context is complex with an interplay of social, economic,...journal article 2021
- document
-
Bharadwaj, M. (author), Bengtson, M.L. (author), Golverdingen, Mirte (author), Waling, Loulotte (author), Dekker, C. (author)Inadequate and nonintegrated diagnostics are the Achilles' heel of global efforts to monitor, control, and eradicate neglected tropical diseases (NTDs). While treatment is often available, NTDs are endemic among marginalized populations, due to the unavailability or inadequacy of diagnostic tests that cause empirical misdiagnoses. The need of...review 2021
- document
-
Hinrichsen, J.K. (author), Bengtson, Jesper (author), Krebbers, R.J. (author)Message passing is a useful abstraction to implement concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs that...journal article 2020
- document
-
Bengtson, M.L. (author), Bharadwaj, M. (author), ten Bosch, A.P. (author), Nyakundi, Hellen (author), Matoke-Muhia, Damaris (author), Dekker, C. (author), Diehl, J.C. (author)The rapid growth of point-of-care (POC) diagnostic tests necessitates a clear vision of when, where, and why a new POC diagnostic test needs to be developed and how it can be used in a way that matches a local health care context. Here, we present an innovative approach toward developing a concept target product profile (CTPP), which is a new...journal article 2020
- document
-
Schuurmans, Carl C.L. (author), Abbadessa, Anna (author), Bengtson, Mikkel A. (author), Pletikapic, Galja (author), Eral, H.B. (author), Koenderink, Gijsje (author), Masereeuw, Rosalinde (author), Hennink, Wim E. (author), Vermonden, Tina (author)Glycosaminoglycans (GAGs) are of interest for biomedical applications because of their ability to retain proteins (e.g. growth factors) involved in cell-to-cell signaling processes. In this study, the potential of GAG-based microgels for protein delivery and their protein release kinetics upon encapsulation in hydrogel scaffolds were...journal article 2018
- document
-
Yang, W.W.W. (author), Restrepo Perez, L. (author), Bengtson, M.L. (author), Heerema, S.J. (author), Birnie, A.T.F. (author), van der Torre, J. (author), Dekker, C. (author)Solid-state nanopores have emerged as promising platforms for biosensing including diagnostics for disease detection. Here we show nanopore experiments that detect CRISPR-dCas9, a sequence-specific RNA-guided protein system that specifically binds to a target DNA sequence. While CRISPR-Cas9 is acclaimed for its gene editing potential, the...journal article 2018