Genome sequences published outside of Standards in Genomic Sciences, January – June 2011

The purpose of this table is to provide the community with a citable record of publications of ongoing genome sequencing projects that have led to a publication in the scientific literature. While our goal is to make the list complete, there is no guarantee that we may have omitted one or more publications appearing in this time frame. Readers and authors who wish to have publications added to this subsequent versions of this list are invited to provide the bibliometric data for such references to the SIGS editorial office

Genome sequences published outside of Standards in Genomic Sciences, January-March 2012

The purpose of this table is to provide the community with a citable record of publications of ongoing genome sequencing projects that have led to a publication in the scientific literature. While our goal is to make the list complete, there is no guarantee that we may have omitted one or more publications appearing in this time frame. Readers and authors who wish to have publications added to subsequent versions of this list are invited to provide the bibliographic data for such references to the SIGS editorial office

Mission Planner Algorithm for Urban Air Mobility Initial Performance Characterization

In this paper, an initial characterization was performed of the Mission Planner algorithm developed by NASA for Urban Air Mobility (UAM) operations research. The algorithm plans conflict-free trajectories for flights to support a given set of UAM passenger trips. The UAM trips are planned in an on-demand, first-come, first-served manner, such that any given trip is subject to the constraints imposed by previously planned trips. For this analysis, the mission planning algorithm considered only the trajectory constraints from previously-planned trips in one test condition and added vertiport constraints for the second test condition. The conflict and constraint resolution strategies used by the Mission Planner were characterized by their percentage contribution to planning iterations, their percentage effectiveness in those iterations, and their contributions to the departure delay applied to each UAM trips flight. With the exception of the climb and descent vertical speed strategies, most strategies showed reasonable or good performance in all test scenarios. In the test condition with vertipad constraints enabled, both the total number of iterations executed, and the number of flights that required planning iterations, was reduced for all scenarios. This was the result of the natural conditioning of the traffic achieved with scheduling and the additional information available to the Mission Planner from the vertiport scheduler. The next steps for this work will include improvements to the mission planning strategies and analyses with additional constraints and under other demand scenarios

Gasification of Densified Sludge and Wastepaper in a Downdraft Packed-Bed Gasifier

The co-disposal of densified sludge and wastepaper in a co-current flow packed bed gasifier represents new application of the thermal gasification process. Advantages of this technology include lower costs than other incineration or pyrolysis technologies, simple construction and operation, and the ability to use a variety of fuels including agricultural wastes and other biomass materials in addition to densified sludge and wastepaper

Gasser-Leutwyler coefficients: A progress report

Last year, we reported our first results on the determination of Gasser-Leutwyler coefficients using partially quenched lattice QCD with three flavors of dynamical staggered quarks. We give an update on our progress in determining two of these coefficients, including an exhaustive effort to estimate all sources of systematic error. At this conference, we have heard about algorithmic techniques to reduce staggered flavor symmetry breaking and a method to incorporate staggered flavor breaking into the partially quenched chiral Lagrangian. We comment on our plans to integrate these developments into our ongoing program.Comment: 3 pages, 2 figures, Lattice2002(spectrum

Is strong CP invariance due to a massless up quark?

A standing mystery in the Standard Model is the unnatural smallness of the strong CP violating phase. A massless up quark has long been proposed as one potential solution. A lattice calculation of the constants of the chiral Lagrangian essential for the determination of the up quark mass, 2 alpha_8 - alpha_5, is presented. We find 2 alpha_8 - alpha_5 = 0.29 +/- 0.18, which corresponds to m_u / m_d = 0.410 +/- 0.036. This is the first such calculation using a physical number of dynamical light quarks, N_f = 3.Comment: 4 pages, 5 figures, submitted to Phys. Rev. Lett., corrected small normalization error in f_pi (conclusions were unaffected), improved lattice spacing analysis, improved finite volume analysi

An Efficient Universal Trajectory Language

The Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail