Menu Dziedziny badań Granty Publikacje Preprinty Seminaria Informator wydziałowy (j. ang.) Wyszukiwarka  W bieżącym katalogu

Widok szczegółowy Granty realizowane Instytut Matematyki Topologia i struktura borelowska przestrzeni funkcyjnych Interakcyjne wykrywanie modeli procesów i ich własności z danych Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające Topologia algebraiczna Meromorficzne liniowe równania różniczkowe i wielokrotne wartości zeta (promotorski) Geometryczne i ergodyczne własności układów dynamicznych Rozmaitości, wiązki, struktury algebraiczne i ich przestrzenie moduli Działania grup na rozmaitościach algebraicznych i przekształcenia biwymierne Metody półgrupowe w badaniu algebr łącznych i ich reprezentacji Strategia nauczania matematyki w Polsce Płaszczyzny homologiczne z osobliwościami / Promotorski/ Szeregi losowe i całki stochastyczne Instytut Informatyki Games for Design and Verification (GAMES) Aproksymacyjne systemy wieloagentowe Ewolucja sieci interakcji białko-białko (promotorski) Automata: from Mathematics to Applications (AutoMathA) Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego Zaawansowane problemy teorii automatów Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski) Teoria programowania w logikach modalnych i deskrypcyjnych Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski) MOBIUS - Mobility, Ubiquity and Security SENSORIA - Software Engineering for Service-Oriented Overlay Computers Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski) Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania Instytut Matematyki Stosowanej i Mechaniki Sprawne przybliżanie funkcji Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych Analiza problemów fizyczno-biologicznych w oparciu o matematyczne entropie Oszacowania szybkości zbieżności estymatorów Monte Carlo opartych na łańcuchach Markowa i zbieżność metod adaptacyjnych Matematyczne modele teorii gier ewolucyjnych i sieci genetycznych Analiza równań hydrodynamiki i chemotaksji Granty zakończone Instytut Matematyki Hiperkontrakcja i nierówności funkcyjne dla miar produktowych /Promotorski/ Własności probabilistyczne miar logarytmicznie wklęsłych /Promotorski/ Układy dynamiczne i geometria Układy stochastyczne i ich zastosowania Przestrzenie Orlicza-Sobolewa i ich zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym Nieliniowe zagadnienia geometryczne i wariacyjne Twierdzenia graniczne dla rozgałęziających się układów cząstek / promotorski/ Continua dziedzicznie nierozkładalne wyższych wymiarów Rozmaitości legendrowskie w geometrii algebraicznej grant promotorski Topologia algebraiczna Sieci klasyfikatorów Rozmaitości i wiązki algebraiczne Trojaka natura matematyki: idee głębokie, formy powierzchniowe, modele formalne Algebry skończenie prezentowalne i półgrupowe algebry noetherowskie Komforemne układy dynamiczne i geometria zbiorów fraktalnych Zbiory bolerowskie w przestrzeniach funkcyjnych ze słabą topologią Działania grup na rozmaitościach algebraicznych Przestrzenie funkcji ciągłych Oszacowania momentów i ogonów wieloliniowych form losowych (PROMOTORSKI) Klasyfikacja przestrzeni funkcyjnych Metody automatycznego wnioskowania z bazy wiedzy oparte na poszukiwaniu analogii Złożone układy stochastyczne Szeregi losowe i całki stochastyczne Radykały i zbiory wyróżnionych elementów pierścieni łącznych Logiki zdaniowe i słabe kategorie wysoko-wymiarowe Europejska Sieć Badawczo-Szkoleniowa Geometrii Algebraicznej EAGER New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders Semigroups of matrices Przestrzenie funkcji ciągłych z topologią zbieżności punktowej Synteza aproksymacji pojęć Półgrupa podprzestrzeni algebry skończenie wymiarowej i algebry noetherowskie Struktura wymiarowa continuów dziedzicznie nierozkładalnych Topologia algebraiczna Przejście od arytmetyki do algebry szkolnej Iteracje funkcji holomorficznych II Nawiasy - konstrukcje, własności, zastosowania Geometryczne osobliwości niezmienników grupy symplektomorfizmów Zera i wartości specjalne L-funkcji automorficznych Czasy lokalne samoprzecięć procesów Gaussa w S' Antycypująca całka Skorochoda w przestrzeniach konuklearnych Ideały w przestrzeniach polskich i własność Fubiniego Działania grup na rozmaitościach algebraicznych Szeregi losowe, całki stochastyczne: pojedyncze i wielokrotne Krzywe i powierzchnie na rozmaitościach algebraicznych Wyznaczenie aproksymacyjnych sieci Bayesowskich z danych: Metody zbiorów przybliżonych Metody adaptacyjne we wnioskowaniu aproksymacyjnym Struktura topologiczna przestrzeni funkcyjnych Jakościowe i ergodyczne własności gładkich układów dynamicznych Rozmaitości algebraiczne i struktury algebraiczne Układy dynamiczne i geometria Analiza na przestrzeniach metrycznych i jej zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym Instytut Informatyki Półpozycyjna determinacja gier nieskończonych (promotorski) Modele i języki dla specyfikacji przepływow danych (promotorski) Algorytmy rozproszone odporne na błędy (promotorski) Algorytmiczne i obliczeniowe problemy bioinformatyki Rozstrzygalne hierarchie regularnych języków drzew (promotorski) Zastosowanie metod algebraicznych w algorytmicznej teorii grafów Typy, dowody i poprawne programy Weryfikacja i zapytania dotyczące struktur z danymi Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów Typy w dowodzeniu i programowaniu (Types for Proofs and Programs). Modelowanie ewolucji genomów (promotorski) Weryfikacja i zapytania dotyczące struktur z danymi Games and Automata for Synthesis and Verification Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowych bialek (promotorski) Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów (promotorski) Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki Detection and evolutionary analysis of repeats in protein sequences Algebraiczne algorytmy grafowe (promotorski) Wykrywanie horyzontalnego transferu genów (promotorski) Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski) Architectures for Mobility Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski) Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski) Abstrakcyjna teoria specyfikacji i jej zastosowania Granty dla stypendystów FNP Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych. System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski) Silna normalizacja przepisywania w rachunku konstrukcji (promotorski) Teoria typów w programowaniu funkcyjnym i obiektowym. Matematyczne metody weryfikacji systemów informatycznych Matematyczne modele kosztu komunikacyjnego dostępu do baz danych Algorytmika problemów o dużym rozmiarze Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania Logika stosowana i programowanie funkcyjne Algorytmy rozproszone i równoległe dla problemów kombinatorycznych Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych Zestaw testów do weryfikacji i oceny analizatorów języka polskiego Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski) Instytut Matematyki Stosowanej i Mechaniki Analiza jakościowa rozwiązań nieściśliwych cieczy lepkich /Promotorski/ Od komórki zdrowej do zmutowanej - matematyczny opis dynamiki różnych typów populacji komórkowych Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy Analiza równań płynu mikropolarnego na dwuwymiarowym torusie /Promotorski/ Algorytmy i złożoność dla problemów ciągłych Dynamika powierzchni swobodnych w modelach przejść fazowych Matematyczne modele procesu chemotaksji i innych zjawisk z nią związanych Modelowanie giełdy papieró wartościowych za pomocą gier dynamicznych z continuum graczy Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych Złożoność obliczeniowa i algorytmy dla zadań matematyki ciągłej Analiza stabilności równowag w różniczkowych i stochastycznych modelach gier ewolucyjnych Using mathematical modelling and computer simulation to improve cancer therapy Analiza asymptotyczna układów kinetycznych Zagadnienia typu Stefana w matematycznym modelowaniu wzrostu i topnienia kryształów Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych Zagadnienia ze swobodną powierzchnią w mechanice ośrodków ciągłych Matematyczne modelowanie wzrostu kryształów Złożoność i algorytmy dla zadań wielowymiarowych z zastosowaniem do pewnych problemów finansowych i fizyki matematycznej

Copyright © 1995-2007 Uniwersytet Warszawski | kontakt | webmaster | autorzy | informacja o odpowiedzialności | logowanie

CCBot/1.0 (+http://www.commoncrawl.org/bot.html)