Dependent types I › Universes, or types of types
jonmsterling.com·5h·
Discuss: Hacker News
🔤Type Theory
Why Stacking Sliding Windows Can't See Far
guangxuanx.com·6h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Preliminary Study on Space Utilization and Emergent Behaviors of Group vs. Single Pedestrians in Real-World Trajectories
arxiv.org·7h
🔲Cellular Automata
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·7h
💻Local LLMs
Comparing Six Deep Learning Feature Extractors for CBIR Tasks
hackernoon.com·4h
📊Learned Metrics
UMATO: Bridging Local and Global Structures for Reliable Visual Analytics with Dimensionality Reduction
arxiv.org·2d
🌀Differential Geometry
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·8h·
Discuss: Hacker News
🧠Machine Learning
ROSE: Remove Objects with Side Effects in Videos
arxiv.org·7h
⟷Bidirectional Programming
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.org·1d
🤖Advanced OCR
MicroDetect-Net (MDN): Leveraging Deep Learning to Detect Microplastics in Clam Blood, a Step Towards Human Blood Analysis
arxiv.org·7h
🧠Machine Learning
Of the People, By the Algorithm: How AI Transforms Democratic Representation
arxiv.org·7h
🌍Cultural Algorithms
Quantum-Circuit-Based Visual Fractal Image Generation in Qiskit and Analytics
arxiv.org·7h
📐Mathematical Art
scI2CL: Effectively Integrating Single-cell Multi-omics by Intra- and Inter-omics Contrastive Learning
arxiv.org·7h
🧠Machine Learning
The Mind's Eye: A Multi-Faceted Reward Framework for Guiding Visual Metaphor Generation
arxiv.org·7h
🏛Digital humanities
WoW: A Window-to-Window Incremental Index for Range-Filtering Approximate Nearest Neighbor Search
arxiv.org·7h
🗂️Vector Databases
Learning to Detect Label Errors by Making Them: A Method for Segmentation and Object Detection Datasets
arxiv.org·1d
🧠Machine Learning
MSPCaps: A Multi-Scale Patchify Capsule Network with Cross-Agreement Routing for Visual Recognition
arxiv.org·1d
🌀Riemannian Computing
DualSparse-MoE: Coordinating Tensor/Neuron-Level Sparsity with Expert Partition and Reconstruction
arxiv.org·7h
⧗Information Bottleneck
Deep Pre-trained Time Series Features for Tree Species Classification in the Dutch Forest Inventory
arxiv.org·7h
🧠Machine Learning
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology