Skip to content
Institute for Logic and Data Science
Menu
  • Home
  • Research
    • Research Projects
    • Scientific Seminars
  • Events
  • People
  • Partners
  • About
    • About Us
    • Support us
    • Executive Board
    • Contact
Menu

Research Projects

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.

Follow us

Subscribe to our RSS feed.

Subscribe

Support us

Looking for ways to support our research? Check out all the different opportunities!

Contact us

Interested in logic and/or data science research? Send an email to contact@ilds.ro

Institute for Logic and Data Science
Str. Popa Tatu nr. 18
010805 Bucharest, Romania
contact@ilds.ro

© 2023 Institute for Logic and Data Science | Powered by Minimalist Blog WordPress Theme