Zespół Algorytmów i Modelowania Systemów

Studiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...

Zespół Katedry Rachunku Prawdopodobieństwa i Biomatematyki

* modele ryzyka i ich zastosowania * probabilistyczne i grafowe metody w biologii * stochastyczne równania różniczkowe * statystyczna analiza danych * teoria grafów * teoria i zastosowania stochastycznych układów dynamicznych w biologii i medycynie

Katedra Technologii Wody i Ścieków

Aktywność naukowo-badawcza pracowników katedry koncentruje się wokół zagadnień dotyczących technologii ochrony środowiska, w szczególności zagadnienia oczyszczania wód i ścieków, gospodarki osadowej jak również gospodarki odpadami. Prowadzone badania poświęcone są ocenie zagrożeń środowiska wynikających z dopływu zanieczyszczeń ze źródeł punktowych (zanieczyszczonych wód i ścieków ) i powierzchniowych (ścieków opadowych) oraz...

Brain and Mind Electrophysiology lab

Neurofizjologia pamięci i funkcji poznawczych mózgu

Superkomputer Tryton

Obliczenia dużej skali, Wirtualna infrastruktura w chmurze (IaaS), Analiza danych (big data)

Laboratorium Innowacyjnych Zastosowań Informatyki

Badania nad użytecznością i jakością oprogramowania w różnych zastosowaniach, w szczególności rozpoznawanie emocji użytkowników komputerów oraz badanie użyteczności oprogramowania i doświadczenia użytkownika aplikacji.

LECTURE NOTES IN COMPUTER SCIENCE

MOLECULAR PHYLOGENETICS AND EVOLUTION

Procedia Computer Science

THEORETICAL COMPUTER SCIENCE