Results 101 to 110 of about 14,100 (298)
Towards a Theory of Inquiry Dialogue Questions
Educational Theory, EarlyView.Abstract The success of an inquiry dialogue depends on the quality of its central question. Yet, evaluating inquiry dialogue questions is harder than it appears. One approach is to maintain that inquiry dialogue questions are philosophical questions, but there is no successful method of identifying all and only philosophical questions. Another approach
Aaron Yarmel
wiley +1 more source
Faster Multistep Iterations for the Approximation of Fixed Points Applied to Zamfirescu Operators
Abstract and Applied Analysis, 2013 By taking a counterexample, we prove that the multistep iteration process is faster than the Mann and Ishikawa iteration processes for Zamfirescu operators.
Shin Min Kang +4 more
doaj +1 more source
A Counterexample in Tense Logic
Notre Dame Journal of Formal Logic, 1996 The paper presents an (infinitely axiomatizable) normal modal logic containing K4 which has the finite model property and the minimal tense extension of which is Kripke incomplete.
openaire +3 more sources
Counterexample Generation for Incomplete Designs
, 2008 Counterexample generation is a crucial task for error diagnosis and debugging of sequential circuits. The simpler a counterexample is – i.e. more general and fewer assigned input values – the better it can be understood by humans. We will use the concept
Christoph Scholl
core
Counterexample Generation for Infinite-State Chemical Reaction Networks [PDF]
, 2022 Counterexample generation is an indispensable part of model checking process. In stochastic model checking, counterexample generation is a challenging problem as it is not enough to find a single trace that violates the given property.
Ahmadi, Mohammad +4 more
core
The Economic History Review, EarlyView.Abstract During the global economic crisis of 1929–33, deposits in the Dutch commercial banking sector sharply declined as funds shifted to the government‐guaranteed Post Office Savings Bank and other savings institutions. Unlike earlier studies for neighbouring countries, we demonstrate that this shift was driven less by a flight to safety and more by
Ruben Peeters +1 more
wiley +1 more source
New Counterexamples to Sequential Composition Adaptive Insecurity
IEEE AccessAt CRYPTO 2005, Pietrzak demonstrated an intriguing result: the sequential composition of two non-adaptively secure pseudorandom functions does not necessarily imply adaptive security, assuming the decisional Diffie-Hellman (DDH) assumption holds.
Liqing Yu
doaj +1 more source
Comment on “Perturbation Analysis of the Nonlinear Matrix Equation ”
Abstract and Applied Analysis, 2013 We show that the perturbation estimate for the matrix equation due to J. Li, is wrong. Our discussion is supported by a counterexample.
Maher Berzig, Erdal Karapınar
doaj +1 more source
Collingwood's Everyday Aesthetics
European Journal of Philosophy, EarlyView.Abstract Any adequate account of aesthetic experience must be able to accommodate the pervasiveness of aesthetic experiences in everyday life. While writers on everyday aesthetics have frequently taken inspiration from John Dewey's Art as Experience, my aim in this article is to show that there is another work in the history of the discipline that ...
Mark Windsor
wiley +1 more source
Counterexample-Guided Commutativity
We consider the use of commutativity-based reduction for the algorithmic verification of concurrent programs. In existing work, the commutativity relation used for the reduction is mostly fixed statically.
Ebbinghaus, Marcel +2 more
core +1 more source