|
|
Title
|
Authors
|
Published in
|
Date
|
| kuijf.19.tmi
|
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge
|
H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu
|
IEEE Transactions on Medical Imaging
|
10 April 2019
|
| bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 2019
|
| verna.19.els
|
Parallelizing Quickref
|
Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
| valais.19.els
|
Implementing Baker's SUBTYPEP decision procedure
|
Léo Valais, Jim Newton, Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
| tochon.19.ismm
|
Constructing a braid of partitions from hierarchies of partitions
|
Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| carlinet.19.ismm
|
Introducing Multivariate Connected Openings and Closings
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| puybareau.19.ismm
|
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy
|
Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| boutry.19.ismm
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| le-frioux.19.tacas
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
|
Fabrice Kordon, Julien Sopena, Ludovic Le Frioux, Souheib Baarir
|
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
|
13 February 2019
|
| boutry.19.jmiv
|
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
4 February 2019
|
