Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej



Opisy publikacji wcześniejszych zobacz: bpp.agh.edu.pl/old.


Liczba pozycji spełniających powyższe kryteria selekcji: 61, z ogólnej liczby 61 publikacji Autora


1
  • An approach to guidelines implementation in an e-heath system supporting chronic careImplementacja wytycznych medycznych w telemedycznym systemie opieki przewlekłej / Piotr SZWED, Mariusz Duplaga // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 2, s. 241–252. — Bibliogr. s. 252, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.241.pdf

  • słowa kluczowe: wytyczne medyczne, reguły rozmyte, systemy telemedyczne

    keywords: medical guidelines, e-health systems, fuzzy rules

2
  • An incremental map-matching algorithm based on Hidden Markov Model / Piotr SZWED, Kamil Pekala // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham, [etc.] : Springer, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 8468). — ISBN: 978-3-319-07175-6 ; e-ISBN: 978-3-319-07176-3. — S. 579–590. — Bibliogr. s. 589–590, Abstr.

  • keywords: GPS, map-matching, Hidden Markov Model, Viterbi

3
  • Application of deductive reasoning to the verification of ArchiMate behavioral elementsZastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

  • słowa kluczowe: metoda tablic semantycznych, ArchiMate, wnioskowanie dedukcyjne, weryfikacja oprogramowania, liniowa logika temporalna

    keywords: semantic tableaux method, ArchiMate, deductive temporal reasoning, software verification, Linear Temporal Logic

4
  • Application of fuzzy cognitive maps to analysis of development scenarios for academic unitsZastosowanie rozmytych map kognitywnych do badania scenariuszy rozwoju jednostek akademickich / Piotr SZWED // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 2, s. 229–239. — Bibliogr. s. 239, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.229.pdf

  • słowa kluczowe: sztuczna inteligencja, logika rozmyta, rozmyte mapy kognitywne, modele jakościowe

    keywords: fuzzy logic, fuzzy cognitive maps, artificial intelligence, qualitative models

5
  • Application of fuzzy ontological reasoning in an implementation of medical guidelines / Piotr SZWED // W: HSI 2013 [Dokument elektroniczny] : 6\textsuperscript{th} international conference on Human System Interaction : June 06–08, 2013, Sopot, Poland : conference proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2013. — 1 dysk optyczny. — e-ISBN: 978-1-4673-5636-7. — S. [1–8]. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. [8], Abstr.. — Toż w wersji drukowanej. — S. 342–349. — ISBN 978-1-4673-5637-4 ; ISBN 978-1-4673-5635-0

  • keywords: ontology, fuzzy reasoning, medical guidelines, e-health systems

6
  • Application of new ATAM tools to evaluation of the dynamic map architecture / Piotr SZWED, Igor WOJNICKI, Sebastian ERNST, Andrzej GŁOWACZ // W: Multimedia communications, services and security : 6th International conference, MCSS 2013 : Krakow, Poland, June 6–7, 2013 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, cop. 2013. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 368). — ISBN: 978-3-642-38558-2 ; e-ISBN: 978-3-642-38559-9. — S. 248–261. — Bibliogr. s. 260–261, Abstr.

  • keywords: architecture, dynamic map, ATAM, evaluation

7
  • Architektury hurtowni danych : model referencyjny i formalny opis architektury[Data warehouse architectures : reference model and architecture formed description] / Dariusz DYMEK, Wojciech KOMNATA, Leszek KOTULSKI, Piotr SZWED. — Kraków : Wydawnictwa AGH, 2015. — 186, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0595). — Bibliogr. s. 182–[187]. — ISBN: 978-83-7464-749-6

  • brak zdefiniowanych słów kluczowych

8
  • A framework for testing Web services based on XQPN Petri nets / Piotr SZWED, Dariusz Wadowski, Krzysztof Paździora // W: IFIP 2009 : Software Engineering Techniques in Progress : [the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009] / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN: 978-83-7464-259-0. — S. 53–66. — Bibliogr. s. 65–66, Abstr.

  • brak zdefiniowanych słów kluczowych

9
10
  • Bees algorithm for the quadratic assignment problem on CUDA platform / Wojciech CHMIEL, Piotr SZWED // W: Man-Machine interactions 4 : 4th International Conference on Man-Machine Interactions, ICMMI 2015 : Kocierz Pass, Poland, October 6–9, 2015 / eds. Aleksandra Gruca, [et al.]. — Switzerland : Springer, cop. 2016. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 391). — ISBN: 978-3-319-23436-6 ; e-ISBN: 978-3-319-23437-3. — S. 615–625. — Bibliogr. s. 624–625, Abstr.

  • keywords: GPGPU, bees algorithm, CUDA, QAP, GPU calculation, discrete optimization

11
  • Belief propagation during data integration in a P2P network / Piotr SZWED // W: Artificial Intelligence and Soft Computing : 13th International Conference, ICAISC 2014 : Zakopane, Poland, June 1–5, 2014 : proceedings, Pt. 1 / eds. Leszek Rutkowski [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2014. — (Lecture Notes in Computer Science ; ISSN 0302-9743. Lecture Notes in Artificial Intelligence ; 8467). — ISBN: 978-3-319-07172-5 ; e-ISBN: 978-3-319-07173-2. — S. 805–816. — Bibliogr. s. 815–816, Abstr.

  • keywords: data integration, peer to peer network, belief revision, linear algebra

12
  • Business processes in a distributed surveillance system integrated through workflowProcesy biznesowe w rozproszonym systemie nadzoru integrowanym przez przepływ pracy / Piotr SZWED, Wojciech CHMIEL, Stanisław JĘDRUSIK, Piotr KADŁUCZKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 115–126. — Bibliogr. s. 126, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.115.pdf

  • słowa kluczowe: modelowanie biznesowe, ArchiMate, systemy nadzoru, przepływy pracy

    keywords: surveillance systems, workflows, business modeling, ArchiMate

13
  • Combining fuzzy cognitive maps and discrete random variables / Piotr SZWED // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Artificial Intelligence ; ISSN 0302-9743 ; 9692). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 344–355. — Bibliogr. s. 355, Abstr.. — Toż na Dysku Flash

  • keywords: fuzzy cognitive maps, FCM, discrete random variable

14
  • Concepts extraction from unstructured Polish Texts: a rule based approach / Piotr SZWED // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 46. — Publikacja dostępna w części: 5\textsuperscript{th} International workshop on Advances in semantic information retrieval. — Pełny tekst na dołączonym Dysku Flash. — S. 367-375. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 375, Abstr. — W bazie Web of Science zakres stron: 355–364

  • keywords: rules, text mining, NLP, concept extraction, unstructured text, inflection

15
  • Contribution of the INSIGMA project to the field of intelligent transportation systems / Wojciech CHMIEL, Jacek DAŃDA, Andrzej DZIECH, Sebastian ERNST, Andrzej GŁOWACZ, Piotr KADŁUCZKA, Zbigniew MIKRUT, Piotr PAWLIK, Piotr SZWED, Igor WOJNICKI // W: Multimedia communications, services and security : 7 th international conference, MCSS 2014 : Krakow, Poland, June 11–12, 2014 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Cham [etc.] : Springer International Publishing, cop. 2014. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 429). — ISBN: 978-3-319-07568-6 ; e-ISBN: 978-3-319-07569-3. — S. 58–72. — Bibliogr. s. 71–72, Abstr.

  • keywords: architecture, GPS, video detector, intelligent transportation systems, route planning, traffic control

16
  • DWARM: an ontology of data warehouse architecture reference model / Piotr SZWED, Wojciech KOMNATA, Dariusz DYMEK // W: Beyond Databases, Architectures and Structures : 11th international conference, BDAS 2015 : Ustroń, Poland, May 26–29, 2015 : proceedings / eds. Stanisław Kozielski, [et al.]. — Switzerland : Springer International Publishing, cop. 2015. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 521). — ISBN: 978-3-319-18421-0 ; e-ISBN: 978-3-319-18422-7. — S. 222–232. — Bibliogr. s. 231–232, Abstr.

  • keywords: ontology, architecture evaluation, data warehousing, data warehouse architecture

17
  • Efficiency of formal verification of ArchiMate business processes with NuSMV model checker / Piotr SZWED // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 101. — Publikacja dostępna w części: 13\textsuperscript{th} Conference on Advanced information technologies for management. — Pełny tekst na dołączonym Dysku Flash. — S. 1437-1446. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1445-1446, Abstr. — W bazie Web of Science zakres stron: 1427–1436

  • keywords: model checking, ArchiMate, NuSMV, business process verification

18
  • Enhancing concept extraction from Polish texts with rule management / Piotr SZWED // W: Beyond Databases, Architectures and Structures : advanced technologies for data mining and knowledge discovery : 12th international conference, BDAS 2016 : Ustroń, Poland, May 31–June 3, 2016 : proceedings / eds. Stanisław Kozielski [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 613). — ISBN: 978-3-319-34098-2 ; e-ISBN: 978-3-319-34099-9. — S. 341–356. — Bibliogr. s. 354–356, Abstr.

  • keywords: rules, text mining, Petri nets, NLP, unstructured text, inflection, concepts extraction

19
  • Evaluating efficiency of ArchiMate business processes verification with NuSMV / Piotr SZWED // W: Information technology for management : federated conference on computer science and information systems, ISM 2015 and AITM 2015 : Lodz, Poland, September 2015 : revised selected papers / ed. Ewa Ziemba. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Business Information Processing ; ISSN 1865-1348 ; 243). — ISBN: 978-3-319-30527-1 ; e-ISBN: 978-3-319-30528-8. — S. 179–196. — Bibliogr. s. 195–196, Abstr.

  • keywords: model checking, ArchiMate, NuSMV, business process verification

20
21
  • Formal analysis of use case diagramsFormalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

  • słowa kluczowe: UML, przypadek użycia, model formalny, weryfikacja, weryfikacja modelowa, logika temporalna, metoda tablic semantycznych

    keywords: UML, use case, formal model, verification, model checking, temporal logic, semantic tableau

22
  • Implementacja semaforów i kolejek komunikatów w systemie CrOS[Implementation of semaphores and message queues in CrOS system] / Piotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 277–288. — Bibliogr. s. 288

  • brak zdefiniowanych słów kluczowych

23
24
  • INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA[INSIGMA : Intelligent System for Identification and Detection]. D2.1, Analysis of the requirements for INSIGMA system ontology / Joanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2010]. — 134 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Bibliogr. s. 134. — Publikacja dostępna w Internecie po zalogowaniu

  • brak zdefiniowanych słów kluczowych

25
  • INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D3.4, Analiza biznesowa rodzaju informacji, jakimi mogą być zainteresowane firmy[INSIGMA : Intelligent System for Identification and Detection]. D3.4, Business intelligence type of information, that the company's may be interested / Piotr SZWED, Przemysław Caban, Robert Goniacz. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2009]. — 16 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Dostępny po zalogowaniu w Internecie

  • brak zdefiniowanych słów kluczowych