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 ...
2023On 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 ...
2022Some Proofs of Conditional and Joint Biases in RC4 Stream Cipher
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 ...
2018Theoretical Understanding of Some Conditional and Joint Biases in RC4 Stream Cipher
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 ENG2018Effect 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 Ltd2018The surprising implications of familial association in disease risk
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 ...
2018Semiparametric Bayesian Risk Estimation for Complex Extremes
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 ...
EPFL2018Disabling conditional inferences: An EEG study
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 Ltd2014Bivariate 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