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
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks + (2022)
- CosySEL: Improving SAT Solving Using Local Symmetries + (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 + (2022)
- Automatically Guided Selection of a Set of Underwater Calibration Images + (2022)
- Towards Better Heuristics for Solving Bounded Model Checking Problems + (2022)
- Gradients Intégrés Renforcés + (2022)
- Tuning SAT Solvers for LTL Model Checking + (2022)
- A Myhill-Nerode Theorem for Higher-Dimensional Automata + (2023)
- An Experience Report on the Optimization of the Product Configuration System of Renault + (2023)
- Catoids and Modal Convolution Algebras + (2023)
- Discrete Morse Functions and Watersheds + (2023)
- Forecasting Electricity Prices: An Optimize Then Predict-Based Approach + (2023)
- Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) + (2023)
- Optimization of the Product Configuration System of Renault + (2023)