Tor HSDir Election: Consensus Weight Calculation and Directory Authority Coordination
sambent.comยท3h
๐Ÿ”ขNumerical Methods
Flag this post
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.orgยท1dยท
Discuss: Hacker News, Hacker News
โˆ‘Symbolic Computation
Flag this post
The Underwear Fixed Point
notes.hella.cheapยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
โž•Linear Algebra
Flag this post
A multi parallel mixed-model disassembly line and its balancing optimization for fuel vehicles and pure electric vehicles
arxiv.orgยท15h
๐ŸŒŠMultiphysics Simulation
Flag this post
Wiener process-assisted online remaining useful life prediction with deep incremental regression transfer learning
sciencedirect.comยท2d
๐Ÿ’ปComputational Science
Flag this post
Enhanced UWB Radar Signal Processing via Adaptive Sparse Learning with Hybrid Spectral Decomposition
dev.toยท1dยท
Discuss: DEV
ใ€ฐ๏ธModal Analysis
Flag this post
Enhanced Land Value Capture Optimization via Multi-Modal Data Fusion and Predictive Analytics
dev.toยท10hยท
Discuss: DEV
โˆซApplied Mathematics
Flag this post
Robust Causal Discovery under Imperfect Structural Constraints
arxiv.orgยท15h
๐Ÿ”ขNumerical Methods
Flag this post
A Multi-Criterion Approach to Smart EV Charging with CO2 Emissions and Cost Minimization
arxiv.orgยท15h
โˆ‘Symbolic Computation
Flag this post
Parallelization
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ปComputational Science
Flag this post
Accelerated Degradation Modeling of Automotive Semiconductor Memory via Bayesian Gaussian Process Regression
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠMultiphysics Simulation
Flag this post
Self play and autocurricula in the age of agents
amplifypartners.comยท20hยท
Discuss: Hacker News
๐Ÿ”„Functional Programming
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.orgยท15h
๐Ÿ”„Functional Programming
Flag this post
Simplex-FEM Networks (SiFEN): Learning A Triangulated Function Approximator
arxiv.orgยท1d
๐Ÿ”ฌFinite Element Analysis
Flag this post
Consistency Is Not Always Correct: Towards Understanding the Role of Exploration in Post-Training Reasoning
arxiv.orgยท15h
๐Ÿ”„Functional Programming
Flag this post
Optimized Lamination Mixer Design via Surrogate Modeling & Reinforcement Learning
dev.toยท16hยท
Discuss: DEV
๐Ÿ’งFluid Dynamics
Flag this post
Cracking the Code: Why AI Still Struggles with List Languages by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Functional Programming
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.orgยท1d
โˆ‘Symbolic Computation
Flag this post
Non-destructive and adaptive negative electrode impedance estimation of lithium-ion batteries using ensemble learning
sciencedirect.comยท7h
โšกElectric Motors
Flag this post
Improving Asset Allocation in a Fast Moving Consumer Goods B2B Company: An Interpretable Machine Learning Framework for Commercial Cooler Assignment Based on Mu...
arxiv.orgยท15h
๐Ÿ’ปComputational Science
Flag this post