نتایج جستجو برای: logical errors

تعداد نتایج: 192629  

2003
Robert A. Herrmann Robert A Herrmann

In part 1 of this paper, newly identified logical errors in the derivations that yield Einstein’s Special and General Theories of Relativity are discussed. These errors are much more significant than those identified by Fock. The basic philosophy of science used as a foundation for these theories is identified. The philosophy of the privileged observer is detailed. Part 1 concludes with a brief...

2013
Artem Revenko

The classification of possible errors in object intents is given and some possibilities of exploring them are discussed. Two techniques for finding some types of errors in new object intents are introduced. After comparing the better technique is developed further in order to guarantee the absence of certain errors given enough information. Based on this technique an approach for debugging sour...

2007
Robert A. Herrmann

In part 1 of this paper, newly identified logical errors in the derivations that yield Einstein’s Special and General Theories of Relativity are discussed. These errors are much more significant than those identified by Fock. The basic philosophy of science used as a foundation for these theories is identified. The philosophy of the privileged observer is detailed. Part 1 concludes with a brief...

2017
Norbert M Linke Mauricio Gutierrez Kevin A Landsman Caroline Figgatt Shantanu Debnath Kenneth R Brown Christopher Monroe

Quantum computers will eventually reach a size at which quantum error correction becomes imperative. Quantum information can be protected from qubit imperfections and flawed control operations by encoding a single logical qubit in multiple physical qubits. This redundancy allows the extraction of error syndromes and the subsequent detection or correction of errors without destroying the logical...

Journal: :CoRR 2004
Hilary L. Emmett Lawrence I. Goldman

The primary focus of Monte Carlo simulation is to identify and quantify risk related to uncertainty and variability in spreadsheet model inputs. The stress of Monte Carlo simulation often reveals logical errors in the underlying spreadsheet that might be overlooked during day-to-day use or traditional “what if” testing. This secondary benefit of simulation requires a trained eye to recognize wa...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ادبیات و علوم انسانی دکتر علی شریعتی 1393

this study aimed at examining the effects of iranian efl learners’ anxiety, ambiguity tolerance, and gender on their preferences for corrective feedback (cf, henceforth). the effects were sought with regard to the necessity, frequency, and timing of cf, types of errors that need to be treated, types of cf, and choice of correctors. seventy-five iranian efl students, twenty-eight males and forty...

1992
Walker Anderson

Digital’s NVAX high-performance microprocessor has a complex logical design. A rigorous simulationbased verification effort was undertaken to ensure that there were no logical errors. At the core of the effort were implementation-oriented, directed, pseudorandom exercisers. These exercisers were supplemented with implementation-specific focused tests and existing VAX architectural tests. Only 1...

2004
Jung Sub Kim Chrysostomos Nicopoulos N. Vijaykrishnan Yuan Xie

Single Event Upsets (SEU) arising from atmospheric neutrons and alpha particles are becoming increasingly important in combinational logic circuits. Combinational logic is resilient to soft errors due to three masking phenomena: (1) Logical Masking, (2) Electrical Masking, and (3) Latching-window Masking. This paper concentrates on logical masking, and proposes a probabilistic model which calcu...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه - دانشکده ادبیات و علوم انسانی 1390

the present study was concerned with exploring the frequency and linguistic focus of corrective feedback types given by novice and experienced female teachers working with young learners and compared it with those of elementary classes for adults. moreover, it aimed at measuring learners’ acknowledgement of teachers’ corrective feedback in the form of uptake in relation to linguistic coverage o...

2000
ALESSANDRA RUSSO

In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications. We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities. We then focus on two applications of abduction in software engineering, namely, analysis and revision...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید