Unlocking Temporal Question Answering for Large Language Models Using Code Execution

Large language models (LLMs) have made significant progress in natural language processing (NLP), and are utilized extensively in various applications. Recent works, such as chain-of-thought (CoT), have shown that intermediate reasoning steps can improve the performance of LLMs for complex reasoning tasks, such as math problems and symbolic question-answering tasks. However, we notice the challenge that LLMs face when it comes to temporal reasoning. Our preliminary experiments show that generating intermediate reasoning steps does not always boost the performance of complex temporal question-answering tasks. Therefore, we propose a novel framework that combines the extraction capability of LLMs and the logical reasoning capability of a Python solver to tackle this issue. Extensive experiments and analysis demonstrate the effectiveness of our framework in handling intricate time-bound reasoning tasks

Authenticating Multi-Dimensional Query Results in Data Publishing

Abstract. In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the publisher may be untrusted or susceptible to attacks, it could produce incorrect query results. This paper introduces a mechanism for users to verify that their query answers on a multi-dimensional dataset are correct, in the sense of being complete (i.e., no qualifying data points are omitted) and authentic (i.e., all the result values originated from the owner). Our approach is to add authentication information into a spatial data structure, by constructing certifiedchainsonthepointswithineachpartition,aswellasonallthe partitions in the data space. Given a query, we generate proof that every data point within those intervals of the certified chains that overlap the query window either is returned as a result value, or fails to meet some query condition. We study two instantiations of the approach: Verifiable KD-tree (VKDtree) that is based on space partitioning, and Verifiable R-tree (VRtree) that is based on data partitioning. The schemes are evaluated on window queries, and results show that VRtree is highly precise, meaning that few data points outside of a query result are disclosed in the course of proving its correctness.

A Novel Severe Acute Respiratory Syndrome Coronavirus Protein, U274, is transported to the Cell Surface and undergoes Endocytosis

The severe acute respiratory syndrome coronavirus (SARS-CoV) genome contains open reading frames (ORFs) that encode for several genes that are homologous to proteins found in all known coronaviruses. These are the replicase gene 1a/1b and the four structural proteins, nucleocapsid (N), spike (S), membrane (M), and envelope (E), and these proteins are expected to be essential for the replication of the virus. In addition, this genome also contains nine other potential ORFs varying in length from 39 to 274 amino acids. The largest among these is the first ORF of the second longest subgenomic RNA, and this protein (termed U274 in the present study) consists of 274 amino acids and contains three putative transmembrane domains. Using antibody specific for the C terminus of U274, we show U274 to be expressed in SARS-CoV-infected Vero E6 cells and, in addition to the full-length protein, two other processed forms were also detected. By indirect immunofluorescence, U274 was localized to the perinuclear region, as well as to the plasma membrane, in both transfected and infected cells. Using an N terminus myc-tagged U274, the topology of U274 and its expression on the cell surface were confirmed. Deletion of a cytoplasmic domain of U274, which contains Yxx and diacidic motifs, abolished its transport to the cell surface. In addition, U274 expressed on the cell surface can internalize antibodies from the culture medium into the cells. Coimmunoprecipitation experiments also showed that U274 could interact specifically with the M, E, and S structural proteins, as well as with U122, another protein that is unique to SARS-CoV.Web of Scienc

Live vaccine infection burden elicits adaptive humoral and cellular immunity required to prevent Zika virus infection

10.1016/j.ebiom.2020.103028EBioMedicine6110302

Molecular determinants of plaque size as an indicator of dengue virus attenuation

The development of live viral vaccines relies on empirically derived phenotypic criteria, especially small plaque sizes, to indicate attenuation. However, while some candidate vaccines successfully translated into licensed applications, others have failed safety trials, placing vaccine development on a hit-or-miss trajectory. We examined the determinants of small plaque phenotype in two dengue virus (DENV) vaccine candidates, DENV-3 PGMK30FRhL3, which produced acute febrile illness in vaccine recipients, and DENV-2 PDK53, which has a good clinical safety profile. The reasons behind the failure of PGMK30FRhL3 during phase 1 clinical trial, despite meeting the empirically derived criteria of attenuation, have never been systematically investigated. Using in vitro, in vivo and functional genomics approaches, we examined infections by the vaccine and wild-type DENVs, in order to ascertain the different determinants of plaque size. We show that PGMK30FRhL3 produces small plaques on BHK-21 cells due to its slow in vitro growth rate. In contrast, PDK53 replicates rapidly, but is unable to evade antiviral responses that constrain its spread hence also giving rise to small plaques. Therefore, at least two different molecular mechanisms govern the plaque phenotype; determining which mechanism operates to constrain plaque size may be more informative on the safety of live-attenuated vaccines

Riverine sustainment 2012

Student Integrated ProjectIncludes supplementary materialThis technical report analyzed the Navy's proposed Riverine Force (RF) structure and capabilities for 2012. The Riverine Sustainment 2012 Team (RST) examined the cost and performance of systems of systems which increased RF sustainment in logistically barren environments. RF sustainment was decomposed into its functional areas of supply, repair, and force protection. The functional and physical architectures were developed in parallel and were used to construct an operational architecture for the RF. The RST used mathematical, agent-based and queuing models to analyze various supply, repair and force protection system alternatives. Extraction of modeling data revealed several key insights. Waterborne heavy lift connectors such as the LCU-2000 are vital in the re-supply of the RF when it is operating up river in a non-permissive environment. Airborne heavy lift connectors such as the MV-22 were ineffective and dominated by the waterborne variants in the same environment. Increase in manpower and facilities did appreciable add to the operational availability of the RF. Mean supply response time was the biggest factor effecting operational availability and should be kept below 24 hours to maintain operational availability rates above 80%. Current mortar defenses proposed by the RF are insufficient.N

Cross-Reactivity and Anti-viral Function of Dengue Capsid and NS3-Specific Memory T Cells Toward Zika Virus

Zika virus (ZIKV), a flavivirus with homology to dengue virus (DENV), is spreading to areas of DENV hyper-endemicity. Heterologous T cell immunity, whereby virus-specific memory T cells are activated by variant peptides derived from a different virus, can lead to enhanced viral clearance or diminished protective immunity and altered immunopathology. In mice, CD8+ T cells specific for DENV provide in vivo protective efficacy against subsequent ZIKV infection. In humans, contrasting studies report complete absence or varying degrees of DENV/ZIKV T cell cross-reactivity. Moreover, the impact of cross-reactive T cell recognition on the anti-viral capacity of T cells remains unclear. Here, we show that DENV-specific memory T cells display robust cross-reactive recognition of ZIKV NS3 ex vivo and after in vitro expansion in respectively n = 7/10 and n = 9/9 dengue-immune individuals tested. In contrast, cross-reactivity toward ZIKV capsid is low or absent. Cross-reactive recognition of DENV or ZIKV NS3 peptides elicits similar production of the anti-viral effector mediators IFN-γ, TNF-α, and CD107a. We identify 9 DENV/ZIKV cross-reactive epitopes, 7 of which are CD4+ and 2 are CD8+ T cell epitopes. We also show that cross-reactive CD4+ and CD8+ T cells targeting novel NS3 epitopes display anti-viral effector potential toward ZIKV-infected cells, with CD8+ T cells mediating direct lyses of these cells. Our results demonstrate that DENV NS3-specific memory T cells display anti-viral effector capacity toward ZIKV, suggesting a potential beneficial effect in humans of pre-existing T cell immunity to DENV upon ZIKV infection

A human PrM antibody that recognizes a novel cryptic epitope on dengue E glycoprotein

10.1371/journal.pone.0033451PLoS ONE74