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 Union2015

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 ...
Springer-Verlag Berlin2015

Different 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 ...
2014

Accurate Directional Inference for Vector Parameters in Linear Exponential Families

Anthony Christopher Davison

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 Association2014

On 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 ...
2014

Micro-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 Science2013

Modeling 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ürich2013

Selection and Aggregation of Ranking Criteria for Retrieval from Scientific Publication Databases

Martin Veselý

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 ...
EPFL2012

Developing methods to assess the extent of naturalized slash pine populations and their habitats characteristics in South East Queensland, Australia

Blaise Etienne Marceau Dhont

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 ...
2011

Stratégies de compromis pour l'estimation des paramètres de régression et pour la classification floue

Nicolas Fournier

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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.