Wykaz publikacji wybranego autora

Paweł Skrzyński, 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-1193-205X połącz konto z ORCID

ResearcherID: brak

Scopus: 51061351100

PBN: 5e70922c878c28a0473911e9

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2
3
4

  • Język UML 2.0 w modelowaniu relacyjnych baz danych — UML 2.0 in modelling relational databases / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2006 t. 10 z. 3, s. 559–570. — Bibliogr. s. 570, Streszcz., Summ.

  • słowa kluczowe: UML, modelowanie baz danych, diagramy czynności, model relacyjny, SQL

    keywords: UML, activity diagrams, SQL, relational model, database modelling

    cyfrowy identyfikator dokumentu:

5

  • Koncepcja i realizacja molekularnego modelu obliczeń w analizie paradygmatu niewidzialnej ręki rynku Adama Smitha — The concept of molecular model of computation in the analysis of invisible hand process / Paweł SKRZYŃSKI, Tadeusz SZUBA // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 3 [cz.] 2, s. 1455–1467. — Bibliogr. s. 1466–1467, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto64.pdf

  • słowa kluczowe: model symulacyjny, kolektywna inteligencja, model obliczeniowy, procesy wnioskowania w strukturze socjalnej, niewidzialna ręka rynku A. Smitha, procesy samoregulacji, molekularny model obliczeń

    keywords: simulation model, collective intelligence, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self regulation, molecular model of computation

    Zobacz pełny wykaz publikacji Autora/Autorów: Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

6

  • Od UML'a 1.4 do 2.0 — The road from UML 1.4 to 2.0 / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2004 t. 8 z. 3, s. 573–583. — Bibliogr. s. 582–583, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7

  • Predykcja stóp procentowych na pieniężnym rynku międzybankowym oraz rynku kredytowym z wykorzystaniem sieci neuronowych — Interest rates prediction on interbank money market and credit market based on neural networks / Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2005 t. 9 z. 3, s. 765–771. — Bibliogr. s. 771, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2005-03/Auto48.pdf

  • słowa kluczowe: sieci neuronowe

    cyfrowy identyfikator dokumentu:

8

  • Próba wyjaśnienia paradygmatu „niewidzialnej ręki rynku Adama Smitha” w oparciu o model obliczeniowy kolektywnej inteligencji — Adam Smith's invisible hand paradigm based on the collective intelligence model / Tadeusz SZUBA, Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 3, s. 975–992. — Bibliogr. s. 992, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto38.pdf

  • słowa kluczowe: model symulacyjny, kolektywna inteligencja, model obliczeniowy, procesy wnioskowania w strukturze socjalnej, procesy samoregulacji, niewidzialna ręka rynku Adama Smitha

    keywords: simulation model, collective intelligence, computational model, inference process in social structure, Adam Smith Invisible Hand of Market, self regulation

    Zobacz pełny wykaz publikacji Autora/Autorów: Tadeusz Szuba

    cyfrowy identyfikator dokumentu:

9

  • Risk assessment for a video surveillance system based on fuzzy cognitive maps / Piotr SZWED, Paweł SKRZYŃSKI, Wojciech CHMIEL // Multimedia Tools and Applications ; ISSN 1380-7501. — 2016 vol. 75 iss. 17, s. 10667–10690. — Bibliogr. s. 10686–10688, Abstr.. — Publikacja dostępna online od: 2014-05-25. — tekst: https://goo.gl/V8ue9S

  • keywords: security, video surveillance, risk assessment, fuzzy cognitive maps

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

    cyfrowy identyfikator dokumentu: 10.1007/s11042-014-2047-6

10

  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML — A BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 915–924. — Bibliogr. s. 924, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf

  • słowa kluczowe: logika temporalna, weryfikacja, architektura SOA, diagramy UML, przypadki użycia, narzędzia UML, translacja diagramów UML

    keywords: temporal logic, verification, SOA architecture, UML diagrams, use-case, UML tools, UML diagram translation

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

    cyfrowy identyfikator dokumentu:

11

  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego — SMESDaD – synergetic methodology for enterprise software development and deployment / Grzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 196–209. — Bibliogr. s. 208, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu:

12

  • SOAROAD : an ontology of architectural decisions supporting assessment of service oriented architectures / Piotr SZWED, Paweł SKRZYŃSKI, Grzegorz ROGUS, Jan WEREWKA // Informatica : an International Journal of Computing and Informatics ; ISSN 0350-5596. — 2014 vol. 38 no. 1 special issue: Advances in semantic information retrieval, s. 31–42. — Bibliogr. s. 40–42

  • keywords: SOA, ontology, ATAM, software architecture, architecture assessment, architecture evaluation, enterprise architecture

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka

    cyfrowy identyfikator dokumentu:

13

  • Towards an ontology approach to ATAM based assessment of service oriented architectures — Ontologia dla oceny za pomocą metody ATAM architektur zorientowanych na usługi / Piotr SZWED, Grzegorz ROGUS, Paweł SKRZYŃSKI, Michał TUREK, Jan WEREWKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2012 vol. 16 no. 2, s. 175–187. — Bibliogr. s. 186–187, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.175.pdf

  • słowa kluczowe: ocena architektury, ATAM, ontologie

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka, Michał Turek

    cyfrowy identyfikator dokumentu:

14

  • Using quad tree as data storage for a terrain representation and a core for a path finding algorithm — Zastosowanie drzewa czwórkowego do reprezentacji terenu w świecie 3D oraz poszukiwania drogi / Bartosz Waresiak, Paweł SKRZYŃSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 681–691. — Bibliogr. s. 691, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_52.pdf

  • słowa kluczowe: drzewa czwórkowe, poszukiwanie ścieżki, reprezentacja świata, przeszukiwanie grafów, algorytm A*

    keywords: quad tree, path-finding, terrain representation, graph search, level of detail, A* algorithm

    cyfrowy identyfikator dokumentu:

15

  • Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia — Verification of activity for SOA-based systems – carried out on a use-case diagrams requirements / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 893–903. — Bibliogr. s. 903, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

16

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Automated process verification with a semantic tables approach / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 905–914. — Bibliogr. s. 913–914, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

17

  • Zastosowanie weryfikacji dedukcyjnej w projektowaniu oprogramowania korporacyjnego budowanego w oparciu o paradygmat SOA — Deduction based formal verification of SOA compliant enterprise software / Radosław KLIMEK, Paweł SKRZYŃSKI // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 212. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2011 nr 22, s. 184–195. — Bibliogr. s. 194–195, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: