Latest submissions

Article in a review
10/13/2024
DataGarden: Formalizing Personal Sketches into Structured Visualization Templates
Anna Offenwanger, Theophanis Tsandilas, Fanny Chevalier
Communication on a congress
10/06/2024
Atomic-scale structural analysis of metastable zirconia
Maik Lang, Alexandre P. Solomon, Eric C. O'Quinn, Gianguido Baldinozzi, Liu Juejing, Gun Xiaofeng, J. Neuefeind, C. Trautmann, Rodney Ewing
Communication on a congress
10/06/2024
Structural analysis of swift heavy ion irradiated β-Sc2Hf7O17 and γ-Sc2Hf5O13
Y Noguchi, Masanari Iwasaki, Manabu Ishimaru, Maulik K. Patel, Gianguido Baldinozzi, Kurt E. Sickafus
Communication on a congress
10/02/2024
Belenios with cast-as-intended: towards a usable interface
Véronique Cortier, Pierrick Gaudry, Anselme Goetschmann, Sophie Lemonnier
Communication on a congress
10/02/2024
Recommendations for Implementing Independent Individual Verifiability in Internet Voting
Florian Moser, Rüdiger Grimm, Tobias Hilt, Michael Kirsten, Christoph Niederbudde, Melanie Volkamer
Article in a review
10/01/2024
Combustion and Flame Multiplexed MHz-rate mid-infrared laser absorption spectroscopy for simultaneous in-chamber CO, CO$_2$ , H$_2$O, temperature, and pressure in a rotating detonation rocket engine
Nicholas Kuenning, Anil Nair, Alex Keller, Nicolas Minesi, Emre Ozen, Blaine Bigler, Jason Kriesel, John Bennewitz, Jason Burr, Stephen Danczyk, R. Mitchell Spearrin
Communication on a congress
10/01/2024
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Pascale Le Gall
Article in a review
10/01/2024
Communication on a congress
10/01/2024
Fast Coding Mode Prediction for Intra Prediction in VVC SCC
Dayong Wang, Junyi Yu, Xin Lu, Frédéric Dufaux, Hongwei Guo, Hui Guo, Ce Zhu
Communication on a congress
09/30/2024

Pages