Experimental studies have pointed out that operational spreadsheets contain a lot of errors In this paper we propose to use a multidimensional rule based data manipulation language to specify spreadsheets This language allows formal declarative de nition of spreadsheet tabular data treatments The main contribution of this paper is to show that from textual rule based speci cations we can genera...

In this survey we investigate frameworks for systematic detection of errors in parallel programs. For sequential programs there are two basic classifications of errors. One is related to the total quality assurance in the software life cycle development. Another concentrates on logical properties of software defects. We systematically review existing terminology in order to characterize the rel...

This paper proposes a visualization tool for analyzing the behavior of metaheuristic algorithms. It works by reproducing graphically the solutions generated in execution time. The tool was evaluated analyzing the Hybrid Grouping Genetic Algorithm for Bin Packing (HGGA_BP). It was used to solve a benchmark with 17 instances of the one dimensional Bin Packing problem (1D-BPP). The use of the visu...

This paper presents an approach that uses metaqueries to integrate inductive learning with deductive database technology in the context of knowledge discovery from databases. Metaqueries are second-order predicates or templates, and are used for (1) Guiding deductive data collection, (2) Focusing attention for inductive learning, and (3) Assisting human analysts the discovery loop. We describe ...

The quantum paradigm presents a phenomenon known as degeneracy that can potentially improve the performance of error correcting codes. However, effects this mechanism are sometimes ignored when evaluating sparse codes and logical rate is not always correctly reported. In paper, we discuss previously existing methods to compute present an efficient coset-based method inspired by classical coding...

Current hardware for quantum computing suffers from high levels of noise, and so to achieve practical fault-tolerant will require powerful efficient methods correct errors in circuits. Here, we explore the role effectiveness using noise tailoring techniques improve performance error correcting codes. Noise such as randomized compiling (RC) convert complex coherent processes effective stochastic...

Single Event Effects are errors in electronic circuits caused by cosmic particles present in the natural environment. The result of a particle strike may corrupt the logical state at a target node or cause erroneous glitches. In most instances, the errors are random and non-destructive. The severity of these errors, however, cannot be discounted as exemplified by commercial instances [21, 22]. ...

In this study, we looked at the contributions of individual differences in susceptibility to interference and working memory to logical reasoning with premises that were empirically false (i.e., not necessarily true). A total of 97 university students were given a sentence completion task for which a subset of stimuli was designed to generate inappropriate semantic activation that interfered wi...

Contemporary theories of clinical reasoning espouse a dual processing model, which consists of a rapid, intuitive component (Type 1) and a slower, logical and analytical component (Type 2). Although the general consensus is that this dual processing model is a valid representation of clinical reasoning, the causes of diagnostic errors remain unclear. Cognitive theories about human memory propos...

Active quantum error correction is a central ingredient to achieve robust processors. In this paper we investigate the potential of machine learning for in memory. Specifically, demonstrate how neural networks, form autoencoders, can be trained learn optimal strategies active detection and errors, including spatially correlated computational errors as well qubit losses. We highlight that denois...