The Atacama Large Millimeter/submillimeter Array: Overview & status

The Atacama Large Millimeter/submillimeter Array (ALMA) is an international radio telescope under construction in the Atacama Desert of northern Chile. ALMA will be situated on a high-altitude site at 5000 m elevation which provides excellent atmospheric transmission over the instrument wavelength range of 0.3 to 3 mm. ALMA will be comprised of two key observing components: an array of up to sixty-four 12-m diameter antennas arranged in a multiple configurations ranging in size from 0.15 to ~14 km, and a set of four 12-m and twelve 7-m antennas operating in closely-packed configurations ~50m in diameter (known as the Atacama Compact Array, or ACA), providing both interferometric and total-power astronomical information. High-sensitivity dual-polarization 8 GHz-bandwidth spectral-line and continuum measurements between all antennas will be available from two flexible digital correlators

Scheduling aircraft landings - the static case

This is the publisher version of the article, obtained from the link below.In this paper, we consider the problem of scheduling aircraft (plane) landings at an airport. This problem is one of deciding a landing time for each plane such that each plane lands within a predetermined time window and that separation criteria between the landing of a plane and the landing of all successive planes are respected. We present a mixed-integer zero–one formulation of the problem for the single runway case and extend it to the multiple runway case. We strengthen the linear programming relaxations of these formulations by introducing additional constraints. Throughout, we discuss how our formulations can be used to model a number of issues (choice of objective function, precedence restrictions, restricting the number of landings in a given time period, runway workload balancing) commonly encountered in practice. The problem is solved optimally using linear programming-based tree search. We also present an effective heuristic algorithm for the problem. Computational results for both the heuristic and the optimal algorithm are presented for a number of test problems involving up to 50 planes and four runways.J.E.Beasley. would like to acknowledge the financial support of the Commonwealth Scientific and Industrial Research Organization, Australia

VLBI Astrometry of the Stellar Image of U Herculis, Amplified by the 1667 OH Maser

The OH 1667 MHz maser in the circumstellar shell around the Mira variable U Herculis has been observed with the NRAO Very Long Baseline Array (VLBA) at 6 epochs, spread over 4 years. Using phase referencing techniques the position of the most blue-shifted maser spot was monitored with respect to two extra-galactic radio sources. The absolute radio positions of the maser can be compared with the stellar optical position measured by the Hipparcos satellite to 15 mas accuracy. This confirms the model in which one of the maser spots corresponds to the stellar continuum, amplified by the maser. The stellar proper motion and the annual parallax (5.3 +/- 2.1 mas) were measured.Comment: 6 pages, 4 figures; to be published in A&

Integrating gene and protein expression data with genome-scale metabolic networks to infer functional pathways

This article has been made available through the Brunel Open Access Publishing Fund. Copyright @ 2013 Pey et al.; licensee BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: The study of cellular metabolism in the context of high-throughput -omics data has allowed us to decipher novel mechanisms of importance in biotechnology and health. To continue with this progress, it is essential to efficiently integrate experimental data into metabolic modeling. Results: We present here an in-silico framework to infer relevant metabolic pathways for a particular phenotype under study based on its gene/protein expression data. This framework is based on the Carbon Flux Path (CFP) approach, a mixed-integer linear program that expands classical path finding techniques by considering additional biophysical constraints. In particular, the objective function of the CFP approach is amended to account for gene/protein expression data and influence obtained paths. This approach is termed integrative Carbon Flux Path (iCFP). We show that gene/protein expression data also influences the stoichiometric balancing of CFPs, which provides a more accurate picture of active metabolic pathways. This is illustrated in both a theoretical and real scenario. Finally, we apply this approach to find novel pathways relevant in the regulation of acetate overflow metabolism in Escherichia coli. As a result, several targets which could be relevant for better understanding of the phenomenon leading to impaired acetate overflow are proposed. Conclusions: A novel mathematical framework that determines functional pathways based on gene/protein expression data is presented and validated. We show that our approach is able to provide new insights into complex biological scenarios such as acetate overflow in Escherichia coli.Basque Governmen

On F-theory Quiver Models and Kac-Moody Algebras

We discuss quiver gauge models with bi-fundamental and fundamental matter obtained from F-theory compactified on ALE spaces over a four dimensional base space. We focus on the base geometry which consists of intersecting F0=CP1xCP1 Hirzebruch complex surfaces arranged as Dynkin graphs classified by three kinds of Kac-Moody (KM) algebras: ordinary, i.e finite dimensional, affine and indefinite, in particular hyperbolic. We interpret the equations defining these three classes of generalized Lie algebras as the anomaly cancelation condition of the corresponding N =1 F-theory quivers in four dimensions. We analyze in some detail hyperbolic geometries obtained from the affine A base geometry by adding a node, and we find that it can be used to incorporate fundamental fields to a product of SU-type gauge groups and fields.Comment: 13 pages; new equations added in section 3, one reference added and typos correcte