Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Scaling Pinterest ML Infrastructure with Ray: From Training to End-to-End ML Pipelines
medium.com·1d·
Discuss: Hacker News
🧮Z3 Applications
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·20h
📐Compression Bounds
Measuring Fractal Dimension using Discrete Global Grid Systems
arxiv.org·1d
📊Computational Geometry
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
Uncertainty Quantification on Graph Learning: A Survey
arxiv.org·20h
🕸️Graph Embeddings
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·1d
🕸️Algebraic Topology
TDACloud: Point Cloud Recognition Using Topological Data Analysis
arxiv.org·1d
🌀Riemannian Computing
Signal Use and Emergent Cooperation
arxiv.org·20h
🔲Cellular Automata
PhysiX: A Foundation Model for Physics Simulations
arxiv.org·1d
🔲Cellular Automata
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·1d
🔲Cellular Automata
Pix2Geomodel: A Next-Generation Reservoir Geomodeling with Property-to-Property Translation
arxiv.org·1d
🏺Computational Archaeology
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·1d
🎯Performance Proofs
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·1d
🧮Prolog Parsing
Phase transition of \emph{descending} phase retrieval algorithms
arxiv.org·1d
🌀Riemannian Computing
High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations
arxiv.org·20h
⚙️Tape Engineering
Curating art exhibitions using machine learning
arxiv.org·20h
🏺Computational Archaeology
CODS : A Theoretical Model for Computational Design Based on Design Space
arxiv.org·1d
🛠Language Design
Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes