ERD

Challenges and Solutions for Higher-Order SMT Proofs

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Towards Learning Quantifier Instantiation in SMT

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Terms and conditions of testbed open access principles drafted

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Call for the RICAIP Director - final documentation

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Characteristic Subsets of SMT-LIB Benchmarks.

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Deep LiDAR localization using optical flow sensor-map correspondences

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Exploitation Plan

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Interturn short circuit modelling in dual three-phase PMSM

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Benchmarking Image Retrieval for Visual Localization

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Graph Neural Networks for Scheduling of SMT Solvers.

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

A Digital Twin-Based Distributed Manufacturing Execution System for Industry 4.0 with AI-Powered On-The-Fly Replanning C...

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Human intention and workspace recognition for collaborative assembly

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Benchmarking Image Retrieval for Visual Localization

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Young Investigator Award proposition

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

RICAIP Industry Days of Open Door

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

SAT-based Leximax Optimisation Algorithms

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Learning Equational Theorem Proving

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Using Image Sequences for Long-Term Visual Localization

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Vampire with a Brain Is a Good ITP Hammer

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Atlas Fusion - Modern Framework for Autonomous Agent Sensor Data Fusion

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Patch2Pix: Epipolar-Guided Pixel-Level Correspondences

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Procurement documentation (technology) finalised

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Update of the dissemination materials

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Science as a business strategy

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

A New Method to Perform Direct Efficiency Measurement and Power Flow Analysis in Vibration Energy Harvesters

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Recursive Identification of Time-Varying Hammerstein Systems With Matrix Forgetting

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Improvement of the Temperature Stability of the Erbium-Doped Superfluorescent Fiber Source by Tuning the Reflectivity of...

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Dissemination strategy and standards

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Kick off meeting minutes

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Investigating the Role of Image Retrieval for Visual Localization

Project: RICAIP

Updated at: 17-05-2024

Show more information

Project acronym RICAIP

Resources

Selected filters:

Challenges and Solutions for Higher-Order SMT Proofs

Towards Learning Quantifier Instantiation in SMT

Terms and conditions of testbed open access principles drafted

Call for the RICAIP Director - final documentation

Characteristic Subsets of SMT-LIB Benchmarks.

Deep LiDAR localization using optical flow sensor-map correspondences

Exploitation Plan

Interturn short circuit modelling in dual three-phase PMSM

Benchmarking Image Retrieval for Visual Localization

Graph Neural Networks for Scheduling of SMT Solvers.

A Digital Twin-Based Distributed Manufacturing Execution System for Industry 4.0 with AI-Powered On-The-Fly Replanning C...

Human intention and workspace recognition for collaborative assembly

Benchmarking Image Retrieval for Visual Localization

Young Investigator Award proposition

RICAIP Industry Days of Open Door

SAT-based Leximax Optimisation Algorithms

Learning Equational Theorem Proving

Using Image Sequences for Long-Term Visual Localization

Vampire with a Brain Is a Good ITP Hammer

Atlas Fusion - Modern Framework for Autonomous Agent Sensor Data Fusion

Patch2Pix: Epipolar-Guided Pixel-Level Correspondences

Procurement documentation (technology) finalised

Update of the dissemination materials

Science as a business strategy

A New Method to Perform Direct Efficiency Measurement and Power Flow Analysis in Vibration Energy Harvesters

Recursive Identification of Time-Varying Hammerstein Systems With Matrix Forgetting

Improvement of the Temperature Stability of the Erbium-Doped Superfluorescent Fiber Source by Tuning the Reflectivity of...

Dissemination strategy and standards

Kick off meeting minutes

Investigating the Role of Image Retrieval for Visual Localization