We examine the existential fragment of a feature logic, which is extended by regular path expressions. A regular path expression is a subterm relation, where the allowed paths for the subterms are restricted to any given regular language. In the area of computational linguistics, this notion has been introduced as \functional uncertainty". We will prove that satissability is decidable by constr...

A general relation for the total angular momentum of a regular solution of the Einstein-Yang-Mills-Higgs equations is derived. Two different physical configurations, rotating dyons and rotating magnetic dipoles are discussed as particular cases. The issue of rotating pure Einstein-Yang-Mills regular solutions is addressed as well. Based on the results, we conjecture the absence of rotating regu...

E. R. van Dam gave an example of primitive non-amorphous association schemes in which every nontrivial relation is a strongly regular graph, as a fusion scheme of the cyclotomic scheme of class 45 on GF(212). The aim of this paper is to present a new example of primitive non-amorphous association schemes in which every nontrivial relation is a strongly regular graph, as a fusion scheme of the c...

In this paper we explore the relation between derivational morphology and synonymy in connection with an electronic dictionary, inspired by the work of Maurice Gross. The characteristics of this relation are illustrated by derivation in Serbian, which produces new lemmas with predictable meaning. We call this regular derivation. We then demonstrate how this kind of derivation is handled in text...

In this paper we explore the relation between derivational morphology and synonymy in connection with an electronic dictionary, inspired by the work of Maurice Gross. The characteristics of this relation are illustrated by derivation in Serbian, which produces new lemmas with predictable meaning. We call this regular derivation. We then demonstrate how this kind of derivation is handled in text...

In the 1960s, Atkinson introduced an abstract algebraic setting for multiparameter eigenvalue problems. He showed that a nonsingular multiparameter eigenvalue problem is equivalent to the associated system of generalized eigenvalue problems. Many theoretical results and numerical methods for nonsingular multiparameter eigenvalue problems are based on this relation. In this paper, the above rela...

We show that if v is a symmetric regular Laguerre-Hahn linear form (functional), then the linear form u defined by u = −λx−2v + δ0 is also regular and symmetric LaguerreHahn linear form for every complex λ except for a discrete set of numbers depending on v. We explicitly give the coefficients of the second-order recurrence relation, the structure relation of the orthogonal sequence associated ...

OBJECTIVE This paper aimed to analyze self-evaluations in terms of quality of life (QoL), physical health (PH) and mental health (MH) of ex-medical students from a Brazilian public university, correlating these outcomes with demographic data and several professional aspects. METHODS a cross-sectional study with a target population of all students graduated from the Botucatu School of Medicine...

we study topological von neumann regularity and principal von neumann regularity of banach algebras. our main objective is comparing these two types of banach algebras and some other known banach algebras with one another. in particular, we show that the class of topologically von neumann regular banach algebras contains all $c^*$-algebras, group algebras of compact abelian groups and cer...