Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Evaluation of Anomaly Detection for Cybersecurity Using Inductive Node Embedding with Convolutional Graph Neural Networks  + (21:23:07, 12 December 2022)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks  + (21:23:08, 12 December 2022)
• User:Uli/Howto/Lrde.bib  + (07:59:38, 13 December 2022)
• NewsEntry (2022/11/22)2  + (16:46:30, 13 December 2022)
• How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education  + (13:57:22, 14 December 2022)
• Methods for Explaining Top-N Recommendations Through Subgroup Discovery  + (14:13:41, 14 December 2022)
• Learning Diversity Attributes in Multi-Session Recommendations  + (14:55:23, 14 December 2022)
• Trie-based Output Itemset Sampling  + (14:55:54, 14 December 2022)
• In Pursuit of the Hidden Features of GNN's Internal Representations  + (15:19:04, 14 December 2022)
• What Does my GNN Really Capture? On Exploring Internal GNN Representations  + (15:19:05, 14 December 2022)
• Introduction to the Special Issue on Distributed Hybrid Systems  + (08:29:19, 15 December 2022)
• New Security Protocols for Offline Point-of-Sale Machines  + (08:30:07, 15 December 2022)
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching  + (08:31:01, 15 December 2022)
• ETAP: Experimental Typesetting Algorithms Platform  + (08:31:09, 15 December 2022)
• Max-Tree Computation on GPUs  + (10:52:00, 15 December 2022)
• Estimation of the noise level function for color images using mathematical morphology and non-parametric statistics  + (10:52:38, 15 December 2022)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions  + (10:53:03, 15 December 2022)
• On GNN Explainability with Activation Rules  + (10:53:29, 15 December 2022)
• PhD Defense Zhou ZHAO  + (16:20:15, 15 December 2022)
• An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D  + (13:32:03, 16 December 2022)
• Strong Euler Wellcomposedness  + (13:32:07, 16 December 2022)
• Continuous Well-Composedness implies Digital Well-Composedness in n-D  + (13:32:10, 16 December 2022)
• VerSe: A Vertebrae Labelling and Segmentation Benchmark for Multi-detector CT Images  + (13:33:30, 16 December 2022)
• On Robustness for the Skolem and Positivity Problems  + (07:48:45, 21 December 2022)
• Automatically Guided Selection of a Set of Underwater Calibration Images  + (07:48:49, 21 December 2022)

• A Kleene Theorem for Higher-Dimensional Automata  + (07:49:37, 21 December 2022)

• Featured Games  + (07:49:39, 21 December 2022)
• Marc Plantevit  + (15:59:07, 18 February 2023)
• Daniela Becker  + (14:59:46, 2 March 2023)
• Catoids and Modal Convolution Algebras  + (14:45:29, 5 March 2023)
• File:Logo IGN-ENSG.png  + (10:39:25, 7 March 2023)
• File:Logo UGE.png  + (10:40:44, 7 March 2023)
• File:Lastig 1920 EN.png  + (10:42:14, 7 March 2023)
• AA/Seminar  + (13:47:39, 9 March 2023)
• Seminator: A Tool for Semi-Determinization of Omega-Automata  + (16:48:11, 10 March 2023)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (16:49:05, 10 March 2023)
• Tuning SAT Solvers for LTL Model Checking  + (16:49:06, 10 March 2023)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version)  + (16:49:31, 10 March 2023)
• Towards Better Heuristics for Solving Bounded Model Checking Problems  + (16:49:59, 10 March 2023)
• Practical Applications of the Alternating Cycle Decomposition  + (16:52:03, 10 March 2023)
• Ph.D. Defense Yizi Chen  + (17:10:19, 13 March 2023)
• File:Logo enac.jpg  + (13:00:09, 21 March 2023)
• File:Logo-ecole doctorale Systemes.jpg  + (13:01:37, 21 March 2023)
• File:Enac.png  + (13:04:55, 21 March 2023)
• PhD Defense Nicolas Nalpon  + (13:08:04, 21 March 2023)
• Is There a Best Büchi Automaton for Explicit Model Checking?  + (08:21:01, 3 April 2023)
• Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them  + (08:22:27, 3 April 2023)
• Context-Oriented Image Processing  + (08:22:32, 3 April 2023)
• A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams  + (08:46:34, 3 April 2023)
• Improving Parallel State-Space Exploration Using Genetic Algorithms  + (08:46:42, 3 April 2023)
• On the Usefulness of Clause Strengthening in Parallel SAT Solving  + (08:46:51, 3 April 2023)