🔍 Abstract Interpretation - ghosh.debasish · Scour

CrossCommitVuln-Bench: A Dataset of Multi-Commit Python Vulnerabilities Invisible to Per-Commit Static Analysis 🌲LSM Trees

Module Lattice Security (Part II): Module Lattice Reduction via Optimal Sign Selection 🔧SMT Solvers

Multiferroic dark exciton crystal in the breathing-kagome lattice material ${\mathrm{Nb}}_{3}{\mathrm{Cl}}_{8}$ 🔧SMT Solvers

link.aps.org·3d

The Classification of Pauli Stabilizer Codes: A Lattice and Continuum Treatise 🔤PLT

Testing the robustness of topological quantities evaluated from the modular Hamiltonian for a given wavefunction 🔧SMT Solvers

Element-deletion-enhanced digital image correlation for automated crack detection and tracking in lattice materials 📐Geometric Algorithms

On the enumeration of Tarski fixed points 🔧SMT Solvers

Incisor: Ex Ante Cloud Instance Selection for HPC Jobs 🌐Distributed Systems

Counting All Lattice Rectangles in the Square Grid in Near-Linear Time 📐Geometric Algorithms

Boundary-Robust Transmission Asymmetry as a Topological Signature in Open Floquet Lattices 🌐Distributed Systems

ReLIC-SGG: Relation Lattice Completion for Open-Vocabulary Scene Graph Generation 🧠LLMs

A 99-Line Homogenization Code for Lattice-skin Plate Structures 🔤PLT

Spin excitation of the Heisenberg antiferromagnet with frustration: from the bounce-lattice antiferromagnet through the maple-leaf-lattice antiferromagnet to the exact-dimer system 🔧SMT Solvers

Long-Range Order in Coupled $D$-dimensional Kuramoto Oscillators 🌐Distributed Systems

Hamiltonian Graph Inference Networks: Joint structure discovery and dynamics prediction for lattice Hamiltonian systems from trajectory data 🧠Reasoning Models

Ground-state energies of Ising models calculated using the samples from a quantum computer that simulates short-time evolution 🔧SMT Solvers

Decohered color code and emerging mixed toric code by anyon proliferation: Topological entanglement negativity perspective 🌐Distributed Systems

Gauge-covariant projected entangled paired states for interacting systems in a magnetic field 🌐Distributed Systems

Floquet engineering of tight-binding Hamiltonians in momentum space lattices ⚡Effect Systems

Micromorphic effects in an octet truss lattice 🖥️Systems Programming

Sign up or log in to see more results

Log in to enable infinite scrolling