|
dr Dominik Ślęzak
|
Przybliżone zależności zbiorów atrybutów w eksploracji danych i wnioskowaniach aproksymacyjnych |
nauki techniczne w zakresie informatyki |
27 października 2011
|
|
dr Marcin Iwanowski
|
Metody morfologiczne w przetwarzaniu obrazów cyfrowych |
nauki techniczne w zakresie informatyki |
12 maja 2011
|
|
dr Wojciech Jamroga
|
Modeling, Verification and Strategic Reasoning in Multi-Agent Systems |
nauki techniczne w zakresie informatyki |
nostryfikacja dyplomu uzyskanego na Technischen Universität Clausthal (Niemcy) 12 maja 2011
|
|
dr Krzysztof Trojanowski
|
Inspirowane biologicznie algorytmy dla zadań optymalizacji dynamicznej |
nauki techniczne w zakresie informatyki |
13 maja 2010
|
|
dr Jan Bazan
|
Hierarchical Classifiers for Complex Spatio-temporal Concepts |
nauki techniczne w zakresie informatyki |
11 marca 2010
|
|
dr Szymon Jaroszewicz
|
Algorytmy znajdowania interesujących zależności w danych z wykorzystaniem wiedzy dziedzinowej |
nauki techniczne w zakresie informatyki |
15 stycznia 2010
|
|
dr Stanisław Matwin
|
Prywatność danych w procesie ich eksploracji |
nauki techniczne w zakresie informatyki |
14 stycznia 2010
|
|
dr Małgorzata Bogdan
|
Kryteria wyboru zmiennych objaśniających i problemy wielokrotnego testowania z zastosowaniem do analizy danych genetycznych |
nauki techniczne w zakresie informatyki |
8 października 2009
|
|
dr Marek Drużdżel
|
Stochastic Simulation and Search in Algorithms for Bayesian Networks |
nauki techniczne w zakresie informatyki |
4 czerwca 2009
|
|
dr Marek Krętowski
|
Obliczenia ewolucyjne w eksploracji danych |
nauki techniczne w zakresie informatyki |
17 kwietnia 2009
|
|
dr Urszula Boryczka
|
Algorytmy optymalizacji mrowiskowej |
nauki techniczne w zakresie informatyki |
29 stycznia 2009
|
|
dr Adam Przepiórkowski
|
Powierzchniowe przetwarzanie języka polskiego
|
nauki techniczne w zakresie informatyki |
18 grudnia 2008
|
|
dr Mariusz Boryczka
|
Programowanie mrowiskowe w procesie aproksymacji
funkcji |
nauki techniczne w zakresie informatyki |
29 maja 2008
|
|
dr Jarogniew Rykowski
|
Personalized Access to Heterogenous Distributed
Information Sources by Means of Software Agents |
nauki techniczne w zakresie informatyki |
28 lutego 2008
|
|
dr Krzysztof Jassem
|
Przetwarzanie tekstów polskich w systemie tłumaczenia automatycznego POLENG
|
nauki techniczne w zakresie informatyki |
28 lutego 2008
|
|
dr Marek Bednarczyk
|
Modularne metody tworzenia i automatyczna synteza programów współbieżnych, asynchronicznych i rozproszonych - teorio-kategoryjny punkt widzenia |
nauki matematyczne w zakresie informatyki |
11 października 2007
|
|
dr Khalid Saeed
|
Image Analysis for Object Recognition
|
nauki techniczne w zakresie informatyki |
19 czerwca 2007
|
|
dr Krzysztof Stencel
|
Półmocna kontrola typów w językach programowania baz
danych
|
nauki techniczne w zakresie informatyki |
19 kwietnia 2007
|
|
dr Beata Jolanta Konikowska
|
Metody redukcji wielowartościowych rachunków logicznych do struktur dwuwartościowych w rozumowaniu na temat niepełnej i przybliżonej informacji
|
nauki matematyczne w zakresie informatyki |
14 grudnia 2006
|
|
dr Alicja Mieczysława Ciok
|
Gradacyjna analiza skupień i regularności
|
nauki techniczne w zakresie informatyki |
27 czerwca 2006
|
|
dr Barbara Dunin-Kęplicz |
Modelowanie i konstrukcja rekonfigurowalnych systemów wieloagentowych |
nauki techniczne w zakresie informatyki |
25 listopada 2004 |
|
dr Wiesław Szczesny |
Gradacyjna analiza danych wielowymiarowych (Grade Analysis of Multivariate Data) |
nauki techniczne w zakresie informatyki |
25 listopada 2004 |
|
dr Zbigniew Raś |
Knowledge Discovery Based Flexible Query Answering Systems |
nauki techniczne w zakresie informatyki |
14 października 2004 |
|
dr Maria Orłowska |
On Distributed Data and Process Management |
nauki techniczne w zakresie informatyki |
14 października 2004 |
|
dr Stanisław Ambroszkiewicz |
enTish: An Approach to Service Description and Composition |
nauki techniczne w zakresie informatyki |
26 maja 2004 |
|
dr Zbigniew Suraj |
Rough Set Methods for the Synthesis and Analysis of Concurrent Processes |
nauki techniczne w zakresie informatyki |
21 czerwca 2000 |
|
dr Jarosław Stepaniuk |
Knowledge Discovery by Application of Rough Set Models |
nauki techniczne w zakresie informatyki |
20 czerwca 2000 |
|
dr Jerzy Cytowski |
Metody i algorytmy sztucznej inteligencji w cyfrowym przetwarzaniu sygnałów |
nauki techniczne w zakresie informatyki |
20 czerwca 2000 |
|
dr inż. Franciszek Seredyński |
Współzawodniczące systemy wieloagentowe: zastosowanie do problemów alokacji i szeregowania zadań w systemach wieloprocesorowych |
nauki techniczne w zakresie informatyki |
17 grudnia 1998 |
|
dr inż. Mieczysław Kłopotek |
Metody identyfikacji i interpretacje struktur rozkładów przekonań w teorii Dempstera-Shafera
|
nauki techniczne w zakresie informatyki |
17 grudnia 1998 |
|
dr Edward Ochmański |
Recognizable Trace Languages |
nauki matematyczne w zakresie informatyki |
18 grudnia 1997 |
|
dr Zbigniew Michalewicz |
Genetic Algorithms + Data Structures = Evolution Programs |
nauki techniczne w zakresie informatyki |
27 czerwca 1997 |
|
dr Ewa Grabska |
Theoretical Concepts of Graphical Modelling |
nauki techniczne w zakresie informatyki |
9 stycznia 1997 |
|
Osoba |
Tytuł rozprawy doktorskiej |
Promotor |
Dziedzina i specjalność |
Data obrony |
Data nadania stopnia |
|
mgr inż. Paweł Ryszard Jarosz |
Sztuczne systemy immunologiczne i teoria gier w optymalizacji wielokryterialnej |
prof. dr hab. inż. Tadeusz Burczyński
|
nauki techniczne w zakresie informatyki |
8 grudnia 2011
|
15 grudnia 2011 |
|
mgr Kamila Barylska |
Trwałość i bezkonfliktowość w sieciach Petriego |
dr hab. Edward Ochmański
|
nauki matematyczne w zakresie informatyki |
24 października 2011
|
27 października 2011 |
|
mgr Marek Gawkowski |
Formal Framework for Proof Generating Optimizers |
|
nauki techniczne w zakresie informatyki
|
nostryfikacja dyplomu uzyskanego na Technischen Universität Kaiserslautern (Niemcy) w dniu 20 kwietnia 2009
|
12 maja 2011 |
|
mgr Artur Jerzy Niewiadomski |
Automatyczna weryfikacja systemów specyfikowanych w UML |
prof. dr hab. inż. Wojciech Penczek
|
nauki techniczne w zakresie informatyki |
20 stycznia 2011
|
24 marca 2011 |
|
mgr Piotr Cybula |
Zapamiętane zapytania jako metoda optymalizacyjna dla obiektowego języka zapytań SBQL |
prof. dr hab. inż. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
9 listopada 2010
|
2 grudnia 2010 |
|
mgr Henryk Jan Andrzej Komorowski |
A Specification of an Abstract Prolog Machine and Its Application to Partial Evaluation |
|
nauki techniczne w zakresie informatyki
|
nostryfikacja dyplomu uzyskanego na Linköpings Universitet, Tekniska Högskolan, Linköping (Szwecja)
|
2 grudnia 2010 |
|
mgr Marcin Daniel Płonkowski |
Modele kryptograficzne wykorzystujące technologie sztucznych sieci neuronowych
oraz kolejne rozszerzenia ciała liczb rzeczywistych | |
nauki techniczne w zakresie informatyki
|
nostryfikacja stopnia nadanego przez Wyższą Komisję Atestacyjną Republiki Białorusi na podstawie
decyzji Rady Dysertacyjnej Białoruskiego Państwowego Uniwersytetu Informatyki i Radioelektroniki
|
13 maja 2010 |
|
mgr Jaroslaw Skaruz |
Wykrywanie ataków w SQL na aplikacje WWW za pomocą algorytmów inspirowanych naturą |
dr hab. inż. Franciszek Seredyński
|
nauki techniczne w zakresie informatyki |
12 stycznia 2010
|
15 stycznia 2010 |
|
mgr Filip Zagórski |
Uwierzytelnianie i anonimowość w komunikacji
(Authentication and Anonymity in Communication)
|
prof. dr hab. Mirosław Kutyłowski
|
nauki matematyczne w zakresie informatyki |
7 stycznia 2010
|
15 stycznia 2010 |
|
mgr Dariusz Czerski |
Metody systemów uczących się w konstrukcji list inwersyjnych dla wyszukiwarek internetowych |
prof. dr hab. inż. Mieczysław Kłopotek
|
nauki techniczne w zakresie informatyki |
7 stycznia 2010
|
15 stycznia 2010 |
|
mgr Adam Rabcewicz |
Estymacja przepływu optycznego metodą CLG przy założeniu stałości gradientu wzdłuż trajektorii ruchu
|
prof. dr hab. Adam Jakubowski
|
nauki matematyczne w zakresie informatyki |
24 września 2009
|
8 października 2009 |
|
mgr Grzegorz Betliński |
Uogólniony model systemu informacji przestrzennej
|
dr hab. inż. Edward Kołodziński
|
nauki techniczne w zakresie informatyki |
29 czerwca 2009
|
8 października 2009 |
|
mgr Wojciech Rząsa |
Globalne i lokalne przybliżenia zbiorów
|
prof. dr hab. inż. Jerzy Grzymała-Busse
|
nauki techniczne w zakresie informatyki |
22 czerwca 2009
|
8 października 2009 |
|
mgr Lidia Stępień |
Rachunek zdań jako środowisko programistyczne dla algebry liniowej
|
doc. dr hab. Marian Srebrny
|
nauki techniczne w zakresie informatyki |
1 czerwca 2009
|
4 czerwca 2009 |
|
mgr Marcin Seredyński |
An Evolutionary Approach towards Cooperation Enforcement in Ad Hoc Networks
|
prof. dr. Pascal Bouvry,
doc. dr hab. Mieczysław A. Kłopotek
|
nauki techniczne w zakresie informatyki |
30 stycznia 2009
|
17 kwietnia 2009 |
| Rozprawa doktorska mgra inż. Marcina Seredyńskiego przygotowana została w ramach
umowy z dnia 29.07.2008 r. zawartej pomiędzy Instytutem Podstaw Informatyki PAN, a University of Luxembourg.
|
|
mgr Barbara Marszał-Paszek |
Funkcje przekonań w teorii zbiorów przybliżonych oraz ich zastosowania
|
prof. dr hab. Andrzej Skowron
|
nauki techniczne w zakresie informatyki |
26 stycznia 2009
|
29 stycznia 2009 |
|
mgr Janusz Wojtusiak |
Handling Constrained Optimization Problems and Using Constructive Induction to Improve Representation Spaces in Learnable Evolution Model |
|
nauki techniczne w zakresie informatyki
|
nostryfikacja dyplomu uzyskanego na George Mason University
w dniu 12 stycznia 2008
|
18 grudnia 2008 |
|
mgr Krystian Matusiewicz |
Analysis of Modern Dedicated
Cryptographic Hash Functions |
|
nauki techniczne w zakresie informatyki
|
nostryfikacja dyplomu uzyskanego na Macquaire University, Sydney, Australia
w dniu 13 grudnia 2007
|
20 listopada 2008 |
|
mgr Dariusz Borkowski |
Rekonstrukcja barwności z wykorzystaniem rozwiązania problemu Skorochoda
|
prof. dr hab. Adam Jakubowski
|
nauki matematyczne w zakresie informatyki |
12 września 2008
|
18 września 2008 |
|
mgr inż. Michał Bereta |
Application of Artificial Immune Systems to Classification and Data Analysis
|
prof. dr hab. inż. Tadeusz Burczyński
|
nauki techniczne w zakresie informatyki |
5 września 2008
|
18 września 2008 |
|
mgr inż. Michał Dramiński |
Algorytm indukcji reguł decyzyjnych w problemach klasyfikacji i wyboru cech w zadaniach wysokowymiarowych
|
prof. dr hab. inż. Jacek Koronacki
|
nauki techniczne w zakresie informatyki |
7 maja 2008
|
29 maja 2008 |
|
mgr Krzysztof Ciesielski |
Adaptacyjne metody grupowania w mapowej wizualizacji kolekcji dokumentów tekstowych
|
dr hab. inż. Mieczysław Kłopotek
|
nauki techniczne w zakresie informatyki |
21 stycznia 2008
|
24 stycznia 2008 |
|
mgr Łukasz Maśko
|
Sterowanie wykonaniem programów w systemach z dynamicznymi gronami procesorów ze wspólną pamięcią |
dr hab. inż. Marek Tudruj
|
nauki techniczne w zakresie informatyki |
21 stycznia 2008
|
9 stycznia 2008 |
|
mgr inż. Krzysztof Kaczmarski
|
Metodologie i metamodele dla obiektowych baz danych typu Grid |
prof. dr hab. inż. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
28 maja 2007
|
19 czerwca 2007 |
|
mgr Maciej Szreter
|
SAT-based model checking of distributed systems
|
dr hab. inż. Wojciech Penczek
|
nauki matematyczne w zakresie informatyki |
1 lutego 2007
|
18 stycznia 2007
|
|
mgr Bożena Staruch
|
Rozszerzenia struktur częściowych i ich zastosowania w inteligentnych systemach informacyjnych
|
prof. dr hab. Andrzej Skowron
|
nauki matematyczne w zakresie informatyki |
|
14 grudnia 2006
|
|
mgr Wit Jakuczun
|
Lokalne klasyfikatory jako narzędzie analizy i klasyfikacji sygnałów
|
dr hab. Jerzy Cytowski
|
nauki techniczne w zakresie informatyki
|
|
14 grudnia 2006
|
|
mgr Artur Andrzej Jakubski
|
Rozproszona kryptografia bez zaufanej trzeciej strony
|
dr hab. Marian Srebrny
|
nauki matematyczne w zakresie informatyki
|
|
26 października 2006
|
|
mgr Krzysztof Pancerz
|
Zastosowanie zbiorów przybliżonych do identyfikacji modeli systemów współbieżnych
|
dr hab. Zbigniew Suraj
|
nauki techniczne w zakresie informatyki
|
|
26 października 2006
|
|
mgr Radosław Adamus
|
Programming in Aspect-Oriented Databases
|
prof. dr hab. inż. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki
|
|
23 lutego 2006
|
|
mgr Dobiesław Wróblewski
|
Lokalność w obliczeniach na grafach
|
dr hab. Wojciech Penczek
|
nauki matematyczne w zakresie informatyki |
21 lutego 2006
|
23 lutego 2006 |
|
mgr Mariusz Momotko |
Tools for Monitoring Workflow Processes to Support Dynamic Workflow Changes
|
prof. dr hab. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
12 października 2005
|
24 listopada 2005 |
|
mgr Łukasz Dębowski |
Własności entropii nadwyżkowej dla procesów stochastycznych nad różnymi alfabetami
|
doc. dr hab. Jan Mielniczuk
|
nauki matematyczne w zakresie informatyki |
3 października 2005
|
24 listopada 2005 |
|
mgr Dariusz Mikułowski |
Koncepcja i realizacja rozproszonych ontologii w systemie enTish
|
doc. dr hab. Stanisław Ambroszkiewicz
|
nauki techniczne w zakresie informatyki |
17 czerwca 2005
|
28 czerwca 2005 |
|
mgr Marcin Woliński |
Komputerowa weryfikacja gramatyki Świdzińskiego
|
dr hab. Janusz Bień
|
nauki techniczne w zakresie informatyki |
12 maja 2005
|
28 czerwca 2005 |
|
mgr inż. Hanna Kozankiewicz |
Updatable Object Views
|
prof. dr hab. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
17 maja 2005
|
28 czerwca 2005 |
|
mgr Agata Półrola |
Metody generowania skończonych modeli zachowań systemów z czasem
|
doc. dr hab. Wojciech Penczek
|
nauki matematyczne w zakresie informatyki |
15 lutego 2005
|
17 lutego 2005 |
|
mgr inż. Marek Kozłowski |
Zastosowanie algorytmów ewolucyjnych do tworzenia sieci bayesowskich z danych
|
prof. dr hab. Sławomir Wierzchoń
|
nauki techniczne w zakresie informatyki |
25 stycznia 2005
|
17 lutego 2005 |
|
mgr Artur Gola |
Analiza cyfrowych obrazów medycznych z wykorzystaniem algorytmów sztucznej inteligencji
|
dr hab. Jerzy Cytowski
|
nauki techniczne w zakresie informatyki |
21 czerwca 2004
|
14 października 2004 |
|
mgr inż. Marcin Sydow |
Link Analysis of the Web Graph. Measurements, Models and Algorithms for Web Information Retrieval
|
doc. dr hab. Mieczysław A. Kłopotek
|
nauki techniczne w zakresie informatyki |
18 czerwca 2004
|
14 października 2004 |
|
mgr inż. Eryk Laskowski |
Strukturalizacja programów w systemach wieloprocesorowych z redundancją zasobów komunikacyjnych
|
doc. dr hab. Marek Tudruj
|
nauki techniczne w zakresie informatyki |
12 października 2004
|
14 października 2004 |
|
mgr Agnieszka Dardzińska Głębocka |
Chase Method Based on Dynamic Knowledge Discovery for Predicting Values in Incomplete Information Systems
|
dr Zbigniew Raś
|
nauki techniczne w zakresie informatyki |
19 marca 2004
|
26 maja 2004 |
|
mgr Piotr Synak |
Temporalne aspekty eksploracji danych: metody zbiorów przybliżonych
|
prof. dr hab. Andrzej Skowron
|
nauki techniczne w zakresie informatyki |
23 kwietnia 2004
|
26 maja 2004 |
|
mgr inż. Andrzej Sikorski |
Rozszerzone Architektury Wielowarstwowe w Środowisku Komunikacyjnym Aplikacji Rozproszonych
|
doc. dr hab. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
17 lutego 2004
|
26 lutego 2004 |
|
mgr inż. Anna Magdalena Święcicka |
Szeregowanie zadań w systemach wieloprocesorowych za pomocą automatów komórkowych
|
doc. dr hab. Franciszek Seredyński
|
nauki techniczne w zakresie informatyki |
15 stycznia 2004
|
26 lutego 2004 |
|
mgr Monika Kowalczyk |
Dwuipółwymiarowe modele wielościanów wypuklych do identyfikacji wizualnej
|
doc. dr hab. Wojciech Mokrzycki
|
nauki techniczne w zakresie informatyki |
30 czerwca 2003
|
13 listopada 2003 |
|
mgr Martin Schmidt |
Evaluations of Evolutionary Algorithms for Constrained Optimization Problems
|
prof. dr hab. Zbigniew Michalewicz
|
nauki techniczne w zakresie informatyki |
29 października 2003
|
13 listopada 2003 |
|
mgr Mirosław Kurkowski |
Dedukcyjne metody weryfikacji poprawności protokołów uwierzytelniania
|
doc. dr hab. Marian Srebrny
|
nauki matematyczne w zakresie informatyki |
19 maja 2003
|
24 czerwca 2003 |
|
mgr Bożena Woźna |
Ograniczona weryfikacja modelowa dla logik czasu rozgałęzionego: szybka metoda falsyfikacji
|
doc. dr hab. Wojciech Penczek
|
nauki matematyczne w zakresie informatyki |
11 czerwca 2003
|
24 czerwca 2003 |
|
mgr inż. Andrzej Jodłowski |
Dynamic Object Roles in Conceptual Modeling and Databases
|
doc. dr hab. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
16 czerwca 2003
|
24 czerwca 2003 |
|
mgr inż. Olaf Matyja |
Smooth Grade Correspondence Analysis and Related Computer System
|
prof. dr hab. Elżbieta Pleszczyńska
|
nauki techniczne w zakresie informatyki |
23 czerwca 2003
|
24 czerwca 2003 |
|
mgr inż. Piotr Habela |
Metamodel for Object-Oriented Database Management
Systems
|
doc. dr hab. Kazimierz Subieta
|
nauki techniczne w zakresie informatyki |
12 lutego 2003
|
13 lutego 2003 |
|
mgr inż. Roman Simiński |
Dynamiczna weryfikacja poprawności baz wiedzy w procesie ich projektowania
|
dr hab. Alicja Wakulicz-Deja
|
nauki techniczne w zakresie informatyki |
3 września 2002
|
29 listopada 2002 |
|
mgr Jakub Piskorski |
Shallow Text Processor based on Finite-State Technology for Information Extraction
|
dr hab. Witold Abramowicz
|
nauki techniczne w zakresie informatyki |
27 listopada 2002
|
29 listopada 2002 |
|
mgr inż. Sławomir Kowalski |
Poprawa efektywności algorytmów szukania drogi
dla bryły sztywnej na trójwymiarowej scenie
|
prof. dr hab. Krzysztof Marciniak
|
nauki techniczne w zakresie informatyki |
28 listopada 2002
|
29 listopada 2002 |
|
mgr inż. Tomasz Obrębski |
Automatyczna analiza składniowa języka polskiego
z wykorzystaniem gramatyki zależnościowej |
dr hab. Zygmunt Vetulani
|
nauki techniczne w zakresie informatyki |
10 czerwca 2002
|
13 czerwca 2002 |
|
mgr Małgorzata Marciniak |
Algorytmy implementacyjne syntaktycznych reguł koreferencji zaimków dla języka polskiego sformułowanych w HPSG
|
prof. dr hab. Leonard Bolc
|
nauki techniczne w zakresie informatyki |
11 stycznia 2002
|
21 lutego 2002 |
|
mgr Rafał Deja |
Zastosowanie teorii zbiorów przybliżonych w analizie konfliktów |
prof. dr hab. Andrzej Skowron
|
nauki techniczne w zakresie informatyki |
30 marca 2001 |
26 czerwca 2001 |
|
mgr Jolanta Koszelew |
Metody analizy własności programów probabilistycznych interpretowanych w dziedzinach skończonych |
dr hab. Wiktor Dańko
|
nauki matematyczne w zakresie informatyki |
27 kwietnia 2001 |
26 czerwca 2001 |
|
mgr Anna Kupść |
An HPSG Grammar of Polish Clitics |
prof. Anne Abeillé,
prof. dr hab. Leonard Bolc
|
nauki matematyczne w zakresie informatyki |
21 grudnia 2000 |
22 lutego 2001 |
|
mgr Faraj El-Mouadib |
Taxonomy Formation by Approximate Equivalence Relations
|
prof. dr hab. Jacek Koronacki |
nauki techniczne w zakresie informatyki |
15 listopada 2000
|
17 listopada 2000 |
|
mgr Jacek Płodzień |
Optimization Methods in Object Query Languages |
doc. dr hab Kazimierz Subieta. |
nauki techniczne w zakresie informatyki |
6 listopada 2000 |
17 listopada 2000 |
|
mgr Piotr Paszek |
Zastosowanie teorii zbiorów przybliżonych w wielostopniowym diagnozowaniu medycznym |
dr hab. Alicja Wakulicz-Deja |
nauki techniczne w zakresie informatyki |
10 kwietnia 2000 |
21 czerwca 2000 |
|
Raul Gallard |
Evolutionary Algorithms for Computer Systems Resource Management |
dr hab. Zbigniew Michalewicz |
nauki techniczne w zakresie informatyki |
4 maja 2000 |
21 czerwca 2000 |
|
mgr inż. Krzysztof Trojanowski |
Evolutionary Algorithms with Redundant Genetic Material for Non-Stationary Environments |
dr hab. Zbigniew Michalewicz |
nauki techniczne w zakresie informatyki |
26 maja 2000 |
21 czerwca 2000 |
|
mgr Wiesław Pawłowski |
Kontekstowe systemy logiczne w podstawach specyfikacji i konstruowaniu oprogramowania |
prof. dr hab. Andrzej Tarlecki |
nauki matematyczne w zakresie informatyki |
19 czerwca 2000 |
21 czerwca 2000 |
|
mgr Adam Przepiórkowski |
Case Assignment and the Complement/Adjunct Dichotomy A Non-Configurational Constraint-Based Approach |
|
nauki matematyczne w zakresie informatyki
|
nostryfikacja dyplomu uzyskanego na Uniwersytecie w Tübingen
w dniu 29 listopada 1999
|
21 czerwca 2000 |
|
mgr Wiera Barbara Dobrowolska Buffoli |
Relational knowledge representation: Decidability problems |
prof. dr hab. Ewa Orłowska |
nauki matematyczne w zakresie informatyki |
15 lutego 2000 |
24 lutego 2000 |
|
mgr Mariusz Jarocki |
Koncepcja i konstrukcja warstwowego systemu operacyjnego |
dr hab. Stanisław Goldstein |
nauki techniczne w zakresie informatyki |
22 listopada 1999 |
2 grudnia 1999 |
|
mgr Ghuwar Miloud |
Modeling and Recognition of Arabic Scripts |
dr hab. Włodzimierz Skarbek |
nauki techniczne w zakresie informatyki |
27 maja 1998 |
30 czerwca 1998 |
|
mgr inż. Tomasz Kalinowski |
Program execution control in dynamically reconfogurable multiprocessor systems |
doc. dr hab. Marek Tudruj |
nauki techniczne w zakresie informatyki |
29 maja 1998 |
30 czerwca 1998 |
|
mgr Agnieszka Mykowiecka |
Opis składniowy polskich konstrukcji względnych w formalizmie HPSG |
prof. dr hab. Leonard Bolc |
nauki techniczne w zakresie informatyki |
26 lutego 1999 |
29 czerwca 1999 |
|
mgr inż. Ewa Stemposz |
Rekonstrukcja i rozpoznawanie obiektów 3W z wykorzystaniem metod teorii grafów |
dr hab. Aleksander Rutkowski |
nauki techniczne w zakresie informatyki |
24 października 1997 |
18 grudnia 1997 |
|
mr Ibrahim Tentush |
On similarity relations in information systems: rough set - theoretic approach |
dr hab. Lech Polkowski |
nauki matematyczne w zakresie informatyki |
27 czerwca 1997 |
25 września 1997 |