Formal reasoning

For formal reasons I hesitate, however, to write a hydrogen bond between H2N and the hydrogen atom of the carboxylic group in 12.159. 

Tobin, K. G., Capie, W. (1982). Relationships between formal reasoning ability, loeus of eon-trol, academic engagement, and integrated process skill development. Journal of Research in... 

The ontology that underlies the information extraction and annotation process is solely based on taxonomic relationships. We intend to enrich our ontology with typed relationships. We are currently evaluating how typed relationships can extend the functionality of the UltraLink and how the expressivity for our ontology impacts the computational complexity of formal reasoning [9]. 

The KSP and, therefore, also the UltraLink are deployed within Novartis and are in daily use. We intend to further extend the abilities of the Ultra-Link. To achieve this objective we will concentrate our activities on text mining, ontological engineering, formal reasoning, enhancement of metaknowledge, and, finally, machine learning approaches. 

Ugi, I., Wochner, M., Fontain, E., Bauer, J., Gruber, B. and Karl, R. Chemical similarity, chemical distance and computer assisted formalized reasoning by analogy. In Concepts and Applications of Molecular Similarity, Eds Johnson, M.A., Maggiora, G.M., John Wiley Sons Inc, New York, 1990, pp. 239-288. 

The proofs to justify defining real pjt-pjt-double bonds within these compounds are found in the parameters of the chemical structure as well as in properties that show the evident affinity to the classical CC double bond, thus confirming the designation phosphaalkenes not only for formal reasons. Ocassionally the term alkyliden(methylene)phos-phanes is used for these types of compounds. 

Macromolecules are formed by polycondensation and polymerization. Both reactions have been and are precisely defined and differentiated. For formal reasons, the term polymerization is superior to polycondensation (both lead to the formation of polymers) and polycondensation is then designated by the compromise term condensation polymerization+. In my opinion, due to the differences in the mechanism and kinetics of polymerizations and polycondensations, a separate treatment of each of these polyreactions is justified. 

For formal reasons, each perturbation is written as a tensor product between containing the lattice variables, Aq which is built from spin operators ... 

The use of the quantitiesand r is based on physical rather than formal reasons, since these quantities are additive when several types of luminescent markers exist exhibiting luminescence in the same spectral range but characterized by different values of other parameters of PL (such as limiting polarization, times of rotational mobility and the duration of the afterglow). 

For the weak base, B, for formal reasons, it is favourably expressed for its conjugated cation acid ... 

In some points of the previous analysis we have used formulations based on the Hartree-Fock (HF) expression of the quantum problem, mainly for simplicity of exposition. As a matter of fact, there are no formal reasons to limit continuum solvent approach to the HF level. Actually, PCM solvation procedures have been extended to MCSCF (Aguilar et al., 1993b), Cl (Persico and Tomasi, 1984), MBPT (Olivares del Valle et al., 1991, 1993), CASSCF, MR-SDCI (Aguilar et al., 1993b), DFT (Fortunelli and Tomasi, 1994) levels of the quantum description. The other continuum solvation methods have, at least in principle, the same flexibility in the definition of the quantum theory level to be used in computations. 

The formal reason for modeling the honest users is that one cannot define runs of the system without them One needs some source for the user inputs. A more intuitive reason for modeling the honest users is that this is where the active attacks described in Section 2.5 come in One must decide to what extent the behaviour of honest users might be influenced by the attackers. 

Oxidative transformations of substituents may be found in Section 7.2.2.1.1.5.6. (oxidations of thioethers, aldehydes, alkenes, and methyl groups). Included for formal reasons are nitrosations (formation of azides and diazonium cations from hydrazines or amines) (Section 7.2.2.I.1.5.6.). 

The sets of spin eigenfunctions with common values of S and M may have their properties changed by suitable linear combinations amongst the set. For example, there are intuitive or formal reasons for choosing particular linear combinations we may require orthogonality or chemical familiarity for the members of such a set and there are various ways of systematically choosing linear transformations amongst the sets to achieve certain aims. ... 

There have been some debates among people using the COSMO approach [33, 34] there are no formal reasons asking for a constant factor equal for all tesserae anyway, the examination of simple models for which there are analytical solutions (point multipoles within a regular cavity) suggests a constant value of the type (e — l)/(e + 1 ) with k ranging from 0 to 2. In the present implementation we have selected k = 0 and then f = e — l)/e. 

---