Projects search

• Keywords: program synthesis ×

Change search criteria ↓

Search results

7 projects found matching your search criteria:

1. 1. Scalable metaheuristics for automated program synthesis

   Principal investigator: dr hab. Krzysztof Krawiec

   Politechnika Poznańska, Wydział Informatyki

   Call: OPUS 8, Panel: ST6

2. 2. Automated Discovery and Exploitation of Domain Knowledge for Prioritizing Search in the Problem of Automatic Program Syn…

   Principal investigator: Iwo Piotr Błądek

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Call: PRELUDIUM 15, Panel: ST6

3. 3. Synthesis and Struktural Characterization of Small-Molecule Probes for the Programmed Death 1/ Programmed Death Ligand 1…

   Principal investigator: Katarzyna Agnieszka Guzik

   Uniwersytet Jagielloński, Wydział Chemii

   Call: PRELUDIUM 10, Panel: ST5

4. 4. Automatic synthesis of mathematical programming models for business processes

   Principal investigator: dr Tomasz Pawlak

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Call: SONATA 12, Panel: ST6

5. 5. Synthesis via active learning: theory and applications

   Principal investigator: dr hab. Jan Otop

   Uniwersytet Wrocławski

   Call: OPUS 27, Panel: ST6

6. 6. New methods in parametric model checking

   Principal investigator: Michał Józef Knapik

   Instytut Podstaw Informatyki PAN

   Call: PRELUDIUM 4, Panel: ST6

7. 7. New architectures and algorithms for neurosymbolic deep learning

   Principal investigator: Piotr Leszek Wyrwiński

   Politechnika Poznańska

   Call: PRELUDIUM 23, Panel: ST6