Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Skalowalne metaheurystyki dla automatycznej syntezy programów

2014/15/B/ST6/05205

Słowa kluczowe:

synteza programów programowanie genetyczne obliczenia ewolucyjne algorytmy metaheurystyczne

Deskryptory:

  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne, m.in.:

Jednostka realizująca:

Politechnika Poznańska, Wydział Informatyki

woj. wielkopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Krzysztof Krawiec 

Liczba wykonawców projektu: 4

Konkurs: OPUS 8 - ogłoszony 2014-09-15

Przyznana kwota: 380 652 PLN

Rozpoczęcie projektu: 2015-07-24

Zakończenie projektu: 2018-12-23

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Dane z raportu końcowego

  • Publikacje w czasopismach (8)
  • Teksty w publikacjach pokonferencyjnych (15)
  • Publikacje książkowe (3)
  1. Exploring Complex and Big Data IF: 1,28
    Autorzy:
    Jerzy Stefanowski, Krzysztof Krawiec, Robert Wrembel
    Czasopismo:
    International Journal of Applied Mathematics and Computer Science (rok: 2017, tom: 27, strony: 669-679), Wydawca: University Zielona Gora Press
    Status:
    Opublikowane
    Doi:
    10.1515/amcs-2017-0046 - link do publikacji
  2. Online Discovery of Search Objectives for Test-based Problems IF: 3,009
    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Czasopismo:
    Evolutionary Computation (rok: 2017, tom: 25, strony: 375-406), Wydawca: MIT Press
    Status:
    Opublikowane
    Doi:
    10.1162/EVCO_a_00179 - link do publikacji
  3. Learning to Play Othello with Deep Neural Networks IF: ,9
    Autorzy:
    Paweł Liskowski, Wojciech M. Jaśkowski, Krzysztof Krawiec
    Czasopismo:
    IEEE Transactions on Games (rok: 2018, tom: 10, strony: 354-364), Wydawca: IEEE Press
    Status:
    Opublikowane
    Doi:
    10.1109/TG.2018.2799997 - link do publikacji
  4. Synthesis of Constraints for Mathematical Programming with One-Class Genetic Programming IF: 6,29
    Autorzy:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Czasopismo:
    IEEE Transactions on Evolutionary Computation (rok: 2019, tom: 23, strony: 117-129), Wydawca: IEEE
    Status:
    Opublikowane
    Doi:
    10.1109/tevc.2018.2835565 - link do publikacji
  5. Adaptive Test Selection for Factorization-based Surrogate Fitness in Genetic Programming
    Autorzy:
    Krzysztof Krawiec, Paweł Liskowski
    Czasopismo:
    Foundations of Computing and Decision Sciences (rok: 2017, tom: 42, strony: 339-358), Wydawca: De Gruyter Open
    Status:
    Opublikowane
    Doi:
    10.1515/fcds-2017-0017 - link do publikacji
  6. Automatic Synthesis of Constraints from Examples using Mixed Integer Linear Programming IF: 2,911
    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Czasopismo:
    European Journal of Operational Research (rok: 2017, tom: 261, strony: 1141-1157), Wydawca: Elsevier
    Status:
    Opublikowane
  7. Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis IF: 3,009
    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Czasopismo:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 177-212), Wydawca: MIT Press
    Status:
    Opublikowane
    Doi:
    10.1162/EVCO_a_00205 - link do publikacji
  8. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications IF: 3,01
    Autorzy:
    Iwo Błądek, Krzysztof Krawiec, Jerry Swan
    Czasopismo:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 441-469), Wydawca: MIT Press
    Status:
    Opublikowane
    Doi:
    10.1162/evco_a_00228 - link do publikacji
  1. Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs
    Autorzy:
    Krzysztof Krawiec and Iwo Błądek and Jerry Swan and John H. Drake
    Konferencja:
    International Joint Conference on Artificial Intelligence (IJCAI) (rok: 2018, ), Wydawca: International Joint Conferences on Artificial Intelligence Organization
    Data:
    konferencja 13-19.07.2018
    Status:
    Opublikowane
  2. Neural Estimation of Interaction Outcomes
    Autorzy:
    Paweł Liskowski, Bartosz Wieloch, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Opublikowane
  3. PSXO – Population-Wide Semantic Crossover
    Autorzy:
    Leonardo Vanneschi, Luca Manzoni, Krzysztof Krawiec, Alberto Moraglio, Sara Silva, Ivo Goncalves
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowane
  4. Discovery of Search Objectives in Continuous Domains
    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowane
  5. Polytypic Genetic Programming
    Autorzy:
    Jerry Swan, Krzysztof Krawiec, Neil Ghani
    Konferencja:
    EvoApplications (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowane
  6. Synthesis of Mathematical Programming Constraints with Genetic Programming
    Autorzy:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowane
  7. Counterexample-Driven Genetic Programming
    Autorzy:
    Krzysztof Krawiec, Iwo Błądek, Jerry Swan
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowane
  8. Evolutionary Program Sketching
    Autorzy:
    Iwo Błądek, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowane
  9. Geometric Semantic Genetic Programming for Recursive Boolean Programs
    Autorzy:
    Alberto Moraglio, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowane
  10. Non-negative Matrix Factorization for Unsupervised Derivation of Search Objectives in Genetic Programming
    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowane
  11. Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding
    Autorzy:
    Iwo Błądek, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowane
  12. Surrogate Fitness via Factorization of Interaction Matrix
    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, ), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.03.2016-1.04.2016
    Status:
    Opublikowane
  13. Neuro-guided Genetic Programming: Prioritizing Evolutionary Search with Neural Networks
    Autorzy:
    Paweł Liskowski, Iwo Błądek, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Opublikowane
  14. Semantic Geometric Initialization
    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, ), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.04.2016-1.04.2016
    Status:
    Opublikowane
  15. Online Discovery of Search Objectives for Test-based Problems
    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, ), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowane
  1. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures
    Autorzy:
    Krzysztof Krawiec, Christopher Simons, Jerry Swan, John Woodward
    Książka:
    Handbook of Research on Emergent Applications of Optimization Algorithms (rok: 2017, tom: 1, strony: 13150), Wydawca: IGI Global
    Status:
    Opublikowane
  2. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning
    Autorzy:
    Jerry Swan, Krzysztof Krawiec
    Książka:
    Genetic Programming Theory and Practice (rok: 2018, tom: XIV, strony: 149-164), Wydawca: Springer International Publishing
    Status:
    Opublikowane
  3. Behavioral Program Synthesis with Genetic Programming
    Autorzy:
    Krzysztof Krawiec
    Książka:
    Behavioral Program Synthesis with Genetic Programming (rok: 2016, tom: 1, strony: 1-193), Wydawca: Springer
    Status:
    Opublikowane