Semantic search
Debug output SQLStore
ASK Query
[[Category:Publications]]
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, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
55
OFFSET
120
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, t4.o_sortkey
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_time` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=5352)
AND (t4.p_id=5194)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_sortkey DESC
LIMIT
55
OFFSET
120
SQL Explain
ID | select_type | table | type | possible_keys | key | key_len | ref | rows | filtered | Extra |
---|---|---|---|---|---|---|---|---|---|---|
1 | SIMPLE | t1 | 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 | t0 | eq_ref | PRIMARY, smw_id, smw_iw, smw_iw_2 | PRIMARY | 4 | www_public.t1.s_id | 1 | Using where | |
1 | SIMPLE | t4 | ref | s_id, p_id, p_id_2, s_id_2 | s_id_2 | 8 | www_public.t1.s_id, const | 1 | Using index |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:1Query-Depth:0
Errors and Warnings
NoneTitle | Authors | Published in | Date | |
---|---|---|---|---|
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 |
le-frioux.19.phd | Towards more efficient parallel SAT solving | Ludovic Le Frioux | 3 July 2019 | |
tochon.19.pr | Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot | Pattern Recognition | 1 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 |
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 |
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.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 |
wang.19.tmi | Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge | Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen | IEEE Transactions on Medical Imaging | 11 April 2019 |
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 |
valais.19.els | Implementing Baker's SUBTYPEP decision procedure | Léo Valais, Jim Newton, Didier Verna | 12th European Lisp Symposium | 1 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 |
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 |
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 |
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 |
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 |
puybareau.19.cbm | High Throughput Automated Detection of Axial Malformations in Medaka Embryo | Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot | Computers in Biology and Medicine | 22 January 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 |
huynh.18.phd | Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos. | Lê Duy Huỳnh | 1 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 |
newton.18.phd | Representing and Computing with Types in Dynamically Typed Languages | Jim Newton | 1 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 |
newton.18.tocl | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams | Jim Newton, Didier Verna | ACM Transactions on Computational Logic | 28 August 2018 |
boutry.18.is | Weakly Well-Composed Cell Complexes over nD Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Information Sciences | 4 July 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 |
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 |
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.rfiap | Un algorithme de complexité linéaire pour le calcul de l'arbre des formes | Edwin Carlinet, Sébastien Crozet, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) | 4 May 2018 |
puybareau.18.rfiap | Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage | Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” | 4 May 2018 |
barnat.18.hpcr | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |
goetz.18.tpds | Parallel Computation of Component Trees on Distributed Memory Machines | Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel | IEEE Transactions on Parallel and Distributed Systems | 2 April 2018 |
verna.18.els | Method Combinators | Didier Verna | 11th European Lisp Symposium | 25 March 2018 |
xu.18.media | The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities | Yongchao Xu, Baptiste Morel, Sonia Dahdouh, Élodie Puybareau, Alessio Virzì, Hélène Urien, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud | Medical Image Analysis | 22 March 2018 |
xu.18.brainles | White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers | 6 February 2018 |
verna.18.programming | Lisp, Jazz, Aikido | Didier Verna | The Art, Science and Engineering of Programming Journal | 5 February 2018 |
dangla.18.das | A first step toward a fair comparison of evaluation protocols for text detection algorithms | Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |
movn.18.das | Saliency-Based Detection of Identity Documents Captured by Smartphones | Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |
metin.18.tacas | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon | Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) | 5 January 2018 |
demaille.17.sacs | Derived-Term Automata of Multitape Expressions with Composition | Akim Demaille | Scientific Annals of Computer Science | 29 December 2017 |