Analytical potentials for triatomic molecules VIII. A two valued surface for the lowest 1A¢ surfaces of H2O

Ab initio calculations of the energy have been made at approximately 150 points on the two lowest singlet A' potential energy surfaces of the water molecule, 1A' and 1A', covering structures having D∞h, C∞v, C2v and Cs symmetries. The object was to obtain an ab initio surface of uniform accuracy over the whole three-dimensional coordinate space. Molecular orbitals were constructed from a double zeta plus Rydberg basis, and correlation was introduced by single and double excitations from multiconfiguration states which gave the correct dissociation behaviour. A two-valued analytical potential function has been constructed to fit these ab initio energy calculations. The adiabatic energies are given in our analytical function as the eigenvalues of a 2 2 matrix, whose diagonal elements define two diabatic surfaces. The off-diagonal element goes to zero for those configurations corresponding to surface intersections, so that our adiabatic surface exhibits the correct Σ/II conical intersections for linear configurations, and singlet/triplet intersections of the O + H2 dissociation fragments. The agreement between our analytical surface and experiment has been improved by using empirical diatomic potential curves in place of those derived from ab initio calculations.

Military competition and the emergence of nationalism: putting the logic of political survival into historical context

This essay aims to make a contribution to the conversation between IR and nationalism literatures by considering a particular question: What is the relationship between interstate military competition and the emergence of nationalism as a potent force in world politics? The conventional wisdom among international security scholars, especially neorealists, holds that nationalism can be more or less treated like a “technology” that allowed states to extract significant resources as well as manpower from their respective populations. This paper underlines some of the problems involved with this perspective and pushes forward an interpretation that is based on the logic of political survival. I argue that nationalism’s emergence as a powerful force in world politics followed from the “mutation” and absorption of the universalistic/cosmopolitan republican ideas that gained temporary primacy in Europe during the eighteenth century into particularistic nationalist ideologies. This transformation, in turn, can be best explained by the French Revolution’s dramatic impacts on rulers’ political survival calculi vis-à-vis both interstate and domestic political challenges. The analysis offered in this essay contributes to our understanding of the relationship between IR and nationalism while also highlighting the potential value of the political survival framework for exploring macrohistorical puzzles.

Incorporating semiotics into fuzzy logic to enhance Clinical Decision Support Systems

In order to enhance the quality of care, healthcare organisations are increasingly resorting to clinical decision support systems (CDSSs), which provide physicians with appropriate health care decisions or recommendations. However, how to explicitly represent the diverse vague medical knowledge and effectively reason in the decision-making process are still problems we are confronted. In this paper, we incorporate semiotics into fuzzy logic to enhance CDSSs with the aim of providing both the abilities of describing medical domain concepts contextually and reasoning with vague knowledge. A semiotically inspired fuzzy CDSSs framework is presented, based on which the vague knowledge representation and reasoning process are demonstrated.

The logic of ideas in Christopher Hill's English revolution

This article examines the role played by ideas and their thinkers in Christopher Hill's histories of the English Revolution. Hill protested against a reductionist economic determinism with no place for the intrinsic power of ideas, but his account of ideas gave them a progressive logic parallel to, if not always easy to link with, that of economic development, and threatened to divorce them from their muddled and imperfect thinkers. This account of the logic of ideas had a striking impact on the way in which the more mainstream radicals of the English Revolution appeared in Hill's work, with both the Levellers and James Harrington being half assimilated to, and half pushed aside in favor of, the more thoroughgoing economic radicals who expressed, in however ragged a way, the intrinsic potential of their ideas. However, Hill's writings also betray a surprising attraction to religious over secular forms of radicalism.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

A fuzzy logic system applied in lightning models

This paper describes a novel approach for mapping lightning processes using fuzzy logic. The estimation process is carried out using a fuzzy system based on Sugeno's architecture. Simulation results confirm that proposed approach can be efficiently used in these types of problem.

Necessary conditions of optimality for vector-valued impulsive control problems

A vector-valued impulsive control problem is considered whose dynamics, defined by a differential inclusion, are such that the vector fields associated with the singular term do not satisfy the so-called Frobenius condition. A concept of robust solution based on a new reparametrization procedure is adopted in order to derive necessary conditions of optimality. These conditions are obtained by taking a limit of those for an appropriate sequence of auxiliary standard optimal control problems approximating the original one. An example to illustrate the nature of the new optimality conditions is provided. © 2000 Elsevier Science B.V. All rights reserved.

Estimating outcomes in newborn infants using fuzzy logic

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

INTEGRAL FUNCTIONALS ON C*-ALGEBRA OF VECTOR-VALUED REGULATED FUNCTIONS

In this paper we deal with the notion of regulated functions with values in a C*-algebra A and present examples using a special bi-dimensional C*-algebra of triangular matrices. We consider the Dushnik integral for these functions and shows that a convenient choice of the integrator function produces an integral homomorphism on the C*-algebra of all regulated functions ([a, b], A). Finally we construct a family of linear integral functionals on this C*-algebra.

ARBOT: augmented reality system for teaching logic algorithmic

This article purposes the ARBot, a system that has as main objective the presentation of concepts of logic for students of elementary and secondary education. The system was developed using the technology known as Augmented Reality (AR), which allows complement the actual environment where the user is, by adding virtual objects. In this scenario the RA created from a virtual game interface is used, through which cognitive challenges are presented. To solve these challenges, users must set up three-dimensional virtual characters using visual language. As a result it follows that, in a playful way, concepts of algorithms and programming are assimilated by users. In addition, the system enables two users to interact in a cooperative game mode. In cooperative mode, the system focuses on collaborative learning, since it allows users to jointly solve the cognitive challenge presented by the system.

Fuzzy logic to evaluate vitality of Catasetum fimbiratum species (Orchidacea)

The fuzzy logic accepts infinite intermediate logical values between false and true. In view of this principle, a system based on fuzzy rules was established to provide the best management of Catasetum fimbriatum. For the input of the developed fuzzy system, temperature and shade variables were used, and for the output, the orchid vitality. The system may help orchid experts and amateurs to manage this species. ?Low? (L), ?Medium? (M) and ?High? (H) were used as linguistic variables. The objective of the study was to develop a system based on fuzzy rules to improve management of the Catasetum fimbriatum species, as its production presents some difficulties, and it offers high added value

Prediction of retail beef yield, trim fat and proportion of high-valued cuts in Nellore cattle using ultrasound live measurements

The objective of this study was to develop equations to predict retail product and fat trim (weights and percentages) for Nellore (Bos indicus) cattle. Live ultrasound measurements of the longissimus muscle area, backfat thickness at the 12th rib and rump fat depth and shrunk body weight were obtained from 218 Nellore steers to predict weights and percentages of carcass retail product, pistola retail product and fat trimmings. After slaughter, carcasses were deboned and weighed and percentages of retail cuts were obtained directly. Measurements taken directly in the carcasses explained 97% and 36% of variation in carcass retail product weight and percentage, and 94% and 36% of variation in pistola retail weight and percentage, respectively. Live measurements explained 93% of carcass retail product weight and 39% of carcass retail product percentage. Lower accuracies were observed for pistola retail product weight (R-2=0.87) and percentage (R-2=0.33). Accuracies for fat trimmings weight and percentage were 79% and 55%, respectively. Ultrasound rump fat thickness showed greater correlations with retail product and fat trimmings (weights and percentages) when compared with ultrasound backfat thickness. The weight and percentage of retail products and of trimmable fat can be estimated in Nellore steers from live animal measurements, with similar accuracy to equations developed based on carcass measurements obtained at slaughter.

Link prediction using a probabilistic description logic

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.