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

Widok szczegółowy Granty realizowane Instytut Matematyki Obliczenia bazujące na percepcji. Nowe zagadnienia w teorii rozmaitości Nobelinga Wybrane Aspekty Skalowalności Metod Eksploracji Dawnych i Odkrywania Wiedzy w Bazach Danych Funktory ściśle wielomianowe i hipoteza Lusztiga. Geometria powierzchni afinicznych i przekształcenia biwymierne. Geometryczne i ergodyczne własności układów dynamicznych II Miary log-wklęsłe i geometria ciał wypukłych Procesy gaussowskie i oszacowania momentów zmiennych losowych. Metody półgrupowe w badaniu algebr łącznych Zadanie Badawcze SYNAT pt.: „Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy” Program strategiczny: Interdyscyplinarny system interaktywnej informacji naukowej i naukowo technicznej, finansowany przez Narodowe Centrum Badań i Rozwoju Topologiczne i teoriomiarowe własności małych podzbiorów przestrzeni polskich Matematyczne modelowanie ryzyka w finansach Struktury algebraiczne i własności rozmaitości algebraicznych Konstrukcje rozmaitości algebraicznych przez działanie grup skończonych. Nierówności stochastyczne i ich zastosowania Przestrzenie Orlicza-Sobolewa i inne przestrzenie funkcyjne w rachunku wariacyjnym, teorii prawdopodobieństwa i nieliniowych równaniach eliptycznych Analiza złożonych układów stochastycznych Nieliniowe równania cząstkowe: zagadnienia wariacyjne i geometryczne Równania różniczkowe, geometria i fizyka Obliczenia interakcyjne w odkrywaniu wiedzy w złożonych źródłach danych Wybrane aspekty wyceny i zabezpieczenia wypłat w modelach rynku z czasem dyskretnym Całkowa krzywizna Mengera dla powierzchni dowolnego kowymiaru Nierówności dla semimartyngałów i całek stochastycznych Instytut Informatyki Integracyjna biologia systemów: wnioskowanie z heterogenicznych danych Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii. Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek. Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych. Nowe modele automatów. Złożoność parametryzowana i algorytmy wykładnicze. Algorytmy on-linew modelach stochastycznych. Wybrane problemy współczesnej algorytmiki Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariotów. Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe. Expressive Power of Tree Logics (SOSNA) Interactive Computations in Layered Granular Networks Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications Zaawansowane obliczenia w arkuszach kalkulacyjnych Computational modeling of transcription regulation in the context of chromatin dynamics Nebulostore: Peer-to-Peer Storage System Procesy bezkontekstowe: teoria, algorytmy, zastosowania. Games for Design and Verification (GAMES) Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki Quering and Managing Navigational Databases Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX) Algorytmy aproksymacyjne o ograniczonych zasobach Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych Algorytmiczne problemy biologii systemów i bioinformatyki Genomika porównawcza transpozonów roślinnych Algorytmiczne i kombinatoryczne problemy związane ze zliczaniem powtórzeń w słowach. Instytut Matematyki Stosowanej i Mechaniki Własności asymptotyczne i nierówności dla estymatorów Monte Carlo opartych na łańcuchach Markowa Dyfuzja anizotropowa w ewolucji powierzchni swobodnych. Efektywne algorytmy równoległe rozwiązania równań różniczkowych cząstkowych. Chemicznie reagujące mieszaniny płynów ściśliwych. Przestrzenie miar i Orlicza w matematycznym opisie zjawisk przepływu i wzrostu. Ciecze nienewtonowskie z niestandardową reologia Evolution equations in hydrodynamics and biology Complexity, tractability and algorithms for computational problems of continuous mathematics Matematyczne podstawy opisów wieloskalowych Granty zakończone Instytut Matematyki Cykle graniczne dla wielomianowych pól wektorowych (promotorski) Własności pierścieni wyrażalne w terminach ideałów 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 Geometryczne energie krzywiznowe 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 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 Teoria typów w badaniach własności programów Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach Applications of automata theory to processing XML documents Aproksymacyjne systemy wieloagentowe Formalizacja naiwnej teorii typów (promotorski) System do testowania aplikacji w środowisku RCS System automatycznej oceny bezpieczeństwa telefonów komórkowych Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski) 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) Graph colorings and their applications 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 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 Sprawne przybliżanie funkcji Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant) 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 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-2011 Uniwersytet Warszawski | kontakt | webmaster | autorzy | informacja o odpowiedzialności | logowanie

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