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

• 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)
• Community and LBD-based Clause Sharing Policy for Parallel SAT Solving  + (08:46:52, 3 April 2023)
• Revisiting the Visitor: the Just Do It Pattern  + (08:46:56, 3 April 2023)
• Improving the Quality of Rule-Based GNN Explanations  + (04:53:50, 4 April 2023)
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (05:30:11, 4 April 2023)
• A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers  + (17:06:25, 7 April 2023)
• How to Make nD Functions Digitally Well-Composed in a Self-Dual Way  + (17:06:27, 7 April 2023)
• Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures  + (17:06:31, 7 April 2023)
• Euler Well-Composedness  + (17:06:32, 7 April 2023)