Tematyka seminarium obejmuje teorię i praktykę przetwarzania danych i reprezentacji wiedzy. Interesują nas wyzwania związane z przetwarzaniem danych, zapytań i metadanych (schematów, więzów, zależności, ontologii) - od projektowania i analizy abstrakcyjnych formalizmów aż po architekturę systemów i rozpraszanie obliczeń na dużych danych. Rozważamy różne rodzaje danych: nie tylko dane relacyjne, ale również semistrukturalne (XML, JSON), grafowe (RDF, LPG), obiektowe, tekstowe, temporalne, strumieniowe, aż po systemy informacji geograficznej (GIS).
Podejmujemy zarówno zagadnienia teoretyczne, wykorzystujące warsztat algorytmiki, kombinatoryki, logiki (np. teorii modeli skończonych) i teorii automatów, jak i praktyczne, opierające się na narzędziach inżynierii oprogramowania i wiedzy o systemach. Prace magisterskie powstające w ramach seminarium mogą badać rozstrzygalność i złożoność abstrakcyjnych problemów decyzyjnych, projektować algorytmy i heurystyki, implementować i testować istniejące rozwiązania teoretyczne, czy też analizować, porównywać i rozszerzać istniejące systemy.
Spotykamy się również i dyskutujemy z badaczami z innych dziedzin, którzy czasami dostarczają nam pomysłów na tematy prac magisterskich. Współpracowaliśmy już lub nadal współpracujemy z astronomami, chemikami, geografami. Jesteśmy nadal otwarci na inne obszary zastosowań.
Referaty seminaryjne są zwykle wygłaszane na podstawie wybranych prac z głównych międzynarodowych konferencji poświęconych bazom danych i reprezentacji wiedzy, takich jak VLDB, PODS, SIGMOD i KR.
Przykładowe zagadnienia:
- Data models, semantics, query languages
- Data provenance
- Databases for emerging hardware
- Distributed and parallel databases
- Graph data management, RDF, social networks, Semantic Web
- Knowledge discovery, clustering, data mining
- Machine learning for data management and vice versa
- Model theory, logics, algebras, computational complexity
- Ontology-based data access, data integration and exchange, metadata management
- Ontology formalisms and models, description logics
- Privacy, security, ethics
- Query processing and optimization
- Scientific databases
- Semi-structured data
- Small data, end-user programming
- Storage, indexing, and physical database design
- Streams, sensor networks, complex event processing
- Transaction processing
- Uncertainty, incompleteness, and inconsistency in data management
Organizatorzy
- dr hab. Filip Murlak, prof. ucz.
- dr hab. Jacek Sroka
- prof. dr hab. Krzysztof Stencel
- prof. dr hab. Jerzy Tyszkiewicz
Informacje
wtorki, 10:15 , sala: 4060Strona domowa
https://sites.google.com/view/sembdmimuw?pli=1&authuser=1Dziedziny badań
Lista referatów
-
27 października 2026 11:00
Wiktor Rutecki (MIMUW)
Optimization of JSONPath queries (Optimization of JSONPath queries)
Swój referat rozpocznę od przybliżenia działania języka JSONPath — języka zapytań do dokumentów JSON. Opiszę rozwiązania implementacyjne silnika RSONPath (https://github.com/rsonquery/rsonpath), silnika wykonującego zapytania, które pozwalają osiągać mu szybszy czas wykonania niż konkurencyjnym narzędziom. Następnie zaprezentuję …
-
27 października 2026 10:15
Dawid Pawlik (MIMUW)
GPU-Accelerated Vector Search for ScyllaDB Using the cuVS Library (GPU-Accelerated Vector Search for ScyllaDB Using the cuVS Library)
Wyszukiwanie wektorowe w systemach baz danych opiera się zazwyczaj na indeksach HNSW, które do efektywnego działania wymagają, aby graf mieścił się w pamięci operacyjnej. Budowa takiego indeksu dla miliarda wektorów trwa godzinami, a jego rozmiar, …
-
20 października 2026 11:00
Zuzanna Ossowska (MIMUW)
The Impact of Robot Hardware Configuration on Generalist Manipulation Policies (The Impact of Robot Hardware Configuration on Generalist Manipulation Policies)
Ogólne strategie manipulacji robotycznej, wytrenowane na danych pochodzących z wielu platform robotycznych, mają na celu przeniesienie się na nowy sprzęt przy niewielkim lub zerowym dodatkowym treningu. W praktyce ich skuteczność zależy w dużym stopniu od …
-
20 października 2026 10:15
Karol Wąsowski (MIMUW)
Extending CMEmu with a Cycle-Exact Model of the Cortex-M4 Arithmetic Units (Extending CMEmu with a Cycle-Exact Model of the Cortex-M4 Arithmetic Units)
W trakcie referatu przybliżę problematykę związaną z budowaniem emulatora dokładnego niemal do cyklu mikroprocesora Cortex-M4, który powstaje w zespole systemów rozproszonych. Zaprezentuję również narzędzia, które wykorzystuje się w pracy badawczej.
-
13 października 2026 11:00
Michał Sobczak (MIMUW)
Adaptacyjny dobór strategii kompaktacji w wielopartycyjnym silniku bazodanowym dla zmiennych obciążeń
Najlepsza strategia kompaktacji zależy od tego, jak baza jest używana, np. czy dominują zapisy, czy odczyty. W silniku wielopartycyjnym obciążenie każdej partycji może być inne i zmieniać się w czasie. Celem mojej pracy jest sprawdzenie, …
-
13 października 2026 10:15
Gustaw Blachowski (MIMUW)
The Embassy-rs Framework for Distributed Experiments on 1KT (The Embassy-rs Framework for Distributed Experiments on 1KT)
KT to obecny na Naszym wydziale testbed pozwalający na testowanie algorytmów rozproszonych w dużej skali. Bazuje on na mikrokontrolerze Texas Instruments TI cc2650. W ramach referatu przedstawię pomysł użycia frameworka Embassy-rs jako narzędzia do pisania …
-
9 czerwca 2026 11:15
Justyna Palikowska (MIMUW)
Wykrywanie anomalii w szeregach czasowych latencji
Projekt dotyczy wykrywania anomalii w szeregach czasowych latencji p99 w systemach rozproszonych. W ramach projektu przetestowałam metody wykrywania dwóch typów anomalii: krótkoterminowych regresji oraz długoterminowych trendów degradacji. Podczas referatu omówię specyfikację zbioru danych, zastosowane metody …
-
9 czerwca 2026 10:45
Piotr Głowacki (MIMUW)
Jakie praktyki korelują z jakością PRów tworzonych przez agentów AI? (What practices correlate with the quality of Agentic-PRs?)
Podczas referatu przedstawię założenia i wyniki mojego projektu badawczego, realizowanego w ramach konkursu MSR 2026 Mining Challenge odpowiadającego na pytanie: „jakie praktyki korelują z jakością Pull Requestów tworzonych przez agentów AI?". Zacznę od osadzenia tematu …
-
9 czerwca 2026 10:15
Gustaw Blachowski (MIMUW)
Database benchmarking and why it’s difficult (Database benchmarking and why it’s difficult)
W ramach referatu opiszę różne sposoby, na jakie próbowałem benchmarkować bazy danych na rożnych urządzeniach, oraz dlaczego mi się to nie udało.
-
2 czerwca 2026 11:15
Katarzyna Mielnik (MIMUW)
Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU (Implementation of of Scalable Algorithms for Aggregation Over Dominated Points on GPU)
W referacie przedstawię temat mojej pracy magisterskiej dotyczącej implementacji algorytmów agregacji na zdominowanych punktach na GPU. Omówię problem, który rozwiązują te algorytmy, oraz różnice między istniejącymi podejściami, w tym rozwiązaniem współtworzonym przez prof. Tyszkiewicza. Przedstawię …
-
2 czerwca 2026 10:45
Piotr Baranowski (MIMUW)
Replikacja sieci bezprzewodowej oparta na danych - w stronę inteligentnych cyfrowych bliźniaków
Podczas referatu opowiem o cyfrowych bliźniakach (Digital Twins) na przykładzie replikacji sieci bezprzewodowej. Przedstawię dotychczasowe podejścia z literatury oraz wyniki własnych eksperymentów.
-
2 czerwca 2026 10:15
Krzysztof Lembryk & Dominik Strąk (MIMUW)
Integrating rsonpath with PostgreSQL (Integrating rsonpath with PostgreSQL)
W ramach projektu zintegrowaliśmy rsonpath -- silnik zapytań JSONPath wykorzystujący SIMD -- z PostgreSQL jako rozszerzenie napisane w Rust przy użyciu pgrx, wraz z własnym operatorem i klasą operatorów GIN do indeksowania zapytań. Porównaliśmy wydajność …
-
26 maja 2026 11:00
Rem Karablin (MIMUW)
Implementacja i Analiza Algorytmu Entity Alignment
Projekt dotyczy problemu entity alignment, czyli rozpoznawania, które encje w różnych grafach wiedzy reprezentują ten sam obiekt świata rzeczywistego. Głównym celem jest analiza metod wykorzystujących strukturę grafu do określania podobieństwa między encjami i implementacja wybranego …
-
26 maja 2026 10:15
Ewa Kaluś (MIMUW)
Wsparcie dla walidacji dokumentów JSON w RSONPath
RSONPath (https://github.com/rsonquery/rsonpath) to silnik do szybkiego przetwarzania zapytań JSONPath dla dokumentów JSON, działający w modelu strumieniowym. W ramach referatu przedstawię walidator dokumentów JSON względem schematów JSON Schema, zbudowany jako rozszerzenie tego silnika. Omówię podstawy JSON …
-
19 maja 2026 11:00
Zuzanna Ossowska (MIMUW)
Mechanizm Orchestra w środowisku Contiki-NG
W ramach referatu opowiem o metodach przesyłania danych w sieciach Internetu Rzeczy (IoT). Współczesne standardy komunikacji skutecznie ograniczają zakłócenia, ale nie definiują protokołów służących do ustalania harmonogramu transmisji. Orchestra to scheduler, który pozwala węzłom na …
Nie jesteś zalogowany |