Cornell University

Controlling Transaction Rate in Tangle Ledger: A Principal Agent Problem Approach

Tangle is a distributed ledger technology that stores data as a directed acyclic graph (DAG). Unlike blockchain, Tangle does not require dedicated miners for its operation; this makes Tangle suitable for Internet of Things (IoT) applications. Distributed ledgers have a built-in t...

Scalable Hydrogen Peroxide Electrosynthesis and Electro-Fenton Pollutant Degradation Using Indium Single-Atom Catalysts

Abstract Electrochemical synthesis of hydrogen peroxide (H2O2) via the two-electron oxygen reduction reaction (2e– ORR) offers a safer, decentralized alternative to the centralized anthraquinone process. However, achieving high current efficiency at industrially relevant current...

Enabling climate action: A nexus approach for delivering co-benefits across biodiversity, water, food, and health

Climate response options rarely affect biodiversity, water, food, and health in uniform ways. This comparative analysis examines why technically viable response options generate uneven cross-nexus outcomes, and how governance and justice conditions shape whether these outcomes be...

Southern Portugal hydroclimate of the last millennium from near‐annually resolved speleothem records

ABSTRACT Hydroclimate in Portugal is influenced by the North Atlantic subtropical high‐pressure system (the Azores High) and by internal climate modes, most prominently the North Atlantic Oscillation, which may shift in position and/or intensity due to anthropogenic climate chang...

Gene-metabolite networks reveal physiological trade-offs but not transcriptional co-regulation between carotenoid and dry matter accumulation in cassava (Manihot esculenta) roots

Provitamin A biofortification of cassava (Manihot esculenta) is constrained by a negative genetic correlation between total carotenoid (TC) and dry matter (DM) contents, but its underlying biological mechanism remains unclear. We examined this relationship in 24 African, Latin Am...

Children, Robots, and Reproducibility: A review of recent reproducibility challenges in child-robot interaction

Given the rapid advancements and shifting requirements in the field of Child-Robot Interaction (CRI), it is crucial to understand how the field is evolving and if and how researchers are adhering to current best practices. We present a review of five years (2020-2024) of CRI rese...

Comparative Analyses of the Type D ASEP: Stochastic Fusion and Crystal Bases

The Type D asymmetric simple exclusion process (ASEP), a particle system involving two classes of particles, was studied from both probabilistic and algebraic perspectives by Kuan et al. (2022). From a probabilistic perspective, we perform stochastic fusion on the Type D ASEP int...

Employee Activism, Then and Now

We review research on employee activism, with particular attention to developments over the past decade, and identify avenues for future research that reflect the evolving nature of the phenomenon. We first define employee activism and distinguish it from related forms of employe...

Poetics, Fictionality, and the Lyric

Benjamin Hrushovski’s important contributions to a systematic poetics make what he calls an “Internal Field of Reference” a necessary feature of a literary work. How does this adaptation of the concept of fictional world work for the genre of the lyric poem? This essay argues tha...

Development and validation of VentPilot: an AI-based recommendation system for mechanical ventilation

BACKGROUND: Mechanical ventilation requires repeated adjustment to changing patient physiology, but consistent individualized management remains challenging. We developed VentPilot, an artificial intelligence-based system for recommending ventilator settings, and evaluated it in...

ATG exposure in T replete transplant for hematological malignancies: Real world analysis from BMT CTN 1202

Traditional weight-based dosing results in variable rabbit anti-thymocyte globulin (rATG) clearance, delaying CD4+Tcell-immune-reconstitution (CD4 + IR) and impacting outcomes. In a retrospective pharmacokinetic/pharmacodynamic analysis of patients undergoing first T-replete hema...

The first annotated checklist of the bees of Colombia reveals an overlooked diversity and areas with major data deficiencies

Background Most existing knowledge about bee biodiversity comes from temperate regions, where diversity is presumed highest—yet substantial data gaps across the tropics confound this pattern. Checklists are critical for documenting species presence, identifying knowledge gaps, an...

Type-Directed Discretization of Probabilistic Programs

We study exact discretization as a semantics-preserving transformation for recursive, higher-order probabilistic programs with continuous distributions. We target programs where continuous values are compared against finitely many constants, so exact inference reduces to a discre...

Generalized Nonlinear Bayesian Pulsar Timing with ENTERPRISE

Abstract We use the Bayesian methods in the ENTERPRISE package to examine the fully general parameterization of pulsar timing models in tandem with noise. We investigate four pulsars, PSRs J1600–3053, J2043+1711, J0740+6620, and J1640+2224, through the lens of Bayesian timing. We...

Understanding Accelerator Compilers via Performance Profiling

Accelerator design languages (ADLs), high-level languages that compile to hardware units, help domain experts quickly design efficient application-specific hardware. ADL compilers optimize datapaths and convert software-like control flow constructs into control paths. Such compil...

PPG as a Bridge: Cross-Device Authentication for Smart Wearables with Photoplethysmography

As smart wearable devices become increasingly powerful and pervasive, protecting user privacy on these devices has emerged as a critical challenge. While existing authentication mechanisms are available for interaction-rich devices such as smartwatches, enabling on-device authent...

Genome‐wide association analysis of resistance to scald in an adapted multiparent winter malting barley population

ABSTRACT Scald, caused by the fungus Rhynchosporium graminicola Heinsen 1897, is a major foliar disease in winter malting barley ( Hordeum vulgare L). Resistance to scald in winter malting barley is controlled by major and minor resistance genes. We used a population of 377 lines...

Drought to deluge: Differential impacts of snow on mountain chickadee reproduction across the Sierra Nevada mountains

Changing climates are reshaping animal populations, but our understanding of how demographic trends are shaped by individual responses to local environmental conditions has historically been limited to long-term studies with restricted spatial scales. Participatory science (i.e....

A versatile fluorescent reporter for Usutu virus drug screening and infection tracking

Abstract Usutu virus (USUV) is an emerging mosquito-borne orthoflavivirus closely related to West Nile and Japanese encephalitis viruses. Despite its increasing prevalence in Europe and reports of neuroinvasive disease in humans, the molecular and immunological determinants of US...

Diffusion Approximation Error for Queueing Systems with General Primitives

We investigate the steady-state diffusion-approximation error for continuous-time queueing systems with generally distributed primitives. A common picture emerges after analyzing a number of canonical systems: the error decomposes into interior and boundary terms. The former are...