Purdue University West Lafayette

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness

Programming benefits from a clear separation between pure, mathematical computation and impure, effectful interaction with the world. Existing approaches to enforce this separation include monads, type-and-effect systems, and capability systems. All share a tension between precis...

JWST Nebular Spectroscopy of SN 2023qov: Circumstellar Dust Emission in a Normal Type Ia Supernova

Abstract We present panchromatic observations of the Type Ia supernova (SN Ia) 2023qov, ranging from ∼2 weeks before to ∼1 yr after maximum light. JWST near- and mid-infrared spectra at +276 and +363 days show ∼400 K dust emission that cools by ∼75 K between epochs, the first una...

Changing attitudes toward homosexuality and gay rights among older Americans: a qualitative study

Attitudes toward homosexuality and gay rights have changed dramatically over the past five decades. While society has become increasingly accepting of gay people, negative attitudes toward homosexuality and gay rights persist. The present qualitative study examines how and why ol...

Scott–Vogelius–Nitsche on a polygonally approximated boundary: convergence, the missing pressure traction, and the penalty threshold

Extended version (v3). We analyse the Scott–Vogelius–Nitsche method of Gjerde and Scott for two-dimensional Stokes flow whose curved no-slip wall is replaced by an inscribed polygon, answering Scott's zero-gradient prize question (PPL 115): does the error behave like h_Γ^{3/2} +...

Embeddings into highly transitive and mixed identity free groups

Given a countable group G , we develop a method to construct an overgroup H that is finitely generated, highly transitive and mixed identity free. Our construction can be controlled to ensure that some fundamental group theoretic properties of G are inherited by H , such as amena...

90. Genetic Evaluation of Feed Efficiency Traits in Brazilian Angus Cattle.

Abstract Feed efficiency is a critical component of sustainable animal production, influencing economic viability, environmental impact, and biological performance. As feed constitutes the largest expense in beef production, even minor improvements in feed efficiency can yield su...

Bifunctional architecture enables substrate catalysis and channeling in Paracoccus TMAO demethylase

Substrate channeling enhances efficiency and prevents toxicity by directing unstable intermediates between active sites. Trimethylamine N-oxide demethylase (TDM) degrades trimethylamine N-oxide (TMAO) to dimethylamine and formaldehyde (HCHO), but the fate of HCHO has remained unc...

Scott–Vogelius–Nitsche on a polygonally approximated boundary: convergence, the missing pressure traction, and the penalty threshold

We analyse the Scott–Vogelius–Nitsche method of Gjerde and Scott for two-dimensional Stokes flow whose no-slip curve is replaced by an inscribed polygon: continuous P4 velocities that are exactly divergence-free, with Dirichlet data imposed weakly on the polygon by Nitsche's meth...

Struvite as a Multiphase Catalyst in Radical-Driven Aqueous Transformations: Evidence from Guaiacyl Acetone Photochemistry

Abstract Struvite (NH4MgPO4·6H2O), a wastewater-derived mineral proposed as a slow-release fertilizer, may also influence aqueous photochemical transformations of organic matter. This study investigates the role of struvite in radical-driven reactions using a model system contain...

Usability and Acceptability of a Mobile Food Record in Free-Living Athletes: A Single-Group Observational Study

Background/Objectives: Accurate assessment of energy intake in free-living athletes is constrained by reporting burden, reactivity, and variable adherence. Image-based dietary assessment methods, such as the mobile food record application (mFR™), may partially address these limit...

Base Semantics—A Novel Approach for Minimizing Malware Detection Rules

ABSTRACT The rapid evolution of malware variants has increasingly undermined traditional signature‐based detection techniques, which are easily evaded through obfuscation and polymorphism that preserve malicious functionality. This challenge is particularly acute in Internet of T...

MDLS 2026 Business Meeting

Business meeting and "Future of MDLS" slides.

Experimental Evidence for the Impact of Copper Microstructure on Residual Stress of Through Silicon Via

ABSTRACT Three‐dimensional integrated circuits (3DICs) with Cu through silicon vias (TSVs) offer improved system performance beyond front‐end‐of‐line scaling. However, the residual thermal stress imparted by TSVs on the surrounding silicon raises reliability concerns. This stress...

Cislunar state and uncertainty propagation via the modified generalized equinoctial orbital elements

Abstract The complex cislunar dynamical environment poses challenges for spacecraft navigation and Space Domain Awareness (SDA) operations, where the knowledge of current and future spacecraft states is essential. Conventional Gaussian-based approaches for SDA degrade under the n...

Programmable Assembly of Higher‐Order DNA Nanostructures from Microbial ssDNA Staple Libraries

Bottom-up manufacturing of structural DNA nanotechnology requires a long single-stranded DNA (ssDNA) scaffold and hundreds of short (∼30 nt) ssDNA staples. However, large-scale production is limited by the high cost and environmental impact of solid-phase chemical staple synthesi...

Effect of freestream noise and boundary-layer transition on hypersonic shock-wave/boundary-layer interaction unsteadiness

Abstract The low-frequency shock and separation unsteadiness resulting from a three-dimensional transitional shock-wave/boundary-layer interaction is investigated for different freestream noise levels and incoming boundary-layer states in a quiet Mach-6 wind tunnel. In low-distur...

Designing the First Hydroxylamine Substituted Tetrazole With N , O‐ Dimethylhydroxylamine

Nitrogen‐rich heterocyclic compounds, particularly 5‐substituted tetrazoles, are of significant importance in many fields such as energetic materials, pharmaceuticals, coordination chemistry and catalysis, and agrochemistry. Despite the extensive history of exploration of the tet...

Efficient Generation of Entangled Photons in the Telecommunications Range Using Nonlinear Metasurfaces Integrated With ScAlN/GaN Heterostructures

ABSTRACT Entangled photons provide non‐classical correlations that enable measurement sensitivities beyond classical limits, scalable fault‐tolerant quantum computation, and fundamentally secure quantum communication, making them a foundational necessity for next‐generation quant...

Age-inclusive AI assessments: testing and refining open-ended prompts with human and LLM-simulated data

As workforces become increasingly age-diverse, organizations are increasingly adopting AI-based tools, such as automated video interviews (AVIs) and chatbots, to evaluate job applicants. Although prior research has documented age-related differences in communication styles, we kn...

Pathway to optical-cycle dynamic photonics: extreme electron temperatures in transparent conducting oxides

We theoretically demonstrate that transparent conducting oxides (TCOs) exhibit oscillatory and sign-reversing dynamic modulation in transmittance on the order of a few optical cycles under extreme electron temperatures, providing a possible explanation for TCO dynamics observed i...