Machine Learning Techniques for Computer Numerical Control Machines: Exploratory Phase
The goal of this project is to explore applications of machine learning algorithms aiding computer numeric control machining.
Matching Logic and Lean: Part 1 — Foundations
The main goal of this project is to enhance the Matching Logic ecosystem by adding Lean support.
Common Representation for Normative Statements and Research Results
The project aims to develop (1) a common semantic representation of statements found in laws and other norms, and also of statements proposed as laws of nature and other research results; and (2) a search engine, based on a database of such representations, that helps the user find statements relevant to a given case.
Latent Space Curation through Hybrid Metaheuristics: A Model of Curation, Optimization and Discretization by Affective Computing
The project addresses the complex decision-making process within the algorithmically generated design framework in the field of architecture.