11 citations · 11 across the 1 of their papers we have counts for
5 papers
Decalf: A Directed, Effectful Cost-Aware Logical Framework
Harrison Grodin, Yue Niu, Jonathan Sterling +1
We present Decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like Calf, the language is based on an…
Longitudinal magneto-thermal conductivity and magneto-Seebeck of itinerant antiferromagnetic BaMnBi
Takuma Ogasawara, Hailiang Xia, Khuong-Kim Huynh +8
Thermal transport, generally mediated by the direct microscopic exchange of kinetic energy via lattice phonons, can also be modified by contributions from additional quasiparticles…
The near infrared airglow continuum conundrum. Constraints for ground-based faint object spectroscopy
J. K. M. Viuho, J. P. U. Fynbo, M. I. Andersen
The airglow continuum in the near infrared is a challenge to quantify due to its faintness, and the grating scattered light from atmospheric hydroxyl (OH) emission lines. Despite i…
Multi Moire Networks in Engineered Lateral Hetero-Bilayers: Programmable Phononic Reconfiguration and Second Harmonic Generation
Suman Kumar Chakraborty, Frederico B. Sousa, Chakradhar Sahoo +14
Moire engineering in two-dimensional transition metal dichalcogenides enables access to correlated quantum phenomena. Realizing such effects demands simultaneous control over twist…
Foundation Models -- A Panacea for Artificial Intelligence in Pathology?
Nita Mulliqi, Anders Blilie, Xiaoyi Ji +28
The role of artificial intelligence (AI) in pathology has evolved from aiding diagnostics to uncovering predictive morphological patterns in whole slide images (WSIs). Recently, fo…