Concept

Implication (logique)

Publications associées (35)

Geometrically-Conditioned Point Diffusion Models

Pascal Fua, Eduard Trulls Fortuny, Michal Jan Tyszkiewicz

Diffusion models generating images conditionally on text, such as Dall-E 2 [51] and Stable Diffusion[53], have recently made a splash far beyond the computer vision com- munity. Here, we tackle the related problem of generating point clouds, both unconditi ...

2023

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2022

Inhibition Mechanisms of Indoleamine 2,3-Dioxygenase 1 (IDO1)

Pierre Vogel, Florence Pojer, Somi Reddy Majjigapu

Indoleamine 2,3-dioxygenase 1 (IDO1) catalyzes the rate-limiting step in the kynurenine pathway of tryptophan metabolism, which is involved in immunity, neuronal function, and aging. Its implication in pathologies such as cancer and neurodegenerative disea ...

AMER CHEMICAL SOC2019

Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifi- cations and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 ...

2018

Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher

Subhadeep Banik

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifications and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 in ...

IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG2018

Effect of Column Base Flexibility on Earthquake-Induced Residual Deformations of Steel Columns

Dimitrios Lignos, Hiroyuki Inamasu

Post-earthquake residual deformations often control decisions regarding potential demolition of earthquake-damaged buildings. While residual deformations are typically assumed to be lateral, the column residual axial shortening has similar implications for ...

Trans Tech Publications Ltd2018

The surprising implications of familial association in disease risk

Mats Julius Stensrud

A wide range of diseases show some degree of clustering in families; family history is therefore an important aspect for clinicians when making risk predictions. Familial aggregation is often quantified in terms of a familial relative risk (FRR), and altho ...

2018

Semiparametric Bayesian Risk Estimation for Complex Extremes

Thomas Lugrin

Extreme events are responsible for huge material damage and are costly in terms of their human and economic impacts. They strike all facets of modern society, such as physical infrastructure and insurance companies through environmental hazards, banking an ...

EPFL2018

Disabling conditional inferences: An EEG study

Mariia Kaliuzhna

Although the Modus Ponens inference is one of the most basic logical rules, decades of conditional reasoning research show that it is often rejected when people consider stored background knowledge about potential disabling conditions. In the present study ...

Pergamon-Elsevier Science Ltd2014

Bivariate Extreme Statistics, Ii

We review the current state of statistical modeling of asymptotically independent data. Our discussion includes necessary and sufficient conditions for asymptotic independence, results on the asymptotic independence of statistics of interest, estimation an ...

2012

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