Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

profesor zwyczajny

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-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica — [55 years of Faculty of Electrical Engineering, Automatics, Computer Science and Electronics of AGH University of Science and Technology] / Tomasz SZMUC // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2007 nr 3, s. 2–3. — Na okł. dod.: AGH 55 lat Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • A formal approach to modelling of real-time systems using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // Foundations of Computing and Decision Sciences ; ISSN 0867-6356. — 2005 vol. 30 no. 1, s. 61–71. — Bibliogr. s. 70–71, Abstr.. — National Software Engineering Conference (KKIO'2004) sympozjum : 5-8 October 2004, Gdańsk, Poland. — tekst: http://fcds.cs.put.poznan.pl/FCDS/ArticleDetails.aspx?articleId=31

  • słowa kluczowe: modelowanie, system czasu rzeczywistego

    keywords: modelling, RTCP-net, real time system

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Wojciech Szmuc, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

3

  • A novel method for fast generation of 3D objects from multiple depth sensors / Tomasz SZMUC, Rafał MRÓWKA, Marek Brańka, Jakub FICOŃ, Piotr PIĘTA // Journal of Artificial Intelligence and Soft Computing Research [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2449-6499. — 2023 vol. 13 iss. 2, s. 95-105. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 101-104, Abstr.. — Publikacja dostępna online od: 2023-03-11. — tekst: https://sciendo.com/article/10.2478/jaiscr-2023-0009

    orcid iD

  • keywords: point cloud, LiDAR, registration, 3D scan, mesh

    Zobacz pełny wykaz publikacji Autora/Autorów: Rafał Mrówka, Piotr Pięta, Jakub Ficoń

    cyfrowy identyfikator dokumentu: 10.2478/jaiscr-2023-0009

4

  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych — Algebraic-graphical methods of knowledge representation for analysis and verification of attributive tabular systems / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 535–543. — Bibliogr. s. 543, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

5

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

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

    cyfrowy identyfikator dokumentu:

6

  • Application of reinforcement learning in decision systems: lift control case study / Mateusz WOJTULEWICZ, Tomasz SZMUC // Applied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2076-3417. — 2024 vol. 14 iss. 2 art. no. 569, s. 1–12. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 11–12, Abstr.. — Publikacja dostępna online od: 2024-01-09. — tekst: https://www.mdpi.com/2076-3417/14/2/569/pdf?version=1704793652

    orcid iD

  • keywords: reinforcement learning, artificial intelligence, decision systems, lift control

    Zobacz pełny wykaz publikacji Autora/Autorów: Mateusz Wojtulewicz

    cyfrowy identyfikator dokumentu: 10.3390/app14020569

7
8
9
10
11
12

  • From UML object behavior description into Petri net models : towards systematic development of embedded systems / Wojciech SZMUC, Tomasz SZMUC // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2016 vol. 7 no. 2, s. 60–64. — Bibliogr. s. 63–64, Abstr.. — tekst: https://ijmcs.dmcs.pl/documents/10630/212938/IJMCS_2_2016_4.pdf

  • keywords: UML, model, object, formal, Petri, queue, event, state machine

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

    cyfrowy identyfikator dokumentu:

13

  • HTCPNs – based analysis of priority-based Internet requests scheduling — Sieci HTCPN w analizie szeregowania priorytetowej obsługi żądań internetowych / Sławomir Samolej, Tomasz SZMUC // Przegląd Elektrotechniczny = Electrical Review / Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9, s. 174–178. — Bibliogr. s. 178, Abstr., Streszcz.

  • keywords: performance evaluation, Hierarchical Timed Coloured Petri Nets, Web-Server Systems, Static and dynamic priority-based scheduling algorithms

    cyfrowy identyfikator dokumentu:

14

  • Improving dependability of automation for free electron laser FLASH / Boguslaw Kosęda, Tomasz SZMUC, Wojciech Cichalewski // Journal of Automation, Mobile Robotics & Intelligent Systems : JAMRIS ; ISSN 1897-8649. — 2009 vol. 3 no. 1, s. 33–39. — Bibliogr. s. 38–39, Abstr.. — tekst: http://www.jamris.org/images/ISSUES/ISSUE-2009-01/007%20JAMRIS%20No9%20-%20Koseda.pdf

  • keywords: formal methods, automation, model checking, prolog, expert system, flash

    cyfrowy identyfikator dokumentu:

15

  • KIC InnoEnergy Innovation in Sustainable Energy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2011 nr 6, S. 123–124. — Smart materials for hydrogen and renewable energy : 3rd Polish forum : set plan satellite conference : 29–30 Nov. 2011 Warsaw. — Kraków : Polskie Stowarzyszenie Wodoru i Ogniw Paliwowych, AGH. Wydział Energetyki i Paliw, 2011

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

16

  • Krakowski Węzeł we Wspólnocie Wiedzy i Innowacji KIC-InnoEnergy — Krakow Colocation Centre in Knowledge and Innovation Community KIC-InnoEnergy / Tomasz SZMUC // Biuletyn Polskiego Stowarzyszenia Wodoru i Ogniw Paliwowych = Bulletin of the Polish Hydrogen and Fuel Cells Association ; ISSN 1896-7205. — 2010 nr 5, s. 87

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17

  • Precyzyjna reprezentacja wiedzy niepełnej – zbiory rozmyte i przybliżone — Precise reprezentation of uncertain knowledge – fuzzy sets and rough sets / Tomasz SZMUC // Geoinformatica Polonica ; ISSN 1642-2511. — 2002 [nr] 4, s. 55–79. — Bibliogr. s. 76–77, Streszcz., Summ.. — tekst: http://www.geoinformatica.agh.edu.pl/pdfy/GEOINFORMATICA_POLONICA_4-2002.pdf

  • słowa kluczowe: klasyfikacja, wiedza niepełna, zbiory rozmyte, zbiory przybliżone, tablice decyzyjne, kolorowane sieci Petriego

    keywords: fuzzy sets, classification, rough sets, coloured Petri nets, uncertain knowledge, decision tables

    cyfrowy identyfikator dokumentu:

18

  • Specification of external system behaviour based on D-nets: theoretical aspects and computer tools — Specyfikacja obserwowalnego zachowania się systemu w oparciu o D-sieci – aspekty teoretyczne i narzędzia wspomagające / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2003 t. 7 z. 1–2, s. 275–281. — Bibliogr. s. 281, Streszcz., Summ.. — Materiał był prezentowany na XV [piętnastym] międzynarodowym sympozjum „Zastosowania teorii systemów” : Zakopane '2003

  • słowa kluczowe: sieci Petriego, D-sieci

    keywords: Petri nets, D-nets

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

19

  • Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania — Systematic correctness analysis in development of safety software / Tomasz SZMUC, Grzegorz ROGUS // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290. — Bibliogr. s. 290, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12-14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

20

  • Time extensions of Petri nets for modelling and verification of hard real-time systems — Rozszerzenia czasowe sieci Petriego do modelowania i weryfikacji systemów czasu rzeczywistego o twardych wymaganiach czasowych / Sławomir Samolej, Tomasz SZMUC // Computer Science ; ISSN 1508-2806. — 2002 vol. 4, s. 55–76. — Bibliogr. s. 75–76

  • słowa kluczowe: systemy czasu rzeczywistego, twarde wymagania czasowe, czasowe sieci Petriego wyższego poziomu

    keywords: hard real-time systems, high level Petri nets, time Petri nets

    cyfrowy identyfikator dokumentu:

21

  • Wspomnienie o profesorze Antonim Pachu — [In memoriam of Antoni Pach] / Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 1, s. 15–18. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-01/Auto01.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22

  • Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych — Process algebra supporting design of correct software for reactive systems / Tomasz SZMUC, Sylwester Oskwarek // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 523–533. — Bibliogr. s. 533, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: