Integral representation with convex capacities that are squeeze of (additive) probability measures

In this paper I will investigate the conditions under which a convex capacity (or a non-additive probability which exhibts uncertainty aversion) can be represented as a squeeze of a(n) (additive) probability measure associate to an uncertainty aversion function. Then I will present two alternatives forrnulations of the Choquet integral (and I will extend these forrnulations to the Choquet expected utility) in a parametric approach that will enable me to do comparative static exercises over the uncertainty aversion function in an easy way.

Vector and axial-vector correlators in a non-local chiral quark model

The behavior of the non-perturbative parts of the isovector-vector and isovector and isosinglet axial-vector correlators at Euclidean momenta is studied in the framework of a covariant chiral quark model with non-local quark-quark interactions. The gauge covariance is ensured with the help of the P-exponents, with the corresponding modification of the quark-current interaction vertices taken into account. The low- and high-momentum behavior of the correlators is compared with the chiral perturbation theory and with the QCD operator product expansion, respectively. The V-A combination of the correlators obtained in the model reproduces quantitatively the ALEPH and OPAL data on hadronic tau decays, transformed into the Euclidean domain via dispersion relations. The predictions for the electromagnetic pi(+/-) - pi(0) mass difference and for the pion electric polarizability are also in agreement with the experimental values. The topological susceptibility of the vacuum is evaluated as a function of the momentum, and its first moment is predicted to be chi'(0) approximate to (50 MeV)(2). In addition, the fulfillment of the Crewther theorem is demonstrated.

On the appearance of a Hopf bifurcation in a non-ideal mechanical problem

In this paper we studied a non-ideal system with two degrees of freedom consisting of a dumped nonlinear oscillator coupled to a rotatory part. We investigated the stability of the equilibrium point of the system and we obtain, in the critical case, sufficient conditions in order to obtain an appropriate Normal Form. From this, we get conditions for the appearance of Hopf Bifurcation when the difference between the driving torque and the resisting torque is small. It was necessary to use the Bezout Theorem, a classical result of Algebraic Geometry, in the obtaining of the foregoing results. (C) 2003 Elsevier Ltd. All rights reserved.

The Noether theorem for geometric actions and area preserving diffeomorphisms on the torus

We find that within the formalism of coadjoint orbits of the infinite dimensional Lie group the Noether procedure leads, for a special class of transformations, to the constant of motion given by the fundamental group one-cocycle S. Use is made of the simplified formula giving the symplectic action in terms of S and the Maurer-Cartan one-form. The area preserving diffeomorphisms on the torus T2=S1⊗S1 constitute an algebra with central extension, given by the Floratos-Iliopoulos cocycle. We apply our general treatment based on the symplectic analysis of coadjoint orbits of Lie groups to write the symplectic action for this model and study its invariance. We find an interesting abelian symmetry structure of this non-linear problem.

A refinement of the gauss-lucas theorem

The classical Gauss-Lucas Theorem states that all the critical points (zeros of the derivative) of a nonconstant polynomial p lie in the convex hull H of the zeros of p. It is proved that, actually, a subdomain of H contains the critical points of p. ©1998 American Mathematical Society.

Lower-semicontinuity and optimization of convex functionals

The result that we treat in this article allows to the utilization of classic tools of convex analysis in the study of optimality conditions in the optimal control convex process for a Volterra-Stietjes linear integral equation in the Banach space G([a, b],X) of the regulated functions in [a, b], that is, the functions f : [a, 6] → X that have only descontinuity of first kind, in Dushnik (or interior) sense, and with an equality linear restriction. In this work we introduce a convex functional Lβf(x) of Nemytskii type, and we present conditions for its lower-semicontinuity. As consequence, Weierstrass Theorem garantees (under compacity conditions) the existence of solution to the problem min{Lβf(x)}. © 2009 Academic Publications.

Quenching in a non-ideal mechanical system and the Averaging Method

In this paper, for the first time, a quenching result in a non-ideal system is rigorously obtained. In order to do this a new mechanical hypothesis is assumed, it means that the moment of inertia of the rotating parts of the energy source is big. From this is possible to use the Averaging Method. © 2012 American Institute of Physics.

Non-Markovian expansion in quantum Brownian motion

We consider the non-Markovian Langevin evolution of a dissipative dynamical system in quantum mechanics in the path integral formalism. After discussing the role of the frequency cutoff for the interaction of the system with the heat bath and the kernel and noise correlator that follow from the most common choices, we derive an analytic expansion for the exact non-Markovian dissipation kernel and the corresponding colored noise in the general case that is consistent with the fluctuation-dissipation theorem and incorporates systematically non-local corrections. We illustrate the modifications to results obtained using the traditional (Markovian) Langevin approach in the case of the exponential kernel and analyze the case of the non-Markovian Brownian motion. We present detailed results for the free and the quadratic cases, which can be compared to exact solutions to test the convergence of the method, and discuss potentials of a general nonlinear form. © 2013 Elsevier B.V. All rights reserved.

Proposal of non-invasive experimental model to induce scoliosis in rats

Background: In the literature, there are several experimental models that induce scoliosis in rats; however, they make use of drugs or invasive interventions to generate a scoliotic curve. Objectives: To design and apply a non-invasive immobilization model to induce scoliosis in rats. Methods: Four-week old male Wistar rats (85 +/- 3.3 g) were divided into two groups: control (CG) and scoliosis (SG). The animals in the SG were immobilized by two vests (scapular and pelvic) made from polyvinyl chloride (PVC) and externally attached to each other by a retainer that regulated the scoliosis angle for twelve weeks with left convexity. After immobilization, the abdominal, intercostal, paravertebral, and pectoral muscles were collected for chemical and metabolic analyses. Radiographic reports were performed every 30 days over a 16-week period. Results: The model was effective in the induction of scoliosis, even 30 days after immobilization, with a stable angle of 28 +/- 5 degrees. The chemical and metabolic analyses showed a decrease (p<0.05) in the glycogenic reserves and in the relationship between DNA and total protein reserves of all the muscles analyzed in the scoliosis group, being lower (p<0.05) in the convex side. The values for the Homeostatic Model Assessment of Insulin Resistance indicated a resistance condition to insulin (p<0.05) in the scoliosis group (0.66 +/- 0.03), when compared to the control group (0.81 +/- 0.02). Conclusions: The scoliosis curvature remained stable 30 days after immobilization. The chemical and metabolic analyses suggest changes in muscular homeostasis during the induced scoliosis process.

Generating unconstrained two-dimensional non-guillotine cutting patterns by a Recursive Partitioning Algorithm

In this study, a dynamic programming approach to deal with the unconstrained two-dimensional non-guillotine cutting problem is presented. The method extends the recently introduced recursive partitioning approach for the manufacturer's pallet loading problem. The approach involves two phases and uses bounds based on unconstrained two-staged and non-staged guillotine cutting. The method is able to find the optimal cutting pattern of a large number of pro blem instances of moderate sizes known in the literature and a counterexample for which the approach fails to find known optimal solutions was not found. For the instances that the required computer runtime is excessive, the approach is combined with simple heuristics to reduce its running time. Detailed numerical experiments show the reliability of the method. Journal of the Operational Research Society (2012) 63, 183-200. doi: 10.1057/jors.2011.6 Published online 17 August 2011

Sets of probability distributions, independence, and convexity

This paper analyzes concepts of independence and assumptions of convexity in the theory of sets of probability distributions. The starting point is Kyburg and Pittarelli's discussion of "convex Bayesianism" (in particular their proposals concerning E-admissibility, independence, and convexity). The paper offers an organized review of the literature on independence for sets of probability distributions; new results on graphoid properties and on the justification of "strong independence" (using exchangeability) are presented. Finally, the connection between Kyburg and Pittarelli's results and recent developments on the axiomatization of non-binary preferences, and its impact on "complete" independence, are described.

Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Co-simulazione e co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali

L’attività di ricerca contenuta in questa tesi si è concentrata nello sviluppo e nell’implementazione di tecniche per la co-simulazione e il co-progetto non lineare/elettromagnetico di sistemi wireless non convenzionali. Questo lavoro presenta un metodo rigoroso per considerare le interazioni tra due sistemi posti sia in condizioni di campo vicino che in condizioni di campo lontano. In sostanza, gli effetti del sistema trasmittente sono rappresentati da un generatore equivalente di Norton posto in parallelo all’antenna del sistema ricevente, calcolato per mezzo del teorema di reciprocità e del teorema di equivalenza. La correttezza del metodo è stata verificata per mezzo di simulazioni e misure, concordi tra loro. La stessa teoria, ampliata con l’introduzione degli effetti di scattering, è stata usata per valutare una condizione analoga, dove l’elemento trasmittente coincide con quello ricevente (DIE) contenuto all’interno di una struttura metallica (package). I risultati sono stati confrontati con i medesimi ottenibili tramite tecniche FEM e FDTD/FIT, che richiedono tempi di simulazione maggiori di un ordine di grandezza. Grazie ai metodi di co-simulazione non lineari/EM sopra esposti, è stato progettato e verificato un sistema di localizzazione e identificazione di oggetti taggati posti in ambiente indoor. Questo è stato ottenuto dotando il sistema di lettura, denominato RID (Remotely Identify and Detect), di funzioni di scansione angolare e della tecnica di RADAR mono-pulse. Il sistema sperimentale, creato con dispositivi low cost, opera a 2.5 GHz ed ha le dimensioni paragonabili ad un normale PDA. E’ stato sperimentata la capacità del RID di localizzare, in scenari indoor, oggetti statici e in movimento.

Non-parametric estimation of the diffusion coefficient of a branching diffusion with immigration

Wir betrachten Systeme von endlich vielen Partikeln, wobei die Partikel sich unabhängig voneinander gemäß eindimensionaler Diffusionen [dX_t = b(X_t),dt + sigma(X_t),dW_t] bewegen. Die Partikel sterben mit positionsabhängigen Raten und hinterlassen eine zufällige Anzahl an Nachkommen, die sich gemäß eines Übergangskerns im Raum verteilen. Zudem immigrieren neue Partikel mit einer konstanten Rate. Ein Prozess mit diesen Eigenschaften wird Verzweigungsprozess mit Immigration genannt. Beobachten wir einen solchen Prozess zu diskreten Zeitpunkten, so ist zunächst nicht offensichtlich, welche diskret beobachteten Punkte zu welchem Pfad gehören. Daher entwickeln wir einen Algorithmus, um den zugrundeliegenden Pfad zu rekonstruieren. Mit Hilfe dieses Algorithmus konstruieren wir einen nichtparametrischen Schätzer für den quadrierten Diffusionskoeffizienten $sigma^2(cdot),$ wobei die Konstruktion im Wesentlichen auf dem Auffüllen eines klassischen Regressionsschemas beruht. Wir beweisen Konsistenz und einen zentralen Grenzwertsatz.

Marshall's Lemma for Convex Density Estimation

Marshall's (1970) lemma is an analytical result which implies root-n-consistency of the distribution function corresponding to the Grenander (1956) estimator of a non-decreasing probability density. The present paper derives analogous results for the setting of convex densities on [0,\infty).