Soupis publikovaých prací pana prof. Ing. Mirko Nováka, DrSc. zpracovaný ke dni 13. dubna 2018 knihovnou Ústavu informatiky AV ČR, v. v. i. s ohledem na dostupnost uvedených prací
Nývltová, Ludmila; Ramešová, Nina; Šírová, Tereza
2018 - český Klíčová slova: bibliografie Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. Soupis publikovaých prací pana prof. Ing. Mirko Nováka, DrSc. zpracovaný ke dni 13. dubna 2018 knihovnou Ústavu informatiky AV ČR, v. v. i. s ohledem na dostupnost uvedených prací

Nývltová, Ludmila; Ramešová, Nina; Šírová, Tereza
Ústav informatiky, 2018

Semigroup Structure of Sets of Solutions to Equation X^s = X^m
Porubský, Štefan
2017 - anglický Using an idempotent semigroup approach we describe the semigroup and group structure of the set of solutions to equation X^m = X^s in successive steps over a periodic commutative semigroup, over multiplicative semigroups of factor rings of residually finite commutative rings and finally over multiplicative semigroups of factor rings of residually finite commutative principal ideal domains. The analysis is done through the use of the maximal subsemigroups and groups corresponding to an idempotent of the corresponding semigroup and in the case of residually finite PID’s employing the available analysis of the Euler-Fermat Theorem as given in [11]. In particular the case when this set of solutions is a union of groups is handled. As a simple application we show a not yet noticed group structure of the set of solutions to x^n = x connected with the message space of RSA cryptosystems and Fermat pseudoprimes. Klíčová slova: set of solutions; idempotent; maximal semigroup corresponding to an idempotent; maximal group corresponding to an idempotent; equation X^s = X^m; finite commutative ring with identity element; residually finite commutative principal ideal domains Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Semigroup Structure of Sets of Solutions to Equation X^s = X^m

Using an idempotent semigroup approach we describe the semigroup and group structure of the set of solutions to equation X^m = X^s in successive steps over a periodic commutative semigroup, over ...

Porubský, Štefan
Ústav informatiky, 2017

Stav předaných dat a úprava rozdělení vybraných měření 2017
Novák, Jakub; Jiřina jr., M.; Benešová, Michaela
2017 - český Klíčová slova: typový diagram dodávky; TDD; spotřeba plynu; měřící místa; kritéria; filtrace; náhrady Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Stav předaných dat a úprava rozdělení vybraných měření 2017

Novák, Jakub; Jiřina jr., M.; Benešová, Michaela
Ústav informatiky, 2017

Popis TDD modelu verze 3.8.
Novák, Jakub; Jiřina jr., M.; Benešová, Michaela
2017 - český Klíčová slova: typový diagram dodávky; TDD; spotřeba plynu; popis modelu Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Popis TDD modelu verze 3.8.

Novák, Jakub; Jiřina jr., M.; Benešová, Michaela
Ústav informatiky, 2017

Idempotents, Group Membership and their Applications
Porubský, Štefan
2017 - anglický S.Schwarz in his paper [165] proved the existence of maximal subgroups in periodic semigroups and a decade later he brought [167] into play the maximal subsemigroups and thus he embodied the idempotents in the structural description of semigroups. Later in his papers he showed that a proper description of these structural elements can be used to (re)prove many useful and important results in algebra and number theory. The present paper gives a survey of selected results scattered throughout the literature where an semigroup approach based on tools like idempotent, maximal subgroup or maximal subsemigroup either led to a new insight into the substance of the known results or helped to discover new approach to solve problems. Special attention will be given to some disregarded historical connections between semigroup and ring theory. Klíčová slova: multiplicative semigroup; finite semigroups; power semigroups; idempotent elements; finite commutative rings; principal ideal domain; Euler-Fermat theorem; Wilson theorem; matrices over fields; maximal groups contained in a semigroup; periodic sequence; multiplicative semigroup of Zm; semigroup of circulant Boolean matrices Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Idempotents, Group Membership and their Applications

S.Schwarz in his paper [165] proved the existence of maximal subgroups in periodic semigroups and a decade later he brought [167] into play the maximal subsemigroups and thus he embodied the ...

Porubský, Štefan
Ústav informatiky, 2017

UFO 2017. Interactive System for Universal Functional Optimization
Lukšan, Ladislav; Tůma, Miroslav; Matonoha, Ctirad; Vlček, Jan; Ramešová, Nina; Šiška, M.; Hartman, J.
2017 - anglický This report contains a description of the interactive system for universal functional optimization UFO, version 2017. This version contains interfaces to the MATLAB and SCILAB graphics environments. Klíčová slova: numerical optimization; nonlinear programming; nonlinear approximation; algorithms; software systems Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. UFO 2017. Interactive System for Universal Functional Optimization

This report contains a description of the interactive system for universal functional optimization UFO, version 2017. This version contains interfaces to the MATLAB and SCILAB graphics environments.

Lukšan, Ladislav; Tůma, Miroslav; Matonoha, Ctirad; Vlček, Jan; Ramešová, Nina; Šiška, M.; Hartman, J.
Ústav informatiky, 2017

Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript
Porubský, Štefan
2017 - anglický Klíčová slova: STP cipher; Josef Růžek; Karol Cigáň; František Moravec; Czechoslovak military cryptography; Word War II Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Application and Misapplication of the Czechoslovak STP Cipher During WWII - Report on an Unpublished Manuscript

Porubský, Štefan
Ústav informatiky, 2017

The IINC System under the ROOT Environment
Jiřina, Marcel
2017 - anglický Klíčová slova: IINC; data separation; classification; multivariate data; distance; metric Plné texty jsou dostupné v digitálním repozitáři Akademie Věd. The IINC System under the ROOT Environment

Jiřina, Marcel
Ústav informatiky, 2017

Analýza zranitelnosti hl.m. Prahy vůči dopadům změny klimatu
Lorencová, Eliška; Emmer, Adam; Geletič, Jan; Vačkář, David
2017 - český Změna klimatu představuje jednu z klíčových výzev 21. století, jak z hlediska adaptací, tak mitigací. Cílem tohoto výzkumného záměru bylo v návaznosti na Strategii adaptace hl. m. Prahy na klimatickou změnu, zpracovat podklady pro Implementační plán, zaměřené na analýzu zranitelnosti hl.m. Prahy vůči dopadům změny klimatu. Analýza zranitelnosti se zaměřovala na dopady spojené s: (i) teplotními extrémy ve městě – vlnami horka, (ii) nedostatečným zasakováním a extrémními srážkami. Přístup zahrnoval prostorově explicitní analýzu v postředí ArcGIS, založenou na klimatický, land use a socio-ekonomických indikátorech pro současný stav a scénáře RCP 4.5 a RCP 8.5. Z hlediska zranitelnosti vůči teplotním extrémům - vlnám horka jsou v současné době nejvíce zasaženy oblasti v centru města (MČ Praha 2, MČ Praha 3, MČ Praha 6, MČ Praha 7, MČ Praha 1) a některé z okrajových částí města s průmyslovou zástavbou, např. Libeň, či Štěrboholy. Zranitelnost vůči extrémním srážkám a nedostatečnému zasakování srážkové vody je nejvyšší zejména v oblasti soutoku Vltavy a Berounky – Velká Chuchle, Praha 16, Zbraslav a Lipence. Climate change is one of the key challenges of the 21st century, both in terms of adaptation as well as mitigation. The aim of this research was, following the Adaptation Strategy of the City of Prague, to prepare the background analysis for the Adaptation Action Plan, focusing on vulnerability assessment. The vulnerability asssessment focused on the climate change impacts related to: (i) temperature extremes - heatwaves, (ii) insufficient rainwater retention and extreme rainfall. The approach included spatially-specific analysis using ArcGIS based on climatic, land use and socio-economic indicators for the current status and future RCP 4.5 and RCP 8.5 scenarios. Regarding vulnerability to heatwaves, the most affected areas are located in the city center (Prague 2, Prague 3, Prague 6, Prague 7, Prague 1) and some peripheral areas with industrial buildings (e.g. Libeň or Štěrboholy). Vulnerability to extreme precipitation and insufficient rainwater retention was highest particularly at the confluence of the Vltava and Berounka (Velká Chuchle, Prague 16, Zbraslav and Lipence). Klíčová slova: climate change adaptation; vulnerability analysis; urban; Prague Plné texty jsou dostupné na vyžádání prostřednictvím repozitáře Akademie věd. Analýza zranitelnosti hl.m. Prahy vůči dopadům změny klimatu

Změna klimatu představuje jednu z klíčových výzev 21. století, jak z hlediska adaptací, tak mitigací. Cílem tohoto výzkumného záměru bylo v návaznosti na Strategii adaptace hl. m. Prahy na klimatickou ...

Lorencová, Eliška; Emmer, Adam; Geletič, Jan; Vačkář, David
Ústav informatiky, 2017

Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization
Vlček, Jan; Lukšan, Ladislav
2017 - anglický Klíčová slova: unconstrained minimization; block variable metric methods; limited-memory methods; the BFGS update; global convergence; numerical results Plné texty jsou dostupné v digitálním repozitáři NUŠL Properties of the block BFGS update and its application to the limited-memory block BNS method for unconstrained minimization

Vlček, Jan; Lukšan, Ladislav
Ústav informatiky, 2017