I develop some of the theory of self-referential systems. I present the necessary semantic ideas, and combine this with work in proof theory, on the necessary properties of a proof predicate, to develop practical theories for reasoning about such systems. I propose to use this to exploit the idea of a reflection principle as a systematic way to extend such self-referential theories safely. I al...

in some quality control applications, the quality of a process or a product is described by the relationship between a response variable and one or more explanatory variables, called a profile. moreover, in most practical applications, the qualitative characteristic of a product/service is vague, uncertain and linguistic and cannot be precisely stated. the purpose of this paper is to propose a ...

Time-of-flight principle range cameras are becoming more and more available. They promise to make the 3D reconstruction of scenes easier, avoiding the practical issues resulting from 3D imaging techniques based on triangulation or disparity estimation. Their low resolution and frame rates as well as their low signal-to-noise ratio, however, kept many researchers from seriously considering this ...

Dualism is one way to put the traditional dualism of practical reason, i.e., that practical reason can never declare that there is greater overall reason to conform to moral, or prudential, requirements in a case of conflict between our own self-interest and our obligations to others.1 In this paper, I distinguish two methods by which one might accept Dualism. First, I discuss a substantive dua...

Little research has been conducted to date on the role of primary health care (PHC) in the prevention of healthcare associated infections (HCAIs). The present article is a theoretical study of the principle of primum non nocere and aims to promote reflection on the role of PHC in HCAI prevention with emphasis on practical recommendations. The indirect and direct roles of PHC in HCAI prevention ...

This manuscript concerns the methodology of evaluating one particular aspect of TCS (theoretical computer science) papers in general, and AGT (algorithmic game theory papers) in particular. This aspect refers to the potential practical applications of these papers. There are multiple other aspects that contribute to the evaluation of papers, such as their mathematical content, aesthetic appeal,...

Previous research on attitude accessibility has found that accessible attitudes influence both visual and cognitive attention. Smith, Fazio, and Cejka (1996), for instance, found that categories towards which we have accessible attitudes are more likely to be brought to mind when assessing a related object. Research in our lab (Young & Fazio, in prep) has found evidence that not only are catego...

This paper presents an application of the Minimum Description-Length (MDL) principle of inductive learning to the surface reconstruction problem of computer vision. The application demonstrates that the M D L principle can be applied to practical problems while preserving its convergence properties. It also illustrates how at least one aspect of computer vision (i.e., surface reconstruction) ca...