Concept

Logique non monotone

Publications associées (32)

Monotonicity Reasoning in the Age of Neural Foundation Models

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our unde ...

Dordrecht2023

When is it safe to run a transactional workload under Read Committed?

Christoph Koch, Bas Ketsman

The popular isolation level multiversion Read Committed (RC) exchanges some of the strong guarantees of serializability for increased transaction throughput. Nevertheless, transaction workloads can sometimes be executed under RC while still guaranteeing se ...

ASSOC COMPUTING MACHINERY2023

On Smoothed Explanations: Quality and Robustness

Pascal Frossard, Seyed Mohsen Moosavi Dezfooli, Michail Vlachos, Ahmad Ajalloeian

Explanation methods highlight the importance of the input features in taking a predictive decision, and represent a solution to increase the transparency and trustworthiness in machine learning and deep neural networks (DNNs). However, explanation methods ...

New York2022

Equinox: Training (for Free) on a Custom Inference Accelerator

Babak Falsafi, Martin Jaggi, Louis Coulon, Ahmet Caner Yüzügüler, Mario Paulo Drumond Lages De Oliveira, Arash Pourhabibi Zarandi

DNN inference accelerators executing online services exhibit low average loads because of service demand variability, leading to poor resource utilization. Unfortunately, reclaiming idle inference cycles is difficult as other workloads can not execute on a ...

ACM2021

Corrections to “Experimental Details of a Steep-Slope Ferroelectric InGaAs Tunnel-FET With High-Quality PZT and Modeling Insights in the Transient Polarization”

Mihai Adrian Ionescu, Igor Stolichnov, Ali Saeidi, Hiroshi Iwai

This correspondence highlights that the Gibbs free energy description of a ferroelectric capacitor in series with a paraelectric capacitor, depends on the initial charge on the plates of the ferroelectric capacitor. An incomplete Gibbs free energy descript ...

2020

Towards comprehensive and consistent kinetic models of metabolism under uncertainty

Tuure Eelis Hameri

Metabolism is the sum of the chemical interactions occurring inside a cell that process nutrients into cellular constituents and energy. Research in the recent decades has enabled the characterization of metabolic reaction networks for multiple organisms. ...

EPFL2019

Towards subjective quality assessment of point cloud imaging in augmented reality

Touradj Ebrahimi, Evgeniy Upenik, Evangelos Alexiou

Recently, there has been an increased interest in capture, processing and rendering of visual content in form of point clouds. Among other challenges, subjective and objective quality evaluation of point clouds are still open problems. Most proposed subjec ...

2017

The relativistic foundations of synchrotron radiation

Giorgio Margaritondo

Special relativity (SR) determines the properties of synchrotron radiation, but the corresponding mechanisms are frequently misunderstood. Time dilation is often invoked among the causes, whereas its role would violate the principles of SR. Here it is show ...

International Union of Crystallography (IUCr)2017

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

Granulation and bistability in non-Brownian suspensions

Matthieu Wyart

In granulation, a dense colloidal suspension is converted into pasty lumps by application of flow. Often, such lumps are bistable: each can exist either as a fluid droplet (with a shiny surface) or as a jammed granule, whose rough surface creates a bulk st ...

Springer Verlag2014

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