Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

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


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-1231-3867 połącz konto z ORCID

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 5e70922c878c28a047391206

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • 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

    cyfrowy identyfikator dokumentu:

2
3
  • 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

    cyfrowy identyfikator dokumentu:

4
  • 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 ; LNCS 8468. Lecture Notes in Artificial Intelligence). — 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07176-3_51

5
  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methodsAnaliza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • 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

    cyfrowy identyfikator dokumentu:

7
  • 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

    cyfrowy identyfikator dokumentu:

8
  • 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

    cyfrowy identyfikator dokumentu: 10.1109/HSI.2013.6577845

9
  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-642-38559-9_22

10
  • Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • 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

    cyfrowy identyfikator dokumentu:

12
  • Authorship attribution for Polish texts based on part of speech tagging / Piotr SZWED // W: Beyond Databases, Architectures and Structures : towards efficient solutions for data analysis and knowledge representation : 13th international conference, BDAS 2017 : Ustroń, Poland, May 30–June 2, 2017 : proceedings / eds. Stanisław Kozielski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 716). — ISBN: 978-3-319-58273-3 ; e-ISBN: 978-3-319-58274-0. — S. 316–328. — Publikacja dostępna online od: 2017-04-27. — tekst: https://goo.gl/erCizr

  • keywords: authorship attribution, Polish texts, part of speech tagging

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-58274-0_26

13
  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-23437-3_53

14
  • 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 ; LNCS 8467. Lecture Notes in Artificial Intelligence). — 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07173-2_69

15
16
17
  • 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 Computer Science ; ISSN 0302-9743 ; LNCS 9692. Lecture Notes in Artificial Intelligence). — 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_30

18
  • 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

    cyfrowy identyfikator dokumentu: 10.15439/2015F280

19
  • 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 : 7th 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-07569-3_5

20
  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-18422-7_20

21
  • 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

    cyfrowy identyfikator dokumentu: 10.15439/2015F44

22
  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-34099-9_27

23
  • 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

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-30528-8_11

24
25
  • 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, model checking, temporal logic, semantic tableau, verification

    cyfrowy identyfikator dokumentu: