Filtry
Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych
Kurkowski Mirosław
Przetwarzanie i analiza ultradźwiękowych sygnałów dopplerowskich w ocenie aktywności ruchowej płodu
Walery PrzyborskiInteligencja wokół nas Współdziałanie agentów softwarowych, robotów, inteligentnych urządzeń
kolektivSelected Model Based Architectures and Algorithms for Learning, Signal Processing and Optimization
kolektiv
Metody przetwarzania sygnałów akustycznych w komputerowej analizie mowy
red. Ondej Krutlk i Artur WołekModelowanie procesów produkcyjnych z wykorzystaniem diagramów aktywności języka UML i sieci Petriego
kolektivOcena zdrowotności automatycznie skaryfikowanych żołędzi za pomocą komputerowej analizy obrazów
Tai WoffindenModelowanie numeryczne fantomów serca na potrzeby obrazowania odkształceń w echokardiografii
Stanisław Madeja CSsR