9 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- Secretaría de Ciencia, Humanidades, Tecnología e InnovaciónMX2 papers
- Universidad Nacional Autónoma de MéxicoMX2 papers
- Institut de Mathématiques de Jussieu-Paris Rive GaucheFR1 paper
- Institut de Mathématiques de ToulouseFR1 paper
- Institut de Recherche en Informatique de ToulouseFR1 paper
- Institut National des Sciences Appliquées de ToulouseFR1 paper
- Laboratoire d'Analyse et d'Architecture des SystèmesFR1 paper
- Sorbonne UniversitéFR1 paper
- Université de ToulouseFR1 paper
- Université Paris CitéFR1 paper
- Université Toulouse III - Paul SabatierFR1 paper
3 papers
math.AG2020★ 5 cited
Newton non-degenerate -constant deformations admit simultaneous embedded resolutions
Maximiliano Leyton-Álvarez, Hussein Mourtada, Mark Spivakovsky
Let denote the germ of at the origin. Let be a hypersurface germ in and a deformation of over $\mathbb{C}_{…
cs.DC2019★ 3 cited
Tasks in Modular Proofs of Concurrent Algorithms
Armando Castañeda, Aurélie Hurault, Philippe Quéinnec +1
Proving correctness of distributed or concurrent algorithms is a mind-challenging and complex process. Slight errors in the reasoning are difficult to find, calling for computer-ch…
math.PR2019★ 9 cited
Dini derivatives for Exchangeable Increment processes and applications
Osvaldo Angtuncio Hernández, Gerónimo Uribe Bravo
Let be an exchangeable increment (EI) process whose sample paths are of infinite variation. We prove that, for any fixed almost surely, \[ \limsup_{h\to 0 \pm} (X_{t+h}-X_t…