output
20042025
most citedHigh-Order Synchrosqueezing Transform for Multicomponent Signals Analysis -- With an Application to Gravitational-Wave Signal

518 citations

researchers with a paper here
collaborating institutions
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014

Infinitary Classical Logic: Recursive Equations and Interactive Semantics

Michele Basaldella

In this paper, we present an interactive semantics for derivations in an infinitary extension of classical logic. The formulas of our language are possibly infinitary trees labeled…