SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

On the Selection of Non-Invasive Methods Based on Speech Analysis Oriented to Automatic Alzheimer Disease Diagnosis

The work presented here is part of a larger study to identify novel technologies and biomarkers for early Alzheimer disease (AD) detection and it focuses on evaluating the suitability of a new approach for early AD diagnosis by non-invasive methods. The purpose is to examine in a pilot study the potential of applying intelligent algorithms to speech features obtained from suspected patients in order to contribute to the improvement of diagnosis of AD and its degree of severity. In this sense, Artificial Neural Networks (ANN) have been used for the automatic classification of the two classes (AD and control subjects). Two human issues have been analyzed for feature selection: Spontaneous Speech and Emotional Response. Not only linear features but also non-linear ones, such as Fractal Dimension, have been explored. The approach is non invasive, low cost and without any side effects. Obtained experimental results were very satisfactory and promising for early diagnosis and classification of AD patients.

Integrability of a linear center perturbed by a fourth degree homogeneous polynomial

In this work we study the integrability of a two-dimensional autonomous system in the plane with linear part of center type and non-linear part given by homogeneous polynomials of fourth degree. We give sufficient conditions for integrability in polar coordinates. Finally we establish a conjecture about the independence of the two classes of parameters which appear in the system; if this conjecture is true the integrable cases found will be the only possible ones.

Integrability of a linear center perturbed by a fifth degree homogeneous polynomial

In this work we study the integrability of two-dimensional autonomous system in the plane with linear part of center type and non-linear part given by homogeneous polynomials of fifth degree. We give a simple characterisation for the integrable cases in polar coordinates. Finally we formulate a conjecture about the independence of the two classes of parameters which appear on the system; if this conjecture is true the integrable cases found will be the only possible ones.

Agency problems with non-smooth decision profiles: the case of monopoly under product quality

A method for dealing with monotonicity constraints in optimal control problems is used to generalize some results in the context of monopoly theory, also extending the generalization to a large family of principal-agent programs. Our main conclusion is that many results on diverse economic topics, achieved under assumptions of continuity and piecewise differentiability in connection with the endogenous variables of the problem, still remain valid after replacing such assumptions by two minimal requirements.

General equilibrium with asymmetric information: a dual approach

We study markets where the characteristics or decisions of certain agents are relevant but not known to their trading partners. Assuming exclusive transactions, the environment is described as a continuum economy with indivisible commodities. We characterize incentive efficient allocations as solutions to linear programming problems and appeal to duality theory to demonstrate the generic existence of external effects in these markets. Because under certain conditions such effects may generate non-convexities, randomization emerges as a theoretic possibility. In characterizing market equilibria we show that, consistently with the personalized nature of transactions, prices are generally non-linear in the underlying consumption. On the other hand, external effects may have critical implications for market efficiency. With adverse selection, in fact, cross-subsidization across agents with different private information may be necessary for optimality, and so, the market need not even achieve an incentive efficient allocation. In contrast, for the case of a single commodity, we find that when informational asymmetries arise after the trading period (e.g. moral hazard; ex post hidden types) external effects are fully internalized at a market equilibrium.

Asymmetries in the capacity-inflation trade-off

This paper analyzes the joint dynamics of two key macroeconomic variables for the conduct of monetary policy: inflation and the aggregate capacity utilization rate. An econometric procedure useful for estimating dynamic rational expectation models with unobserved components is developed and applied in this context. The method combines the flexibility of the unobserved components approach, based on the Kalman recursion, with the power of the general method of moments estimation procedure. A 'hyb id' Phillips curve relating inflation to the capacity utilization gap and incorporating forward and backward looking components is estimated. The results show that such a relationship in non-linear: the slope of the Phillips curve depends significantly on the magnitude of the capacity gap. These findings provide support for studying the implications of asymmetricmonetary policy rules.

Determinació de la ubicació estructural dels ions Yb3+ i Nb3+ en Yb:RTP, Nb:RTP i (Nb,Yb):RTP

Estudi elaborat a partir d’una estada al Stony Brook University al juliol del 2006. El RbTiOPO4 (RTP) monocristal•lí és un material d' òptica no lineal molt rellevant i utilitzat en la tecnologia làser actual, químicament molt estable i amb unes propietats físiques molt destacades, entre elles destaquen els alts coeficients electro-òptics i l'alt llindar de dany òptic que presenta. En els últims anys s’està utilitzant tecnològicament en aplicacions d'òptica no lineal en general i electro-òptiques en particular. En alguns casos ja ha substituït, millorant prestacions, a materials tals com el KTP o el LNB(1). Dopant RTP amb ions lantànids (Ln3+) (2-4), el material es converteix en un material làser auto-doblador de freqüència, combinant les seves propietats no lineals amb les de matriu làser. El RTP genera radiació de segon harmònic (SHG) a partir d’un feix fonamental amb longituds d’ona inferiors a 990 nm, que és el límit que presenta el KTP.La determinació de la ubicació estructural i l’estudi de l'entorn local del ions actius làser és de fonamental importància per a la correcta interpretació de les propietats espectroscòpiques d’aquest material. Mesures de difracció de neutrons sobre mostra de pols cristal•lí mostren que els ions Nb5+ i Ln3+ només substitueixin posicions de Ti4+ (8-9). Estudis molt recents d'EPR (electron paramagnetic resonance) semblen indicar que quan la concentració d'ió Ln3+ es baixa, aquest ió presenta la tendència a substituir l'ió alcalí present a l'estructura (10).Després dels resultats obtinguts en el present treball a partir de la tècnica EXAFS a la instal•lació sincrotò del Brookhaven National Laboratory/State University of New York (Stony Brook) es pot concloure definitivament que els ions Nb s’ubiquen en la posició Ti (1) i que els ions Yb3+ es distribueixen paritariament en les dues posicions del Ti (1 i 2). Aquests resultats aporten una valuosa informació per a la correcta interpretació dels espectres, tant d’absorció com d’emissió, del material i per la avaluació dels paràmetres del seu comportament durant l'acció làser.

Democracy and the curse of natural resources

We propose a theoretical model to explain empirical regularities related to the curse of natural resources. This is an explicitly political model which emphasizes the behavior and incentives of politicians. We extend the standard voting model to give voters political control beyond the elections. This gives rise to a new restriction into our political economy model: policies should not give rise to a revolution. Our model clarifies when resource discoveries might lead to revolutions, namely, in countries with weak institutions. Natural resources may be bad for democracy by harming political turnover. Our model also suggests a non-linear dependence of human capital on natural resources. For low levels of democracy human capital depends negatively on natural resources, while for high levels of democracy the dependence is reversed. This theoretical finding is corroborated in both cross section and panel data regressions.

Extracción de parámetros de un resonador FBAR por optimización

L’objectiu d’aquest projecte que consisteix a elaborar un algoritme d’optimització que permeti, mitjançant un ajust de dades per mínims quadrats, la extracció dels paràmetres del circuit equivalent que composen el model teòric d’un ressonador FBAR, a partir de les mesures dels paràmetres S. Per a dur a terme aquest treball, es desenvolupa en primer lloc tota la teoria necessària de ressonadors FBAR. Començant pel funcionament i l’estructura, i mostrant especial interès en el modelat d’aquests ressonadors mitjançant els models de Mason, Butterworth Van-Dyke i BVD Modificat. En segon terme, s’estudia la teoria sobre optimització i programació No-Lineal. Un cop s’ha exposat la teoria, es procedeix a la descripció de l’algoritme implementat. Aquest algoritme utilitza una estratègia de múltiples passos que agilitzen l'extracció dels paràmetres del ressonador.

Codis Z2Z4-additius en Magma

En aquest projecte es presenta el desenvolupament d'un paquet d'aplicacions en l'entorn de programació matemàtica Magma, per al tractament dels codis anomenats Z2Z4-additius. Els codis Z2Z4-additius permeten representar alguns codis binaris, com a codis lineals en l'espai dels codis Z2Z4-additius. Aquest fet permetrà l'estudi de tota una sèrie de codis binaris no lineals que fins ara eren intractables.

Dynamics in Thompson's group F

We describe an explicit relationship between strand diagrams and piecewise-linear functions for elements of Thompson’s group F. Using this correspondence, we investigate the dynamics of elements of F, and we show that conjugacy of one-bump functions can be described by a Mather-type invariant.

Free Mobility and Taste-Homogeneity of Jurisdiction Structures

We consider a population of agents distributed on the unit interval. Agents form jurisdictions in order to provide a public facility and share its costs equally. This creates an incentive to form large entities. Individuals also incur a transportation cost depending on their location and that of the facility which makes small jurisdictions advantageous. We consider a fairly general class of distributions of agents and generalize previous versions of this model by allowing for non-linear transportation costs. We show that, in general, jurisdictions are not necessarily homogeneous. However, they are if facilities are always intraterritory and transportation costs are superadditive. Superadditivity can be weakened to strictly increasing and strictly concave when agents are uniformly distributed. Keywords: Consecutiveness, stratification, local public goods, coalition formation, country formation. JEL Classification: C71 (Cooperative Games), D71 (Social Choice; Clubs; Committees; Associations), H73 (Interjurisdictional Differentials and Their Effects).

Asynchronous growth and competition in a two-sex age-structured population model

Asynchronous exponential growth has been extensively studied in population dynamics. In this paper we find out the asymptotic behaviour in a non-linear age-dependent model which takes into account sexual reproduction interactions. The main feature of our model is that the non-linear process converges to a linear one as the solution becomes large, so that the population undergoes asynchronous growth. The steady states analysis and the corresponding stability analysis are completely made and are summarized in a bifurcation diagram according to the parameter R0. Furthermore the effect of intraspecific competition is taken into account, leading to complex dynamics around steady states.

Mobile termination and mobile penetration

In this paper, we study how access pricing affects network competition when subscription demand is elastic and each network uses non-linear prices and can apply termination-based price discrimination. In the case of a fixed per minute termination charge, we find that a reduction of the termination charge below cost has two opposing effects: it softens competition but helps to internalize network externalities. The former reduces mobile penetration while the latter boosts it. We find that firms always prefer termination charge below cost for either motive while the regulator prefers termination below cost only when this boosts penetration. Next, we consider the retail benchmarking approach (Jeon and Hurkens, 2008) that determines termination charges as a function of retail prices and show that this approach allows the regulator to increase penetration without distorting call volumes.