Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Material conditional

Related publications (16)

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, Dragana Milovancevic, 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 ...

2023

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

Pierre Vogel, Florence Pojer, Somi Reddy Majjigapu, Aline Emma Christine Reynaud

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

Structural Changes in Industrial R&D in Europe and the US

Dominique Foray

We analyse the structural changes that have characterised the organisation of industrial R&D over the last 25 years. Taking Mowery's work (Industrial and Corporate Change, 2009, 18(1), 1-50) on the US as a starting point, we reconsider the different aspect ...

Beech Tree Publishing, Oxford2010

Effects of temporal integration masking on the shape of visual backward functions

Gregory Francis

Many studies of cognition and perception use a visual mask to explore the dynamics of information processing of a target. Especially important in these applications is the time between the target and mask stimuli. A plot of some measure of target visibilit ...

2008

Evolving Objects in Temporal Information Systems

Stefano Spaccapietra, Christine Parent

This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modelling language able to express both timestamping and evolution constraints. We conduct a deeper investigation of evolutio ...

2007

Determining Significant Connectivity by 4D Spatiotemporal Wavelet Packet Resampling of Functional Neuroimaging Data

Dimitri Nestor Alice Van De Ville

An active area of neuroimaging research involves examining functional relationships between spatially remote brain regions. When determining whether two brain regions exhibit significant correlation due to true functional connectivity, one must account for ...

Elsevier2006

Conditionally least-informative distributions: The case of the location parameter

Stephan Morgenthaler

We extend a basic result of Huber's on least favorable distributions to the setting of conditional inference, using an approach based on the notion of log-Gâteaux differentiation and perturbed models. Whereas Huber considered intervals of fixed width for l ...

2005

Conditionally optimal weights of evidence

Stephan Morgenthaler, Robert Staudte

A weight of evidence is a calibrated statistic whose values in [0, 1] indicate the degree of agreement between the data and either of two hypothesis, one being treated as the null (H 0) and the other as the alternative (H 1). A value of zero means perfect ...

Springer-Verlag2005