Search results for "formal"
showing 10 items of 1654 documents
Some Problems on Homomorphisms and Real Function Algebras
2001
In this paper we solve a problem about the representation of all homomorphisms on a real function algebra as point evaluations and another two about function algebras in which homomorphisms are point evaluations on sequences in the algebra.
Improving Interpolants for Linear Arithmetic
2015
Craig interpolation for satisfiability modulo theory formulas have come more into focus for applications of formal verification. In this paper we, introduce a method to reduce the size of linear constraints used in the description of already computed interpolant in the theory of linear arithmetic with respect to the number of linear constraints. We successfully improve interpolants by combining satisfiability modulo theory and linear programming in a local search heuristic. Our experimental results suggest a lower running time and a larger reduction compared to other methods from the literature.
Formal Description of Rough Sets
1994
In the paper we present a formal description of rough sets within the limits of the generalized set theory, which is interpreted in the approximation of set theory. The rough sets are interpreted as an approximations, which are defined by means of the Pawlak’s rough sets.
Algebraic Results on Quantum Automata
2004
We use tools from the algebraic theory of automata to investigate the class of languages recognized by two models of Quantum Finite Automata (QFA): Brodsky and Pippenger’s end-decisive model, and a new QFA model whose definition is motivated by implementations of quantum computers using nucleo-magnetic resonance (NMR). In particular, we are interested in the new model since nucleo-magnetic resonance was used to construct the most powerful physical quantum machine to date. We give a complete characterization of the languages recognized by the new model and by Boolean combinations of the Brodsky-Pippenger model. Our results show a striking similarity in the class of languages recognized by th…
The new results on lattice deformation of current algebra
2008
The topic “Quantum Integrable Models” was reviewed in the literature and presented to the conferences and schools many times. Only the reports of our own have been done on quite a few occasions (see, e.g., [1], [2]). So here we shall try to present a fresh approach to the description of the ingredients of construction of integrable models. It has gradually evolved in the process of our joint work. Whereas our goal was the Sugawara construction for the lattice affine algebra (known now as the St.Petersburg algebra), (see, e.g., [1]), some technical developments happen to be new and useful for the already developed subjects. Here we shall underline this development.
On Combinatorial Generation of Prefix Normal Words
2014
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present an efficient algorithm for exhaustively listing the prefix normal words with a fixed length. The algorithm is based on the fact that the language of prefix normal words is a bubble language, a class of binary languages with the property that, for any word w in the language, exchanging the first occurrence of 01 by 10 in w results in another word in the language. We prove that each prefix normal word is produced in O(n) amortized time, and conjecture, based on expe…
Application of molecular topology to the prediction of antifungal activity for a set of dication-substituted carbazoles, furans and benzimidazoles
2003
In this paper, the endpoint is the application of molecular topology to the search of QSAR relations into a group of dicationsubstituted carbazoles, furans and benzimidazoles, all showing antifungal activity against C. albicans. Mathematical and statistical methods such as linear regression and discriminant analysis, are used to goal. The obtained results clearly show a high efficiency of the formalism on the prediction and classification of antifungal activity. 83% of the compounds showing MIC , 10 mg/ml (active group) are correctly classified, whilst 100% overall accuracy is achieved for those compounds showing MIC . 100 mg/ml (inactive group). q 2003 Elsevier Science B.V. All rights rese…
Anàlisi sobre el perfil i situació dels cuidadors (formals i familiars) de les persones que pateixen Alzheimer, en la zona de la Vall d'Albaida
2013
The Alzheimer’s disease is nowadays known all around the world, however not everybody is aware of the aftermath that this disease produces in those who suffer it directly and indirectly. There is even less awareness of the importance of providing care to those who give care. Therefore I decided to conduct a little research to know the profile of people with Alzheimer and their caregivers residing in the Vall d’Albaida area (Valencia, Spain) and to analyze the services that are provided to them in order to detect whether they are sufficient or they could be improved. The results of the research are shown below; however I would like to “disclose” that it is necessary to get a greater involvem…
On a new proof of Moser's twist mapping theorem
1976
Based on a new idea of the author, a new proof of J. Moser's twist mapping theorem is presented.
Normal forms of hyperbolic logarithmic transseries
2021
We find the normal forms of hyperbolic logarithmic transseries with respect to parabolic logarithmic normalizing changes of variables. We provide a necessary and sufficient condition on such transseries for the normal form to be linear. The normalizing transformations are obtained via fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate topologies.