نتایج جستجو برای: by introducing two counterexamples
تعداد نتایج: 8032901 فیلتر نتایج به سال:
We exhibit several counterexamples showing that the famous Serrin’s symmetry result for semilinear elliptic overdetermined problems may not hold for partially overdetermined problems, that is when both Dirichlet and Neumann boundary conditions are prescribed only on part of the boundary. Our counterexamples enlighten subsequent positive symmetry results obtained by the first two authors for suc...
the present dissertation aims to investigate four-word lexical bundles in applied linguistics research articles by iranian and internationally-published writers. the aims of this study are two-fold: first of all, attempts have been made to create a comprehensive list of the most commonly used four-word lexical bundles categorized by their type and token frequency, their structural characteristi...
one very decisive factor in students’ academic destiny is the result they get at final term examinations. because of its importance, both students and teachers are curiously anxious about them. as normally it is the case, these final term tests are prepared hurriedly in short time by teachers which result in students’ dissatisfaction, complaining on how the test was different from their expecta...
Two counterexamples, addressing questions raised in Adamczak (2019) and Poly Zheng (2019), are provided. Both counterexamples related to chaoses. Let F n = Y + Z , where the random variables belong different chaoses of uniformly bounded degree. It may be that ? a . s 0 L 2 ? E { sup | } < ? for some > yet fails converge a.s.
this study investigates the effect of teacher’s repetition as an input enhancement technique in explicit teaching of vocabulary items on efl learners’ later retrieval. to this end, 66 persian speaking english learners, aged 18 - 29, homogenized through a standard proficiency test (opt), were chosen and put into two experimental and control groups, each 33 learners. general service list (gsl), a...
in this paper, the notion of maximal m-open set is introduced and itsproperties are investigated. some results about existence of maximal m-open setsare given. moreover, the relations between maximal m-open sets in an m-spaceand maximal open sets in the corresponding generated topology are considered.our results are supported by examples and counterexamples.
This paper introduces a novel counterexample generation approach for the verification of discrete-time Markov chains (DTMCs) with two main advantages: (1) We generate abstract counterexamples which can be refined in a hierarchical manner. (2) We aim at minimizing the number of states involved in the counterexamples, and compute a critical subsystem of the DTMC whose paths form a counterexample....
We present several proofs of the 3x + 1 Conjecture, which asserts that repeated iterations of the function C(x) = (3x + 1)/(2a) always terminate in 1 Here x is an odd, positive integer, and a is the largest positive integer such that the denominator divides the numerator. Our first proofs are based on a structure called “tuple-sets” that represents the 3x + 1 function in the “forward” (as oppos...
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties related to digital systems. We exploit counterexamples generated by the Digital-System Verifier (DSVerifier), which is a model checking tool based on satisfiability modulo theories for digital systems. DSValidator reprodu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید