Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

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

[dyscyplina wiodąca] 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

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 909867

OPI Nauka Polska

System Informacyjny AGH (SkOs)

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

1

  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, 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 = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Tomasz Bartłomiej Szmuc, Grzegorz Jacek Nalepa, Marcin Szpyrka, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

2

  • An approach to guidelines implementation in an e-heath system supporting chronic care — Implementacja 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:

3

  • 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

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

4

  • Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Stanisław Jędrusik

    cyfrowy identyfikator dokumentu:

5

  • Application of fuzzy cognitive maps to analysis of development scenarios for academic units — Zastosowanie 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:

6

  • 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

7

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki, Andrzej Głowacz, Sebastian Ernst

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

8

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

9

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Leszek Kotulski, Dariusz Dymek, Wojciech Komnata

    cyfrowy identyfikator dokumentu:

10

  • 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

11

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

12
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

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel

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

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

15
16

  • 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

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

17

  • 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

18

  • 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

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

19

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Dariusz Dymek, Wojciech Komnata

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

20

  • 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

21

  • 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

22

  • 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

23
24

  • Formal analysis of use case diagrams — Formalna 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

25

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Magdalena Szymczyk, Piotr Szymczyk

    cyfrowy identyfikator dokumentu: