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
  • [referat, 2009]
  • TytułA framework for testing Web services based on XQPN Petri nets
    AutorzyPiotr SZWED, Dariusz Wadowski, Krzysztof Paździora
    ŹródłoIFIP 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. — S. 53–66
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
3
4
  • [referat, 2014]
  • TytułAn incremental map-matching algorithm based on Hidden Markov Model
    AutorzyPiotr SZWED, Kamil Pekala
    ŹródłoArtificial 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. — S. 579–590
  • keywords: GPS, map-matching, Hidden Markov Model, Viterbi

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

5
6
  • [referat w czasopiśmie, 2013]
  • TytułApplication of deductive reasoning to the verification of ArchiMate behavioral elements
    AutorzyRadosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK
    ŹródłoPrace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu ; 29. Informatyka Ekonomiczna = Business Informatics. — 2013 nr 3, s. 76–97
  • 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
8
  • [referat, 2013]
  • TytułApplication of fuzzy ontological reasoning in an implementation of medical guidelines
    AutorzyPiotr SZWED
    ŹródłoHSI 2013 [Dokument elektroniczny] : 6textsuperscript{th} international conference on Human System Interaction : June 06–08, 2013, Sopot, Poland : conference proceedings. — [Piscataway] : IEEE, cop. 2013. — S. [1–8]
  • keywords: ontology, fuzzy reasoning, medical guidelines, e-health systems

    cyfrowy identyfikator dokumentu: 10.1109/HSI.2013.6577845

9
  • [referat, 2013]
  • TytułApplication of new ATAM tools to evaluation of the dynamic map architecture
    AutorzyPiotr SZWED, Igor WOJNICKI, Sebastian ERNST, Andrzej GŁOWACZ
    ŹródłoMultimedia 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. — S. 248–261
  • keywords: architecture, dynamic map, ATAM, evaluation

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

10
  • [artykuł w czasopiśmie, 2005]
  • TytułApplication of OBDD diagrams in verification of tabular rule systems
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoSchedae Informaticae. — 2005 vol. 14 February, s. 75–94
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
12
  • [referat, 2017]
  • TytułAuthorship attribution for Polish texts based on part of speech tagging
    AutorzyPiotr SZWED
    ŹródłoBeyond 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. — S. 316–328
  • keywords: authorship attribution, Polish texts, part of speech tagging

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

13
  • [referat, 2016]
  • TytułBees algorithm for the quadratic assignment problem on CUDA platform
    AutorzyWojciech CHMIEL, Piotr SZWED
    ŹródłoMan-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. — S. 615–625
  • keywords: GPGPU, bees algorithm, CUDA, QAP, GPU calculation, discrete optimization

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

14
  • [referat, 2014]
  • TytułBelief propagation during data integration in a P2P network
    AutorzyPiotr SZWED
    ŹródłoArtificial 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. — S. 805–816
  • 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
  • [referat, 2016]
  • TytułCombining fuzzy cognitive maps and discrete random variables
    AutorzyPiotr SZWED
    ŹródłoArtificial 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. — S. 344–355
  • keywords: fuzzy cognitive maps, FCM, discrete random variable

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

18
  • [referat, 2015]
  • TytułConcepts extraction from unstructured Polish Texts: a rule based approach
    AutorzyPiotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — S. 46
  • keywords: rules, text mining, NLP, concept extraction, unstructured text, inflection

    cyfrowy identyfikator dokumentu: 10.15439/2015F280

19
20
  • [referat, 2015]
  • TytułDWARM: an ontology of data warehouse architecture reference model
    AutorzyPiotr SZWED, Wojciech KOMNATA, Dariusz DYMEK
    ŹródłoBeyond 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. — S. 222–232
  • keywords: ontology, architecture evaluation, data warehousing, data warehouse architecture

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

21
  • [referat, 2015]
  • TytułEfficiency of formal verification of ArchiMate business processes with NuSMV model checker
    AutorzyPiotr SZWED
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — S. 101
  • keywords: model checking, ArchiMate, NuSMV, business process verification

    cyfrowy identyfikator dokumentu: 10.15439/2015F44

22
  • [referat, 2016]
  • TytułEnhancing concept extraction from Polish texts with rule management
    AutorzyPiotr SZWED
    ŹródłoBeyond 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. — S. 341–356
  • keywords: rules, text mining, Petri nets, NLP, unstructured text, inflection, concepts extraction

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

23
  • [referat, 2016]
  • TytułEvaluating efficiency of ArchiMate business processes verification with NuSMV
    AutorzyPiotr SZWED
    ŹródłoInformation 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. — S. 179–196
  • keywords: model checking, ArchiMate, NuSMV, business process verification

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

24
25
  • [artykuł w czasopiśmie, 2010]
  • TytułFormal analysis of use case diagrams
    AutorzyRadosław KLIMEK, Piotr SZWED
    ŹródłoComputer Science. — 2010 vol. 11, s. 115–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: