output
20012026
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here
collaborating institutions
Showing 2015Show all

2 papers · 1 filter

math.FA2015

Approximation numbers of composition operators on the Hardy space of the ball and of the polydisk

Daniel Li, Hervé Queffélec, Luis Rodríguez-Piazza

We give general estimates for the approximation numbers of composition operators on the Hardy space on the ball and the polydisk .

cs.CC2015★ 6 cited

Minimal Distance of Propositional Models

Mike Behrisch, Miki Hermann, Stefan Mengel +1

We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find…