Flight investigation of methods for implementing noise-abatement landing approaches

Flight tests and simulation of steep noise reducing landing approaches with jet transpor

GLSMs for non-Kahler Geometries

We identify a simple mechanism by which H-flux satisfying the modified Bianchi identity arises in garden-variety (0,2) gauged linear sigma models. Taking suitable limits leads to effective gauged linear sigma models with Green-Schwarz anomaly cancellation. We test the quantum-consistency of a class of such effective theories by constructing an off-shell superconformal algebra, providing evidence that these models run to good CFTs in the deep IR.Comment: 37 pages, Minor updates for v

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification

Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component proofs and even reduce the effort required to verify one concrete system, just as modularity simplifies standard software development. This paper reports on one case study applying modular proof techniques in the Coq proof assistant. To our knowledge, it is the first modular verification certifying a system that combines infrastructure with an application of interest to end users. We assume a nonblocking API for managing TCP networking streams, and on top of that we work our way up to certifying multithreaded, database-backed Web applications. Key verified components include a cooperative threading library and an implementation of a domain-specific language for XML processing. We have deployed our case-study system on mobile robots, where it interfaces with off-the-shelf components for sensing, actuation, and control.National Science Foundation (U.S.) (Grant CCF-1253229)United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0293

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification

Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component proofs and even reduce the effort required to verify one concrete system, just as modularity simplifies standard software development. This paper reports on one case study applying modular proof techniques in the Coq proof assistant. To our knowledge, it is the first modular verification certifying a system that combines infrastructure with an application of interest to end users. We assume a nonblocking API for managing TCP networking streams, and on top of that we work our way up to certifying multithreaded, database-backed Web applications. Key verified components include a cooperative threading library and an implementation of a domain-specific language for XML processing. We have deployed our case-study system on mobile robots, where it interfaces with off-the-shelf components for sensing, actuation, and control.National Science Foundation (U.S.) (NSF grant CCF-1253229)United States. Defense Advanced Research Projects Agency (DARPA, agreement number FA8750-12-2-0293

Adding flavour to twistor strings

Twistor string theory is known to describe a wide variety of field theories at tree-level and has proved extremely useful in making substantial progress in perturbative gauge theory. We explore the twistor dual description of a class of N=2 UV-finite super-Yang-Mills theories with fundamental flavour by adding 'flavour' branes to the topological B-model on super-twistor space and comment on the appearance of these objects. Evidence for the correspondence is provided by matching amplitudes on both sides.Comment: 6 pages; contribution to the proceedings for the European Physical Society conference on High Energy Physics in Manchester, 19-25 July 2007. v3: Typos correcte

AN ENZYMATIC FUNCTION ASSOCIATED WITH TRANSFORMATION OF FIBROBLASTS BY ONCOGENIC VIRUSES : I. CHICK EMBRYO FIBROBLAST CULTURES TRANSFORMED BY AVIAN RNA TUMOR VIRUSES

Chick embryo fibroblast cultures develop fibrinolytic activity after transformation by Rous sarcoma virus (RSV). This fibrinolytic activity is not present in normal cultures, and it does not appear after infection with either nontransforming strains of avian leukosis viruses or cytocidal RNA and DNA viruses. In cultures infected with a temperature sensitive mutant of RSV the onset of fibrinolysis appears after exposure to permissive temperatures and precedes by a short interval the appearance of morphological evidence of transformation. See PDF for Structure The rate of fibrinolysis in transformed cultures depends on the nature of the serum that is present in the growth medium: some sera (e.g., monkey or chicken serum) promote high enzymatic activity, while others (calf, fetal bovine) do not. Some sera contain inhibitors of the fibrinolysin. Based on the effect of a small number of known inhibitors, at least one step of the fibrinolytic process shows specificity resembling that of trypsin. The sera of sarcoma-bearing chickens contain an inhibitor of the fibrinolysin, whereas normal chicken sera do not. For general discussion, conclusions, and summary see the accompanying paper, part II, (J. Exp. Med. 137:112)

Chromospherically active stars. I. HD 136905.

The variable star HD 136905, recently designated GX Librae, is a chromospherically active K1 III single-lined spectroscopic binary with a period of 11.1345 days. It has moderate strength Ca II H and K and ultraviolet emission features, while Hα is strongly in absorption. The inclination of the systems is 58°±17° and the unseen secondary is most likely a G or K dwarf. The v sin i of the primary, 32±2 km s-1, results in a minimum radius of 7.0±0.4 R_sun;. Since the star fills a substantial fraction of its Roche lobe, the double-peaked light curve seen by photometric observers is predominantly ellipsoidal in nature. Both the photometry and the spectroscopy yield values for the period and the time of conjunction that are identical within their uncertainties

The seven deadly sins : when computing crystal nucleation rates, the devil is in the details

The formation of crystals has proven to be one of the most challenging phase transformations to quantitatively model - let alone to actually understand - be it by means of the latest experimental technique or the full arsenal of enhanced sampling approaches at our disposal. One of the most crucial quantities involved with the crystallization process is the nucleation rate, a single, elusive number that is supposed to quantify the average probability for a nucleus of critical size to occur within a certain volume and time span. A substantial amount of effort has been devoted to attempt a connection between the crystal nucleation rates computed by means of atomistic simulations and their experimentally measured counterparts. Sadly, this endeavour almost invariably fails to some extent, with the venerable classical nucleation theory typically blamed as the main culprit. Here, we review some of the recent advances in the field, focusing on a number of perhaps more subtle details that are sometimes overlooked when computing nucleation rates. We believe it is important for the community to be aware of the full impact of aspects such as finite size effects and slow dynamics, that often introduce inconspicuous and yet non-negligible sources of uncertainty into our simulations. In fact, it is key to obtain robust and reproducible trends to be leveraged so as to shed new light on the kinetics of a process, that of crystal nucleation, which is involved into countless practical applications, from the formulation of pharmaceutical drugs to the manufacturing of nano-electronic devices

Elongated TCR alpha chain CDR3 favors an altered CD4 cytokine profile

Background CD4 T lymphocyte activation requires T cell receptor (TCR) engagement by peptide/MHC (major histocompatibility complex) (pMHC). The TCR complementarity-determining region 3 (CDR3) contains variable α and β loops critical for pMHC recognition. During any immune response, tuning of TCR usage through progressive clonal selection occurs. Th1 and Th2 cells operate at different avidities for activation and display distinct transcriptional programs, although polarization may be plastic, influenced by pathogens and cytokines. We therefore hypothesized that CDR3αβ sequence features may intrinsically influence CD4 phenotype during progression of a response. Results We show that CD4 polarization involves distinct CDR3α usage: Th1 and Th17 cells favored short TCR CDR3α sequences of 12 and 11 amino acids, respectively, while Th2 cells favored elongated CDR3α loops of 14 amino acids, with lower predicted affinity. The dominant Th2- and Th1-derived TCRα sequences with14 amino acid CDR3 loops and 12 amino acid CDR3 loops, respectively, were expressed in TCR transgenics. The functional impact of these TCRα transgenes was assessed after in vivo priming with a peptide/adjuvant. The short, Th1-derived receptor transgenic T cell lines made IFNγ, but not IL-4, 5 or 13, while the elongated, Th2-derived receptor transgenic T cell lines made little or no IFNγ, but increased IL-4, 5 and 13 with progressive re-stimulations, mirrored by GATA-3 up-regulation. T cells from primed Th2 TCRα transgenics selected dominant TCR Vβ expansions, allowing us to generate TCRαβ transgenics carrying the favored, Th2-derived receptor heterodimer. Primed T cells from TCRαβ transgenics made little or no IL-17 or IFNγ, but favored IL-9 after priming with Complete Freund’s adjuvant and IL-4, 5, 9, 10 and 13 after priming with incomplete Freund’s. In tetramer-binding studies, this transgenic receptor showed low binding avidity for pMHC and polarized T cell lines show TCR avidity for Th17 > Th1 > Th2. While transgenic expression of a Th2-derived, ‘elongated’ TCR-CDR3α and the TCRαβ pair, clearly generated a program shifted away from Th1 immunity and with low binding avidity, cytokine-skewing could be over-ridden by altering peptide challenge dose. Conclusion We propose that selection from responding clones with distinctive TCRs on the basis of functional avidity can direct a preference away from Th1 effector responses, favoring Th2 cytokines