نتایج جستجو برای: logical errors
تعداد نتایج: 192629 فیلتر نتایج به سال:
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید