New York University

A Separation Logic for Parallel Time Complexity with Work and Span Credits

We present Parcas, a concurrent separation logic for verifying the parallel time complexity of fork-join programs. In order to abstract from the specifics of the machine, time complexity for parallel programs is given in terms of two metrics: the work, measuring the total number...

Beyond Immediate Responses: A Systems Map of Community Factors Underlying Persistent Gun Violence in New Haven

Abstract Gun violence is a pervasive and multifaceted public health problem. This study describes a novel application of group model building—a process that centers stakeholder voices to describe a complex problem—to investigate drivers of gun violence and design community-led in...

Beyond No Alternative: IMF Asymmetrical Adjustment and African Resistance in the 1980s

This article examines how the International Monetary Fund’s (IMF) asymmetrical approach to structural adjustment in Africa became entrenched during the financial turbulence of the 1980s. Drawing upon unpublished IMF Central Files – including Executive Board minutes, internal corr...

Patterns and perceptions of supplement use among patients with plasma cell disorders

As novel treatments have improved survival in patients with plasma cell disorders (PCDs), there is a growing interest in complementary medicine (CM), particularly dietary supplements (vitamins, minerals, antioxidants, and herbs), amongst patients with cancer [ 1 ]. Multiple myelo...

Circulating anti-Ro/SSA-antibodies and risk of heart rate-corrected QT interval prolongation: a meta-analysis

Abstract Backgrounds Accumulating evidence indicates that anti-Ro/Sjögren’s syndrome-related antigen A(SSA)-antibodies, specifically the anti-Ro/SSA-52kD subtype, can promote heart rate-corrected QT interval(QTc) prolongation by inhibiting the hERG-K+ channel. However, the numero...

Unified framework for efficiently computable quantum circuits

Quantum circuits consisting of Clifford and matchgates are two classes of circuits that are known to be efficiently simulatable on a classical computer. We introduce a unified framework that shows in a transparent way the special structure that allows these circuits to be efficie...

Platelet Reactivity and Sex Differences: Clinical Implications for Women

Platelets are central to hemostasis and thrombosis. Excessive platelet activation contributes to arterial thrombotic events, including myocardial infarction, ischemic stroke, and complications of peripheral artery disease, whereas excessive platelet inhibition increases bleeding...

Time-Varying Effects of Valacyclovir Prophylaxis in the Zoster Eye Disease Study

Importance The Zoster Eye Disease Study (ZEDS) supports consideration of suppressive valacyclovir for 1 year to reduce risk of recurrent keratitis or iritis in patients with herpes zoster ophthalmicus (HZO). Although the primary outcome did not show benefit of suppressive valacyc...

Redefining Progression in a Rapidly Evolving Therapeutic Landscape

This Viewpoint the regulatory problem of how to design clean trials that regulators seek as the field of oncology becomes more therapeutically sophisticated.

The politics of polarization: strategic issue emphasis in campaigns

This paper examines electoral competition through a formal model in which parties seek voter support by raising the salience of policy issues. Using this framework, the analysis asks whether parties are more likely to emphasize issues marked by divisions among voters but agreemen...

Integrating Mixed Reality with Key Digital Technologies for Elevating On-Site Construction Efficiency: An Integrative Review and Framework

Abstract The global architecture, engineering, and construction (AEC) sector faces a persistent productivity paradox characterized by stagnant growth, frequent schedule overruns, and slow digital adoption. While the emergence of Construction 4.0 introduces automation and data ana...

Prenatal therapies to improve outcomes in gastroschisis: a systematic scoping review protocol

INTRODUCTION: Gastroschisis is a congenital birth defect with a rising incidence. The herniation of intestines into the amniotic cavity leads to prenatal bowel injury, which contributes to significant postnatal morbidity and mortality. Current management focuses on postnatal inte...

Dipyridamole-Coated 3D-Printed β-Tricalcium Phosphate Scaffolds: Spectrophotometric Characterization, Drug Release Kinetics, and In Vitro Evaluation to Guide Critical-Sized Bone Defect Repair Studies

Critical-sized bone defects remain a significant clinical challenge, and dipyridamole (DIPY)-coated 3D-tricalcium phosphate (β-TCP) scaffolds have shown promising osteogenic efficacy in preclinical models. However, the literature on the systematic physicochemical characterization...

Percentiles for crying, regurgitation, stool consistency, and CoMiSSTM in presumed healthy infants

Parents frequently consult health care professionals because of infant regurgitation, crying and stool consistency. The Cow’s Milk-related Symptom Score (CoMiSS TM ) is an awareness tool for cow’s milk allergy. We aimed to characterize the distribution of CoMiSS items in presumed...

Weak and strong memories are equally reactivated during counterfactual learning, but only weak memories are modified

Adaptively updating memories about familiar others is an important social skill. Here, we examined whether strong or weak social memories are more prone to updating when violated. Participants viewed well-known characters’ emotional reactions to food items either repeatedly or on...

From a Viral Application to a Clinical Imperative—Dying Alone

This Viewpoint examines the interaction between technology and solitary death.

Bio‐Inspired Biopolymeric Implantable Platform for Localized and Sustained Drug Delivery in Solid Tumor Treatment

ABSTRACT The development of biocompatible and biodegradable drug delivery systems remains a major challenge in cancer therapy, particularly for the localized and sustained release of poorly soluble, unstable, and highly toxic compounds. 7‐Ethyl‐10‐hydroxycamptothecin (SN‐38), the...

Cognitive-behavioral suicide prevention for psychosis in community mental health: A pilot randomized clinical trial

Adults with schizophrenia spectrum disorders (SSDs) have substantially elevated suicide risk, yet few suicide prevention interventions have been developed or tested for this population. The effectiveness of Cognitive-Behavioral Suicide Prevention for psychosis (CBSPp) in US commu...

A Cigarette Tax and Childcare Mitigate Nicotine Exposure in Young Children

OBJECTIVES The detrimental effects of tobacco smoke on children’s health are well known. Although evidence suggests that cigarette excise taxes can reduce adult smoking, it remains unclear whether they reduce the nicotine levels of infants and toddlers—a developmentally vulnerabl...

Hybrid spatial organization and evidence for magnitude-independent neural coding of linguistic information during sentence production

Humans are the only species with the ability to systematically combine words to convey an unbounded number of complex meanings. This process is guided by combinatorial processes whose underlying neural mechanisms remain obscured by inherent limitations of noninvasive brain measur...