Self-bound interacting QCD matter in compact stars

The quark gluon plasma (QGP) at zero temperature and high baryon number is a system that may be present inside compact stars. It is quite possible that this cold QGP shares some relevant features with the hot QGP observed in heavy ion collisions, being also a strongly interacting system. In a previous work we have derived from the QCD Lagrangian an equation of state (EOS) for the cold QGP, which can be considered an improved version of the MIT bag-model EOS. Compared to the latter, our EOS reaches higher values of the pressure at comparable baryon densities. This feature is due to perturbative corrections and also to nonperturbative effects. Here we apply this EOS to the study of neutron stars, discussing the absolute stability of quark matter and computing the mass-radius relation for self-bound (strange) stars. The maximum masses of the sequences exceed two solar masses, in agreement with the recently measured values of the mass of the pulsar PSR J1614-2230, and the corresponding radii of around 10-11 km.

Influence of the Sol-Gel pH Process and Compact Film on the Efficiency of TiO2-Based Dye-Sensitized Solar Cells

The influence of pH during hydrolysis of titanium(IV) isopropoxide on the morphological and electronic properties of TiO2 nanoparticles prepared by the sol-gel method is investigated and correlated to the photoelectrochemical parameters of dye-sensitized solar cells (DSCs) based on TiO2 films. Nanoparticles prepared under acid pH exhibit smaller particle size and higher surface area, which result in higher dye loadings and better short-circuit current densities than DSCs based on alkaline TiO2-processed films. On the other hand, the product of charge collection and separation quantum yields in films with TiO2 obtained by alkaline hydrolysis is c. a. 27% higher than for the acid TiO2 films. The combination of acid and alkaline TiO2 nanoparticles as mesoporous layer in DSCs results in a synergic effect with overall efficiencies up to 6.3%, which is better than the results found for devices employing one of the nanoparticles separately. These distinct nanoparticles can be also combined by using the layer-by-layer technique (LbL) to prepare compact TiO2 films applied before the mesoporous layer. DSCs employing photoanodes with 30 TiO2 bilayers have shown efficiencies up to 12% higher than the nontreated photoanode ones. These results can be conveniently used to develop optimized synthetic procedures of TiO2 nanoparticles for several dye-sensitized solar cell applications.

“Features of two proteins of Leptospira interrogans with potential role in host-pathogen interactions”

Abstract Background Leptospirosis is considered a re-emerging infectious disease caused by pathogenic spirochaetes of the genus Leptospira. Pathogenic leptospires have the ability to survive and disseminate to multiple organs after penetrating the host. Leptospires were shown to express surface proteins that interact with the extracellular matrix (ECM) and to plasminogen (PLG). This study examined the interaction of two putative leptospiral proteins with laminin, collagen Type I, collagen Type IV, cellular fibronectin, plasma fibronectin, PLG, factor H and C4bp. Results We show that two leptospiral proteins encoded by LIC11834 and LIC12253 genes interact with laminin in a dose - dependent and saturable mode, with dissociation equilibrium constants (KD) of 367.5 and 415.4 nM, respectively. These proteins were named Lsa33 and Lsa25 (Leptospiral surface adhesin) for LIC11834 and LIC12253, respectively. Metaperiodate - treated laminin reduced Lsa25 - laminin interaction, suggesting that sugar moieties of this ligand participate in this interaction. The Lsa33 is also PLG - binding receptor, with a KD of 23.53 nM, capable of generating plasmin in the presence of an activator. Although in a weak manner, both proteins interact with C4bp, a regulator of complement classical route. In silico analysis together with proteinase K and immunoflorescence data suggest that these proteins might be surface exposed. Moreover, the recombinant proteins partially inhibited leptospiral adherence to immobilized laminin and PLG. Conclusions We believe that these multifunctional proteins have the potential to participate in the interaction of leptospires to hosts by mediating adhesion and by helping the bacteria to escape the immune system and to overcome tissue barriers. To our knowledge, Lsa33 is the first leptospiral protein described to date with the capability of binding laminin, PLG and C4bp in vitro.

Galaxy triplets in Sloan Digital Sky Survey Data Release 7: II. A connection with compact groups?

We analyse a sample of 71 triplets of luminous galaxies derived from the work of O’Mill et al. We compare the properties of triplets and their members with those of control samples of compact groups, the 10 brightest members of rich clusters and galaxies in pairs. The triplets are restricted to have members with spectroscopic redshifts in the range 0.01 ≤ z ≤ 0.14 and absolute r-band luminosities brighter than Mr = −20.5. For these member galaxies, we analyse the stellar mass content, the star formation rates, the Dn(4000) parameter and (Mg − Mr) colour index. Since galaxies in triplets may finally merge in a single system, we analyse different global properties of these systems. We calculate the probability that the properties of galaxies in triplets are strongly correlated. We also study total star formation activity and global colours, and define the triplet compactness as a measure of the percentage of the system total area that is filled by the light of member galaxies. We concentrate in the comparison of our results with those of compact groups to assess how the triplets are a natural extension of these compact systems. Our analysis suggests that triplet galaxy members behave similarly to compact group members and galaxies in rich clusters. We also find that systems comprising three blue, star-forming, young stellar population galaxies (blue triplets) are most probably real systems and not a chance configuration of interloping galaxies. The same holds for triplets composed of three red, non-star-forming galaxies, showing the correlation of galaxy properties in these systems. From the analysis of the triplet as a whole, we conclude that, at a given total stellar mass content, triplets show a total star formation activity and global colours similar to compact groups. However, blue triplets show a high total star formation activity with a lower stellar mass content. From an analysis of the compactness parameter of the systems we find that light is even more concentrated in triplets than in compact groups. We propose that triplets composed of three luminous galaxies, should not be considered as an analogous of galaxy pairs with a third extra member, but rather they are a natural extension of compact groups.

Programmable logic design of a compact Genetic Algorithm for phasor estimation in real-time

The main objective of this work is to present an efficient method for phasor estimation based on a compact Genetic Algorithm (cGA) implemented in Field Programmable Gate Array (FPGA). To validate the proposed method, an Electrical Power System (EPS) simulated by the Alternative Transients Program (ATP) provides data to be used by the cGA. This data is as close as possible to the actual data provided by the EPS. Real life situations such as islanding, sudden load increase and permanent faults were considered. The implementation aims to take advantage of the inherent parallelism in Genetic Algorithms in a compact and optimized way, making them an attractive option for practical applications in real-time estimations concerning Phasor Measurement Units (PMUs).

Local flow under weak trade wind regime

[EN] On 8-10 April 2007, several episodes of intense sea-breeze fronts were registered at the islands of Fuerteventura and Lanzarote (Canary Islands). The sea-breeze circulation was primary driven by daytime heating contrasts between land and the Atlantic Ocean during a period of weak trade winds. Numerical simulations of these events were carried out using the 3.1.1 version of the Weather Research and Forecasting (WRF-ARW) Model. Three different domains with 6.6-km, 2.2-km and 0.7-km horizontal grid spacing and two sets with 51 and 70 vertical sigma levels were defined. The simulation was performed using two-way interactive nesting between the first and the second domain, using different land surface model parameterizations (Thermal diffusion, Noah LSM and RUC) for comparison. Initial conditions were provided by the NCAR Dataset analysis from April 2007, which were improved using surface and upper-air observations. The poster is focused on the 10 April episode.

Generating multiple random exams using mathematica package and LATEX

[EN]In the framework of the European Higher Education Area, the assessment has been one of the most important aspects considered. In the Spanish Universities, one of the main differences with regard to the previous system is the incorporation of the continuous assessment to the evaluation process that is understood in several ways depending on the Universities, the courses and the lecturers. Focus on our context, a course of Mathematics of the first academic year in the Faculty of Business Administration at the University of Las Palmas de Gran Canaria (Spain), the continuous assessment has brought the preparation of a large amount of different tests to evaluate the students enrolled in it, therefore the incorporation of new tools and skills in order to make the teaching–learning process easier and more dynamic has become a need mainly in those degrees with a large number of students as the case we consider here. In this work we provide an efficient and effective way to elaborate random multiple-choice examina tion tests (although essay exams are also possible) by using Mathematica package and LATEXin order to make easier to the lectures the preparation of a large number of mid-term tests for a large number of students.

Enhanced Mixed Integer Programming Techniques and Routing Problems

Mixed integer programming is up today one of the most widely used techniques for dealing with hard optimization problems. On the one side, many practical optimization problems arising from real-world applications (such as, e.g., scheduling, project planning, transportation, telecommunications, economics and finance, timetabling, etc) can be easily and effectively formulated as Mixed Integer linear Programs (MIPs). On the other hand, 50 and more years of intensive research has dramatically improved on the capability of the current generation of MIP solvers to tackle hard problems in practice. However, many questions are still open and not fully understood, and the mixed integer programming community is still more than active in trying to answer some of these questions. As a consequence, a huge number of papers are continuously developed and new intriguing questions arise every year. When dealing with MIPs, we have to distinguish between two different scenarios. The first one happens when we are asked to handle a general MIP and we cannot assume any special structure for the given problem. In this case, a Linear Programming (LP) relaxation and some integrality requirements are all we have for tackling the problem, and we are ``forced" to use some general purpose techniques. The second one happens when mixed integer programming is used to address a somehow structured problem. In this context, polyhedral analysis and other theoretical and practical considerations are typically exploited to devise some special purpose techniques. This thesis tries to give some insights in both the above mentioned situations. The first part of the work is focused on general purpose cutting planes, which are probably the key ingredient behind the success of the current generation of MIP solvers. Chapter 1 presents a quick overview of the main ingredients of a branch-and-cut algorithm, while Chapter 2 recalls some results from the literature in the context of disjunctive cuts and their connections with Gomory mixed integer cuts. Chapter 3 presents a theoretical and computational investigation of disjunctive cuts. In particular, we analyze the connections between different normalization conditions (i.e., conditions to truncate the cone associated with disjunctive cutting planes) and other crucial aspects as cut rank, cut density and cut strength. We give a theoretical characterization of weak rays of the disjunctive cone that lead to dominated cuts, and propose a practical method to possibly strengthen those cuts arising from such weak extremal solution. Further, we point out how redundant constraints can affect the quality of the generated disjunctive cuts, and discuss possible ways to cope with them. Finally, Chapter 4 presents some preliminary ideas in the context of multiple-row cuts. Very recently, a series of papers have brought the attention to the possibility of generating cuts using more than one row of the simplex tableau at a time. Several interesting theoretical results have been presented in this direction, often revisiting and recalling other important results discovered more than 40 years ago. However, is not clear at all how these results can be exploited in practice. As stated, the chapter is a still work-in-progress and simply presents a possible way for generating two-row cuts from the simplex tableau arising from lattice-free triangles and some preliminary computational results. The second part of the thesis is instead focused on the heuristic and exact exploitation of integer programming techniques for hard combinatorial optimization problems in the context of routing applications. Chapters 5 and 6 present an integer linear programming local search algorithm for Vehicle Routing Problems (VRPs). The overall procedure follows a general destroy-and-repair paradigm (i.e., the current solution is first randomly destroyed and then repaired in the attempt of finding a new improved solution) where a class of exponential neighborhoods are iteratively explored by heuristically solving an integer programming formulation through a general purpose MIP solver. Chapters 7 and 8 deal with exact branch-and-cut methods. Chapter 7 presents an extended formulation for the Traveling Salesman Problem with Time Windows (TSPTW), a generalization of the well known TSP where each node must be visited within a given time window. The polyhedral approaches proposed for this problem in the literature typically follow the one which has been proven to be extremely effective in the classical TSP context. Here we present an overall (quite) general idea which is based on a relaxed discretization of time windows. Such an idea leads to a stronger formulation and to stronger valid inequalities which are then separated within the classical branch-and-cut framework. Finally, Chapter 8 addresses the branch-and-cut in the context of Generalized Minimum Spanning Tree Problems (GMSTPs) (i.e., a class of NP-hard generalizations of the classical minimum spanning tree problem). In this chapter, we show how some basic ideas (and, in particular, the usage of general purpose cutting planes) can be useful to improve on branch-and-cut methods proposed in the literature.

The Enhanced Single-dish Control System and wide surveys of compact sources

The Italian radio telescopes currently undergo a major upgrade period in response to the growing demand for deep radio observations, such as surveys on large sky areas or observations of vast samples of compact radio sources. The optimised employment of the Italian antennas, at first constructed mainly for VLBI activities and provided with a control system (FS – Field System) not tailored to single-dish observations, required important modifications in particular of the guiding software and data acquisition system. The production of a completely new control system called ESCS (Enhanced Single-dish Control System) for the Medicina dish started in 2007, in synergy with the software development for the forthcoming Sardinia Radio Telescope (SRT). The aim is to produce a system optimised for single-dish observations in continuum, spectrometry and polarimetry. ESCS is also planned to be installed at the Noto site. A substantial part of this thesis work consisted in designing and developing subsystems within ESCS, in order to provide this software with tools to carry out large maps, spanning from the implementation of On-The-Fly fast scans (following both conventional and innovative observing strategies) to the production of single-dish standard output files and the realisation of tools for the quick-look of the acquired data. The test period coincided with the commissioning phase for two devices temporarily installed – while waiting for the SRT to be completed – on the Medicina antenna: a 18-26 GHz 7-feed receiver and the 14-channel analogue backend developed for its use. It is worth stressing that it is the only K-band multi-feed receiver at present available worldwide. The commissioning of the overall hardware/software system constituted a considerable section of the thesis work. Tests were led in order to verify the system stability and its capabilities, down to sensitivity levels which had never been reached in Medicina using the previous observing techniques and hardware devices. The aim was also to assess the scientific potential of the multi-feed receiver for the production of wide maps, exploiting its temporary availability on a mid-sized antenna. Dishes like the 32-m antennas at Medicina and Noto, in fact, offer the best conditions for large-area surveys, especially at high frequencies, as they provide a suited compromise between sufficiently large beam sizes to cover quickly large areas of the sky (typical of small-sized telescopes) and sensitivity (typical of large-sized telescopes). The KNoWS (K-band Northern Wide Survey) project is aimed at the realisation of a full-northern-sky survey at 21 GHz; its pilot observations, performed using the new ESCS tools and a peculiar observing strategy, constituted an ideal test-bed for ESCS itself and for the multi-feed/backend system. The KNoWS group, which I am part of, supported the commissioning activities also providing map-making and source-extraction tools, in order to complete the necessary data reduction pipeline and assess the general system scientific capabilities. The K-band observations, which were carried out in several sessions along the December 2008-March 2010 period, were accompanied by the realisation of a 5 GHz test survey during the summertime, which is not suitable for high-frequency observations. This activity was conceived in order to check the new analogue backend separately from the multi-feed receiver, and to simultaneously produce original scientific data (the 6-cm Medicina Survey, 6MS, a polar cap survey to complete PMN-GB6 and provide an all-sky coverage at 5 GHz).

Black-scholes type equations

In this work we are concerned with the analysis and numerical solution of Black-Scholes type equations arising in the modeling of incomplete financial markets and an inverse problem of determining the local volatility function in a generalized Black-Scholes model from observed option prices. In the first chapter a fully nonlinear Black-Scholes equation which models transaction costs arising in option pricing is discretized by a new high order compact scheme. The compact scheme is proved to be unconditionally stable and non-oscillatory and is very efficient compared to classical schemes. Moreover, it is shown that the finite difference solution converges locally uniformly to the unique viscosity solution of the continuous equation. In the next chapter we turn to the calibration problem of computing local volatility functions from market data in a generalized Black-Scholes setting. We follow an optimal control approach in a Lagrangian framework. We show the existence of a global solution and study first- and second-order optimality conditions. Furthermore, we propose an algorithm that is based on a globalized sequential quadratic programming method and a primal-dual active set strategy, and present numerical results. In the last chapter we consider a quasilinear parabolic equation with quadratic gradient terms, which arises in the modeling of an optimal portfolio in incomplete markets. The existence of weak solutions is shown by considering a sequence of approximate solutions. The main difficulty of the proof is to infer the strong convergence of the sequence. Furthermore, we prove the uniqueness of weak solutions under a smallness condition on the derivatives of the covariance matrices with respect to the solution, but without additional regularity assumptions on the solution. The results are illustrated by a numerical example.

Testing future weak lensing surveys through simulations of observations

Weak lensing experiments such as the future ESA-accepted mission Euclid aim to measure cosmological parameters with unprecedented accuracy. It is important to assess the precision that can be obtained in these measurements by applying analysis software on mock images that contain many sources of noise present in the real data. In this Thesis, we show a method to perform simulations of observations, that produce realistic images of the sky according to characteristics of the instrument and of the survey. We then use these images to test the performances of the Euclid mission. In particular, we concentrate on the precision of the photometric redshift measurements, which are key data to perform cosmic shear tomography. We calculate the fraction of the total observed sample that must be discarded to reach the required level of precision, that is equal to 0.05(1+z) for a galaxy with measured redshift z, with different ancillary ground-based observations. The results highlight the importance of u-band observations, especially to discriminate between low (z < 0.5) and high (z ~ 3) redshifts, and the need for good observing sites, with seeing FWHM < 1. arcsec. We then construct an optimal filter to detect galaxy clusters through photometric catalogues of galaxies, and we test it on the COSMOS field, obtaining 27 lensing-confirmed detections. Applying this algorithm on mock Euclid data, we verify the possibility to detect clusters with mass above 10^14.2 solar masses with a low rate of false detections.

Pseudodifferential analysis in Psi*-algebras on transmission spaces, infinite solving ideal chains and K-theory for conformally compact spaces

The present thesis is a contribution to the theory of algebras of pseudodifferential operators on singular settings. In particular, we focus on the $b$-calculus and the calculus on conformally compact spaces in the sense of Mazzeo and Melrose in connection with the notion of spectral invariant transmission operator algebras. We summarize results given by Gramsch et. al. on the construction of $Psi_0$-and $Psi*$-algebras and the corresponding scales of generalized Sobolev spaces using commutators of certain closed operators and derivations. In the case of a manifold with corners $Z$ we construct a $Psi*$-completion $A_b(Z,{}^bOmega^{1/2})$ of the algebra of zero order $b$-pseudodifferential operators $Psi_{b,cl}(Z, {}^bOmega^{1/2})$ in the corresponding $C*$-closure $B(Z,{}^bOmega^{12})hookrightarrow L(L^2(Z,{}^bOmega^{1/2}))$. The construction will also provide that localised to the (smooth) interior of Z the operators in the $A_b(Z, {}^bOmega^{1/2})$ can be represented as ordinary pseudodifferential operators. In connection with the notion of solvable $C*$-algebras - introduced by Dynin - we calculate the length of the $C*$-closure of $Psi_{b,cl}^0(F,{}^bOmega^{1/2},R^{E(F)})$ in $B(F,{}^bOmega^{1/2}),R^{E(F)})$ by localizing $B(Z, {}^bOmega^{1/2})$ along the boundary face $F$ using the (extended) indical familiy $I^B_{FZ}$. Moreover, we discuss how one can localise a certain solving ideal chain of $B(Z, {}^bOmega^{1/2})$ in neighbourhoods $U_p$ of arbitrary points $pin Z$. This localisation process will recover the singular structure of $U_p$; further, the induced length function $l_p$ is shown to be upper semi-continuous. We give construction methods for $Psi*$- and $C*$-algebras admitting only infinite long solving ideal chains. These algebras will first be realized as unconnected direct sums of (solvable) $C*$-algebras and then refined such that the resulting algebras have arcwise connected spaces of one dimensional representations. In addition, we recall the notion of transmission algebras on manifolds with corners $(Z_i)_{iin N}$ following an idea of Ali Mehmeti, Gramsch et. al. Thereby, we connect the underlying $C^infty$-function spaces using point evaluations in the smooth parts of the $Z_i$ and use generalized Laplacians to generate an appropriate scale of Sobolev spaces. Moreover, it is possible to associate generalized (solving) ideal chains to these algebras, such that to every $ninN$ there exists an ideal chain of length $n$ within the algebra. Finally, we discuss the $K$-theory for algebras of pseudodifferential operators on conformally compact manifolds $X$ and give an index theorem for these operators. In addition, we prove that the Dirac-operator associated to the metric of a conformally compact manifold $X$ is not a Fredholm operator.

Markov Constraints for Generating Texts with Style

This thesis addresses the issue of generating texts in the style of an existing author, that also satisfy structural constraints imposed by the genre of the text. Although Markov processes are known to be suitable for representing style, they are difficult to control in order to satisfy non-local properties, such as structural constraints, that require long distance modeling. The framework of Constrained Markov Processes allows to precisely generate texts that are consistent with a corpus, while being controllable in terms of rhymes and meter. Controlled Markov processes consist in reformulating Markov processes in the context of constraint satisfaction. The thesis describes how to represent stylistic and structural properties in terms of constraints in this framework and how this approach can be used for the generation of lyrics in the style of 60 differents authors An evaluation of the desctibed method is provided by comparing it to both pure Markov and pure constraint-based approaches. Finally the thesis describes the implementation of an augmented text editor, called Perec. Perec is intended to improve creativity, by helping the user to write lyrics and poetry, exploiting the techniques presented so far.

Generating vegetation-spectra as a basis for global monitoring of annual vegetation cycles using DOAS satellite observations

Vegetation-cycles are of general interest for many applications. Be it for harvest-predictions, global monitoring of climate-change or as input to atmospheric models.rnrnCommon Vegetation Indices use the fact that for vegetation the difference between Red and Near Infrared reflection is higher than in any other material on Earth’s surface. This gives a very high degree of confidence for vegetation-detection.rnrnThe spectrally resolving data from the GOME and SCIAMACHY satellite-instrumentsrnprovide the chance to analyse finer spectral features throughout the Red and Near Infrared spectrum using Differential Optical Absorption Spectroscopy (DOAS). Although originally developed to retrieve information on atmospheric trace gases, we use it to gain information on vegetation. Another advantage is that this method automatically corrects for changes in the atmosphere. This renders the vegetation-information easily comparable over long time-spans.rnThe first results using previously available reference spectra were encouraging, but also indicated substantial limitations of the available reflectance spectra of vegetation. This was the motivation to create new and more suitable vegetation reference spectra within this thesis.rnThe set of reference spectra obtained is unique in its extent and also with respect to its spectral resolution and the quality of the spectral calibration. For the first time, this allowed a comprehensive investigation of the high-frequency spectral structures of vegetation reflectance and of their dependence on the viewing geometry.rnrnThe results indicate that high-frequency reflectance from vegetation is very complex and highly variable. While this is an interesting finding in itself, it also complicates the application of the obtained reference spectra to the spectral analysis of satellite observations.rnrnThe new set of vegetation reference spectra created in this thesis opens new perspectives for research. Besides refined satellite analyses, these spectra might also be used for applications on other platforms such as aircraft. First promising studies have been presented in this thesis, but the full potential for the remote sensing of vegetation from satellite (or aircraft) could bernfurther exploited in future studies.