Background: In vaccination studies with complex sample survey data, non-parametric survival functions may be useful. Recent publications have proposed several methods for evaluating the adjusted survival functions in non-population-based studies. However, alternative methods for calculating adjusted survival functions for complex sample survey data have not been described. Objectives: 1) Propos...

Ten years ago, de Kleer introduced assumption-based truth maintenance systems (ATMS) as a powerful tool for different applications in the domain of uncertain reasoning (de Kleer, 1986). A traditional ATMS is based on propositional logic, but it is limited to Horn clauses and to simple queries. An ATMS requires that there is a subset of propositions declared as assumptions. Assumptions are neede...

Color devices are not colorimetric. It follows then that some color correction must be done to map device RGBs to XYZ’s. One common correction method involves finding the linear transform which takes device spectral sensitivities as close to the XYZ color matching curves as possible (in the least-squares sense). Thereafter, this transform is used to map device RGBs to XYZs. It is well known tha...

My work focuses on using argumentation theory to model common-sense reasoning with preferences. To this end, I have equipped a well-established structured argumentation formalism, Assumption-Based Argumentation, with a preference handling mechanism. I aim to advance the newly proposed formalism, called ABA, present its motivations and place among other argumentation formalisms, and discuss vari...

Starting with the work of Ishai-Sahai-Wagner and Micali-Reyzin, a new goal has been set within the theory of cryptography community, to design cryptographic primitives that are secure against large classes of side-channel attacks. Recently, many works have focused on designing various cryptographic primitives that are robust (retain security) even when the secret key is “leaky”, under various i...

This paper proposes assumption-based systems as an efficient and convenient way to encode uncertain information. Assumptionbased systems are obtained from propositional logic by including a special type of propositional symbol called assumption. Assumptions are needed to express the uncertainty of the given information. Assumptionbased systems can be used to judge hypotheses qualitatively or qu...

A popular technique for getting to a goal location in unknown terrain is planning with the freespace assumption. The robot assumes that the terrain is clear unless it knows otherwise. It always plans a shortest path to the goal location and re-plans whenever it detects an obstacle that blocks its path or, more generally, when it detects that its current path is no longer optimal. It has been un...