Concept

Gettier problem

Publications associées (13)

On the Kawamata-Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic

Emelie Kerstin Arvidsson, Fabio Bernasconi

We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over perfect fields of positive characteristic p > 5. As a consequence, we show that klt threefold singularities over a perfect base field of characteristic p > 5 are rational. ...

CAMBRIDGE UNIV PRESS2022

The effects of model complexity and size on metabolic flux distribution and control: case study in Escherichia coli

Vassily Hatzimanikatis, Georgios Fengos, Tuure Eelis Hameri

Background Significant efforts have been made in building large-scale kinetic models of cellular metabolism in the past two decades. However, most kinetic models published to date, remain focused around central carbon pathways or are built around ad hoc re ...

BMC2021

On Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...

2021

In vivo macromolecule signals in rat brain 1 H‐MR spectra at 9.4T: Parametrization, spline baseline estimation, and T 2 relaxation times

Lijing Xin, Cristina Ramona Cudalbu, Bernard Lanz, Dunja Simicic, Veronika Rackayová

Purpose Reliable detection and fitting of macromolecules (MM) are crucial for accurate quantification of brain short-echo time (TE) 1H-MR spectra. An experimentally acquired single MM spectrum is commonly used. Higher spectral resolution at ultra-high fiel ...

2021

Uncertain Sampling with Certain Priors

Golnooshsadat Elhami

Sampling has always been at the heart of signal processing providing a bridge between the analogue world and discrete representations of it, as our ability to process data in continuous space is quite limited. Furthermore, sampling plays a key part in unde ...

EPFL2021

Institutions and Incentives in Knowledge Production and Diffusion: From Science to Innovation

Charles Chadi Ayoubi

This thesis presents four essays providing novel empirical and theoretical insights on the incentives and institutional structures that favor knowledge production and diffusion. The first two studies analyze these processes in the realm of scientific resea ...

EPFL2020

3D Silver Dendrites for Single-molecule Imaging by Surface-enhanced Raman Spectroscopy

Discovery of surface-enhanced Raman scattering (SERS) followed by evolution of optical systems and nanoengineering approaches has paved a path to detection of essential organic molecules on solid SERS-active substrates from solutions at concentrations attr ...

2020

What crowding can tell us about object representations

Michael Herzog, Aaron Michael Clarke, Mauro Manassi

In crowding, perception of a target usually deteriorates when flanking elements are presented next to the target. Surprisingly, adding further flankers can lead to a release from crowding. In previous work we showed that, for example, vernier offset discri ...

Association for Research in Vision and Ophthalmology (ARVO)2016

Probabilistic approach for fatigue evaluation of welded connections with application to road steel bridges

Luca D'Angelo

Fatigue analysis of steel bridges asks for consideration of welded joints. Traditional fatigue analysis of welded joints under variable amplitude loadings is based on the nominal stress approach, wherein constant amplitude (CA) S-N curves are used in combi ...

EPFL2015

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

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search