Semantic search
Debug output SQLStore
ASK Query
[[Category:Publications]] [[Publication type::inproceedings]]
SQL Query
SELECT DISTINCT
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t7.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
(`smw_fpt_inst` AS t2
INNER JOIN
`smw_di_blob` AS t4 ON t2.s_id=t4.s_id) ON t0.smw_id=t2.s_id
INNER JOIN
`smw_di_time` AS t7 ON t0.smw_id=t7.s_id
WHERE
(t2.o_id=5352
AND (
(t4.o_hash='inproceedings') AND t4.p_id=5218)
)
AND (t7.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t7.o_sortkey DESC
LIMIT
55
OFFSET
50
t0.smw_id AS id,
t0.smw_title AS t,
t0.smw_namespace AS ns,
t0.smw_iw AS iw,
t0.smw_subobject AS so,
t0.smw_sortkey AS sortkey, t7.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
(`smw_fpt_inst` AS t2
INNER JOIN
`smw_di_blob` AS t4 ON t2.s_id=t4.s_id) ON t0.smw_id=t2.s_id
INNER JOIN
`smw_di_time` AS t7 ON t0.smw_id=t7.s_id
WHERE
(t2.o_id=5352
AND (
(t4.o_hash='inproceedings') AND t4.p_id=5218)
)
AND (t7.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t7.o_sortkey DESC
LIMIT
55
OFFSET
50
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t2 | ref | s_id, o_id, s_id_2, o_id_2 | o_id_2 | 5 | const | 434 | Using index; Using temporary; Using filesort | |
1 | SIMPLE | t4 | ref | s_id, s_id_2, o_hash, p_id | s_id_2 | 262 | www_public.t2.s_id, const | 1 | Using index condition; Using where | |
1 | SIMPLE | t0 | eq_ref | PRIMARY, smw_id, smw_iw, smw_iw_2 | PRIMARY | 4 | www_public.t2.s_id | 1 | Using where | |
1 | SIMPLE | t7 | ref | s_id, p_id, p_id_2, s_id_2 | s_id_2 | 8 | www_public.t2.s_id, const | 1 | Using index |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:3Query-Depth:1
Errors and Warnings
NoneTitle | Authors | Published in | Date | |
---|---|---|---|---|
boutry.21.dgmm.2 | A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation | Nicolas Boutry, Thierry Géraud | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
boutry.21.dgmm.3 | Stability of the Tree of Shapes to Additive Noise | Nicolas Boutry, Guillaume Tochon | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 2 March 2021 |
chen.21.dgmm | Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
kirszenberg.21.dgmm | Going beyond p-convolutions to learn grayscale morphological operators | Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
bloch.21.dgmm | On Some Associations Between Mathematical Morphology and Artificial Intelligence | Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon | Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) | 16 February 2021 |
grelot.21.cesar | Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | Frederic Grelot, Sébastien Larinier, SalmonMarie | Proceedings of the 28th C&ESAR | 1 January 2021 |
espie.21.eurocon | Debug Packages in OpenBSD | Marc Espie | EuroBSDCon 2021 | 1 January 2021 |
nejati.20.cp | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh | Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) | 31 December 2020 |
zhao.20.icpr.1 | FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
zhao.20.icpr.2 | Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |
buatois.19.brainles | Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon | International MICCAI Brainlesion Workshop | 3 September 2020 |
vallade.20.nfm | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |
boutry.20.iwcia1 | Euler Well-Composedness | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
boutry.20.iwcia2 | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
renkin.20.atva | Practical “Paritizing” of Emerson–Lei Automata | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet | Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) | 7 July 2020 |
vallade.20.sat | Community and LBD-based Clause Sharing Policy for Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon | Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) | 1 June 2020 |
boutry.20.brainles | Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures | Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud | Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 | 1 June 2020 |
blahoudek.20.cav | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization | František Blahoudek, Alexandre Duret-Lutz, Jan Strejček | Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) | 14 May 2020 |
zhao.19.stacom | A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers | 7 February 2020 |
drumetz.20.icassp | Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation | Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet | Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 24 January 2020 |
atlan.20.spie | Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) | Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard | Label-free Biomedical Imaging and Sensing (LBIS) 2020 | 1 January 2020 |
zhao.19.myops | Stacked and parallel U-nets with multi-output for myocardial pathology segmentation | Zhou Zhao, Nicolas Boutry, Elodie Puybareau | Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge | 1 January 2020 |
verna.19.tug | Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo | Didier Verna | TUGboat | 6 November 2019 |
poitrenaud.19.icfem | Combining Parallel Emptiness Checks with Partial Order Reductions | Denis Poitrenaud, Etienne Renault | Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) | 2 August 2019 |
baier.19.atva | Generic Emptiness Check for Fun and Profit | Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček | Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) | 29 July 2019 |
boutry.19.dgci | One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) | 18 June 2019 |
carlinet.19.gretsi | Filtres connexes multivariés par fusion d'arbres de composantes | Edwin Carlinet, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
esteban.19.gretsi | Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
esteban.19.caip | Estimating the noise level function with the tree of shapes and non-parametric statistics | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) | 7 June 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 |
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 |
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 |
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 |
le-frioux.19.tacas | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |
newton.19.els | Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton, Didier Verna | European Lisp Symposium | 14 January 2019 |
rivet.19.isbi | Motion Compensation in Digital Holography for Retinal Imaging | Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques | Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) | 19 December 2018 |
carlinet.19.csi | Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach | Edwin Carlinet, Thierry Géraud | Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) | 26 November 2018 |
puybareau.18.brainles | Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure | Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio | Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI | 5 November 2018 |
rivet.19.spie | Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan | Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V | 25 October 2018 |
roynard.18.rrpr | An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Michaël Roynard, Edwin Carlinet, Thierry Géraud | Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) | 25 October 2018 |
puybareau.18.stacom | Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte | Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI | 25 October 2018 |
movn.19.icdarw | Document detection in videos captured by smartphones using a saliency-based method | Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud | International Conference on Document Analysis and Recognition Workshops (ICDARW) | 20 September 2018 |
newton.18.meta | Recognizing Heterogeneous Sequences by Rational Type Expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |
renault.18.vecos | Improving Parallel State-Space Exploration Using Genetic Algorithms | Etienne Renault | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |
michaud.18.synt | Reactive Synthesis from LTL Specification with Spot | Thibaud Michaud, Maximilien Colange | Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 | 7 June 2018 |
boldo.18.arith | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo, Florian Faissole, TourneurVincent | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |
puybareau.18.icip | Real-Time Document Detection in Smartphone Videos | Élodie Puybareau, Thierry Géraud | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |
carlinet.18.icip | The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Edwin Carlinet, Thierry Géraud, Sébastien Crozet | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |