Semantic search
Debug output SQLStore
ASK Query
[[Category:CSIReports]]
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_hash
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_blob` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=1816)
AND (t4.p_id=1948)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_hash DESC
LIMIT
55
OFFSET
20
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_hash
FROM
`smw_object_ids` AS t0
INNER JOIN
`smw_fpt_inst` AS t1 ON t0.smw_id=t1.s_id
INNER JOIN
`smw_di_blob` AS t4 ON t0.smw_id=t4.s_id
WHERE
(t1.o_id=1816)
AND (t4.p_id=1948)
AND t0.smw_iw!=':smw'
AND t0.smw_iw!=':smw-delete'
AND t0.smw_iw!=':smw-redi'
ORDER BY
t4.o_hash DESC
LIMIT
55
OFFSET
20
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 | 256 | 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, s_id_2, p_id | s_id | 8 | www_public.t1.s_id, const | 1 |
Auxilliary Tables
No auxilliary tables used.Query Metrics
Query-Size:1Query-Depth:0
Errors and Warnings
NoneTitle | Authors | Year | |
---|---|---|---|
valais.20.seminar | Implementing Baker's SUBTYPEP decision procedure | Leo Valais | 2020 |
ginane.20.seminar | Detecting danger in marine environment: Part 1 - Making the dataset | Charles Ginane | 2020 |
buatois.20.seminar | Smart and robust segmentation of medical images using neural networks | Thibault Buatois | 2020 |
buatois.19.seminar | Brain Tumor Segmentation with deep convolutional network approach | Thibault Buatois | 2019 |
linsenmaier.19.seminar | Automatic troll farm account detection on Twitter | Hugo Linsenmaier | 2019 |
guenezan.19.seminar | Distributed State Space Exploration | Paul Guénézan | 2019 |
hacquard.19.seminar | Parallelism and Indexation in Quickref | Antoine Hacquard | 2019 |
khoudli.19.seminar | Mathematical morphology and deep convolutional neural networks | Younes Khoudli | 2019 |
remaud.19.seminar | State compression in Spot | Arthur Remaud | 2019 |
kirszenberg.19.seminar | Integrating Mathematical Morphology within Deep Convolutional Neural Networks | Alexandre Kirszenberg | 2019 |
carvalho.19.seminar | Artificial states generation in state spaces using kernel density estimation | Thomas De Carvalho | 2019 |
tourneur.19.seminar | Benchmarking of Partial Order Reduction in Spot | Vincent Tourneur | 2019 |
martin.19.seminar | Exploring various implementations for goroutines support in go2pins | Antoine Martin | 2019 |
esteban.19.seminar | Estimation of the noise level function in natural images using the tree of shapes | Baptiste Esteban | 2019 |
gillard.19.seminar | Counterexample searches in Spot | Clément Gillard | 2019 |
sainson.19.seminar | Modelling and Identifying Troll Farm Accounts on Twitter | Antoine Sainson | 2019 |
ginane.19.seminar | Detecting danger in marine environnement | Charles Ginane | 2019 |
huvelle.19.seminar | Reimplementation of testing-automata in Spot | Martin Huvelle | 2019 |
valais.19.seminar | Implementing Baker's SUBTYPEP decision procedure | Leo Valais | 2019 |
gossec.19.seminar | Binding a high-performance C++ image processing library to Python | Celian Gossec | 2019 |
valais.18.seminar | SUBTYPEP: An Implementation of Baker's Algorithm | Leo Valais | 2018 |
remaud.18.seminar | Creation of an antichain library | Arthur Remaud | 2018 |
khoudli.18.seminar | Automatic Heart Segmentation | Younes Khoudli | 2018 |
gbaguidiaisse.18.seminar | Deciding Persistence or Recurrence Membership in Spot | Alexandre Gbaguidi Aïsse | 2018 |
hirtz.18.seminar | Optimization of an image processing library | Virgile Hirtz | 2018 |
xu.18.seminar | Efficient Translation of Fairness LTL Formulae into Deterministic Automata | Laurent XU | 2018 |
kirszenberg.18.seminar | go2pins: A model checking toolset for the Go programming language | Alexandre Kirszenberg | 2018 |
dangla.18.seminar | Integration of histograms in the NL-Mean algorithm for image denoising. | Aliona Dangla | 2018 |
tourneur.18.seminar | Implementation of Invisible and Transparent Transitions in Spot | Vincent Tourneur | 2018 |
gillard.18.seminar | Two-automaton accepting run search in Spot | Clément Gillard | 2018 |
tourneur.17.seminar | Partial order reduction in SPOT | Vincent Tourneur | 2017 |
xu.17.seminar | Improvements of Simulation-based Reduction | Laurent Xu | 2017 |
piat.17.seminar | K shortest-paths in Vcsn | Sébastien Piat | 2017 |
remaud.17.seminar | Integration of TChecker in Spot | Arthur Remaud | 2017 |
collette.17.seminar | Morse-Smale Complex computation with Watershed Cut | Victor Collette | 2017 |
iovene.17.seminar | Time Delay Neural Networks-Based Universal Background Model for Speaker Recognition | Valentin Iovene | 2017 |
dangla.17.seminar | Evaluation method of text detection algorithm rating | Aliona Dangla | 2017 |
berthet.17.seminar | Automatic detection of text zones on identity documents. | Anne-Claire Berthet | 2017 |
gillard.17.seminar | Two-automaton emptiness check in Spot | Clément Gillard | 2017 |
gbaguidiaisse.17.seminar | A co-Büching Toolbox | Alexandre Gbaguidi Aïsse | 2017 |
houang.17.seminar | Binary Partition Tree for Image Processing | Fabien Houang | 2017 |
michaud.17.seminar | LTL Synthesis with Spot | Thibaud Michaud | 2017 |
deutsch.16.seminar | Supervised Discrimination of Characters on Images | Thibault Deutsch | 2016 |
tolmer.16.seminar | Efficient Transducer Composition in Vcsn | Valentin Tolmer | 2016 |
michaud.16.seminar | Quotient of weighted automata and rational series | Thibaud Michaud | 2016 |
fauchille.16.seminar | Alternating automata support | Amaury Fauchille | 2016 |
lewkowicz.16.seminar | Improving the determinization of Büchi automata | Alexandre Lewkowicz | 2016 |
boillod.16.seminar | Random rational expression generation | Lucien Boillod | 2016 |
berthet.16.seminar | Automatic segmentation of Cassini's maps | Anne-Claire Berthet | 2016 |
riols.16.seminar | Speaker Diarization based on the Mel Frequency Cepstral Coefficients | Fanny Riols | 2016 |