0 antall prosjekter

FRIPRO-Fri prosjektstøtte

Symbolic Algorithms: A Parameterized Approach

De aller fleste forskningen innen algoritmer er viet til utvikling av algoritmer for beregningsproblemer hvis forekomster er representert eksplisitt. Tenk for eksempel på problemet med å summere to vektorer x og y. Den mest naturlige og eksplisitte måten å representere slike inngangsvektorer på e...

Tildelt: kr 12,0 mill.

Prosjektperiode: 2021-2026

Sted: Vestland

IS-DAAD-Forskerutveksl. Norge-Tyskland

Algorithmic Automata Theory: A multivariate approach

Automata theory (and more generally speaking, formal languages) is one of the most traditional areas in (theoretical) computer science. Hence, this field has found applications in quite diverse areas of science, as linguistics, biology, and clearly many more applied areas of computer science, suc...

Tildelt: kr 37 702

Prosjektperiode: 2020-2023

Sted: Vestland

IKTPLUSS-IKT og digital innovasjon

Automated Theorem Proving from the Mindset of Parameterized Complexity Theory

Å bevise eller motbevise matematiske setninger ved hjelp av automatiserte prosedyrer har vært en appellerende idé i minst et århundre. Likevel, selv om forskingsfeltet om automatiserte resonnement har nådd viktige milepæler de siste tiårene, er det fortsatt uavklart hvorvidt datamaskiner i vesent...

Tildelt: kr 8,0 mill.

Prosjektperiode: 2019-2024

Sted: Vestland