Massive Free Documents

Discover millions of professional documents covering academic, business, culture and more.

An AI-Assisted Solution to the Signed BAR Conjecture

An AI-Assisted Solution to the Signed BAR Conjecture

Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment

Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment

Mastering the Market Cycle Getting the Odds on Your Side

Mastering the Market Cycle Getting the Odds on Your Side

Towards Standardized Light Field Quality Assessment Hybrid Subjective Benchmarking and Objective Metric Evaluation

Towards Standardized Light Field Quality Assessment Hybrid Subjective Benchmarking and Objective Metric Evaluation

Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations

Observer-Quotient Security: Composable Leakage Bounds for Hidden State Continuations

The Informational Cost of Structure: Representational Complexity in Networked Dynamical Systems

The Informational Cost of Structure: Representational Complexity in Networked Dynamical Systems

Secondary Neutron Doses to Pediatric Patients During Intracranial Proton Therapy: Monte Carlo Simulation of Neutron Energy Spectrum and Organ Doses

Secondary Neutron Doses to Pediatric Patients During Intracranial Proton Therapy: Monte Carlo Simulation of Neutron Energy Spectrum and Organ Doses

Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning

Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning

Responsibility Distribution Estimation in Ego-View Accident Videos with Multimodal Large Language Models

Responsibility Distribution Estimation in Ego-View Accident Videos with Multimodal Large Language Models

New bounds on randomized metric distortion of top-k voting

New bounds on randomized metric distortion of top-k voting

Relevance-Based Embeddings Lightweight Candidate Retrieval via Heavy-Ranker Calls

Relevance-Based Embeddings Lightweight Candidate Retrieval via Heavy-Ranker Calls

Pointwise Error Estimates for Numerical Physics-Informed Neural Networks

Pointwise Error Estimates for Numerical Physics-Informed Neural Networks

MUTE Return-Preserving Communication Unlearning for Efficient Multi-Agent Coordination

MUTE Return-Preserving Communication Unlearning for Efficient Multi-Agent Coordination

Implication of Panchayati Raj/Municipalities as the Third Tier of Governance on India's Federal Structure

Implication of Panchayati Raj/Municipalities as the Third Tier of Governance on India's Federal Structure

Trajectory Variance An Unsupervised Measure of Developmental Vocal Plasticity in Birdsong

Trajectory Variance An Unsupervised Measure of Developmental Vocal Plasticity in Birdsong