Wyniki wyszukiwania

Słowa kluczowe: języki formalne

Zmień kryteria wyszukiwania ↓

Znaleziono 29 projektów spełniających kryteria wyszukiwania:

1. Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 8, panel: ST6
2. Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 1, panel: ST6
3. Potoczne reprodukty języka polskiego. Analiza formalna, semantyczna i pragmatyczna na materiale rubryki "Przekroju" "Hec…

Kierownik: dr Ewa Barbara Kozioł-Chrzanowska

Uniwersytet Warszawski, Wydział Polonistyki

Konkurs: PRELUDIUM 3, panel: HS2
4. Od wielojęzycznego korpusu równoległego do semantycznej mikro-typologii PERFECTUM w językach słowiańskich i bałtyckich

Kierownik: dr Dorota Emilia Klimek-Jankowska

Uniwersytet Wrocławski, Wydział Neofilologii

Konkurs: SONATA BIS 11, panel: HS2
5. Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

Konkurs: OPUS 9, panel: HS1
6. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 2, panel: ST6
7. Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Kierownik: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 1, panel: ST6
8. A formal treatment of epistemic injustice

Kierownik: dr Christoph Merdes

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: POLONEZ BIS 2, panel: HS1
9. Nietrafność epistemiczna a podstawowe problemy epistemologii formalnej

Kierownik: dr hab. Leszek Jerzy Wroński

Uniwersytet Jagielloński, Wydział Filozoficzny

Konkurs: SONATA BIS 9, panel: HS1
10. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 17, panel: ST6
11. Niestandardowe modele arytmetyki i formalne teorie prawdy

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: ETIUDA 5, panel: HS1
12. Model formalny diachronicznego opisu fleksji polskiej i jego komputerowa implementacja

Kierownik: dr Marcin Marian Woliński

Instytut Podstaw Informatyki PAN

Konkurs: OPUS 8, panel: HS2
13. Metody wnioskowania o programach w językach wyższego rzędu

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 8, panel: ST6
14. Formalne teorie prawdy i niestandardowe modele arytmetyki

Kierownik: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Konkurs: PRELUDIUM 7, panel: HS1
15. Języki i Uczenie w General Game Playing

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 7, panel: ST6
16. Formalny kontekst występowania wyrażeń nominalnych i ich struktura wewnętrzna: generatywna analiza porównawcza

Kierownik: prof. Jacek Ireneusz Witkoś

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Konkurs: OPUS 4, panel: HS2
17. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 4, panel: ST6
18. Problem separacji w teorii automatów

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 11, panel: ST6
19. Efekty algebraiczne: kompozycja i koindukcja

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 14, panel: ST6
20. Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

Kierownik: Antonina Weronika Jamrozik

Uniwersytet Warszawski, Wydział Filozofii

Konkurs: PRELUDIUM 20, panel: HS1
21. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6
22. Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 13, panel: ST6
23. Wyzwania semistrukturalnych baz danych

Kierownik: dr Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 6, panel: ST6
24. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 6, panel: ST6
25. Granice rozstrzygalności w teorii automatów

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 4, panel: ST6
26. Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

Kierownik: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Konkurs: PRELUDIUM 2, panel: ST6
27. Ontologia ekstensjonalna i logika filozoficzna

Kierownik: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Konkurs: OPUS 2, panel: HS1
28. Konstruowanie specyfikacji i weryfikacja oprogramowania

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 6, panel: ST6
29. Automatyzacja wnioskowania konstruktywnego

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 4, panel: ST6

Wyszukiwarka projektów

Wyniki wyszukiwania