Tilted biorthogonal ensembles, Grothendieck random partitions, and determinantal tests by Gavrilova, Svetlana, Petrov, Leonid

“…We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size 𝑛≥, which appear new for 𝑛≥5. …”
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We used very different formal-reasoning techniques throughout the stack, ranging from computer algebra, symbolic execution, and verification-condition generation to interactive verification of functional programs including compilers for C-like and functional languages. All these component specifications and domain-specific reasoning techniques are defined and justified against common foundations in the Coq proof assistant. …”
Get full text

Modeling the Impact of the Inflation Reduction Act and Hydrogen Storage in Salt Caverns in the Mid-Atlantic United States by Armstrong, Les Gabriel

“…Hydrogen is widely understood to be critical for decarbonizing hard-to-abate sectors like heavy industry, long-distance transportation, as well as balancing a variable renewable energy dominated power grid. …”
Get full text

Unlocking Collective Intelligence in Decentralized AI by Gupta, Gauri

“…Specifically, it answers questions like who should a node talk to. When does random collaboration selection work? …”
Get full text
Get full text

From Opinion Dynamics to Collective Action: How Identity-Based Tolerance Leads to Political Extremism by Liang, Chen E.

“…Current sociological theories attribute the recent surge in political extremism to mechanisms of opinion “homophily” (i.e., like-minded individuals interact more while dissimilar ones might distance) and “assimilation (i.e., interactions homogenize opinions),” which collectively suggest a social world dominated by extreme views. …”
Get full text

Insights on Serology, CRISPR Diagnostics, and Machine Learning Architectures for Biological Sequences by Siddiqui, Sameed Muneeb

“…First, we explore the dynamics of antibody responses during primary infection, revealing a “switch-like” relationship between antibody titer and function. …”
Get full text

The Efficacy of Different Analysis Algorithms for Summarizing Online Deliberations by Venkat, Naveen

“…For the past decade, online deliberation platforms like Polis have expanded the reach of deliberative democracy, which calls for political decisions to be based on the results of fair and balanced discussions among citizens, by enabling larger deliberations. …”
Get full text
Get full text

Cross-Shelf Exchange Driven by Dense Flow Down a Canyon by Mier, Christian M.

“…This return flow is initially driven by the dense water eddies descending the canyon and acting like a bucket brigade. At later times, another mechanism may also be at play where large dense cyclonic (anticlockwise) eddies on the northern continental shelf may pull more dense water out of the canyon producing a region of low pressure, near the canyon head, which induces an increase in ambient flow into the canyon. …”
Get full text

Development of Elastic Resistive Force Theory & Applications to Uprooting by Yilmaz, Lale

“…To overcome this limitation, we introduce elastic RFT (eRFT) which is based on a rate-independent plasticity flow-rule–like criterion, and pair it with deformable intruders. …”
Get full text

Geo-UNet: A Geometrically Constrained Neural Framework for Clinical-Grade Lumen Segmentation in Intravascular Ultrasound by Chen, Yiming

“…Unfortunately, current segmentation networks like the UNet lack the precision required for clinical adoption in IVUS workflows. …”
Get full text

CAD-Based Geometry Representations for Monte Carlo Fusion Neutronics Methods and CSG vs. DAGMC Performance Tradeoffs in OpenMC by Du, Katelin

“…Performance comparison between CSG and DAGMC geometries in OpenMC is analyzed by evaluating particle simulation rates and memory usage across four progressively complex fusion-like models. Performance results reflect positively on DAGMC transport, but areas of future work are identified for more comprehensive results. …”
Get full text

Hyperbolic String Field Theory by Firat, Atakan Hilmi

“…Our method suggests the existence of a hidden cubic structure within hyperbolic string field theory. We also take the WKB-like limit of our construction and demonstrate that it can be used to characterize Strebel quadratic differentials on Riemann surfaces. …”
Get full text
Get full text

Disrupting Monocultural Tendencies through Multimodal Montage by Singha, Mrinalini

“…It further investigates how `surface tension' and `unquiet objects' manifest within the multi-modal montage in the works of artists like Nalini Malani, Krzysztof Wodiczko, Shilpa Gupta and Nida Sinnokrot. …”
Get full text
Get full text

Beyond the Bioclimatic Chart: An Automated Simulation-Based Method for Assessing Natural Ventilation and Passive Design Potential by Herb, Svenja

“…This innovation, however, has contributed to a homogenization in architectural designs globally, from the hot climates of Mumbai to the cold environments of Boston, and moderate settings like London. Such uniformity often overlooks local climatic conditions, resulting in increased energy consumption and elevated greenhouse gas emissions. …”
Get full text

Fabrication Strategies for 2D Halide Perovskite Towards Next-Generation Optoelectronic Applications by Cho, Seong H., Jung, Yonghoon, Jang, Yeoun-Woo, Kim, Hyemin, Kim, Jaehyeon, Lim, Changhyun, Park, Ki-Tae, Kim, Seongheon, Chu, Young H., Kim, Taehoon, Lee, Jieun, Lee, Changhee, Park, Junhyoung, Yoon, Kyung T., Eom, Dongguen

“…Despite the promising capabilities of three-dimensional (3D) halide perovskites in applications like solar cells and light-emitting diodes, their operational stability remains a critical challenge. …”
Get full text

Decoding Dark Matter Halos through the Lens of Machine Learning by Nguyen, Tri V.

“…Finally, I create synthetic surveys for the Gaia surveys from Milky Way-like simulations, bridging the gap between simulations and observations. …”
Get full text

Understanding Non-Verbal Irony Markers: Machine Learning Insights Versus Human Judgment by Spitale, Micol, Catania, Fabio, Panzeri, Francesca

Get full text

Towards Efficient Planning for Navigation using Global Information in Large and Uncertain Environments by Kurtz, Martina Stadler

“…We would like to enable a team of robots to navigate quickly and efficiently in large and uncertain outdoor environments. …”
Get full text

Constraints on vowel-zero alternations in Hungarian by Takács, Dóra Kata

“…I show that there is an interaction between phonological processes that repair phonotactically illicit consonant clusters – like voicing assimilation, gemination, affrication – and vowel-zero alternations. …”
Get full text

Untangling Mechanized Proofs by Pit-Claudel, Cl?ment

Get full text