W zależności od ilości danych do przetworzenia generowanie pliku może się wydłużyć.

Jeśli generowanie trwa zbyt długo można ograniczyć dane np. zmniejszając zakres lat.

Menu

PL EN
PL EN
Strona główna / Raporty / Counterexample - driven genetic programming
Zgłoś uwagę

Raport

Tytuł dzieła

Counterexample - driven genetic programming

Autorzy

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik

Identyfikator dzieła

r507102_2017

Słowa kluczowe
PL
  • genetic programming
  • program synthesis
  • formal verification
  • counterexample
  • SAT
  • SMT
Data

13.04.2017

Język

angielski

Liczba stron lub objętość dzieła

9

Typ dzieła

raport z badań

System tworzony przez Politechnikę Poznańską oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Szanowni Państwo,

w SIN zaktualizowana została punktacja czasopism zgodnie z Wykazem ogłoszonym 5. stycznia 2024 r.
Stało się to możliwe dopiero teraz, ponieważ, jak wcześniej Państwa informowaliśmy, SIN jest w tym zakresie zintegrowany z PBN (co wynika z procedur przesyłu danych o publikacjach) – a w PBN zmiany punktacji wdrożono dopiero 26.06.2024.

W SIN trwają obecnie prace nad zaktualizowaniem wartości Impact Factor (oraz wartości percentyli).
Ta strona używa plików Cookies, w celu zapamiętania uwierzytelnionej sesji użytkownika. Aby dowiedzieć się więcej przeczytaj o plikach Cookies i Polityce Prywatności.