نتایج جستجو برای: writing frames
تعداد نتایج: 116084 فیلتر نتایج به سال:
The dynamic frames approach has proven to be a powerful formalism for modular specification and verification of object-oriented programs. However, the approach requires writing and checking frame annotations. In this paper, we propose a variant of the dynamic frames approach that eliminates the need to explicitly write and check frame annotations. Reminiscent of separation logic’s frame rule, p...
WHAT IS HYPERTEXT? As Franklin puts it, "defining hypertext is much like describing beauty: part of it is inherent in the eye of the beholder" (1). Nevertheless, hypertext can be defined as "non-sequential reading and writing." Hypertext systems contain frames of text, pictures, sound, and animation that are organized non-linearly in a network of linked frames. From any frame, users can access ...
let h be a separable hilbert space and let b be the set of bessel sequences in h. by using several interesting results in operator theory we study some topological properties of frames and riesz bases by constructing a banach space structure on b. the convergence of a sequence of elements in b is de_ned and we determine whether important properties of the sequence is preserved under the con...
The learning of writing is complex because it requires the development cognitive and linguistic abilities. Effective teaching demand guided practice. South African National Curriculum Statement Grades R–12 includes Assessment Policy (CAPS) for First Additional Language (FAL) learning. It introduces use question-prompt frames to learn in grade 4. In second part 5 year, process introduced as a fr...
finite normalized tight frames are interesting because they provide decompositionsin applications and some physical interpretations. in this article,we give a recursive method for constructing them.
We examine a certain modal consequence relation, and define the notion of validity of a modal sequent on a frame. We demonstrate that it is possible to define classes of frames. not definable by modal formulas, by modal sequents. Through the use of modal algebras and general frames, we obtain a characterization of modal sequent-definable classes of frames which are also first-order definable, a...
the ability of composing a coherent and extended piece of writing in second language is considered as a fundamental factor to convey information and ideas of learners through the academic issues. although learners may achieve a perfect academic writing skill through assigning the l2 tasks in content based instruction, but demonstration of their abilities may be related to their ability in l1 es...
introduction How genre is understood and configured in analyses of disciplinary texts and discourses is key to understanding the nature of student work in the disciplines. The question of genre is also intimately linked to what we know about expert texts in a discipline. These relationships have been studied for some time in France, first through traditional-formalist frames of text types and m...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید