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
- NewsEntry (2022/05/10) + (May 10, 2022)
- Some Equivalence Relation between Persistent Homology and Morphological Dynamics + (May 17, 2022)
- NewsEntry (2022/05/23) + (May 23, 2022)
- NewsEntry (2022/05/30) + (May 30, 2022)
- From Spot 2.0 to Spot 2.10: What's New? + (June 6, 2022)
- Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique + (June 15, 2022)
- Généricité dynamique pour des algorithmes morphologiques + (June 15, 2022)
- Seminar/2022-06-22 + (June 22, 2022)
- Posets With Interfaces as a Model for Concurrency + (June 30, 2022)
- Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata + (June 30, 2022)
- On Robustness for the Skolem and Positivity Problems + (July 7, 2022)
- What Does my GNN Really Capture? On Exploring Internal GNN Representations + (July 23, 2022)
- Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions + (July 24, 2022)
- Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning + (August 28, 2022)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (August 31, 2022)
- A Kleene Theorem for Higher-Dimensional Automata + (September 6, 2022)
- Improving the Quality of Rule-Based GNN Explanations + (September 12, 2022)
- Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery + (September 19, 2022)
- Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor + (October 1, 2022)
- NewsEntry (2022/10/07) + (October 7, 2022)
- The Cost of Dynamism in Static Languages for Image Processing + (October 10, 2022)
- A Modern C++ Point of View of Programming in Image Processing + (October 10, 2022)
- On GNN Explainability with Activation Rules + (October 20, 2022)
- Topology-Aware Method to Segment 3D Plan Tissue Images + (October 25, 2022)
- In Pursuit of the Hidden Features of GNN's Internal Representations + (October 26, 2022)
- Featured Games + (November 1, 2022)
- NewsEntry ()2 + (November 2, 2022)
- NewsEntry (2022/11/04) + (November 4, 2022)
- NewsEntry (2022/11/10) + (November 10, 2022)
- NewsEntry (2022/11/22) + (November 22, 2022)
- NewsEntry (2022/11/22)2 + (November 22, 2022)
- NewsEntry (2022/11/30) + (November 30, 2022)
- The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images + (December 3, 2022)
- Introduction to the Special Issue on Distributed Hybrid Systems + (December 8, 2022)
- Higher-Dimensional Timed and Hybrid Automata + (December 8, 2022)
- Diversifying a Parallel SAT Solver with Bayesian Moment Matching + (December 8, 2022)
- Energy Problems in Finite and Timed Automata with Büchi Conditions + (December 8, 2022)
- CosySEL: Improving SAT Solving Using Local Symmetries + (December 8, 2022)
- Go2Pins: A framework for the LTL verification of Go programs (Extended Version) + (December 9, 2022)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (December 9, 2022)
- Tuning SAT Solvers for LTL Model Checking + (December 9, 2022)
- Methods for Explaining Top-N Recommendations Through Subgroup Discovery + (December 10, 2022)
- Trie-based Output Itemset Sampling + (December 12, 2022)
- Learning Diversity Attributes in Multi-Session Recommendations + (December 12, 2022)
- Gradients Intégrés Renforcés + (December 15, 2022)
- Discrete Morse Functions and Watersheds + (January 1, 2023)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (March 5, 2023)
- Catoids and Modal Convolution Algebras + (March 5, 2023)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (March 22, 2023)
- Optimization of the Product Configuration System of Renault + (April 3, 2023)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (April 3, 2023)