Special

Semantic search

Condition
Printout selection
Options
Parameters [
limit:

The maximum number of results to return
offset:

The offset of the first result
link:

Show values as links
headers:

Display the headers/property names
mainlabel:

The label to give to the main page name
intro:

The text to display before the query results, if there are any
outro:

The text to display after the query results, if there are any
searchlabel:

Text for continuing the search
default:

The text to display if there are no query results
import-annotation:

Additional annotated data are to be copied during the parsing of a subject
propsep:

The separator between the properties of a result entry
valuesep:

The separator between the values for a property of a result
template:

The name of a template with which to display the printouts
named args:

Name the arguments passed to the template
userparam:

A value passed into each template call, if a template is used
class:

An additional CSS class to set for the list
introtemplate:

The name of a template to display before the query results, if there are any
outrotemplate:

The name of a template to display after the query results, if there are any
sep:

The separator between results
Sort options
Delete
Add sorting condition
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
  0
SQL Explain
IDselect_typetabletypepossible_keyskeykey_lenrefrowsfilteredExtra
1SIMPLEt1refs_id, o_id, s_id_2, o_id_2o_id_25const434Using index; Using temporary; Using filesort
1SIMPLEt0eq_refPRIMARY, smw_id, smw_iw, smw_iw_2PRIMARY4www_public.t1.s_id1Using where
1SIMPLEt4refs_id, p_id, p_id_2, s_id_2s_id_28www_public.t1.s_id, const1Using index
Auxilliary Tables
No auxilliary tables used.
Query Metrics
Query-Size:1
Query-Depth:0
Errors and Warnings
None
Title Authors Published in Date
tschora.23.ida Forecasting Electricity Prices: An Optimize Then Predict-Based Approach Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet Advances in Intelligent Data Analysis XXI 10 April 2023
Xu.23.sac Optimization of the Product Configuration System of Renault Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing 3 April 2023
Xu.23.iceccs An Experience Report on the Optimization of the Product Configuration System of Renault Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah 26th International Conference on Engineering of Complex Computer Systems 3 April 2023
chen.23.phd Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) Yizi Chen 22 March 2023
fahrenberg.23.pn A Myhill-Nerode Theorem for Higher-Dimensional Automata Uli Fahrenberg, Krzysztof Ziemiański Application and Theory of Petri Nets and Concurrency (PETRI NETS) 5 March 2023
fahrenberg.23.alguniv Catoids and Modal Convolution Algebras Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański Algebra Universalis 5 March 2023
boutry.23.jmiv Discrete Morse Functions and Watersheds Gilles Bertrand, Nicolas Boutry, Laurent Najman Journal of Mathematical Imaging and Vision (Special Edition) 1 January 2023
bouarour.22.ieeebigdata Learning Diversity Attributes in Multi-Session Recommendations Nassim Bouarour, Idir Benouaret, Amer-YahiaSihem 2022 IEEE International Conference on Big Data (Big Data) 12 December 2022
diop.22.ieeebigdata Trie-based Output Itemset Sampling Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud 2022 IEEE International Conference on Big Data (Big Data) 12 December 2022
iferroudjene.22.dami Methods for Explaining Top-N Recommendations Through Subgroup Discovery Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin Data Mining and Knowledge Discovery 10 December 2022
kheireddine.22.apsec Tuning SAT Solvers for LTL Model Checking Anissa Kheireddine, Étienne Renault, Souheib Baarir Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) 9 December 2022
kheireddine.22.constraints Towards Better Heuristics for Solving Bounded Model Checking Problems Anissa Kheireddine, Étienne Renault, Souheib Baarir Constraints 9 December 2022
renault.22.sttt Go2Pins: A framework for the LTL verification of Go programs (Extended Version) Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau International Journal on Software Tools for Technology Transfer (STTT) 9 December 2022
abate.22.lites Introduction to the Special Issue on Distributed Hybrid Systems Alessandro Abate, Uli Fahrenberg, FränzleMartin Leibniz Transactions on Embedded Systems 8 December 2022
fahrenberg.22.lites Higher-Dimensional Timed and Hybrid Automata Uli Fahrenberg Leibniz Transactions on Embedded Systems 8 December 2022
saouli.23.vmcai CosySEL: Improving SAT Solving Using Local Symmetries S Saouli, S Baarir, C Dutheillet, J Devriendt 24th International Conference on Verification, Model Checking, and Abstract Interpretation 8 December 2022
dziadek.23.fm Energy Problems in Finite and Timed Automata with Büchi Conditions Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier International Symposium on Formal Methods (FM) 8 December 2022
vallade.22.setta Diversifying a Parallel SAT Solver with Bayesian Moment Matching V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir Symposium on Dependable Software Engineering TheoriesTools and Applications 8 December 2022
movn.22.pr The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud Pattern Recognition 3 December 2022
fahrenberg.22.scp Featured Games Uli Fahrenberg, Axel Legay Science of Computer Programming 1 November 2022
veyrin-forrer.22.dke In Pursuit of the Hidden Features of GNN's Internal Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Data & Knowledge Engineering 26 October 2022
movn.22.nips Topology-Aware Method to Segment 3D Plan Tissue Images Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio 36th Conference on Neural Information Processing SystemsAI for Science Workshop 25 October 2022
veyrin-forrer.22.dami On GNN Explainability with Activation Rules Luca Veyrin-Forrer, Ataollah Kamal, Marc Plantevit, Céline Robardet, DuffnerStefan Data Mining and Knowledge Discovery 20 October 2022
esteban.22.gpce The Cost of Dynamism in Static Languages for Image Processing Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) 10 October 2022
roynard.22.gpce A Modern C++ Point of View of Programming in Image Processing Michaël Roynard, Edwin Carlinet, Thierry Géraud Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) 10 October 2022
zhao.22.iros Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor Zhou Zhao, Zhenyu Lu 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems 1 October 2022
duluard.22.mlsa Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery Pierre Duluard, Xinqing Li, Marc Plantevit, Céline Robardet, Romain Vuillemot Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022 19 September 2022
kamal.22.xkdd Improving the Quality of Rule-Based GNN Explanations Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I 12 September 2022
fahrenberg.22.concur A Kleene Theorem for Higher-Dimensional Automata Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański 33rd International Conference on Concurrency Theory (CONCUR 2022) 6 September 2022
newton.22.ifl Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map Jim Newton Symposium on Implementation and Application of Functional Languages 31 August 2022
lepage.22.interspeech Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning Théo Lepage, Réda Dehak Proc. Interspeech 2022 28 August 2022
moranges.22.taffc Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions Maelle Moranges, Marc Plantevit, Moustafa Bensafi IEEE Transactions on Affective Computing 24 July 2022
veyrin-forrer.22.ijcai What Does my GNN Really Capture? On Exploring Internal GNN Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet International Joint Conference on Artificial Intelligence 2022 23 July 2022
akshay.22.stacs On Robustness for the Skolem and Positivity Problems S Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala 39th International Symposium on Theoretical Aspects of Computer Science STACS 7 July 2022
droste.22.iandc Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata Manfred Droste, Sven Dziadek, Werner Kuich Information and Computation 30 June 2022
fahrenberg.22.iandc Posets With Interfaces as a Model for Concurrency Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański Information and Computation 30 June 2022
esteban.22.gretsi.1 Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
esteban.22.gretsi.2 Généricité dynamique pour des algorithmes morphologiques Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna 28e Colloque sur le traitement du signal et des images 15 June 2022
duret.22.cav From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) 6 June 2022
boutry.22.jmiv.2 Some Equivalence Relation between Persistent Homology and Morphological Dynamics Nicolas Boutry, Laurent Najman, Thierry Géraud Journal of Mathematical Imaging and Vision 17 May 2022
or.22.transparence Données, Transparence et Démocratie Olivier Ricou 1 May 2022
renkin.22.forte Effective Reductions of Mealy Machines Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22) 26 April 2022
paviot.22.forte LTL under reductions with weaker conditions than stutter invariance Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg Proceedings of the 41th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'22) 18 April 2022
esteban.22.icpr Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics Baptiste Esteban, Guillaume Tochon, Edwin Carlinet, Didier Verna Proceedings of the 26th International Conference on Pattern Recognition 8 April 2022
abadie.22.das A Benchmark of Named Entity Recognition Approaches in Historical Documents Nathalie Abadie, Edwin Carlinet, Joseph Chazalon, Bertrand Duménieu Proceedings of the 15th IAPR International Workshop on Document Analysis System 7 April 2022
hermary.22.jmiv Learning Grayscale Mathematical Morphology with Smooth Morphological Layers Romain Hermary, Guillaume Tochon, Élodie Puybareau, Alexandre Kirszenberg, Jesús Angulo Journal of Mathematical Imaging and Vision 4 April 2022
veyrin-forrer.22.egc Qu'est-ce que mon GNN capture vraiment ? Exploration des représentations internes d'un GNN Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022 24 March 2022
shi.21.itip Local Intensity Order Transformation for Robust Curvilinear Object Segmentation Tianyi Shi, Nicolas Boutry, Yongchao Xu, Thierry Géraud IEEE Transactions on Image Processing 22 March 2022
tschora.22.apen Electricity Price Forecasting on the Day-Ahead Market using Machine Learning Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet Applied Energy 10 March 2022
blin.22.tpds Max-Tree Computation on GPUs Nicolas Blin, Edwin Carlinet, Florian Lemaitre, Lionel Lacassagne, Thierry Géraud IEEE Transactions on Parallel and Distributed Systems 9 March 2022