Forschungspapier (124)
6361.
Forschungspapier
Dandelion: Certified Approximations of Elementary Functions. (2022), 19 S.
6362.
Forschungspapier
Sublinear Algorithms for (1.5+Epsilon)-Approximate Matching. (2022), 28 S.
6363.
Forschungspapier
SAT-Inspired Higher-Order Eliminations. (2022), 24 S.
6364.
Forschungspapier
Generic Competition and the Incentives for Early-Stage Pharmaceutical Innovation. NBER Working Paper 20532 (2022), 79 S.
6365.
Forschungspapier
Treedepth Vs Circumference. (2022), 4 S.
6366.
Forschungspapier
Truncation, validity, uncertainties. arXiv, 2201.04974 (2022), LHC EFT WG note, 8 pages; v2 includes a summary of the additional proposal D S.
6367.
Forschungspapier
HRFuser: A Multi-resolution Sensor Fusion Architecture for 2D Object Detection. (2022), 9 S.
6368.
Forschungspapier
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. (2022), 34 S.
6369.
Forschungspapier
Independence Number of Intersection Graphs of Axis-Parallel Segments. (2022), 10 S.
6370.
Forschungspapier
Faster Pattern Matching under Edit Distance. (2022), 94 S.
6371.
Forschungspapier
An Embarrassingly Simple Baseline for Imbalanced Semi-Supervised Learning. (2022), 14 S.
6372.
Forschungspapier
Specifying and Testing k-Safety Properties for Machine-Learning Models. (2022), 16 S.
6373.
Forschungspapier
Differentially Describing Groups of Graphs. (2022), 9 S.
6374.
Forschungspapier
Sharing and Caring: Creating a Culture of Constructive Criticism in Computational Legal Studies. (2022), 19 S.
6375.
Forschungspapier
All the World's a (Hyper)Graph: A Data Drama. (2022), 29 S.
6376.
Forschungspapier
Parameterized Approximation for Maximum Weight Independent Set of Rectangles and Segments. (2022), 19 S.
6377.
Forschungspapier
CoVault: A Secure Analytics Platform. (2022), 14 S.
6378.
Forschungspapier
Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search. (2022), 27 S.
6379.
Forschungspapier
Normalization Perturbation: A Simple Domain Generalization Method for Real-World Domain Shifts. (2022), 16 S.
6380.
Forschungspapier
Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters. (2022), 33 S.