Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list

Conference

Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis

Authors : Bartzia, Evmorfia; Meyer, Antoine; Narboux, Julien ...

Subjects: Teaching and learning of logic; reasoning and proof; Digital and other resources in university mathematics educationHanovre; Germany

Source: INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics ; https://hal.science/hal-03648357 ; INDRUM 2022: Fourth

Record details

Read More Add to Saved list

Conference

A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem

Authors : Boldo, Sylvie; Clément, François; Martin, Vincent ...

Subjects: Formal proof; Coq; Measure theoryLübeck; Germany

Source: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on

Record details

Read More Add to Saved list

Conference

An Algorithmic Framework for Locally Constrained Homomorphisms

Authors : Bulteau, Laurent; Dabrowski, Konrad; Köhler, Noleen ...

Subjects: 2012 ACM Subject Classification Mathematics of computing → Graph theory locally constrained homomorphism parameterized complexity deletion set/modulator to small components role assignment integer linear programming; 2012 ACM Subject Classification Mathematics of computing → Graph theory locally constrained homomorphism; parameterized complexityTübingen; Germany

Source: International Workshop on Graph-Theoretic Concepts in Computer Science ; https://hal.science/hal-04495171 ; International Workshop on Graph-Theoretic Concepts in Computer Science, 2022, Tübingen,

Record details

Read More Add to Saved list

Conference

Tropical numerical methods for solving stochastic control problems

Authors : Akian, Marianne; Chancelier, Jean-Philippe; Pascal, Luz ...

Subjects: Stochastic Control; Hamilton-Jacobi-Bellman equations; Stochastic Dual Dynamic ProgrammingBayreuth (DE); Germany

Source: MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems ; https://inria.hal.science/hal-03944216 ; MTNS 2022 - 25th International Symposium on Mathematical Theory of

Record details

Read More Add to Saved list

Conference

Meteorix: a cubesat mission dedicated to the detection of meteors and space debris

Authors : Rambaux, Nicolas; Vaubaillon, Jérémie; Lacassagne, Lionel ...

Subjects: [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing; [SPI.AUTO]Engineering Sciences [physics]/Automatic; [INFO.INFO-DC]Computer Science [cs]/DistributedGermanyDarmstadt, Germany

Source: Proceedings of the 1st ESA NEO and Debris Detection Conference ; 1st ESA NEO and Debris Detection Conference ; https://hal.science/hal-02198139 ; 1st ESA NEO and Debris Detection Conference, Jan 2019,

Record details

Read More Add to Saved list

Conference

Atlas-based automated detection of swim bladder in Medaka embryo

Authors : Genest, Diane; Léonard, Marc; Cousty, Jean ...

Subjects: Toxicological screening; Segmentation; Mathematical morphologySaarbrücken; Germany

Source: Mathematical Morphology and Its Applications to Signal and Image Processing ; ISMM 2019 - International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing ;

Record details

Read More Add to Saved list

Conference

Spherical Fluorescent Particle Segmentation and Tracking in 3D Confocal Microscopy

Authors : Puybareau, Élodie; Carlinet, Edwin; Benfenati, Alessandro ...

Subjects: [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]; [SPI.MECA.BIOM]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Biomechanics [physics.med-ph]; [SPI.OPTI]Engineering Sciences [physics]/Optics / PhotonicSaarbrücken; Germany

Source: Mathematical Morphology and Its Applications to Signal and Image Processing. ; ISMM 2019 - 14th International Symposium on Mathematical Morphology ; https://hal.science/hal-02426948 ; ISMM 2019 - 14th

Record details

Read More Add to Saved list

Conference

Johnson-Segalman – Saint-Venant equations for viscoelastic shallow flows in the elastic limit

Authors : Boyaval, Sébastien;

Subjects: Saint-Venant Equations; Riemann problem; Viscoelastic FluidsAachen; Germany

Source: XVI International Conference on Hyperbolic Problems Theory, Numerics, Applications (Hyp2016) ; https://inria.hal.science/hal-01402628 ; XVI International Conference on Hyperbolic Problems Theory,

Record details

Read More Add to Saved list

Conference

Effective Invariant Theory of Permutation Groups using Representation Theory

Authors : Borie, Nicolas;

Subjects: permutation group; representation theory; Computational invariant theoryStuttgart; Germany

Source: Lecture Notes in Computer Science ; CAI 2015 ; https://hal.science/hal-01196720 ; CAI 2015, Sep 2015, Stuttgart, Germany. pp.58-69, ⟨10.1007/978-3-319-23021-4⟩

Record details

Read More Add to Saved list