Recently added

DSpace/Manakin Repository

Utrecht University Repository: Recent submissions

Now showing items 7501-7520 of 95693

Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle and Embedded Relevance Boosting Factors

Puspitaningrum, Diyah; Prasetya, I. S. W. B.; Wicaksono, P. A. (2018-04-18)

A route recommendation system can provide better recommendation if it also takes collected user reviews into account, e.g. places that generally get positive reviews may be preferred. However, to classify sentiment, many ...
Model Checking a C++ Software Framework, a Case Study

Lång, John; Prasetya, I. S. W. B. (arXiv, 2019-06-29)

This paper presents a case study on applying two model checkers, SPIN and DIVINE, to verify key properties of a C++ software framework, known as ADAPRO, originally developed at CERN. SPIN was used for verifying properties ...
Modeling and Testing Implementations of Protocols with Complex Messages

Tervoort, Tom; Prasetya, I. S. W. B. (arXiv, 2018-04-11)

This paper presents a new language called APSL for formally describing protocols to facilitate automated testing. Many real world communication protocols exchange messages whose structures are not trivial, e.g. they may ...
Neural Networks as Artificial Specifications

Prasetya, I. S. W. B.; Tran, Minh An (arXiv, 2018-09-15)

In theory, a neural network can be trained to act as an artificial specification for a program by showing it samples of the programs executions. In practice, the training turns out to be very hard. Programs often operate ...
Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties

Puspitaningrum, D.; Yulianti, G.; Prasetya, I. S. W. B. (arXiv, 2017-11-23)

This paper discusses the use of Wikipedia for building semantic ontologies to do Query Expansion (QE) in order to improve the search results of search engines. In this technique, selecting related Wikipedia concepts becomes ...
A Comparison Between Global Nutrient Retention Models for Freshwater Systems

Zhou, Jinhui; Scherer, Laura; van Bodegom, Peter M.; Beusen, Arthur H.W.; Mogollón, José M. (Frontiers Media S.A., 2022-06-30)

Against the backdrop of increasing agricultural production, population, and freshwater/coastal eutrophication, studies are aiming to understand the behavior of nitrogen (N) and phosphorus (P) in the global freshwater system. ...
From planetary to regional boundaries for agricultural nitrogen pollution

Schulte-Uebbing, L. F.; Beusen, A. H.W.; Bouwman, A. F.; de Vries, W. (Nature Research, 2022-10-20)

Excessive agricultural nitrogen use causes environmental problems globally1, to an extent that it has been suggested that a safe planetary boundary has been exceeded2. Earlier estimates for the planetary nitrogen boundary3,4, ...
The impact of phosphorus on projected Sub-Saharan Africa food security futures

Magnone, Daniel; Niasar, Vahid J.; Bouwman, Alexander F.; Beusen, Arthur H.W.; van der Zee, Sjoerd E.A.T.M.; Sattari, Sheida Z. (Nature Publishing Group, 2022-10-29)

Sub-Saharan Africa must urgently improve food security. Phosphorus availability is one of the major barriers to this due to low historical agricultural use. Shared socioeconomic pathways (SSPs) indicate that only a sustainable ...
Future projections of river nutrient export to the global coastal ocean show persisting nitrogen and phosphorus distortion

Beusen, Arthur H.W.; Bouwman, Alexander F. (Frontiers Media S.A., 2022-11-01)

Nitrogen (N) and phosphorus (P) from anthropogenic sources are needed to produce food for the growing world population. As a result, these nutrients can be found in nearly every water body across the globe. Not only nutrient ...
Past anthropogenic activities offset dissolved inorganic phosphorus retention in the Mississippi River basin

Vilmin, Lauriane; Bouwman, Alexander F.; Beusen, Arthur H.W.; van Hoek, Wim Joost; Mogollón, José M. (Springer, 2022-11)

The rapid acceleration of anthropogenic phosphorus (P) loadings to watersheds has fuelled massive freshwater and coastal eutrophication and completely changed the global P cycle. Within watersheds, emitted P is transported ...
Group Adapted Avatar Recommendations for Exergames

Cromjongh, Robin; Reenen, Quentin Van; König, Laura; Kanning, Martina; Reips, Ulf-Dietrich; Feuchtner, Tiare; Hauptmann, Hanna (Association for Computing Machinery (ACM), 2023-06-16)

Exergames are a promising way to encourage physical activity in the population. Especially competitive gaming has been shown to boost physical activity during gameplay. However, differences in physical abilities and fitness ...
Prediction of the absolute hydraulic conductivity function from soil water retention data

Peters, Andre; Hohenbrink, Tobias L.; Iden, Sascha C.; Van Genuchten, Martinus Th; Durner, Wolfgang (European Geosciences Union, 2023-04-17)

For modeling flow and transport processes in the soil-plant-atmosphere system, knowledge of the unsaturated hydraulic properties in functional form is mandatory. While much data are available for the water retention function, ...
Theory-driven Visual Design to Support Reflective Dietary Practice via mHealth: A Design Science Approach

Leipold, Nadja; Hauptmann, Hanna; Boehm, Markus; Madenach, Mira; Lurz, Martin; Groh, Georg; Gedrich, Kurt; Krcmar, Helmut (2023-03)

Design for reflection in human-computer interaction (HCI) has evolved from focusing on an abstract and outcome-driven design subject towards exposing procedural or structural reflection characteristics. Although HCI research ...
Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time

Cygan, Marek; Nederlof, Jesper; Pilipczuk, Marcin; Pilipczuk, Michal; van Rooij, Johan; Wojtaszczyk, J.O. (Association for Computing Machinery (ACM), 2022-03-04)

For the vast majority of local problems on graphs of small treewidth (where, by local we mean that a solution can be verified by checking separately the neighbourhood of each vertex), standard dynamic programming techniques ...
Modeling, Recognizing, and Explaining Apparent Personality from Videos

Escalante, Hugo Jair; Kaya, Heysem; Salah, Albert Ali; Escalera, Sergio; Gucluturk, Yagmur; Guclu, Umut; Baro, Xavier; Guyon, Isabelle; Jacques, Julio C.S.; Madadi, Meysam; Ayache, Stephane; Viegas, Evelyne; Gurpinar, Furkan; Wicaksana, Achmadnoer Sukma; Liem, Cynthia; Van Gerven, Marcel A.J.; Van Lier, Rob (Institute of Electrical and Electronics Engineers Inc., 2022-04)

Explainability and interpretability are two critical aspects of decision support systems. Despite their importance, it is only recently that researchers are starting to explore these aspects. This paper provides an ...
Gezongen emoties: Toneelliederen in Rodenburghs Vrou Iacoba bij de opening van de nieuwe Schouwburg

van Marion, Olga; Vergeer, Tim (Uitgeverij Verloren, 2014)
Spain's dramatic conquest of the Dutch Republic: Rodenburgh as a Literary Mediator of Spanish Culture

van Marion, Olga; Vergeer, Tim (Uitgeverij Verloren, 2016-12-19)
The Language Environment at Home of Children With (a Suspicion of) a Developmental LanguagDisorder and Relations With Standardized Language Measures

Blom, Elma; Fikkert, Paula; Scheper, Annette; van Witteloostuijn, Merel; van Alphen, Petra (American Speech-Language-Hearing Association (ASHA), 2023-08-03)

Purpose: This study compares the home language environments of childrwith (a suspicion of) developmental language disorder (DLD) with that children with typical development (TD). It does so by adopting new technolothat ...
Kansrijk van school naar werk: Mbo'ers en hun werkgevers

Buers, Corine Catherina Emilie (Utrecht University, 2023-09-01)

This dissertation is part of the School2Work project and focuses on young people’s school-to-work-transition in the Dutch VET labour market context. The research follows students’ first steps within the labour market and ...
Development and Application of the Branched and Isoprenoid GDGT Machine Learning Classification Algorithm (BIGMaC) for Paleoenvironmental Reconstruction

Martínez-Sosa, Pablo; Tierney, Jessica E.; Pérez-Angel, Lina C.; Stefanescu, Ioana C.; Guo, Jingjing; Kirkels, Frédérique; Sepúlveda, Julio; Peterse, Francien; Shuman, Bryan N.; Reyes, Alberto V. (Wiley Online Library, 2023-07)

Glycerol dialkyl glycerol tetraethers (GDGTs), both archaeal isoprenoid GDGTs (isoGDGTs) and bacterial branched GDGTs (brGDGTs), have been used in paleoclimate studies to reconstruct environmental conditions. Since GDGTs ...

Now showing items 7501-7520 of 95693