Optimització d'una aplicacio bioinformàtica d'alineament de seqüències executada en processadors multi-core i many-core (GPUs)

Las aplicaciones de alineamiento de secuencias son una herramienta importante para la comunidad científica. Estas aplicaciones bioinformáticas son usadas en muchos campos distintos como pueden ser la medicina, la biología, la farmacología, la genética, etc. A día de hoy los algoritmos de alineamiento de secuencias tienen una complejidad elevada y cada día tienen que manejar un volumen de datos más grande. Por esta razón se deben buscar alternativas para que estas aplicaciones sean capaces de manejar el aumento de tamaño que los bancos de secuencias están sufriendo día a día. En este proyecto se estudian y se investigan mejoras en este tipo de aplicaciones como puede ser el uso de sistemas paralelos que pueden mejorar el rendimiento notablemente.

Nanopartícul·les core-shell estabilitzades en polímer amb propietats calítiques i bactericides medioambientalment segure

Aquest projecte de doctorat és un treball interdisciplinari adreçat a l’obtenció de nous nanocompòsits (NCs) funcionals sintetitzats a partir de materials polimèrics bescanviadors d’ions que són modificats amb nanopartícules metàl•liques (NPMs) de diferent composició. Els materials desenvolupats s’avaluen en funció de dues possibles aplicacions: 1) com a catalitzadors de reaccions orgàniques d’interès actual (NCs basats en pal•ladi) i, 2) la seva dedicació a aplicacions bactericides en el tractament d’aigües domèstiques o industrials (NCs basats en plata). El desenvolupament de nanomaterials és de gran interès a l’actualitat donades les seves especials propietats, l’aprofitament de les quals és la força impulsora per a la fabricació de nous NCs. Les nanopartícules metàl•liques estabilitzades en polímer (Polymer Stabilized Metal Nanoparticles, PSNPM) s’han preparat mitjançant la tècnica in-situ de síntesi intermatricial (Inter-matrix synthesis, IMS) que consisteix en la càrrega seqüencial dels grups funcionals de les matrius polimèriques amb ions metàl•lics, i la seva posterior reducció química dins de la matriu polimèrica de bescanvi iònic. L’estabilització en matrius polimèriques evita l’agregació entre elles (self-aggreagtion), un dels principals problemes coneguts de les NPs. Pel desenvolupament d’aquesta metodologia, s’han emprat diferents tipus de matrius polimèriques de bescanvi iònic: membrana Sulfonated PolyEtherEtherKetone, SPEEK, així com fibres sintètiques basades en polypropilè amb diferents tipus de grups funcionals, que ens permeten el seu ús com a filtres en la desinfecció de solucions aquoses o com a material catalitzador. Durant el projecte s’ha anat avançant en l’optimització del material nanocomposite final per a les aplicacions d’interès, en quant activitat i funcionalitat de les nanopartícules i estabilitat del nanocomposite. Així, s’ha optimitzat la síntesi de NPs estabilitzades en resines de bescanvi iònic, realitzant un screening de diferents tipus de resines i la seva avaluació en aplicacions industrials d’interès.

Exploring Cross-layer power management for PGAS applications on the SCC platform

Technological limitations and power constraints are resulting in high-performance parallel computing architectures that are based on large numbers of high-core-count processors. Commercially available processors are now at 8 and 16 cores and experimental platforms, such as the many-core Intel Single-chip Cloud Computer (SCC) platform, provide much higher core counts. These trends are presenting new sets of challenges to HPC applications including programming complexity and the need for extreme energy efficiency.In this work, we first investigate the power behavior of scientific PGAS application kernels on the SCC platform, and explore opportunities and challenges for power management within the PGAS framework. Results obtained via empirical evaluation of Unified Parallel C (UPC) applications on the SCC platform under different constraints, show that, for specific operations, the potential for energy savings in PGAS is large; and power/performance trade-offs can be effectively managed using a cross-layerapproach. We investigate cross-layer power management using PGAS language extensions and runtime mechanisms that manipulate power/performance tradeoffs. Specifically, we present the design, implementation and evaluation of such a middleware for application-aware cross-layer power management of UPC applications on the SCC platform. Finally, based on our observations, we provide a set of recommendations and insights that can be used to support similar power management for PGAS applications on other many-core platforms.

Internal test sets studies in a group of antimalarials

Topological indices have been applied to build QSAR models for a set of 20 antimalarial cyclic peroxy cetals. In order to evaluate the reliability of the proposed linear models leave-n-out and Internal Test Sets (ITS) approaches have been considered. The proposed procedure resulted in a robust and consensued prediction equation and here it is shown why it is superior to the employed standard cross-validation algorithms involving multilinear regression models

Ab initio benchmark study for the oxidative addition of CH4 to Pd: importance of basis-set flexibility and polarization

To obtain a state-of-the-art benchmark potential energy surface (PES) for the archetypal oxidative addition of the methane C-H bond to the palladium atom, we have explored this PES using a hierarchical series of ab initio methods (Hartree-Fock, second-order Møller-Plesset perturbation theory, fourth-order Møller-Plesset perturbation theory with single, double and quadruple excitations, coupled cluster theory with single and double excitations (CCSD), and with triple excitations treated perturbatively [CCSD(T)]) and hybrid density functional theory using the B3LYP functional, in combination with a hierarchical series of ten Gaussian-type basis sets, up to g polarization. Relativistic effects are taken into account either through a relativistic effective core potential for palladium or through a full four-component all-electron approach. Counterpoise corrected relative energies of stationary points are converged to within 0.1-0.2 kcal/mol as a function of the basis-set size. Our best estimate of kinetic and thermodynamic parameters is -8.1 (-8.3) kcal/mol for the formation of the reactant complex, 5.8 (3.1) kcal/mol for the activation energy relative to the separate reactants, and 0.8 (-1.2) kcal/mol for the reaction energy (zero-point vibrational energy-corrected values in parentheses). This agrees well with available experimental data. Our work highlights the importance of sufficient higher angular momentum polarization functions, f and g, for correctly describing metal-d-electron correlation and, thus, for obtaining reliable relative energies. We show that standard basis sets, such as LANL2DZ+ 1f for palladium, are not sufficiently polarized for this purpose and lead to erroneous CCSD(T) results. B3LYP is associated with smaller basis set superposition errors and shows faster convergence with basis-set size but yields relative energies (in particular, a reaction barrier) that are ca. 3.5 kcal/mol higher than the corresponding CCSD(T) values

The equity core and the Lorenz-maximal allocations in the equal division core

In this paper, we characterize the non-emptiness of the equity core (Selten, 1978) and provide a method, easy to implement, for computing the Lorenz-maximal allocations in the equal division core (Dutta-Ray, 1991). Both results are based on a geometrical decomposition of the equity core as a finite union of polyhedrons. Keywords: Cooperative game, equity core, equal division core, Lorenz domination. JEL classification: C71

Multiuser detection in a dynamic environment — Part II: Joint user identification and parameter estimation

The problem of jointly estimating the number, the identities, and the data of active users in a time-varying multiuser environment was examined in a companion paper (IEEE Trans. Information Theory, vol. 53, no. 9, September 2007), at whose core was the use of the theory of finite random sets on countable spaces. Here we extend that theory to encompass the more general problem of estimating unknown continuous parameters of the active-user signals. This problem is solved here by applying the theory of random finite sets constructed on hybrid spaces. We doso deriving Bayesian recursions that describe the evolution withtime of a posteriori densities of the unknown parameters and data.Unlike in the above cited paper, wherein one could evaluate theexact multiuser set posterior density, here the continuous-parameter Bayesian recursions do not admit closed-form expressions. To circumvent this difficulty, we develop numerical approximationsfor the receivers that are based on Sequential Monte Carlo (SMC)methods (“particle filtering”). Simulation results, referring to acode-divisin multiple-access (CDMA) system, are presented toillustrate the theory.

Multiple target tracking using random sets

This paper presents several algorithms for joint estimation of the target number and state in a time-varying scenario. Building on the results presented in [1], which considers estimation of the target number only, we assume that not only the target number, but also their state evolution must be estimated. In this context, we extend to this new scenario the Rao-Blackwellization procedure of [1] to compute Bayes recursions, thus defining reduced-complexity solutions for the multi-target set estimator. A performance assessmentis finally given both in terms of Circular Position Error Probability - aimed at evaluating the accuracy of the estimated track - and in terms of Cardinality Error Probability, aimed at evaluating the reliability of the target number estimates.

Fusion of data sets in multivariate linear regression with errors-in-variables

We consider the application of normal theory methods to the estimation and testing of a general type of multivariate regressionmodels with errors--in--variables, in the case where various data setsare merged into a single analysis and the observable variables deviatepossibly from normality. The various samples to be merged can differ on the set of observable variables available. We show that there is a convenient way to parameterize the model so that, despite the possiblenon--normality of the data, normal--theory methods yield correct inferencesfor the parameters of interest and for the goodness--of--fit test. Thetheory described encompasses both the functional and structural modelcases, and can be implemented using standard software for structuralequations models, such as LISREL, EQS, LISCOMP, among others. An illustration with Monte Carlo data is presented.

Recontracting and competition

We characterize the set of Walrasian allocations of an economy as theset of allocations which can be supported by abstract equilibria that satisfy a recontracting condition which reflects the idea that agents can freely trade with each other. An alternative (and weaker) recontracting condition characterizesthe core. The results are extended to production economies by extending thedefinition of the recontracting condition to include the possibility of agentsto recontract with firms. However, no optimization requirement is imposed onfirms. In pure exchange economies, an abstract equilibrium is a feasible allocation and a list of choice sets, one for each agent, that satisfy thefollowing conditions: an agent's choice set is a subset of the commodity space that includes his endowment; and each agent's equilibrium bundle isa maximal element in his choice set, with respect to his preferences. Therecontracting condition requires that any agent can buy bundles from any other agent's choice set by offering the other agent a bundle he prefers tohis equilibrium bundle.

Biased representation of homothetic preferences on homogeneous sets

In the homogeneous case of one-dimensional objects, we show that any preference relation that is positive and homothetic can be represented by a quantitative utility function and unique bias. This bias may favor or disfavor the preference for an object. In the first case, preferences are complete but not transitive and an object may be preferred even when its utility is lower. In the second case, preferences are asymmetric and transitive but not negatively transitive and it may not be sufficient for an object to have a greater utility for be preferred. In this manner, the bias reflects the extent to which preferences depart from the maximization of a utility function.

Aprendiendo coreano : Desenvolupament d'una aplicació Android per a l'aprenentatge de coreà

Aquest projecte consisteix en el desenvolupament d'una aplicació per a dispositius mòbils que facilita l'aprenentatge de coreà per a estudiants castellanoparlants.

On the monotonic core

The monotonic core of a cooperative game with transferable utility (T.U.-game) is the set formed by all its Population Monotonic Allocation Schemes. In this paper we show that this set always coincides with the core of a certain game associated to the initial game.