2.3k citations
- Interdisciplinary Centre for Security, Reliability and TrustLU193 papers
- Centre National de la Recherche ScientifiqueFR133 papers
- Luxembourg Institute of Science and TechnologyLU105 papers
- Donostia International Physics CenterES66 papers
- Forschungszentrum JülichDE37 papers
- Polish Academy of SciencesPL36 papers
- University of CambridgeGB36 papers
- Luxembourg Centre for Systems BiomedicineLU34 papers
- Technische Universität BerlinDE34 papers
- University of OttawaCA34 papers
- Université de LorraineFR31 papers
- University of LiègeBE30 papers
12 papers · 1 filter
On the failure of the Gorenstein property for Hecke algebras of prime weight
L. J. P. Kilford, Gabor Wiese
In this article we report on extensive calculations concerning the Gorenstein defect for Hecke algebras of spaces of modular forms of prime weight p at maximal ideals of residue ch…
Formality theorem for quantizations of Lie bialgebras
S. A. Merkulov
Using theory of props we prove a formality theorem associated with universal quantizations of (strongly homotopy) Lie bialgebras.
Linear and quadratic functionals of random hazard rates: an asymptotic analysis
Giovanni Peccati, Igor Prünster
A popular Bayesian nonparametric approach to survival analysis consists in modeling hazard rates as kernel mixtures driven by a completely random measure. In this paper we derive a…
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…
Global Geometric Deformations of the Virasoro algebra, current and affine algebras by Krichever-Novikov type algebra
Alice Fialowski, Martin Schlichenmaier
In two earlier articles we constructed algebraic-geometric families of genus one (i.e. elliptic) Lie algebras of Krichever-Novikov type. The considered algebras are vector fields,…
Formal Poisson cohomology of twisted -matrix induced structures
Mourad Ammar, Norbert Poncin
Quadratic Poisson tensors of the Dufour-Haraki classification read as a sum of an -matrix induced structure twisted by a (small) compatible exact quadratic tensor. An appropriat…