Change language

Wyszukiwarka projektów

Skalowalne metaheurystyki dla automatycznej syntezy programów

2014/15/B/ST6/05205

Słowa kluczowe

Deskryptory

  • ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe

Panel

ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

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
41 miesięcy (z wniosku)
Status projektu
Projekt rozliczony

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (8)

  1. Exploring Complex and Big Data

    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:
    Opublikowana
    DOI:
    10.1515/amcs-2017-0046 – link do publikacji

  2. 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:
    Opublikowana
    DOI:
    10.1515/fcds-2017-0017 – link do publikacji

  3. Synthesis of Constraints for Mathematical Programming with One-Class Genetic Programming

    Autorzy:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Czasopismo:
    IEEE Transactions on Evolutionary Computation (rok: 2019, tom: 23, strony: 117-129), Wydawca: IEEE
    Status:
    Opublikowana
    DOI:
    10.1109/tevc.2018.2835565 – link do publikacji

  4. Learning to Play Othello with Deep Neural Networks

    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:
    Opublikowana
    DOI:
    10.1109/TG.2018.2799997 – link do publikacji

  5. Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis

    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Czasopismo:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 177-212), Wydawca: MIT Press
    Status:
    Opublikowana
    DOI:
    10.1162/EVCO_a_00205 – link do publikacji

  6. Automatic Synthesis of Constraints from Examples using Mixed Integer Linear Programming

    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Czasopismo:
    European Journal of Operational Research (rok: 2017, tom: 261, strony: 1141-1157), Wydawca: Elsevier
    Status:
    Opublikowana

  7. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications

    Autorzy:
    Iwo Błądek, Krzysztof Krawiec, Jerry Swan
    Czasopismo:
    Evolutionary Computation (rok: 2018, tom: 26, strony: 441-469), Wydawca: MIT Press
    Status:
    Opublikowana
    DOI:
    10.1162/evco_a_00228 – link do publikacji

  8. Online Discovery of Search Objectives for Test-based Problems

    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Czasopismo:
    Evolutionary Computation (rok: 2017, tom: 25, strony: 375-406), Wydawca: MIT Press
    Status:
    Opublikowana
    DOI:
    10.1162/EVCO_a_00179 – link do publikacji

Teksty w publikacjach pokonferencyjnych (15)

  1. Geometric Semantic Genetic Programming for Recursive Boolean Programs

    Autorzy:
    Alberto Moraglio, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, strony: 993-1000), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowana
    DOI:
    link do publikacji

  2. Synthesis of Mathematical Programming Constraints with Genetic Programming

    Autorzy:
    Tomasz P. Pawlak, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, strony: 178-193), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowana

  3. Online Discovery of Search Objectives for Test-based Problems

    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2016, strony: 163-164), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowana

  4. Counterexample-Driven Genetic Programming

    Autorzy:
    Krzysztof Krawiec, Iwo Błądek, Jerry Swan
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, strony: 953-960), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowana
    DOI:
    link do publikacji

  5. Discovery of Search Objectives in Continuous Domains

    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2017, strony: 969-976), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. 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, strony: 257-258), Wydawca: ACM
    Data:
    konferencja 15-19.07
    Status:
    Opublikowana
    DOI:
    link do publikacji

  7. 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, strony: 1143-1150), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Opublikowana

  8. 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, strony: 5304-5308), Wydawca: International Joint Conferences on Artificial Intelligence Organization
    Data:
    konferencja 13-19.07.2018
    Status:
    Opublikowana

  9. 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, strony: 749-756), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowana

  10. Semantic Geometric Initialization

    Autorzy:
    Tomasz Pawlak, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, strony: 261-277), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.04.2016-1.04.2016
    Status:
    Opublikowana

  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, strony: 97-98), Wydawca: Association for Computing Machinery
    Data:
    konferencja 20-24.07.2016
    Status:
    Opublikowana

  12. Surrogate Fitness via Factorization of Interaction Matrix

    Autorzy:
    Paweł Liskowski, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2016, strony: 68-82), Wydawca: Springer International Publishing Switzerland
    Data:
    konferencja 30.03.2016-1.04.2016
    Status:
    Opublikowana

  13. Polytypic Genetic Programming

    Autorzy:
    Jerry Swan, Krzysztof Krawiec, Neil Ghani
    Konferencja:
    EvoApplications (rok: 2017, strony: 66-81), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowana

  14. Neural Estimation of Interaction Outcomes

    Autorzy:
    Paweł Liskowski, Bartosz Wieloch, Krzysztof Krawiec
    Konferencja:
    Genetic and Evolutionary Computation Conference (GECCO) (rok: 2018, strony: 1055-1062), Wydawca: ACM
    Data:
    konferencja 15-19.07.2018
    Status:
    Opublikowana

  15. Evolutionary Program Sketching

    Autorzy:
    Iwo Błądek, Krzysztof Krawiec
    Konferencja:
    European Conference on Genetic Programming (EuroGP) (rok: 2017, strony: 46038), Wydawca: Springer International Publishing
    Data:
    konferencja 19-21.04
    Status:
    Opublikowana

Publikacje książkowe (4)

  1. 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:
    Opublikowana

  2. Behavioral Program Synthesis: Insights and Prospects

    Autorzy:
    Krzysztof Krawiec, Jerry Swan, and Una-May O'Reilly
    Książka:
    Genetic Programming Theory and Practice (rok: 2016, tom: XIII, strony: 169-185), Wydawca: Springer International Publishing
    Status:
    Opublikowana

  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:
    Opublikowana

  4. 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:
    Opublikowana

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski