Temat: modele formalne - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji: 1.

Tytuł:: Most łączący nauki biologiczne z techniką - biocybernetyka
Autorzy:: Tadeusiewicz, R.
Data publikacji:: 2015
Wydawca:: Polskie Towarzystwo Przyrodników im. Kopernika
Tematy:: biologia
medycyna
technika
biocybernetyka
modele formalne
schematy blokowe
modele biocybernetyczne; Pokaż więcej
Źródło:: Wszechświat; 2015, 116, 04-06
0043-9592
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Prognozy wskaźnika zatrudnienia i ich weryfikacja w krajach Unii Europejskiej w świetle strategii „Europa 2020”
Employment rate forecasts and their verification in the European Union member states in the light of the Europe 2020 strategy
Autorzy:: Krupowicz, Joanna
Data publikacji:: 2017
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: strategia „Europa 2020”
prognozy wskaźnika zatrudnienia
weryfikacja prognoz
subiektywne modele formalne; Pokaż więcej
Źródło:: Econometrics. Ekonometria. Advances in Applied Data Analytics; 2017, 1 (55); 25-42
1507-3866
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Podstawowe Twierdzenie Bezpieczeństwa
Basic Security Theorem
Autorzy:: Liderman, K.
Data publikacji:: 2011
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: informatyka
ochrona informacji
modele formalne
polityka bezpieczeństwa
zarządzanie bezpieczeństwem informacji
computer science
security
formal models
security policy
information security management; Pokaż więcej
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2011, 60, 4; 315-329
1234-5865
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Analysis of decision-making methods in patients’ treatment
Analiza metod wspomagania procesu podejmowania decyzji przy leczeniu pacjentów
Autorzy:: Melnikova, Natalia
Shakhovska, Natalya
Data publikacji:: 2013
Wydawca:: Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
Tematy:: podejmowanie decyzji
modele formalne
analiza danych medycznych
medyczne systemów eksperckie
problemy leczenia
decision-making
formal model
analysis of medical data
expert medical systems
the problems of treatment.; Pokaż więcej
Źródło:: Nierówności Społeczne a Wzrost Gospodarczy; 2013, 36; 333-340
1898-5084
2658-0780
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Formal models of generating checkup sets for the technical condition evaluation of compound objects
Modele formalne generowania zbiorów sprawdzeń dla oceny stanu technicznego obiektów złożonych
Autorzy:: Sowa, A.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:: obiekty złożone
ocena stanu technicznego
modele formalne obiektów
binarna i wielowartościowa ocena
wspomaganie komputerowe
compound objects
technical condition evaluation
formal models of objects
binary and multiplevalued evaluation
computer aiding; Pokaż więcej
Źródło:: Eksploatacja i Niezawodność; 2014, 16, 1; 150-157
1507-2711
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A safety related perspective for the power supply systems in railway industry
Bezpieczeństwo systemów zasilania w przemyśle kolejowym
Autorzy:: Oz, M. A.
Kaymakci, O. T.
Koyun, A.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:: Markov models
reliability
formal modeling
modele Markowa
niezawodność
modelowanie formalne; Pokaż więcej
Źródło:: Eksploatacja i Niezawodność; 2017, 19, 1; 114-120
1507-2711
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: From formal methods to implementation based on Petri Nets model of concurrent systems
Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
Autorzy:: Wojciechowski, J.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language; Pokaż więcej
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 132-134
0032-4140
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja