Unsteady effects during resistance tests on a ship model in a towing tank

It is known that there are oscillations in the wave resistance during the constantvelocity phase of a towing-tank resistance test on a ship model. In this work, the unsteady thin-ship resistance theory has been applied to this case. The results have been compared with experiment data obtained using a towing carriage the velocity history of which can be programmed. It is demonstrated here that generally excellent correlation exists between the theory and the experiments. In particular, one can predict the influence of Froude number, rate of acceleration, and type of smoothing of the acceleration on the characteristics of the oscillations. These characteristics include the amplitude, rate of decay, frequency, and phasing of the oscillations in the curve of wave resistance versus time

A 610-MHz survey of the ELAIS-N1 field with the Giant Metrewave Radio Telescope - Observations, data analysis and source catalogue

Observations of the ELAIS-N1 field taken at 610 MHz with the Giant Metrewave Radio Telescope are presented. Nineteen pointings were observed, covering a total area of 9 square degrees with a resolution of 6" x 5", PA +45 deg. Four of the pointings were deep observations with an rms of 40 microJy before primary beam correction, with the remaining fifteen pointings having an rms of 70 microJy. The techniques used for data reduction and production of a mosaicked image of the region are described, and the final mosaic is presented, along with a catalogue of 2500 sources detected above 6 sigma. This work complements the large amount of optical and infrared data already available on the region. We calculate 610-MHz source counts down to 270 microJy, and find further evidence for the turnover in differential number counts below 1 mJy, previously seen at both 610 MHz and 1.4 GHz.Comment: 12 pages, 18 figures, two tables. Table 1 can be found in full via http://www.mrao.cam.ac.uk/surveys/ . Accepted for publication in MNRA

Neural Network Emulation of the Formation of Organic Aerosols Based on the Explicit GECKO-A Chemistry Model

Secondary organic aerosols (SOA) are formed from oxidation of hundreds of volatile organic compounds (VOCs) emitted from anthropogenic and natural sources. Accurate predictions of this chemistry are key for air quality and climate studies due to the large contribution of organic aerosols to submicron aerosol mass. Currently, only explicit models, such as the Generator for Explicit Chemistry and Kinetics of Organics in the Atmosphere (GECKO-A), can fully represent the chemical processing of thousands of organic species. However, their extreme computational cost prohibits their use in current chemistry-climate models, which rely on simplified empirical parameterizations to predict SOA concentrations. This study demonstrates that machine learning can accurately emulate SOA formation from an explicit chemistry model with an approximate error of 2%&ndash;8%, up to five days for several precursors and for potentially up to one month for recurrent neural network models, and with 100 to 100,000 times speedup over GECKO-A, making it computationally useable in a chemistry-climate model. We generated the training data using thousands of GECKO-A box simulations sampled from a broad range of initial environmental conditions, and focused on three representative SOA precursors: the oxidation by OH of two anthropogenic (toluene, dodecane), and the oxidation by O3 of one biogenic VOC (&alpha;-pinene). We compare several neural models and quantify their underlying uncertainty and robustness. These are promising results, suggesting that neural network models could be applied to predict SOA in chemistry-climate models, limited however to the range of environmental conditions that were considered in the training datasets. &nbsp;</p

Human Neutralizing Antibodies Target a Conserved Lateral Patch on H7N9 Hemagglutinin Head

Avian influenza A virus H7N9 causes severe human infections with \u3e30% fatality. Currently, there is no H7N9-specific prevention or treatment for humans. Here, from a 2013 H7N9 convalescent case in Hong Kong, we isolate four hemagglutinin (HA)-reactive monoclonal antibodies (mAbs), with three directed to the globular head domain (HA1) and one to the stalk domain (HA2). Two clonally related HA1-directed mAbs, H7.HK1 and H7.HK2, potently neutralize H7N9 and protect female mice from lethal H7N9/AH1 challenge. Cryo-EM structures reveal that H7.HK1 and H7.HK2 bind to a β14-centered surface and disrupt the 220-loop that makes hydrophobic contacts with sialic acid on an adjacent protomer, thereby blocking viral entry. Sequence analysis indicates the lateral patch targeted by H7.HK1 and H7.HK2 to be conserved among influenza subtypes. Both H7.HK1 and H7.HK2 retain HA1 binding and neutralization capacity to later H7N9 isolates from 2016-2017, consistent with structural data showing that the antigenic mutations during this timeframe occur at their epitope peripheries. The HA2-directed mAb H7.HK4 lacks neutralizing activity but when used in combination with H7.HK2 moderately augments female mouse protection. Overall, our data reveal antibodies to a conserved lateral HA1 supersite that confer neutralization, and when combined with a HA2-directed non-neutralizing mAb, augment protection

Heat flow at the spreading centers of the Guaymas Basin, Gulf of California

Fifty-four new heat flow measurements in the central troughs of the Guaymas basin support the hypothesis that they are sites of active intrusion. In the northern trough a distinct pattern of hydrothermal cooling is revealed, with venting along the western boundary fault of the trough. In the southern trough an analogous pattern is apparently superimposed upon a conductive cooling anomaly associated with a recent central intrusion. The discharge of thermal waters occurs along the boundary faults and through other faults associated with a possible horst block located in the north central floor of the southern trough. The heat flow patterns suggest that the intrusions are episodic and do not occur simultaneously along the length (15–40 km) of a spreading segment. A review of all available heat flow measurements for the Guaymas basin suggests that most of the recharge for a pervasive regional hydrothermal system is limited to the central depressions, with perhaps some contribution from pore water. The discharge of thermal waters occurs predominantly in the central depressions and possibly along the boundary transform faults and fracture zones. The regions of the basin more than a few kilometers in distance from the spreading axis, although presumably underlain by a hydrothermal system, are probably not the location of numerous vents or recharge zones

Efficient Ramsey Equilibria

Ramsey equilibrium models with heterogeneous agents and borrowing constraints are shown to yield efficient equilibrium sequences of aggregate capital and consumption. The proof of this result is based on verifying that equilibrium sequences of prices satisfy the Malinvaud criterion for efficiency

Lassie: HOL4 Tactics by Example

Proof engineering efforts using interactive theorem proving have yielded several impressive projects in software systems and mathematics. A key obstacle to such efforts is the requirement that the domain expert is also an expert in the low-level details in constructing the proof in a theorem prover. In particular, the user needs to select a sequence of tactics that lead to a successful proof, a task that in general requires knowledge of the exact names and use of a large set of tactics. We present Lassie, a tactic framework for the HOL4 theorem prover that allows individual users to define their own tactic language by example and give frequently used tactics or tactic combinations easier-to-remember names. The core of Lassie is an extensible semantic parser, which allows the user to interactively extend the tactic language through a process of definitional generalization. Defining tactics in Lassie thus does not require any knowledge in implementing custom tactics, while proofs written in Lassie retain the correctness guarantees provided by the HOL4 system. We show through case studies how Lassie can be used in small and larger proofs by novice and more experienced interactive theorem prover users, and how we envision it to ease the learning curve in a HOL4 tutorial

Constraints on Star Forming Galaxies at z> 6.5 from HAWK-I Y-band Imaging of GOODS-South

We present the results of our search for high-redshift Lyman-break galaxies over the GOODS-South field. We use HST-ACS data in B, V, i' & z', VLT-ISAAC J and Ks, Spitzer-IRAC 3.6, 4.5, 5.8 and 8.0 micron data in conjunction with the new HAWK-I Y-band science verification data to search for dropout galaxies in the redshift range 6<z<9. We survey ~119 arcmin^2 to Y_AB=25.7 (5sigma), of which 37.5 arcmin^2 reaches Y_AB=25.9. Candidate z' and Y drop-outs were selected on the basis of a colour cut of (Y-J)_{AB}>0.75 mag and (z'-Y)_{AB}>1.0 mag respectively. We find no robust Y-drops (z~9) brighter than J_{AB}<25.4. In our search for z'-band dropouts (z~6.5-7.5), we identify four possible candidates, two with z'-drop colours and clear Spitzer-IRAC detections and two less likely candidates. We also identify two previously-known Galactic T-dwarf stellar contaminants with these colours, and two likely transient objects seen in the Y-band data. The implications if all or none of our candidates are real on the Ultra-Violet galaxy luminosity functions at z>6.5 are explored. We find our number of z'-drop candidates to be insufficient based on the expected number of z' drops in a simple no-evolution scenario from the z=3 Lyman-break galaxy luminosity function but we are consistent with the observed luminosity function at z~6 (if all our candidates are real). However, if one or both of our best z'-drop candidates are not z>6.5 galaxies, this would demand evolution of the luminosity function at early epochs. We show that the future surveys to be conducted with the ESO VISTA telescope over the next five years will be able to measure the bulk of the luminosity function for both z' and Y drop-outs.Comment: 14 pages, 15 figure. Accepted for publication in MNRA

Pan-Cancer Analysis of lncRNA Regulation Supports Their Targeting of Cancer Genes in Each Tumor Context

Long noncoding RNAs (lncRNAs) are commonly dys-regulated in tumors, but only a handful are known toplay pathophysiological roles in cancer. We inferredlncRNAs that dysregulate cancer pathways, onco-genes, and tumor suppressors (cancer genes) bymodeling their effects on the activity of transcriptionfactors, RNA-binding proteins, and microRNAs in5,185 TCGA tumors and 1,019 ENCODE assays.Our predictions included hundreds of candidateonco- and tumor-suppressor lncRNAs (cancerlncRNAs) whose somatic alterations account for thedysregulation of dozens of cancer genes and path-ways in each of 14 tumor contexts. To demonstrateproof of concept, we showed that perturbations tar-geting OIP5-AS1 (an inferred tumor suppressor) andTUG1 and WT1-AS (inferred onco-lncRNAs) dysre-gulated cancer genes and altered proliferation ofbreast and gynecologic cancer cells. Our analysis in-dicates that, although most lncRNAs are dysregu-lated in a tumor-specific manner, some, includingOIP5-AS1, TUG1, NEAT1, MEG3, and TSIX, synergis-tically dysregulate cancer pathways in multiple tumorcontexts

Pan-cancer Alterations of the MYC Oncogene and Its Proximal Network across the Cancer Genome Atlas

Although theMYConcogene has been implicated incancer, a systematic assessment of alterations ofMYC, related transcription factors, and co-regulatoryproteins, forming the proximal MYC network (PMN),across human cancers is lacking. Using computa-tional approaches, we define genomic and proteo-mic features associated with MYC and the PMNacross the 33 cancers of The Cancer Genome Atlas.Pan-cancer, 28% of all samples had at least one ofthe MYC paralogs amplified. In contrast, the MYCantagonists MGA and MNT were the most frequentlymutated or deleted members, proposing a roleas tumor suppressors.MYCalterations were mutu-ally exclusive withPIK3CA,PTEN,APC,orBRAFalterations, suggesting that MYC is a distinct onco-genic driver. Expression analysis revealed MYC-associated pathways in tumor subtypes, such asimmune response and growth factor signaling; chro-matin, translation, and DNA replication/repair wereconserved pan-cancer. This analysis reveals insightsinto MYC biology and is a reference for biomarkersand therapeutics for cancers with alterations ofMYC or the PMN