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

• 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)

• An Experience Report on the Optimization of the Product Configuration System of Renault  + (April 3, 2023)
• Optimization of the Product Configuration System of Renault  + (April 3, 2023)

• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach  + (April 10, 2023)