Wykaz publikacji wybranego autora

Michał Turek, dr hab., prof. AGH

profesor nadzwyczajny

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-0002-6676-0219 połącz konto z ORCID

ResearcherID: N-4182-2014

Scopus: 56622553300

PBN: 5e70922c878c28a047391215

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2

  • Metoda opisu brył przestrzennych z użyciem regułowej reprezentacji wiedzy — Rule-based knowledge approach for polygon mesh siplification / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2006 t. 10 z. 3, s. 571–578. — Bibliogr. s. 578, Streszcz., Summ.. — tekst: https://goo.gl/DNS3j6

  • słowa kluczowe: transformacje 3D, przetwarzanie wiedzy, wiedza regułowa, redukcja wielokątów w siatkach 3D, przetwarzanie siatek 3D, analiza kształtów, gramatyki kształtów

    keywords: 3D transformations, shape analysis, knowledge processing, rule based knowledge, mesh simplification, mesh polygon reduction, 3D polygon mesh processing, shape grammars

    cyfrowy identyfikator dokumentu:

3

  • Optymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym — 3D rotary scanned mesh optimization for fast real-time rendering / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 3 [cz.] 2, s. 1469–1480. — Bibliogr. s. 1480, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto65.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4

  • 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, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

5

  • 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, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

6

  • Systematyczny opis metodyki Scrum dla zespołów projektowych — Systematic description of Scrum project teams / Jan WEREWKA, Michał TUREK, Tomasz Włodarek // Studia Informatica ; ISSN 1642-0489. — Tytuł poprz.: Zeszyty Naukowe Politechniki Śląskiej. Seria Informatyka ; ISSN: 0208-7286. — 2012 vol. 33 no. 1, s. 13–46. — Bibliogr. s. 44–45, Streszcz., Summ.

  • słowa kluczowe: inżynieria oprogramowania, zwinne metodyki wytwarzania oprogramowania, Scrum

    keywords: software engineering, agile software development methodology, Scrum

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

    cyfrowy identyfikator dokumentu:

7

  • 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, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

8

  • 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, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

9

  • 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, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

10
11

  • Wykrywanie analogii zachowań obiektów z zastosowaniem w sterowaniu ich właściwościami — Object analogies detection used for object's properties steering / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2005 t. 9 z. 3, s. 471–481. — Bibliogr. s. 481, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2005-03/Auto18.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12

  • Zmodyfikowane gramatyki kształtu w zastosowaniu do generowania siatek 3D — Modified Shape Grammars theory for automatic 3D-Mesh generating / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2008 t. 12 z. 3, s. 993–998. — Bibliogr. s. 998, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2008-03/Auto39.pdf

  • słowa kluczowe: gramatyki kształtu, przekształcenia 3D, siatki 3D, reguły kształtu, relacja typu gen-spec, relacja typu whole-part, modelowanie obiektowe

    keywords: Shape Grammars, 3D transformations, shape rules, gen-spec relation, whole-part relation, object modeling, 3D mesh

    cyfrowy identyfikator dokumentu: