We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols actually occurring in the rules of the system. Or equivalently, termination of a term rewrite system is preserved under signature extensions. We did not directly formalize the existing proofs for this well-known result, but de...

A learning program produces, as its output, a boolean function which describes a concept. The function returns true if and only if the argument is an object which satisfies the logical expression in the body of the function. The learning program's input is a set of objects which are instances of the concept to be learnt. A compiler/interpreter has been written which performs the reverse of the ...

It is important to note that in most cases, software correctness verification, as described by Richard Linger is informed by correctness questions where mathematical verification follows (if necessary). A popular approach in software correctness verification is the translation of a specific program as well as its criteria of correctness into a mathematical logical formula and in this regard all...

Hiroshi Sakaki Meisei University 2-590 Nagabuchi Ohme-shi Tokyo 198-8655 Japan [email protected] Summary This paper aims to construct concentrated modification structure from logical formula. First the matrix expression is extracted from the logical formula. Then, the matrix is transformed into geometrical structure called dependency structure equivalent to the former. Finally modificati...

  Background: Nano-biotechnology is considered as one of the mainly vigorous field of research in new material science. Recently, biosynthetic methods employing both biological microorganisms such as bacteria and fungus or plants extract have developed speedily as a trouble-free and feasible choice to obtain nanomaterials...

background the purpose of this study was to investigate the relationship between personality traits and coping style among university students. material and methods the sample consisted of 239 female university students that were selected by multistep sampling; it lasted from jul. to oct. 2011. they reply to 2 scales: 1) neo personality traits questionnaire and 2) ciss coping style scale. data ...

The problems of digital transformation as the main trend in development education and it’s connection with educational ecosystem are discussed. role teacher university digitalization society is noted. place employee an element social component indicated. approaches to design image a characterized: from point view components environment, students’ perceptions partner interactions peculiarities b...

We examined several aspects of attachment in marriage, including the association among attachment style, mental models of the spouse, satisfaction, affect regulation within the marriage, the stability of attachment style, and its operationalization. Fifty-three married couples completed initial assessments, and 44 particip in a 24-month follow-up. Attachment style was related to positive and ne...