Projekty finansowane przez NCN
Algebra liniowa w wymiarze skończenie-orbitowym
2022/45/N/ST6/03242
Słowa kluczowe:
Zbiory skończenie-orbitowe zbiory z atomami równania liniowe przestrzenie wektorowe Sieci Petriego z danymi
Deskryptory:
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Konkurs: PRELUDIUM 21 - ogłoszony 2022-03-28
Przyznana kwota: 130 800 PLN
Rozpoczęcie projektu: 2023-01-25
Zakończenie projektu: 2026-05-24
Planowany czas trwania projektu: 40 miesięcy (z wniosku)
Status projektu: Projekt zakończony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (3)
- Teksty w publikacjach pokonferencyjnych (1)
- The Geometry of Reachability in Continuous Vector Addition Systems with StatesAutorzy:Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. PerezCzasopismo:Information and Computation (rok: 2025, tom: 304, strony: 105298:1 - 105298:17), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/J.IC.2025.105298 - link do publikacji
- Parikh one-counter automataAutorzy:Michael Cadilhac, Arka Ghosh, Guillermo A. Perez, Ritam RahaCzasopismo:Information and Computation (rok: 2025, tom: 306, strony: 105322:1 - 105322:22), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/J.IC.2025.105322 - link do publikacji
- Orbit-finite Linear ProgrammingAutorzy:Arka Ghosh, Piotr Hofman, Sławomir LasotaCzasopismo:Journal of the ACM (rok: 2023, tom: 72, strony: 14246), Wydawca: Association for Computing Machinery, New York, NY, United States.Status:OpublikowanaDoi:10.1145/3703909 - link do publikacji
- Equivariant ideals of polynomialsAutorzy:Arka Ghosh, Sławomir LasotaKonferencja:LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (rok: 2024, tom: Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), strony: 46036), Wydawca: Association for Computing Machinery, New York, NY, United States.Data:konferencja 8–11 July 2024Status:OpublikowanaDoi:10.1145/3661814.3662074 - link do publikacji