In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than a web-based testing system. This represents a new approach to web-based instruction. Specifically, the purpose of the Verity software tool is twofold: first, to assist the students in their study by providing supportin...

Primal infon logic was proposed by Gurevich and Neeman as an efficient yet expressive logic for policy and trust management. It is a propositional multimodal subintuitionistic logic decidable in linear time. However in that logic the principle of the replacement of equivalents fails. For example, (x ∧ y) → z does not entail (y ∧ x) → z, and similarly w → ((x ∧ y) ∧ z) does not entail w → (x ∧ (...

PURPOSE To investigate the use of conjunctions in the spontaneous speech of three years old children with typical language development, who live in Santa Maria - RS. METHODS 45 children, aged 3:0;0 - 3:11;29 (years:months;days) from the database of the Center for the Study of Language and Speech (CELF) participated of this study. The spontaneous speech of each child was transcribed and follow...

the dynamism of the verity proposition has led to its being used in various issues and sciences as the founder for the general and constant principles. the principles of jurisprudence, as a science that is the founder for general rules to arrive at legal rulings, utilizes this proposition in many subdivisions of uṣūl (principles) as well as in resolving problems. in fact, if we do not take the ...

In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symboli...

In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symboli...

Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory in terms of bicategories internal to Bicat. We show that in a special case one can reduce this to what we call a Verity double bicategory, after Domenic Verity. This is a weakened version of a double category, in the sense that ...

This paper aims to introduce the process used to create a “Parallel Learners’ Corpus of Spanish and English” (CPATEI) by integrating the theories and techniques of Corpus Linguistics, and to investigate the conjunctions used by the Spanish learners in Taiwan. The collected data in CPATEI are contributed by learners of Spanish from two universities in Taiwan, including Spanish compositions and t...