Search results for " Matematica"
showing 10 items of 1345 documents
Extensions of positive linear functionals on a *-algebra
2010
The family of all extensions of a nonclosable hermitian positive linear functional defined on a dense *-subalgebra $\Ao$ of a topological *-algebra $\A[\tau]$ is studied with the aim of finding extensions that behave regularly. Under suitable assumptions, special classes of extensions (positive, positively regular, absolutely convergent) are constructed. The obtained results are applied to the commutative integration theory to recover from the abstract setup the well-known extensions of Lebesgue integral and, in noncommutative integration theory, for introducing a generalized non absolutely convergent integral of operators measurable w. r. to a given trace $\sigma$.
Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation
2013
In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events. We recall that quasi conjunction is a basic notion for defining consistency of conditional knowledge bases. By deepening some results given in a previous paper we show that, given any finite family of conditional events F and any nonempty subset S of F, the family F p-entails the quasi conjunction C(S); then, given any conditional event E|H, we analyze the equivalence between p-entailment of E|H from F and p-entailment of E|H from C(S), where S is some nonempty subset of F.…
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
Generalized Logical Operations among Conditional Events
2018
We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Frechet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal…
Quasi conjunction, quasi disjunction, t-norms and t-conorms: Probabilistic aspects
2013
We make a probabilistic analysis related to some inference rules which play an important role in nonmonotonic reasoning. In a coherence-based setting, we study the extensions of a probability assessment defined on $n$ conditional events to their quasi conjunction, and by exploiting duality, to their quasi disjunction. The lower and upper bounds coincide with some well known t-norms and t-conorms: minimum, product, Lukasiewicz, and Hamacher t-norms and their dual t-conorms. On this basis we obtain Quasi And and Quasi Or rules. These are rules for which any finite family of conditional events p-entails the associated quasi conjunction and quasi disjunction. We examine some cases of logical de…
Pseudo-bosons for the $D_2$ type quantum Calogero model
2013
In the first part of this paper we show how a simple system, a 2-dimensional quantum harmonic oscillator, can be described in terms of pseudo-bosonic variables. This apparently {\em strange} choice is useful when the {\em natural} Hilbert space of the system, $L^2({\bf R}^2)$ in this case, is, for some reason, not the most appropriate. This is exactly what happens for the $D_2$ type quantum Calogero model considered in the second part of the paper, where the Hilbert space $L^2({\bf R}^2)$ appears to be an unappropriate choice, since the eigenvectors of the relevant hamiltonian are not square-integrable. Then we discuss how a certain intertwining operator arising from the model can be used t…
Gradient estimates for the perfect conductivity problem in anisotropic media
2018
Abstract We study the perfect conductivity problem when two perfectly conducting inclusions are closely located to each other in an anisotropic background medium. We establish optimal upper and lower gradient bounds for the solution in any dimension which characterize the singular behavior of the electric field as the distance between the inclusions goes to zero.
On the first return integrals
2007
Some pathological properties of the first-return integrals are explored. In particular it is proved that there exist Riemann improper integrable functions which are first-return recoverable almost everywhere, but not first-return integrable, with respect to each trajectory. It is also proved that the usual convergence theorems fail to be true for the first-return integrals.
Fixed point theorems for $\alpha$-$\psi$-contractive type mappings
2012
In this paper, we introduce a new concept of $\alpha$-$\psi$-contractive type mappings and establish fixed point theorems for such mappings in complete metric spaces. Starting from the Banach contraction principle, the presented theorems extend, generalize and improve many existing results in the literature. Moreover, some examples and applications to ordinary differential equations are given here to illustrate the usability of the obtained results.
Network Physiology of Cortico–Muscular Interactions
2020
Skeletal muscle activity is continuously modulated across physiologic states to provide coordination, flexibility and responsiveness to body tasks and external inputs. Despite the central role the muscular system plays in facilitating vital body functions, the network of brain-muscle interactions required to control hundreds of muscles and synchronize their activation in relation to distinct physiologic states has not been investigated. Recent approaches have focused on general associations between individual brain rhythms and muscle activation during movement tasks. However, the specific forms of coupling, the functional network of cortico-muscular coordination, and how network structure a…