14,991 results for Paper

arxiv.org/abs/2412.18089v1

Convolutional Prompting for Broad-Domain Retinal Vessel Segmentation

Previous research on retinal vessel segmentation is targeted at a specific image domain, mostly color fundus photography (CFP). In this paper we make a brave attempt to attack a more challenging task of broad-domain retinal vessel segmentation (BD-RV...

arxiv.org/abs/1806.01507v1

Using the AIDA Language to Formally Organize Scientific Claims

Scientific communication still mainly relies on natural language written in scientific papers, which makes the described knowledge very difficult to access with automatic means. We can therefore only make limited use of formal knowledge organization...

arxiv.org/abs/1105.4789v1

Stochastic Price Dynamics Implied By the Limit Order Book

In this paper we present a novel approach to the determination of fat tails in financial data by studying the information contained in the limit order book. In an order-driven market buyers and sellers may submit limit orders, which are executed when...

arxiv.org/abs/1109.4002v4

Integration of Lie 2-algebras and their morphisms

Given a strict Lie 2-algebra, we can integrate it to a strict Lie 2-group by integrating the corresponding Lie algebra crossed module. On the other hand, the integration procedure of Getzler and Henriques will also produce a 2-group. In this paper, w...

arxiv.org/abs/2509.14057v7

Navigating the safe harbor paradox in human-machine systems

When deploying artificial skills, decision-makers often assume that layering human oversight is a safe harbor that mitigates the risks of full automation in high-complexity tasks. This paper formally challenges the economic validity of this widesprea...

arxiv.org/abs/1906.10250v3

Swap Dynamics in Single-Peaked Housing Markets

This paper focuses on the problem of fairly and efficiently allocating resources to agents. We consider a specific setting, usually referred to as a housing market, where each agent must receive exactly one resource (and initially owns one). In this...

arxiv.org/abs/1201.6190v1

Outbound SPIT Filter with Optimal Performance Guarantees

This paper presents a formal framework for identifying and filtering SPIT calls (SPam in Internet Telephony) in an outbound scenario with provable optimal performance. In so doing, our work is largely different from related previous work: our goal is...

arxiv.org/abs/1410.2103v1

The Farrell-Jones Conjecture for some nearly crystallographic groups

In this paper, we prove the K-theoretical and L-theoretical Farrell-Jones Conjecture with coefficients in an additive category for nearly crystallographic groups of the form $\mathbb{Q}^n \rtimes \mathbb{Z}$, where $\mathbb{Z}$ acts on $\mathbb{Q}^n$...