https://home.agh.edu.pl/~rklimek/ 2026-05-18T07:57:09+00:00 https://home.agh.edu.pl/~rklimek/ https://home.agh.edu.pl/~rklimek/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2025-09-17T10:14:39+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=artifacts-smart-gun&rev=1758104079&do=diff Data („Unraveling Context-Aware Orchestration of Adaptive Decisions in Intelligent Environments”) ---------- There are supplementary materials provided to support the peer-review process. These include both sample videos illustrating the behaviour of the system in simulation, and raw datasets generated during the experiments. text/html 2025-09-23T18:01:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=artifacts-trajectories&rev=1758650513&do=diff Data („A profile-based framework for the generation of synthetic tourist mobility trajectories in urban decision support”) ---------- There are various tourist and mobile trajectories presented below, which were generated during experiments with the implemented generator. text/html 2025-05-27T16:41:15+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=biglogs&rev=1748364075&do=diff Data („Logic Mining from Process Logs: Towards Automated Specification and Verification”) ---------- These materials could assist in the peer-review process, as they constitute the raw input data used for generating the logical specifications and experimental results presented in the article. They include the original event logs, pattern mappings, logical specifications, and encoded queries provided to automated theorem provers: text/html 2021-11-06T18:55:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=contact&rev=1636224953&do=diff Position Radosław KlimekPhD, DSc, Eng.Associate Professor Dr hab. inż., profesor AGHDepartment of Applied Computer ScienceAGH University of Science and TechnologyContact details:e-mail: rklimek[at]agh[dot]edu[dot]plphone: +48 (12) 617 39 45room: C-2, 404The mail address: text/html 2020-10-02T17:51:46+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=home&rev=1601661106&do=diff E. Dwurnik (2012): Cheerful blue giraffe in the Gobi Desert. text/html 2025-12-02T11:18:01+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=ideas&rev=1764674281&do=diff Obszary zainteresowań - inspiracje i projekty Strona w trakcie przygotowywania - przepraszamy za niedogodności Uporządkowana struktura głównych obszarów tematycznych będących przedmiotem naszych badań oraz szczegółowe charakterystyki projektów – wraz z ich listą – obejmują kontekst, cele, zakres techniczny i zastosowania. Strona pełni funkcję informacyjną oraz orientacyjną, prezentując zarówno kierunki naszych prac, jak i aktualnie rozwijane inicjatywy badawcze i projektowe.… text/html 2025-05-25T06:58:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=io&rev=1748156284&do=diff Studia podyplomowe Inżynieria oprogramowania - materiały do pobrania ---------- Poniżej znajdują się materiały do pobrania. * Wykaz literatury do IO [(IO - literatura)], oraz wykłady: EIO [(EIO - wykład1)] oraz EIO [(EIO - wykład2)]. * Dodatki: EIO [(EIO - CMM)] oraz EIO [(EIO - oś czasowa)]. * Wykład: EIO [(EIO - SA)]. * Wykłady: MO text/html 2020-10-02T05:11:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=nauczyciel&rev=1601615486&do=diff Przepisy dla nauczycieli (1872) * Nauczyciel każdego dnia powinien zadbać o to, aby lampy były napełnione a kominek czysty. * Każdy nauczyciel winien codziennie przynosić wiadro wody i kubeł węgla. * Pióra przygotować należy starannie. Końcówki piór można ostrzyć zgodnie z indywidualnymi upodobaniami wychowanków. text/html 2025-01-19T11:06:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=paw&rev=1737284796&do=diff Studia podyplomowe Programowanie aplikacji webowch - materiały do pobrania ---------- Poniżej znajdują się materiały do pobrania. * Wykłady: pierwszy [(Java - wykład1)], a także (IDE)[(info IDE)], oraz drugi [(Java - wykład2)]. * Ponadto, podaję linki do oprogramowania: Java stanadard edition, JDK, 7u1 oraz środowisko text/html 2025-11-25T10:04:14+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=rangi&rev=1764065054&do=diff Rangi urzędnicze (ros. czyny) w Carskiej Rosji * Rzeczywisty tajny radca pierwszego stopnia. * Rzeczywisty tajny radca. * Tajny radca. * Rzeczywisty radca stanu. * Radca stanu. * Radca kolegialny. * Radca dworu. * Asesor kolegialny. text/html 2025-11-03T19:54:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=research&rev=1762199646&do=diff Research areas ---------- Raphael (1509-1511): The School of Athens. ---------- Reasoning and Optimization: Logical and automated reasoning, SAT/MaxSAT solving, constraint satisfaction, workflow mining Software and Systems Engineering: Model-driven engineering, IDEs inspired by LLMs, MAS driven by LLMs, distributed systems, blockchain text/html 2020-09-28T10:21:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=sidebar&rev=1601288512&do=diff * HOME * POSITION-CONTACT * RESEARCH * TEACHING * VARIA text/html 2020-11-29T21:40:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=teaching&rev=1606686016&do=diff Teaching activities ---------- Rembrandt (1632): The Anatomy Lesson of Dr. Nicolaes Tulp. ---------- Prowadzę zajęcia - wykłady i ćwiczenia - z różnych przedmiotów: * Lingwistyka formalna i automaty, * Teoria kompilacji i kompilatory, text/html 2020-09-30T18:07:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=ukaz&rev=1601489262&do=diff Ukaz cara Rosji Piotra I (z dnia 9 grudnia 1708) Podwładny powinien przed obliczem przełożonego mieć wygląd lichy i durnowaty, by swoim pojmowaniem istoty sprawy nie peszył przełożonego. text/html 2021-01-03T18:51:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=varia&rev=1609699873&do=diff Varia * Rozkład jazdy autobusów MPK Kraków, linia 109: Bielany->Stadion Cracovia oraz Cracovia Stadion->Bielany. * Ciekawe uwagi Jeffa Offutta - dziś guru w zakresie testowania oprogramowania - o recenzowaniu prac naukowych - ku pokrzepieniu serc. * Nie podchodzę do sprawy pisania maili bardzo rygorystycznie, ale jest coś w tym co zamieścił Prof. Konrad Kułakowski text/html 2020-10-02T09:56:17+00:00 Anonymous (anonymous@undisclosed.example.com) https://home.agh.edu.pl/~rklimek/doku.php?id=zaliczanie&rev=1601632577&do=diff Kilka uwag dla studentów oddających i zaliczających swoje prace i projekty Proszę o uważne przeczytanie i przyjęcie następujących dobrych rad przed zaliczaniem projektu/programu/oceną postępów pracy: * w przypadku trudności w ustaleniu terminu zaliczania, a także w innych przypadkach, nie należy się tłumaczyć aktualnie wykonywaną pracą zawodową, która koliduje ze studiowaniem;