Queries that are contradictory, i.e. always return the empty set, are quite often written in exams of database courses. Although such queries are obviously not intended, they are executed in current database management systems (e.g., Oracle) without any warning. Of course, questions like the satisfiability are in general undecidable, but we give a quite simple algorithm that can handle a surpri...

Research and industrial experience reveal that code reviews as a part of software inspection might be the most cost-effective technique a team can use to reduce defects. Tools that automate code inspection mostly focus on the detection of a priori known defect patterns and security vulnerabilities. Automated detection of logical errors, due to a faulty implementation of applications’ functional...

the logical treatise al-muhja has been attributed to avicenna in some bibliographies of logical treatises. since a proper understanding of the development of avicennian logic rests on the identification and consideration of the entire corpus of his logical works, the task of the present study is to investigate the validity of ascription of this treatise to avicenna. in carrying out an analysis ...

Analysis of quantum error correcting codes is typically done using a stochastic, Pauli channel error model for describing the noise on physical qubits. However, it was recently found that coherent errors (systematic rotations) on physical data qubits result in both physical and logical error rates that differ significantly from those predicted by a Paulimodel. Herewe examine the accuracy of the...

As children learn their mother tongues, they make systematic errors. For example, Englishspeaking children regularly say mouses rather than mice. Because children’s errors are not explicitly corrected, it has been argued that children could never learn to make the transition to adult language based on the evidence available to them, and thus that learning even simple aspects of grammar is logic...