Results 41 to 50 of about 23,944 (147)
, 2015 The Kawazumi-Zhang invariant $\varphi$ for compact genus-two Riemann surfaces was recently shown to be a eigenmode of the Laplacian on the Siegel upper half-plane, away from the separating degeneration divisor. Using this fact and the known behavior of $\
Pioline, Boris
core +3 more sources
Learning invariant features for speech separation [PDF]
2013 IEEE International Conference on Acoustics, Speech and Signal Processing, 2013 Recent studies on speech separation show that the ideal binary mask (IBM) substantially improves speech intelligibility in noise. Supervised learning can be used to effectively estimate the IBM. However, supervised learning has trouble dealing with the situations where the probabilistic properties of the training data and the test data do not match ...
Kun Han, DeLiang Wang
openaire +1 more source
On invariants for 𝜔₁-separable groups [PDF]
Transactions of the American Mathematical Society, 1995 We study the classification of ω 1 {\omega _1} -separable groups by using Ehrenfeucht-Fraïssé games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming ♢ \diamondsuit .
Paul C. Eklof +2 more
openaire +1 more source
Making triangulations 4-connected using flips
, 2011 We show that any combinatorial triangulation on n vertices can be transformed into a 4-connected one using at most floor((3n - 9)/5) edge flips. We also give an example of an infinite family of triangulations that requires this many flips to be made 4 ...
Aichholzer +13 more
core +1 more source
Invariants and separating morphisms for algebraic group actions [PDF]
Mathematische Zeitschrift, 2015 23 ...
Dufresne, Emilie, Kraft, Hanspeter
openaire +8 more sources
Multipole invariants and non-Gaussianity
, 2004 We propose a framework for separating the information contained in the CMB multipoles, $a_{\ell m}$, into its algebraically independent components. Thus we cleanly separate information pertaining to the power spectrum, non-Gaussianity and preferred axis ...
J. Magueijo, K. Land, Schwarz
core +3 more sources
Combinatorial separation axioms and cardinal invariants
Topology and its Applications, 2016 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BONANZINGA, Maddalena +2 more
openaire +3 more sources
On the decidability of the existence of polyhedral invariants in transition systems
, 2018 Automated program verification often proceeds by exhibiting inductive invariants entailing the desired properties.For numerical properties, a classical class of invariants is convex polyhedra: solution sets of system of linear (in)equalities.Forty years ...
Monniaux, David
core +3 more sources
Helly dimension of algebraic groups
, 2009 It is shown that for a linear algebraic group G over a field of characteristic zero, there is a natural number \kappa(G) such that if a system of Zariski closed cosets in G has empty intersection, then there is a subsystem consisting of at most \kappa(G)
Domokos, M., Szabó, E.
core +1 more source
Synthesising Functional Invariants in Separation Logic
EPiC Series in Computing, 2018 We describe the CORE system which automatically proves fully functional specifications about pointer programs, generating functional parts of the invariants automatically where necessary.
Ewen Maclean +2 more
openaire +2 more sources