Verifying Parallel Loops with Separation Logic

by Stefan Blom, Saeed Darabi, Marieke Huisman
Published 2014-06-01

Asymmetric Shaped-Pattern Synthesis for Planar Antenna Arrays

by T. M. Bruintjes, A. B. J. Kokkeler, G. J. M. Smit
Published 2016-01-01

Modelling erosion development during wave overtopping of an asphalt road covered dike

by Bomers Anouk, Aguilar Juan P., Warmink Jord J., Hulscher Suzanne J.M.H.
Published 2016-01-01

Wellbeing and Social Safeness Questionnaire (WSSQ): Initial psychometric assessment of a short digital screening instrument for primary school children

by Jochem M. Goldberg, Aleisha M. Clarke, Peter M. ten Klooster, Karlein M.G. Schreurs, Ernst T. Bohlmeijer
Published 2019-01-01

REINFORCEMENT LEARNING HELPS SLAM: LEARNING TO BUILD MAPS

by N. Botteghi, B. Sirmacek, R. Schulte, M. Poel, C. Brune
Published 2020-08-01

Towards Implantable Body Sensor Networks - Performance of MICS Band Radio Communication in Animal Tissue

by Vignesh Raja Karuppiah Ramachandran, Kui Zhang, Nirvana Meratnia, Paul Havinga
Published 2016-12-01

Trends in SPR Cytometry: Advances in Label-Free Detection of Cell Parameters

by Richard B. M. Schasfoort, Fikri Abali, Ivan Stojanovic, Gestur Vidarsson, Leon W. M. M. Terstappen
Published 2018-10-01

Annealed Low Energy States in Frustrated Large Square Josephson Junction Arrays

by Martijn Lankhorst, Alexander Brinkman, Hans Hilgenkamp, Nicola Poccia, Alexander Golubov
Published 2018-06-01

Microalgae wet extraction using N-ethyl butylamine for fatty acid production

by Ying Du, Boelo Schuur, Sascha R.A. Kersten, Derk W.F. Brilman
Published 2016-04-01

How Are Sports-Trackers Used by Runners? Running-Related Data, Personal Goals, and Self-Tracking in Running

by Armağan Karahanoğlu, Rúben Gouveia, Jasper Reenalda, Geke Ludden
Published 2021-05-01

Predicting outcome in patients with moderate to severe traumatic brain injury using electroencephalography

by Marjolein E. Haveman, Michel J. A. M. Van Putten, Harold W. Hom, Carin J. Eertman-Meyer, Albertus Beishuizen, Marleen C. Tjepkema-Cloostermans
Published 2019-12-01

Relevance of Somatosensory Evoked Potential Amplitude After Cardiac Arrest

by Astrid B. Glimmerveen, Hanneke M. Keijzer, Hanneke M. Keijzer, Barry J. Ruijter, Marleen C. Tjepkema-Cloostermans, Marleen C. Tjepkema-Cloostermans, Michel J. A. M. van Putten, Michel J. A. M. van Putten, Jeannette Hofmeijer, Jeannette Hofmeijer
Published 2020-04-01

Detection of apoptosis in cancer cell lines using Surface Plasmon Resonance imaging

by Ivan Stojanović, Yoeri van Hal, Thomas J.G. van der Velden, Richard B.M. Schasfoort, Leon W.M.M. Terstappen
Published 2016-03-01

Ultraviolet Functionalization of Electrospun Scaffolds to Activate Fibrous Runways for Targeting Cell Adhesion

by André F. Girão, André F. Girão, Paul Wieringa, Paul Wieringa, Susana C. Pinto, Paula A. A. P. Marques, Silvestro Micera, Silvestro Micera, Richard van Wezel, Richard van Wezel, Maqsood Ahmed, Roman Truckenmueller, Roman Truckenmueller, Lorenzo Moroni, Lorenzo Moroni
Published 2019-06-01

Association between poor therapy adherence to inhaled corticosteroids and tiotropium and morbidity and mortality in patients with COPD

by Koehorst-ter Huurne K, Groothuis-Oudshoorn CGM, vanderValk PDLPM, Movig KLL, van der Palen J, Brusse-Keizer M
Published 2018-05-01

Sensitivity and uncertainty in crop water footprint accounting: a case study for the Yellow River basin

by L. Zhuo, M. M. Mekonnen, A. Y. Hoekstra
Published 2014-06-01

Upscaling of a Batch De-Vulcanization Process for Ground Car Tire Rubber to a Continuous Process in a Twin Screw Extruder

by Sitisaiyidah Saiwari, Johannes W. van Hoek, Wilma K. Dierkes, Louis E.A.M. Reuvekamp, Geert Heideman, Anke Blume, Jacques W.M. Noordermeer
Published 2016-08-01

POTENTIAL OF MULTI-TEMPORAL OBLIQUE AIRBORNE IMAGERY FOR STRUCTURAL DAMAGE ASSESSMENT

by A. Vetrivel, D. Duarte, F. Nex, M. Gerke, N. Kerle, G. Vosselman
Published 2016-06-01

State updating of root zone soil moisture estimates of an unsaturated zone metamodel for operational water resources management

by Michiel Pezij, Denie C.M. Augustijn, Dimmie M.D. Hendriks, Albrecht H. Weerts, Stef Hummel, Rogier van der Velde, Suzanne J.M.H. Hulscher
Published 2019-07-01

Crowd-Driven and Automated Mapping of Field Boundaries in Highly Fragmented Agricultural Landscapes of Ethiopia with Very High Spatial Resolution Imagery

by Michael Marshall, Sophie Crommelinck, Divyani Kohli, Christoph Perger, Michael Ying Yang, Aniruddha Ghosh, Steffen Fritz, Kees de Bie, Andy Nelson
Published 2019-09-01