UWAGA - Punkt 4.4. regulaminu Konkursu:
"Komisja może nie przyznać dowolnej z nagród, bądź podzielić jedną nagrodę pomiędzy kilka prac."
XL (2023) | ||
---|---|---|
I miejsce | Tworkowski Szymon | Fine-tuning large language models for long context utilization |
II miejsce | Wojciechowski Adam | Explaining Image Classification in Natural Language |
III miejsce | Mikuła Maciej | Neural premise selection for automated theorem proving |
Wyróżnienie | Mazurek Szymon | Epilepsy seizure detection and dynamical brain connectivity via machine learning |
Bąk Karolina | Selected cryptographic schemes implemented in the blockchain system | |
Woźny Mateusz | Techniki neutralizacji postów typu clickbait w sieciach społecznościowych metodami przetwarzania języka naturalnego | |
XXXIX (2022) | ||
I miejsce | Zawadzki Tomasz | Nash equilibria searching and analysis in quantum games |
II miejsce | Potępa Krzysztof | Faster Deterministic Modular Subset Sum |
III miejsce | Kwiecień Jarosław | Determinacja zapytań koniunkcyjnych w semantyce multizbiorowej |
Wyróżnienie | Tokarski Kamil | Correctness proofs formalization of smart-contract based protocols with selected interactive theorem prover |
Werner Krzysztof | Eksperymentalne wyznaczanie błędu i jego korekcje w obliczeniach bazujących na kwantowym próbkowaniu. | |
Wesołowski Dawid | Wyzwania dla spotkań Daily Scrum przeprowadzanych zdalnie i propozycje ich przezwyciężenia | |
XXXVIII (2021) | ||
I miejsce | Kopański Jan | Optimisation of job scheduling for supercomputers with burst buffers |
II miejsce | Szaflarski Andrzej | Algorytmy detekcji zespołu QRS w sygnale elektrokardiogramu |
III miejsce | Kusek Bartosz | Algorithms for Approval-Based Elections with Structured Preferences |
Wyróżnienie | Drzazga Bartosz | Isogeny-based cryptography – chosen schemes |
Pięta Łukasz Krzyżanowski Hubert |
Odkrywanie charakterystyk User-Defined Functions | |
Jamro Artur Gutowski Daniel Kordalski Wojciech |
Toward Cycle-Accurate Emulation of the ARM Cortex-M3 Processor Instructions and Memory | |
XXXVII (2020) | ||
I miejsce | Tomasiewicz Dawid | Analysis of D'Wave 2000Q Applicability for Job Scheduling Problems |
II miejsce | Ziobrowski Arkadiusz | POMIAR JAKOŚCI KODU W JAVIE Z WYKORZYSTANIEM DRZEWA SKŁADNI ABSTRAKCYJNEJ |
III miejsce | Sokołowski Marek | Bounds on semi-ladder orders in sparse graph classes |
Wyróżnienie | Majewski Marcin | Dynamic resource allocation algorithms for cloud functions |
Kleiner Krzysztof | Equivalences between triangle and range query problems | |
Łukasiewicz Aleksander | Intermediate complexity problems – new upper and lower bounds | |
XXXVI (2019) | ||
I miejsce | Bielak Piotr | Incremental learning techniques for embedding of temporal graphs |
II miejsce | Jóźwiak Michał | Deep neural Hawkes process model for dynamic network generation and prediction |
Mika Maksymilian | The Frobenius and factor universality problems of the free monoid on a finite set of words | |
III miejsce | Kamiński Marek | Opracowanie modelu i systemu do symulacji ruchu pojazdu uprzywilejowanego |
Wyróżnienie | Kicki Piotr | Algorytmizacja ruchu inteligentnych pojazdów przegubowych w obecności ograniczeń konfiguracyjnych i wejść sterujących |
Serafin Radosław | Efficient algorithms for some problems related to longest increasing subsequence | |
Kocot Maciej Kolonko Anna |
Multigoal Committee Selection | |
Rapacz Maciej | Reconstruction of complex flow networks based on analysis of biological structures (Rekonstrukcja złożonych sieci przepływowych w oparciu o analizę struktur biologicznych) | |
XXXV (2018) | ||
I miejsce | Gliszczyński Patryk | Deep Autoencoders for Unsupervised Image Segmentation in Optical Coherence Tomography |
II miejsce | Marciniak Mikołaj | Konstrukcja grafu o zadanym ciągu uogólnionych stopni wierzchołków |
Prusak Bartosz | Multi-objective Search for Comprehensible and Efficient Rule Ensembles | |
III miejsce | Krok Michał | Quantum walks in image segmentation |
Wyróżnienie | Rewak Tomasz | Analiza sieci transportowych na przykładzie problemu relokacji rowerów miejskich |
Grochal Bartłomiej | Tensor Networks approach to simulating Continuous-Time Stochastic Automata Networks | |
Kuk (poprzednio: Mikołajczak) Edyta | Zastosowanie metod sztucznej inteligencji do sterowania procesami przemysłowymi na przykładzie podziemnego magazynu gazu | |
XXXIV (2017) | ||
I miejsce | Dudek Bartłomiej | Edit Distance between Unrooted Trees in Cubic Time |
II miejsce | Gałązka Małgorzata | Ekspandery w schematach odświeżania kodowania liniowego odpornych na ataki fizyczne |
III miejsce | Piórkowski Radosław | Algorytmy dla sieci Petriego z danymi |
Wyróżnienie | Sygnowski Jakub | Learning agents to play Atari games using the RAM memory |
Papiernik Magdalena | Model dojrzałości obszaru UX w organizacjach prowadzących zwinne projekty informatyczne | |
Janczykowski Michał | Skalowalna metoda symulacji ruchu miejskiego | |
Świstak Tomasz | Wykorzystanie technik sztucznej inteligencji do automatycznego komponowania muzyki | |
XXXIII (2016) | ||
I miejsce | Paszkowska Agnieszka | A Study of Routing Layer Failure Detection in Low-Power Wireless Networks. |
II miejsce | Sawicki Jakub | Identification of low sensitivity regions for inverse problems solutions. |
III miejsce | Wieczorek Paweł | Formalizacja w systemie Coq algorytmu normalizacji przez ewaluację dla teorii typów Martin-Löfa. |
Wyróżnienie | Tarnawski Jakub | A constant-factor approximation algorithm for the Asymmetric Traveling Salesperson Problem on graphs with zero-one edge weights. |
Brodny Grzegorz | Monitor emocji w interakcji człowiek-komputer. | |
Jarząbek Łukasz | Porównanie wydajności i elastyczności programowania z wykorzystaniem mechanizmów unified memory oraz dynamic parallelism do tradycyjnego API programistycznego na platformie CUDA. | |
XXXII (2015) | ||
I miejsce | Ciszewski Michał | Efficient Code Banking for Internet of Things Microcontrollers. |
II miejsce | Lango Mateusz | Analiza i rozszerzenia klasyfikatora złożonego Roughly Balanced Bagging dla danych niezrównoważonych. |
III miejsce | Szczepanik Bartłomiej Dębski Andrzej |
Scalable Architecture of Cloud Application Based on CQRS and Event Sourcing. |
Wyróżnienie | Niemczura Bartosz | Analiza wpływu w wybranych mediach społecznościowych. |
Lewandowski Mateusz | Approximation Algorithms for Node-weighted Prize-collecting Steiner Tree Problems on Planar Graphs. | |
Grodzki Olgierd | Microlocalization techniques for mobile context-aware systems. | |
XXXI (2014) | ||
I miejsce | Kociumaka Tomasz | Algorytmy aproksymacyjne dla problemów lokalizacji obiektów z pojemnościami. |
II miejsce | Wrochna Marcin | Reconfiguration and structural graph theory. |
Malinowski Daniel | Uczciwa loteria oparta na systemie Bitcoin. | |
III miejsce | Patrzyk Joanna | Graficzne i programowe wsparcie dla symulacji obliczeń kwantowych. |
Wyróżnienie | Straszak Damian | Approximation Hardness for Shortest Reset Word. |
Nowicki Michał | Development and Implementation of a Visual Odometry Algorithm for Mobile Devices. | |
Krzywda Jakub | Pattern-based semistructural data mining. | |
XXX (2013) | ||
I miejsce | Wieczorek Aleksander | Generating a Set of Association and Decision Rules with Statistically Representative Support and Anti-Support. |
Jamrozik Konrad | Rozszerzone symboliczne wykonywanie programu. | |
II miejsce | Straszak Damian | Beating O(nm) in Approximate LZW-compressed Pattern Matching. |
III miejsce | Tylenda Piotr | Efektywne implementacje algorytmu k-średnich i rodzin algorytmów grupujących - zastosowania w grupowaniu dokumentów tekstowych. |
Wyróżnienie | Gregorczyk Michał | Decentralized Network Size Estimation in Mobile Wireless Sensor Networks. |
Klukowski Piotr | Interpretacja obrazów spektroskopii magnetycznego rezonansu jądrowego na potrzeby modelowania białek z użyciem technik przetwarzania sygnałów i uczenia maszynowego. | |
Sadowska Małgorzata | Jakość modeli biznesowych w BPMN. | |
XXIX (2012) | ||
I miejsce | Dudziak Tomasz | Relational cache analysis in presence of pointer-based data structures. |
II miejsce | Pławiak Paweł | Porównanie systemów analizy danych opartych na metodach sztucznej inteligencji w zastosowaniu do przetwarzania sygnałów z e-nosów. |
III miejsce | Liskowski Paweł | Co-evolution versus evolution with random sampling for acquiring othello position evaluation. |
Wyróżnienie | Jachnik Arkadiusz | Automatic matching of multi-relational structured data. |
Wilk Bartosz | Installation of complex e-science applications on heterogeneous cloud infrastructures. | |
Jarus Mateusz | Runtime power usage estimation for various classes of real-life application executed on HPC servers. | |
XXVIII (2011) | ||
I miejsce | Witkowski Michał | Analysis of Application Energy Efficiency in High Performance Computing Environments. |
II miejsce | Słotwiński Daniel | Automatyczne harmonogramowanie pracy zmianowej. |
Nalepa Jakub | Parallel Memetic Algorithm to Solve the Vehicle Routing Problem with Time Windows. | |
Wyróżnienie | Saganowski Stanisław | Analysis of Social Group Dynamics. |
Śniatowski Tomasz | Metody analizy tekstów w języku polskim na poziomie wyrazowym. | |
Beker Marcin | System monitoringu ruchu drogowego oparty na analizie obrazu wideo. | |
XXVII (2010) | ||
I miejsce | Walkowiak Przemysław | NUM System for MANET. |
II miejsce | Brzeziński Dariusz | Mining data streams with concept drift. |
Mączka Tadeusz | Wykorzystanie platformy .NET do komunikacji i akwizycji danych w systemach automatyki. | |
Wyróżnienie | Sieczkowski Filip | Automated Derivation of Abstract Machines from Reduction Semantics: A Formalisation of the Refocusing Transformation in the Coq Proof System. |
Łącki Jakub | Dynamic algorithms for transitive closure and strongly connected components. | |
Rymut Bogusław | Śledzenie obiektów przy wykorzystaniu GPU. | |
XXVI (2009) | ||
I miejsce | Tomczak Jakub | Algorithms for knowledge discovery using relation identification methods. |
II miejsce | Szubert Marcin | Coevolutionary reinforcement learning and its application to Othello. |
Kosicki Aleksander | Propozycja dynamicznych ról i programowania przez kontrakt dla języka JAVA. | |
Wyróżnienie | Wytyczak-Partyka Andrzej | Image processing in computer-guided surgical training. |
Sadłowski Paweł | Interfejs użytkownika dla osób z dużym stopniem niesprawności ruchowej. | |
Furmańska Weronika | Visual rule design methods for semantic web applications. | |
XXV (2008) | ||
I miejsce | Cygan Marek Pilipczuk Marcin |
Nowe algorytmy rozwiązujące problem szerokości grafu. |
II miejsce | Smutnicki Adam | Algorytmy wyznaczania przepływów w sieciach przeżywalnych wykorzystujących koncepcję p-cykli. |
III miejsce | Wach Jakub | Collection and storage of provenance data. |
Sawko Robert | Traffic Anomalies Detection in Computer Communication Systems. | |
Wyróżnienie | Psiuk Marek Bujok Tomasz |
Generic ESB Monitoring Architecture Compliant with JBI |
Zientek Jan | Opracować i zrealizować projekt drivera komunikacyjnego dla systemu "Kronos" do komunikacji z siecią przemysłową systemu sterowania i wizualizacji pracy przenośników taśmowych. | |
Domagalski Piotr | Replikacja usług sieciowych z wykorzystaniem gwarancji sesji. | |
XXIV (2007) | ||
I miejsce | Czech Wojciech | The methods for generation of descriptors with applications to comparison of complex networks. |
II miejsce | Górski Maciej | Algorytmy AI dla problemu rozmieszczenia elementów elektronicznych w układach VLSI. |
Dudczak Adam | Zastosowanie wybranych metod eksploracji danych do tworzenia streszczeń tekstów prasowych dla języka polskiego. | |
Wyróżnienie | Falkowski Maciej | Reprezentowanie i przetwarzanie danych semantycznych w relacyjnych bazach danych - projekt i realizacja systemu. |
Noiński Tomasz | Rozproszona platforma do bezpiecznego przeprowadzania rozgrywek symulacji dla systemu SPOJ. | |
Tymoczko Andrzej | System symulacji błędów w środowisku rozproszonym. | |
XXIII (2006) | ||
I miejsce | Kłaczewski Paweł | Problemy uruchomiania i testowania aplikacji wielowarstwowych |
II miejsce | Iwanicki Konrad | Gossip-based dissemination of time |
III miejsce | Kartaszyński Rafał | Volumetric analysis of tumours and their blood vessels |
Wyróżnienie | Majchrzak Damian | Identyfikacja ruchu postaci. Analiza możliwości, metody, algorytmy. |
Kruszyński Marcin Wolański Maciej |
Komunikacja i bezpieczeństwo w rozproszonych, interaktywnych i multimedialnych systemach telemedycznych | |
Kurdziel Grzegorz | System wzrokowej obsługi interfejsu użytkownika dla osób niepełnosprawnych | |
XXII (2005) | ||
I miejsce | Kosowski Adrian | Problemy routingu optycznego i kolorowania ścieżek w grafach |
II miejsce | Wojnarski Marcin | LTF-C: Architecture, training algorithm and applications of new neural classifier |
III miejsce | Wojtas Krzysztof | Globalny system monitorowania klastrów komputerów o dynamicznie zmiennej konfiguracji |
Wyróżnienie | Piękniewski Filip | Analiza stabilności i diagramów fazowych dla lokalnie hopfieldowskich sieci neuronowych w obecności wysoce skorelowanych wzorców okresowych |
Andrzejewski Witold | Indeks wspierający zapytania przybliżone dla sekwencji zbiorów | |
Dobrzański Łukasz | Refaktoryzacja modeli UML - wsparcie dla utrzymania wykonywalnych modeli | |
XXI (2004) | ||
I miejsce | Paliświat Bartosz | Automatyczne przeszukiwanie repozytoriów jednostek programowych. |
II miejsce | Rządca Krzysztof | Algorytmy grupowania danych |
III miejsce | Dominik Andrzej | Analiza danych z zastosowaniem teorii zbiorów przybliżonych. |
Wyróżnienie | Mazur Paweł | Równoległe algorytmy wyznaczania dokładnej liczby ścieżek wolnych od przecięć w pewnych grafach regularnych. |
Król Maciej | Rozpoznawanie twarzy z wykorzystaniem deformowalnych modeli konturowych. | |
Terlecki Paweł | Wyznaczanie grup genów zależnych przy użyciu technologii mikromacierzy. | |
XX (2003) | ||
I miejsce | Dereniowski Dariusz | Uporządkowane kolorowanie grafów i jego zastosowania. |
II miejsce | Jabłoński Bartosz | Metody porównywania generatorów ruchu animowanych postaci ludzkich. |
III miejsce | Podgórski Jakub | Zastosowanie operatorów ewolucyjnych do optymalizacji drzew binarnych. |
Wyróżnienie | Arodź Tomasz Kurdziel Marcin |
Face Recognition from Still Camera Images. |
Olszewski Marcin | System wspomagania analizy bezpieczeństwa protokołów uwierzytelniania. | |
Biskupski Bartosz Garbacki Paweł |
Transparent Fault Tolerance for Parallel Java Applications. | |
XIX (2002) | ||
I miejsce | Adamska-Piskorz Katarzyna | Clustering in Genetic Algorithms. |
II miejsce | Głowacz Andrzej Maj Michał |
Badanie wydajności protokołów TCP i UDP w sieci bezprzewodowej. |
III miejsce | Jarzębowicz Aleksander | Wspomaganie analizy systemu informatycznego metodą dewiacji przepływów. |
Wyróżnienie | Żurawski Marcin | Algorytmy indukcji reguł decyzyjnych dla wielokryterialnych i wieloatrybutowych problemów decyzyjnych. |
Chlebiej Michał | Computer-aided osteotomy design in craniofacial surgery. | |
Pytliński Jarosław | Obliczenia kwantomechaniczne w środowisku gridowym. | |
XVIII (2001) | ||
I miejsce | Malawski Maciej Zając Katarzyna |
Biblioteka wspomagająca zrównoleglanie zagadnień nieregularnych i out-of-core. |
II miejsce | Nadolski Adam | Cyrkularne kolorowanie grafów i jego zastosowanie w szeregowaniu zadań. |
III miejsce | Kieżuń Adam | Refaktoryzacja programów w języku Java. |
Wyróżnienie | Jabłoński Grzegorz | Modelling system for the extended PI-calculus. |
Pacuszka Bartosz | Projekt i implementacja interfejsu programowego w środowisku symulacji rozproszonej. | |
Ponulak Filip | UNISSES - architektura niejednorodnego systemu sterowania zespołu robotów mobilnych. | |
XVII (2000) | ||
I miejsce | Płaszczak Paweł | Hydra: Decentralized Distributed Computing Environment System Design and Prototype Implementation. |
II miejsce | Bojańczyk Mikołaj | Problem skończonego modelu w rachunku Mi. |
III miejsce | Kogut Dariusz | Dostęp w języku naturalnym w systemach wyszukiwania informacji. |
Wyróżnienie | Klin Bartosz | Implementacja semantyki statycznej specyfikacji architekturalnych w formalizmie CASL. |
Kurzyniec Dawid | Java w obliczeniach dużej skali. | |
Wasylewski Adam | Rozproszona przestrzeń krotek Lindy z transakcjami. | |
XVI (1999) | ||
I miejsce | Małafiejski Michał | Uszeregowanie zadań wieloprocesorowych minimalizujące średni czas przepływu. |
II miejsce | Nalepa Grzegorz | Interfejs graficzny wspomagający użytkowanie ekspertowego systemu regułowego Kheops. |
III miejsce | Czarnul Paweł | Dynamic assignments of applications in distributed environments. |
Wyróżnienie | Mencnarowski Daniel | Event Notification Architectures for Distributed Computer Systems - Location System Case Study. |
Bilski Marcin | Generative complexity in semigroup varieties. | |
Biały Artur Misiaczek Michał |
Wyszukiwanie informacji w Internecie z zastosowaniem agentów. | |
XV (1998) | ||
I miejsce | Gawkowski Piotr | Symulator błędów dla środowiska Win32. |
II miejsce | Kaźmierczuk Tomasz Miazga Andrzej |
Przeglądanie i testowanie aplikacji pracujących w środowisku CORBA. |
III miejsce | Janczewski Robert | Kontrastowe kolorowanie grafów i jego zastosowania. |
Wyróżnienie | Bocian Maciej | Optymalizacja przerobu drewna tartacznego. |
Kret Artur | Strategie dowodzenia specyfikacji tropowych. | |
Łach Marek | Teoria typów z definicjami indukcyjnymi jako język programowania. | |
XIV (1997) | ||
I miejsce | Giaro Krzysztof | Badanie zwartego szeregowania zadań na procesorach dedykowanych. |
II miejsce | Graboń Marcin | Przestrzenna wizualizacja ukształtowania terenu. |
III miejsce | Słobodzian Daniel | Zarządzanie transakcjami w architekturach klient-serwer obiektowych baz danych. |
Wyróżnienie | Sobaniec Cezary Oborzyński Krzysztof |
Projekt i realizacja systemu z rozproszoną pamięcią współdzieloną. |
Czajka Adam | Projektowanie oprogramowania metodą HRT-HOOD i jego realizacja w języku C. | |
Kępiński Michał | Przetwarzanie mowy w interfaceie użytkownika dla osób niepełnosprawnych. | |
XIII (1996) | ||
I miejsce | Ludwikowski Jacek | Serwer VRML skonstruowany w oparciu o obiektową bazę danych. |
II miejsce | Schubert Aleksy | Interpolanty liniowe dla problemów dopasowania lambda-termów. |
III miejsce | Miodunka Dominik Rola Tomasz |
Migracja obiektów w systemach rozproszonych. |
Wyróżnienie | Cieśla Waldemar | Opracowanie i implementacja równoległych algorytmów genetycznych. |
Małolepszy Jan | Reconstruction of extended polynomials from the finite number of examples. | |
Wojciechowski Rafał | Wielowersyjny system hipermedialny w środowisku obiektowej bazy danych. | |
XII (1995) | ||
I miejsce | Chmielewski Artur Bodzek Andrzej |
Przetwarzanie obrazów z wykorzystaniem technik drżenia kolorów. |
II miejsce | Jachniewicz Cezary Wichniewicz Paweł |
Zastosowanie teorii zbiorów przybliżonych do analizy konfliktów. |
III miejsce | Kniter Roman | System PC-EXPERT - narzędzie do tworzenia prostych, dziedzinowo niezależnych systemów ekspertowych. |
Wyróżnienie | Kasprzak Marta | Algorytm sekwencjonowania łańcuchów DNA. |
Maksymowicz Iwona | Implementacja w języku C zaproponowanego przez Elgamala kryptosystemu z publicznym kluczem. | |
Żelawski Marcin Woźniak Janusz |
Rozproszony system pakowania figur 2-wymiarowych. | |
XI (1994) | ||
I miejsce | Czajkowski Grzegorz | Języki równoległego programowania w logice i ich rozproszona implementacja. |
II miejsce | Szyprowski Marcin | Oprogramowanie wspomagające pracę systemu Postgres - złącze graficzne. |
III miejsce | Czerniejewski Borys | Mechanizm rozumienia tekstu jako inteligentny interfejs. |
Wyróżnienie | Mieńko Robert | Metoda generowania minimalnego zbioru reguł decyzyjnych oparta na algorytmie minimalnego pokrycia. |
Szymańska Edyta | Probabilistyczne algorytmy równoległe poszukiwania maksymalnego zbioru niezależnego w grafie. | |
Lesiak Marek | Sztuczna inteligencja w rozpoznawaniu obrazów. | |
X (1993) | ||
I miejsce | Gąsiorowska Agnieszka Laurentowski Aleksander |
Ramy i ich zastosowanie do enkapsulacji interakcji między procesami w systemach rozproszonych. |
II miejsce | Piasecki Maciej | Modelowanie semantyki zdań twierdzących języka naturalnego za pomocą formuł rachunku intensjonalnego. |
III miejsce | Pardyak Przemysław | Group Communication in a Distributed Object-based system. |
Wyróżnienie | Pietrzak Paweł | Częściowa ewakuacja jako metoda kompilowania rozszerzeń Prologu. |
Żywicki Jerzy | Dokonać analizy czasowej wydolności sterownikowej sieci komputerowej pracującej w oparciu o protokół MODBUS. | |
Matysiak Maciej | Optymalizacja dużych zapytań w relacyjnych bazach danych. | |
IX (1992) | ||
I miejsce | Kalisiak Zbigniew Chojnacki Artur |
Uniwersalny monitor szyny dla dydaktycznego systemu mikroprocesorowego. |
II miejsce | Lenkiewicz Stanisław | Sterowniki urządzeń zewnętrznych w systemie operacyjnym MS-DOS. |
III miejsce | Wrzyszcz Artur | DCT Chip Design Using SOLO 1400. |
Wyróżnienie | Suchorowski Mariusz Figura Dariusz |
Projekt i realizacja języka manipulacji danych dla baz danych systemu Mikro ISIS. |
Daghestani Mohamed | Równoległy algorytm generowania minimalnej bazy cyklowej dla transputerów. | |
Ursel Andrzej Leśko Piotr Kosturek Andrzej |
Zintegrowane cyfrowo sieci szerokopasmowe BISDN. Wybrane zagadnienia. | |
VIII (1991) | ||
I miejsce | Walukiewicz Igor | Gentzenowska aksjomatyzacja zdaniowej logiki algorytmicznej PAL. |
II miejsce | Kowalska Ewa | Poufność w systemach informatycznych. Komputerowe wspomaganie nauczania o szyfrowaniu informacji. |
III miejsce | Zatopiański Jan Litwinienko Dariusz |
Język symulacji i symulator przepływu detali przez elastyczny system produkcyjny. |
Wyróżnienie | Bartoszek Bożena | Rónoległa implementacja algorytmu dla znajdowania subminimalnej bazy cyklowej. |
Śmiałek Michał | System aproksymacji danych eksperymentalnych funkcjami analitycznymi. | |
Sałach-Gołupka Monika | System wspomagania generacji graficznych danych wektorowych na podstawie obrazów rastrowych. | |
VII (1990) | ||
II miejsce | Szyndrowski Andrzej | Algorytmy automatycznego generowania krzyżówek. System generowania krzyżówek "APIS". |
III miejsce | Wernikowski Sławomir Leonarski Andrzej |
Projekt i realizacja translatora języka TTCN na maszynę IBM/PC. |
Rudnicki Mariusz Pruchnik Radosław |
System SORTING. Komputerowe wspomaganie nauczania o sortowaniu. | |
Wyróżnienie | Król Zdzisław | Generowanie wysokiej jakości obrazów komputerowych za pomocą techniki śledzenia promieni. |
Kalinowski Tomasz | Projekt, realizacja i zastosowanie pakietu wspomagającego budowę programów uruchomieniowych. | |
Włodarczak Sławomir Włodarczak Małgorzata |
System LISTDATA. Komputerowe wspomaganie nauczania o strukturach listowych. | |
VI (1989) | ||
II miejsce | Idzikowski Maciej Grzeszczak Przemysław |
Realizacja prototypowego systemu eksperckiego - przygotowanie i uruchomienie dialogowego systemu wspomagania projektowania struktury baz danych. |
Szymacha Tomasz | Równoległe algorytmy dla klas grafów definiowalnych rekurencyjnie. | |
III miejsce | Rudolf Witold | JU-LEK - system autorski do tworzenia lekcji dla mikrokomputera szkolnego ELWRO 800 Junior. |
Wyróżnienie | Imiela Piotr | Opracować i uruchomić w języku C bibliotekę procedur analizy obrazów pod kątem badania parametrów geometrycznych obszarów jednolitych. |
Unold Olgierd Menzel Piotr |
Sieciowy system zarządzania bazą danych w dziekanacie. | |
Stpiczyński Przemysław | Stogi i deki. | |
V (1988) | ||
I miejsce | Kalinowski Janusz | Emulator komputera sterowanego przepływem danych (Manchester prototype dataflow system). |
II miejsce | Bochiński Jarosław | Formalna specyfikacja edytora tekstu. |
III miejsce | Wlaz Paweł | Automaty komórkowe - teoria i zastosowanie. |
Wyróżnienie | Ruciński Witold | Budowa systemów ekspertowych. |
Stachowiak Grzegorz | O liczbie rozszerzeń liniowych skończonych zbiorów częściowo uporządkowanych. | |
Tyszkiewicz Jerzy | Złożoność obliczeniowa zagadnienia typów w rachunku lambda. | |
IV (1987) | ||
III miejsce | Kukawka Maciej | Optymalne algorytmy sortowania równoległego w modelu siatki procesorów. |
Kowalski Henryk | Rozpoznawanie przedwczesnych pobudzeń komorowych w systemach intensywnego nadzoru kardiologicznego. | |
Lebiedź Jacek Jasieński Krzysztof |
Uniwersalny makroprocesor tekstu dla potrzeb generacji translatorów "MC<sup>2</sup>". | |
Wyróżnienie | Mazur Grzegorz | 16 bitowy mikroprocesorowy system laboratoryjny. |
Kirpluk Michał Sobolewski Piotr |
Projekt i implementacja mechanizmów dedukcji w systemie bazy danych Holmes. | |
Stefanowski Jerzy | Zastosowanie teorii zbiorów przybliżonych i rozmytych do analizy niepełnych systemów informatycznych. | |
III (1986) | ||
I miejsce | Łobocki Jacek Łobocka Jolanta |
Oprogramowanie systemowe specjalizowanych mikrokomputerów dla zastosowań w energetyce. Zestaw testów diagnostycznych dla systemu UCW-1 oraz język zorientowany na rozproszone przetwarzanie obrazów. |
II miejsce | Chrząszcz Jerzy | Specjalizowany system mikroprocesorowy do pomiaru wilgotności względnej powietrza przy wykorzystaniu metody psychometrycznej. |
III miejsce | Hała Bernadetta | Automatyczne sprawdzanie specyfikacji programów. |
Wyróżnienie | Jarek Joanna | Dekompozycja pytań w rozproszonych bazach danych. |
Kołczyk Ewa Malicka Małgorzata |
Materiały pomocnicze do nauczania języka LOGO w szkole średniej. | |
Rokita Przemysław | Program szeregujący wysokiego poziomu (HLS) dla systemu operacyjnego GEORGE-3. | |
II (1985) | ||
II miejsce | Ávéd Joanna | Moduł badający wydajność systemu operacyjnego GEORGE 3. |
III miejsce | Maciejewski Włodzimierz | Edytor graficzny EDGRAF - interakcyjny system do tworzenia rysunków 2-wymiarowych. |
Krzemiński Marek | Procesor języka Query by Example. | |
Wyróżnienie | Fierla Adam | Analiza efektywności systemów informatycznych za pomocą sieci Petriego. |
Woźniak Ryszard | Implementacja dynamicznej struktury danych dla reprezentacji obiektów geometrycznych. | |
Radzik Tomasz | Problemy komunikacji i przesyłania danych w równoległych maszynach synchronicznych. | |
Żur Leszek Nenow Iwan |
Procesor wizyjny na mikroprocesorze MOTOROLA M 6802. | |
Stodółkiewicz Piotr | Wznawianie programu w systemie mikrokomputerowym po wystąpieniu błędów w działaniu sprzętu lub w programie. | |
I (1984) | ||
I miejsce | Nizioł Wiesława | Metody projektowania i specyfikacji algorytmów systolicznych. |
III miejsce | Szwed Krzysztof | Uniwersalny asembler dla mikrokomputerów. |
Machowski Janusz | Węzeł teledacyjny sieci komputerowej z wykorzystaniem mikrokomputera. | |
Wyróżnienie | Misiura Tomasz | Adaptacja drukarki DZM 180 do grafiki o dużej rozdzielczości z użyciem mikrokomputera ZX 81 |
Jarzębowski Zdzisław | Pakiet makrodefinicji ogólnego przeznaczenia. | |
Sas Jerzy | Problemy zastosowań metody VDL w implementacji języków programowania. | |
Szewczuk Andrzej | Quasi-równoległość i symulacja w Pascalu – język Impas i jego implementacja w systemie OS/JS. |