Publications associées à Implication (logique)

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

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

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

2023

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

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

Asymptotic Inference For Partially Observed Branching Processes

Victor Panaretos, Andrea Kraus

We consider the problem of estimation in a partially observed discrete-time Galton-Watson branching process, focusing on the first two moments of the offspring distribution. Our study is motivated by modelling the counts of new cases at the onset of a stoc ...

Applied Probability Trust2011

An analysis of the implicit choice set generation using the Constrained Multinomial Logit model

Michel Bierlaire, Gunnar Flötteröd, Ricardo Daniel Hurtubia González

Discrete choice models are defined conditional to the analyst's knowledge of the actual choice set. The common practice for many years has been to assume that individual-based choice sets can be deterministically generated on the basis of the choice contex ...

National Academy of Sciences2010