OBJECTIVES To investigate errors identified in SNOMED CT by human reviewers with help from the Abstraction Network methodology and examine why they had escaped detection by the Description Logic (DL) classifier. Case study; Two examples of errors are presented in detail (one missing IS-A relation and one duplicate concept). After correction, SNOMED CT is reclassified to ensure that no new incon...

A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program is free of the classes of errors under consideration. Finding errors in the program is then done by mechanically searching for counterexamples to the verification condition. This paper gives an overview of the techno...

Model-based software debugging helps users to find program errors and thus to reduce the overall costs for software development. In this paper, we extend our previous work to diagnose common data structure errors. The proposed logical program model derives from a collection of indexed object relations, which capture the underlying data structures at the abstraction level of objects. A case stud...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...

Problem statement: Developing software using graphical interfaces has grown rapidly in recent years. Products developed by, using GUI have to be tested for the reliability and quality of the software. The objective of software testing is to reveal all the errors in the desired software with minimum cost. GUI application comprises of several controls for user interaction and each control has sev...

Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies in size depending on the choice of the specific input. While errors in one input may have a dramatic effect on the output error rate, a comparable or even higher error rate in another input may have a negligible effect. ...

We present a new hardware-efficient paradigm for universal quantum computation which is based on encoding, protecting and manipulating quantum information in a quantum harmonic oscillator. This proposal exploits multiphoton driven dissipative processes to encode quantum information in logical bases composed of Schrödinger cat states. More precisely, we consider two schemes. In a first scheme, a...

This paper presents a gate sizing method which formulates minimum active area solutions under delay constraints. It is based on the logical effort delay model. Such minimization of transistor widths has direct impact on the power consumption and circuit area reduction. The explicit formulation of the method takes into account the maximum input capacitance, the output load to be driven, and the ...

Human reasoning has been characterized as often biased, heuristic, and illogical. In this article, I consider recent findings establishing that, despite the widespread bias and logical errors, people at least implicitly detect that their heuristic response conflicts with traditional normative considerations. I propose that this conflict sensitivity calls for the postulation of logical and proba...