Publication
Empirical validation of MesoHABSIM models developed with different habitat suitability criteria for bullhead cottus gobio L. as an indicator species
Related publications (33)
Stream temperature prediction in ungauged basins: review of recent approaches and description of a new physics-derived statistical model
Michael Lehning, Marc Parlange, Bettina Schaefli, Aurélien Gallice
The development of stream temperature regression models at regional scales has regained some popularity over the past years. These models are used to predict stream temperature in ungauged catchments to assess the impact of human activities or climate chan ...
European Geosciences Union2015Induction for SMT Solvers
Viktor Kuncak, Andrew Joseph Reynolds
Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...
Springer-Verlag Berlin2015Different parameters - same prediction. An analysis of learning curves
Using data from student use of educational technologies to evaluate and improve cognitive models of learners is now a common approach in EDM. Such naturally occurring data poses modeling challenges when non-random factors drive what data is collected. Prio ...
2014Accurate Directional Inference for Vector Parameters in Linear Exponential Families
We consider inference on a vector-valued parameter of interest in a linear exponential family, in the presence of a finite-dimensional nuisance parameter. Based on higher-order asymptotic theory for likelihood, we propose a directional test whose p-value i ...
American Statistical Association2014On Induction for SMT Solvers
Viktor Kuncak, Andrew Joseph Reynolds
Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...
2014Micro-Structural Brain Alterations in Aviremic HIV+ Patients with Minor Neurocognitive Disorders: A Multi-Contrast Study at High Field
Tobias Kober, Reto Meuli, Alessandro Daducci, Cristina Granziera, Djalel Eddine Meskaldji, Gunnar Krüger, Alexis Roche, François Lazeyras
Objective Mild neurocognitive disorders (MND) affect a subset of HIV+ patients under effective combination antiretroviral therapy (cART). In this study, we used an innovative multi-contrast magnetic resonance imaging (MRI) approach at high-field to assess ...
Public Library of Science2013Modeling and Optimizing Computer-Assisted Mathematics Learning in Children
Arithmetic abilities are essential in modern society. However, many children suffer from difficulties in learning mathematics, ranging from mild to severe numeracy problems. The prevalence of developmental dyscalculia is about 3%−6% in German speaking coun ...
ETH-Zürich2013Selection and Aggregation of Ranking Criteria for Retrieval from Scientific Publication Databases
Selection and aggregation of ranking criteria became an important topic in information retrieval as search is getting more specialized and as volume of electronically available information grows. In this context, document ranking has undergone a shift from ...
EPFL2012Developing methods to assess the extent of naturalized slash pine populations and their habitats characteristics in South East Queensland, Australia
Slash pine is an exotic commercial species that is widely planted across South East Queensland’s coastal region. Several studies have observed naturalized slash pine populations around plantations, although there have been minimal efforts to control report ...
2011Stratégies de compromis pour l'estimation des paramètres de régression et pour la classification floue
Model specification is an integral part of any statistical inference problem. Several model selection techniques have been developed in order to determine which model is the best one among a list of possible candidates. Another way to deal with this questi ...
EPFL2011