Search results for "topological"

A constructive semantics for non-deducibility

2008

This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Fuzzy algebras as a framework for fuzzy topology

2011

The paper introduces a variety-based version of the notion of the (L,M)-fuzzy topological space of Kubiak and Sostak and embeds the respective category into a suitable modification of the category of topological systems of Vickers. The new concepts provide a common framework for different approaches to fuzzy topology and topological systems existing in the literature, paving the way for studying the problem of interweaving algebra and topology in mathematics, which was raised by Denniston, Melton and Rodabaugh in their recent research on variable-basis topological systems over the category of locales.

Tsen–Lang Theory for Cpi-fields

1995

Improving the local vertex invariants in alkane graphs through a standard molecular orbital approach

2007

Abstract In this work, novel topological indices are introduced by the application of algorithms based on molecular orbital theory. Actually, the novel indices are obtained by computing new values of the local vertex invariants (LOVIs) in alkane graphs. The most significant result is the dramatic increase in the predictive capability achieved with the topological charge indices weighted according the new LOVIs’ values in the prediction of four key properties in the set of octane isomers, namely heat of atomization, molar refraction, heat of vaporization and boiling point.

Counterdiabatic vortex pump in spinor Bose-Einstein condensates

2017

Topological phase imprinting is a well-established technique for deterministic vortex creation in spinor Bose-Einstein condensates of alkali metal atoms. It was recently shown that counter-diabatic quantum control may accelerate vortex creation in comparison to the standard adiabatic protocol and suppress the atom loss due to nonadiabatic transitions. Here we apply this technique, assisted by an optical plug, for vortex pumping to theoretically show that sequential phase imprinting up to 20 cycles generates a vortex with a very large winding number. Our method significantly increases the fidelity of the pump for rapid pumping compared to the case without the counter-diabatic control, leadin…

Some perturbation results through localized SVEP

2016

Some classical perturbation results on Fredholm theory are proved and extended by using the stability of the localized single-valued extension property under Riesz commuting perturbations. In the last part, we give some results concerning the stability of property (gR) and property (gb.

Topological Dual Systems for Spaces of Vector Measure p-Integrable Functions

2016

[EN] We show a Dvoretzky-Rogers type theorem for the adapted version of the q-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the mere summability of the identity map does not guarantee that the space has to be finite dimensional, contrary to the classical case. Some local compactness assumptions on the unit balls are required. Our results open the door to new convergence theorems and tools regarding summability of series of integrable functions and approximation in function spaces, since we may find infinite dimensional spaces in which convergence of the integrals, our vector value…

On ordered categories as a framework for fuzzification of algebraic and topological structures

2009

Using the framework of ordered categories, the paper considers a generalization of the fuzzification machinery of algebraic structures introduced by Rosenfeld as well as provides a new approach to fuzzification of topological structures, which amounts to fuzzifying the underlying ''set'' of a structure in a suitably compatible way, leaving the structure itself crisp. The latter machinery allows the so-called ''double fuzzification'', i.e., a fuzzification of something that is already fuzzified.

Categorically algebraic topology versus universal topology

2013

This paper continues to develop the theory of categorically algebraic (catalg) topology, introduced as a common framework for the majority of the existing many-valued topological settings, to provide convenient means of interaction between different approaches. Motivated by the results of universal topology of H. Herrlich, we show that a concrete category is fibre-small and topological if and only if it is concretely isomorphic to a subcategory of a category of catalg topological structures, which is definable by topological co-axioms.

Prediction and Discrimination of Pharmacological Activity by Using Artificial Neural Networks

2003

The design of new medical drugs is a very complex process in which combinatorial chemistry techniques are used. For this reason, it is very useful to have tools to predict and to discriminate the pharmacological activity of a given molecular compound so that the laboratory experiments can be directed to those molecule groups in which there is a high probability of finding new compounds with the desired properties. This work presents an application of Artificial Neural Networks to the problem of discriminating and predicting pharmacological characteristics of a molecular compound from its topological properties. A large amount of different configurations are tested, yielding very good perfor…