Ne (16)
Ano (9)
Počet nalezených dokumentů:
25
Publikováno od
do
Globální implicitní funkce
Rohn, Jiří
2020 - český
Tento text pochází z roku 1973 a nebyl dosud zveřejněn. Jeho hlavním výsledkem je věta o existenci a jednoznačnosti globální implicitní funkce v Rn. Tomuto výsledku předchází řada pomocných tvrzení.
Klíčová slova:
silně lokální souvislé množiny; iredundantní pokrytí; pokračování implicitní funkce; existence a jednoznačnost; globální implicitní funkce; inverzní zobrazení
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Globální implicitní funkce
Tento text pochází z roku 1973 a nebyl dosud zveřejněn. Jeho hlavním výsledkem je věta o existenci a jednoznačnosti globální implicitní funkce v Rn. Tomuto výsledku předchází řada pomocných tvrzení.
Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství
Rohn, Jiří
2019 - český
V práci jsou popsány hlavní výsledky neoficiálního ekonomicko-matematického výzkumu provedeného v letech 1973-1980 pracovníky Ekonomicko-matematické laboratoře Ekonomického ústavu ČSAV a MFF (J. Bouška, J. Rohn a B. Kalendovský).
Klíčová slova:
Leontěvův model; intervalová data; zaručené řešení; neexistence; matice 28 x 28
Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
Rozhodování za neurčitosti: Pohled matematika na plánované hospodářství
V práci jsou popsány hlavní výsledky neoficiálního ekonomicko-matematického výzkumu provedeného v letech 1973-1980 pracovníky Ekonomicko-matematické laboratoře Ekonomického ústavu ČSAV a MFF (J. ...
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Šebesta, Václav
2019 - český
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Jak jsme (z)řídili ústav aneb Od Centrálního výpočetního střediska ČSAV k Ústavu informatiky AV ČR
Sort Program for Real Keys with Linear Time Complexity
Jiřina, Marcel
2019 - český
In this report we present a program for sorting data structures with sorting keys as real numbers, i.e. of type "real" or "float". The basis of the program is a modification of the countingsort algorithm for reals (instead of integers). It uses a comparision-type sorting for small part of data set given. The time complexity of this part of program can be bounded by linear function of n and thus, the total time complexity is also O(n) for n data items.
Klíčová slova:
sorting; real sorting keys; counting sort
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Sort Program for Real Keys with Linear Time Complexity
In this report we present a program for sorting data structures with sorting keys as real numbers, i.e. of type "real" or "float". The basis of the program is a modification of the countingsort ...
Detailní simulace proudění, teplot a znečištění vzduchu pro oblast Praha-Dejvice
Resler, Jaroslav; Geletič, Jan; Krč, Pavel; Eben, Kryštof
2018 - český
Simulations of Prague quarter Dejvice were performed with newly developed urban climate model PALM-4U based on LES model PALM. The modelling domain has extent 1000 x 800 m and the resolution of the model was 2 m. Two 24 hours episodes were simulated. The summer episode was intended to assess mainly the UHI effects and the winter episode to assess mainly the air quality issues. Two variants were simulated - the current real situation and the scenario with considered new buildings in the area of Victory Square (Vítězné náměstí). Some comments of the ressults are appended at the end of the report.
Klíčová slova:
PALM; LES; Urban Heat Island; Urban Air Quality; scenarios assessment
Plné texty jsou dostupné v digitálním repozitáři Akademie Věd.
Detailní simulace proudění, teplot a znečištění vzduchu pro oblast Praha-Dejvice
Simulations of Prague quarter Dejvice were performed with newly developed urban climate model PALM-4U based on LES model PALM. The modelling domain has extent 1000 x 800 m and the resolution of the ...
Datová sada pro detekci dezinformačního obsahu – případová studie Novičok v Česku
Řimnáč, Martin
2018 - český
Publikování dezinformací na webu hraje stále větší roli, proto vyvstává otázka, jak takovému obsahu čelit, a nebo na jeho potenciální závadnost alespoň upozornit. Propaganda využívá dezinformací k relativizaci skutečností, jejichž popis se snaží většinou nepřímo zpochybnit. Příspěvek formou případové studie v konkrétní kauze formálně popisuje výroky prezentované v článcích publikovaných na webu a to včetně účelu jejich publikování, všímá si některých zajímavých aspektů prezentovaných dezinformací a hledá model pro jejich popis. Cílem příspěvku je informovat o vznikající datové sadě a ilustrovat základní použité dezinformační techniky včetně důsledků jejich použití. The paper presents a case study of the propaganda usage on a real cause of double agent Sergei Skripal. The formal model describing statements published in web articles is announced and particular interesting aspects of used disinformation are provided together with the reasons, why the disinformation is published. The paper is aimed at the presentation of the data collection to have been created and provides a brief discussion on the used propaganda techniques.
Klíčová slova:
Dezinformace; Web; Entropie; Pravděpodobnost
Dokument je dostupný na externích webových stránkách.
Datová sada pro detekci dezinformačního obsahu – případová studie Novičok v Česku
Publikování dezinformací na webu hraje stále větší roli, proto vyvstává otázka, jak takovému obsahu čelit, a nebo na jeho potenciální závadnost alespoň upozornit. Propaganda využívá dezinformací k ...
Stav předaných dat a úprava rozdělení vybraných měření 2018
Novák, Jakub; Jiřina, M.; Benešová, Michaela
2018 - český
Zpráva se týká stavu předávaných dat a úpravy rozdělení vybraných měření pro rok 2018 v rámci projektu TDD-ČR. Cílem je informovat o aktuálním stavu dat a navrhnout opatření pro zachování reprezentativity celého vzorku. Jsou uvedena kritéria filtrace dat a navrženy postupy pro přerozdělení vybraných měření.
Klíčová slova:
typový diagram dodávky; TDD; spotřeba plynu; měřicí 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í 2018
Zpráva se týká stavu předávaných dat a úpravy rozdělení vybraných měření pro rok 2018 v rámci projektu TDD-ČR. Cílem je informovat o aktuálním stavu dat a navrhnout opatření pro zachování ...
Popis TDD modelu verze 3.9
Novák, Jakub; Jiřina, M.; Benešová, Michaela
2018 - český
Zpráva je závěrečnou roční zprávou pro rok 2018 v rámci Projektu TDD-ČR. Cílem je předat metodiky pro užití modelu jak provozovatelem distribuční soustavy, tak operátorem trhu a dále informovat o aktuálním stavu modelu. Jsou popsány předávané soubory včetně vzorového výpočtu na reálných datech a jejich obsah.
Klíčová slova:
typový diagram dodávky; typový diagram dodávky; spotřeba plynu; TDD; popis modelu
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Popis TDD modelu verze 3.9
Zpráva je závěrečnou roční zprávou pro rok 2018 v rámci Projektu TDD-ČR. Cílem je předat metodiky pro užití modelu jak provozovatelem distribuční soustavy, tak operátorem trhu a dále informovat o ...
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ávrh integrovaného emisního procesoru nové generace
Resler, Jaroslav; Juruš, Pavel; Benešová, N.; Vlček, O.; Belda, M.; Huszár, P.; Krč, Pavel; Eben, Kryštof
2017 - český
V podstatě jediným rozšířeným a veřejně dostupným nástrojem pro modelování emisí pro potřeby CTM je procesor SMOKE (Coats & Carlie, 1996). Problém modelu SMOKE ovšem je v jeho silné vazbě na podmínky USA. V minulosti došlo k několika pokusům uzpůsobit model SMOKE jiným podmínkám - viz např. práce reportované v Bieser et al., 2011 nebo Borge et al., 2008, úsilí ovšem vždy naráželo na limity designu tohoto emisního procesoru. Naším cílem je vyvinout emisní procesor založený na otevřených technologiích, který bude komfortní pro typické využití v CTM v našich podmínkách a který bude dostatečně flexibilní, aby byl snadno konfigurovatelný a nastavitelný i pro ostatní uživatele ve světě a jejich specifické potřeby. The only publicly available and widely used tool for emission modelling for CTM is the processor SMOKE (Coats & Carlie, 1996), but its usage is limited by its strong dependence on conditions of USA. A few attempts to adjust SMOKE to other conditions were made in the past - see e.g. works reported in Bieser et al., 2011 or Borge et al., 2008, but the efforts hit the limits of its design. Our goal is to develop an emission processor based on open technologies which will be easy to use for typical usage with CTM in our conditions and which will be flexible and configurable enough to serve specific needs of users in other countries over the world.
Klíčová slova:
emission model; CTM; postgresql; postgis; inventory
Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
Návrh integrovaného emisního procesoru nové generace
V podstatě jediným rozšířeným a veřejně dostupným nástrojem pro modelování emisí pro potřeby CTM je procesor SMOKE (Coats & Carlie, 1996). Problém modelu SMOKE ovšem je v jeho silné vazbě na podmínky ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze