Repository logo

Browsing by Author "Szpyrka, Marcin"

Filter results by typing the first few letters
Now showing 1 - 20 of 70
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    A conceptual model for web knowledge acquisition system with GIS component
    (Wydawnictwa AGH, 2009) Ligęza, Antoni; Ernst, Sebastian; Nalepa, Grzegorz Jacek; Szpyrka, Marcin
    Building efficient tools for supporting Knowledge Acquisition and Knowledge Management is a challenge and hot research topic with potentially infinite numbers of applications. In modern computer science, the web technologies open a completely new chances for massive, distributed knowledge acquisition. Examples of such social phenomena as Wikipedia constitute a working proof of high potentials incorporated in the synergy of human and web interaction. This paper discusses certain issues concerning the conceptual model for a distributed knowledge acquisition system gathering and organizing knowledge on threats of various nature and aimed at improving safety of citizens in urban environments. The system for registering citizen-provided information is a part of the INDECT FP7 Project. Contemporary tools and techniques to be applied, including GIS technologies and Semantic Wikis are presented in brief and future problems to be solved are identified.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza i ewaluacja systemów klasy Crime Mapping
    (Data obrony: 2011-01-31) Chorzępa, Wiktor
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza i opracowanie modelu sieci społecznościowej dla oceny wiarygodności użytkowników i ich komunikatów
    (Data obrony: 2011-02-01) Skrzyński, Cezary
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza metod optymalizacji baz danych
    (Data obrony: 2011-01-28) Dudzik, Jerzy
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza metod optymalizacji baz danych
    (Data obrony: 2013-06-06) Dudzik, Jerzy
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza metod optymalizacji baz danych
    (Data obrony: 2011-01-31) Czuchry, Maciej
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza przypadku odwrócenia priorytetów w systemie alarmowym z wykorzystaniem systemu czasu rzeczywistego
    (Data obrony: 2020-03-10) Rugiełło, Katarzyna
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza przypadku zakleszczenia w systemie ABS z wykorzystaniem systemu czasu rzeczywistego
    (Data obrony: 2020-03-10) Kleszcz, Jakub
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analiza ryzyka w sieciach teleinformatycznych z wykorzystaniem sieci Bayesowskich
    (Data obrony: 2013-01-22) Dziedzic, Filip
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analysis and evaluation of Crime Mapping system
    (Data obrony: 2012-02-08) Żywioł, Maciej
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Analysis of selected BPMN and BPEL tools
    (Data obrony: 2011-02-02) Kucharzyk, Mirosław
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Aplikacja do automatycznej konwersji między postaciami gramatyk i automatami
    (Data obrony: 2019-01-23) Stachów, Ewa
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Aplikacja webowa dla sieci społeczności rysowników
    (Data obrony: 2019-01-29) Rzepecka, Kinga
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Architektura autonomicznego robota mobilnego z dynamicznym modelem świata
    (Wydawnictwa AGH, 2008) Kułakowski, Konrad; Wąs, Jarosław; Szpyrka, Marcin
    Skuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy pragną przedstawić projekt ogólnej architektury inteligentnego systemu sterowania autonomicznym robotem mobilnym, wykorzystujący dynamiczny model świata skonstruowany z wykorzystaniem wiedzy w postaci automatu komórkowego.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Biblioteka do kompilacji Core Haskell
    (Data obrony: 2016-01-28) Wawrzos, Marek
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Causal Models Discovery with use of Bayesian Networks
    (Data obrony: 2020-12-11) Staniec, Andrzej
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Dynamiczny model świata w sterowaniu autonomicznym robotem mobilnym
    (Wydawnictwa AGH, 2008) Kułakowski, Konrad; Wąs, Jarosław; Szpyrka, Marcin
    Skuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy rozważają model reprezentacji świata w postaci automatu komórkowego. W pracy zaprezentowano również studialny, prosty algorytm sterujący robotem dla problemu planowania ścieżki.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Edytor modeli języka Alvis jako aplikacja internetowa
    (Data obrony: 2018-01-19) Brzegowski, Jakub
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Fast and flexible modelling of real-time systems with RTCP-NETS
    (2004) Szpyrka, Marcin
    A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.
  • thumbnail.journal.alt
    Item type:Thesis, Access status: Restricted ,
    Flux as modern architecture for building user interface
    (Data obrony: 2019-01-29) Olcha, Weronika
    Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej