News
From LRDE
Après avoir ajouter une news, il faut revenir sur la page News puis cliquer sur le bouton «refresh» en haut à droite ou simplement suivre le lien suivant refresh news.
Catégorie contenant les news : Category:News Catégorie contenant les publications : Category:Publications (les publications ne doivent pas être modifier manuellement)
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach, An Experience Report on the Optimization of the Product Configuration System of Renault, Optimization of the Product Configuration System of Renault, Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950), Catoids and Modal Convolution Algebras, A Myhill-Nerode Theorem for Higher-Dimensional Automata, Discrete Morse Functions and Watersheds, Learning Diversity Attributes in Multi-Session Recommendations, Trie-based Output Itemset Sampling, Methods for Explaining Top-N Recommendations Through Subgroup Discovery, Tuning SAT Solvers for LTL Model Checking, Towards Better Heuristics for Solving Bounded Model Checking Problems, Go2Pins: A framework for the LTL verification of Go programs (Extended Version), CosySEL: Improving SAT Solving Using Local Symmetries, Energy Problems in Finite and Timed Automata with Büchi Conditions, Diversifying a Parallel SAT Solver with Bayesian Moment Matching, Higher-Dimensional Timed and Hybrid Automata, Introduction to the Special Issue on Distributed Hybrid Systems, The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images, NewsEntry (2022/11/30), NewsEntry (2022/11/22)2, NewsEntry (2022/11/22), NewsEntry (2022/11/10), NewsEntry (2022/11/04), NewsEntry ()2, Featured Games, In Pursuit of the Hidden Features of GNN's Internal Representations, Topology-Aware Method to Segment 3D Plan Tissue Images, On GNN Explainability with Activation Rules, A Modern C++ Point of View of Programming in Image Processing, The Cost of Dynamism in Static Languages for Image Processing, NewsEntry (2022/10/07), Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor, Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery, Improving the Quality of Rule-Based GNN Explanations, A Kleene Theorem for Higher-Dimensional Automata, Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map, Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning, Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions, What Does my GNN Really Capture? On Exploring Internal GNN Representations, On Robustness for the Skolem and Positivity Problems, Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Posets With Interfaces as a Model for Concurrency, Seminar/2022-06-22, Généricité dynamique pour des algorithmes morphologiques, Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique, From Spot 2.0 to Spot 2.10: What's New?, NewsEntry (2022/05/30), NewsEntry (2022/05/23), Some Equivalence Relation between Persistent Homology and Morphological Dynamics... further results