Yes (777)
Number of found documents:
777
Published from
to
Technická zpráva o snı́mánı́, aplikacı́ch a knihovnách pro zpracovánı́ multispektrálnı́ho obrazu
Schier, Jan
2019 - Czech
V práci je prezentována stručná rešerše metod pořı́zenı́ multispektrálnı́ho a hyperspektrálnı́ho obrazu, aplikacı́ hypespektrálnı́ho snı́mkovánı́ a základnı́ch metod jeho zpracovánı́. V závěru práce je podán přehled nalezených knihoven prozpracovánı́ hyperspektrálnı́ho obrazu v jazycı́ch Matlab a Python.\n This report presents brief overview of multispectral and hyperspectral image acquisition methods, of applications of hyperspectral imaging and of basic methods of hyperspectral image processing. In the final part, we present an overview of Matlab and Python software libraries for hyperspectral image processing.
Keywords:
Hyperspectral imaging; Hyperspectral imaging applications; Software libraries for hyperspectral image processing
Fulltext is available at external website.
Technická zpráva o snı́mánı́, aplikacı́ch a knihovnách pro zpracovánı́ multispektrálnı́ho obrazu
V práci je prezentována stručná rešerše metod pořı́zenı́ multispektrálnı́ho a hyperspektrálnı́ho obrazu, aplikacı́ hypespektrálnı́ho snı́mkovánı́ a základnı́ch metod jeho zpracovánı́. V ...
Hybrid Methods for Nonlinear Least Squares Problems
Lukšan, Ladislav; Matonoha, Ctirad; Vlček, Jan
2019 - English
This contribution contains a description and analysis of effective methods for minimization of the nonlinear least squares function F(x) = (1=2)fT (x)f(x), where x ∈ Rn and f ∈ Rm, together with extensive computational tests and comparisons of the introduced methods. All hybrid methods are described in detail and their global convergence is proved in a unified way. Some proofs concerning trust region methods, which are difficult to find in the literature, are also added. In particular, the report contains an analysis of a new simple hybrid method with Jacobian corrections (Section 8) and an investigation of the simple hybrid method for sparse least squares problems proposed previously in [33] (Section 14).
Keywords:
numerical optimization; nonlinear least squares; trust region methods; hybrid methods; sparse problems; partially separable problems; numerical experiments
Available in a digital repository NRGL
Hybrid Methods for Nonlinear Least Squares Problems
This contribution contains a description and analysis of effective methods for minimization of the nonlinear least squares function F(x) = (1=2)fT (x)f(x), where x ∈ Rn and f ∈ Rm, together with ...
Sort Program for Real Keys with Linear Time Complexity
Jiřina, Marcel
2019 - Czech
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.
Keywords:
sorting; real sorting keys; counting sort
Available in a digital repository NRGL
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 ...
Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix?
Rohn, Jiří
2019 - English
We consider the conjecture formulated in the title concerning existence of a symmetric singular matrix in a singular symmetric interval matrix. We show by means of a counterexample that it is generally not valid, and we prove that it becomes true under an additional assumption of positive semide niteness of the midpoint matrix. The proof is constructive.
Keywords:
symmetric interval matrix; singularity; positive semide niteness
Available in a digital repository NRGL
Does a Singular Symmetric Interval Matrix Contain a Symmetric Singular Matrix?
We consider the conjecture formulated in the title concerning existence of a symmetric singular matrix in a singular symmetric interval matrix. We show by means of a counterexample that it is ...
Transforming hierarchical images to program expressions using deep networks
Křen, Tomáš
2018 - English
We present a technique describing how to effectively train a neural network given an image to produce a formal description of the given image. The basic motivation of the proposed technique is an intention to design a new tool for automatic program synthesis capable of transforming sensory data (in our case static image, but generally a phenotype) to a formal code expression (i.e. syntactic tree of a program), such that the code (from evolutionary perspective a genotype) evaluates to a value that is similar to the input data, ideally identical. Our approach is partially based on our technique for generating program expressions in the context of typed functional genetic programming. We present promising results evaluating a simple image description language achieved with a deep network combining convolution encoder of images and recurrent decoder for generating program expressions in the sequential prefix notation and propose possible future applications.
Keywords:
deep networks; automatic program synthesis; image processing
Available in a digital repository NRGL
Transforming hierarchical images to program expressions using deep networks
We present a technique describing how to effectively train a neural network given an image to produce a formal description of the given image. The basic motivation of the proposed technique is an ...
Validation of comprehensive energy management system based on cloud-sourced information
Nedoma, P.; Herda, Z.; Franc, Z.; Plíhal, Jiří
2018 - English
The main research activity was devoted to develop an application that would enable testing interface between OIKOS board (based on the AURIXTM) and the dissemination module represented by Skoda vehicle demonstrator through serial port RS232. The testing was based on sending the GPS coordinates to the OIKOS unit and receiving recommended speed profile for the given track. While dissemination unit has received GPS coordinates, AURIX chip has sent back messages with prediction of possible speed profile. Further tasks included verification other forms of transmission, such as Wi-Fi, Bluetooth, Ethernet.\n\n
Keywords:
OIKOS board; dissemination module; GPS
Fulltext is available at external website.
Validation of comprehensive energy management system based on cloud-sourced information
The main research activity was devoted to develop an application that would enable testing interface between OIKOS board (based on the AURIXTM) and the dissemination module represented by Skoda ...
Experiment: Cooperative Decision Making via Reinforcement Learning
Berka, Milan
2018 - English
This report inspects cooperative decision making task using reinforcement learning. It serves for comparison with methodology based on fully probabilistic design of decision strategies.
Keywords:
decision making; reinforcement learning; cooperation
Fulltext is available at external website.
Experiment: Cooperative Decision Making via Reinforcement Learning
This report inspects cooperative decision making task using reinforcement learning. It serves for comparison with methodology based on fully probabilistic design of decision strategies.
Balancing Exploitation and Exploration via Fully Probabilistic Design of Decision Policies
Kárný, Miroslav; Hůla, František
2018 - English
Adaptive decision making learns an environment model serving a design of a decision policy. The policy-generated actions influence both the acquired reward and the future knowledge. The optimal policy properly balances exploitation with exploration. The inherent dimensionality\ncurse of decision making under incomplete knowledge prevents the realisation of the optimal design.
Keywords:
Exploitation; Exploration; Bayesian estimation; Adaptive systems; Fully probabilistic design; Kullback-Leibler divergence; Decision policy; Markov decision process
Fulltext is available at external website.
Balancing Exploitation and Exploration via Fully Probabilistic Design of Decision Policies
Adaptive decision making learns an environment model serving a design of a decision policy. The policy-generated actions influence both the acquired reward and the future knowledge. The optimal policy ...
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 - Czech
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.
Keywords:
PALM; LES; Urban Heat Island; Urban Air Quality; scenarios assessment
Available in digital repository of the ASCR
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 ...
Platební regulační mechanismus jako zdroj zvyšování platů ve zdravotnictví
Grim, Jiří
2018 - Czech
Princip zdravotního pojištění předpokládá, že se pacient v případě potřeby obrátí na lékaře, který mu poskytne odbornou pomoc, přičemž výkon lékaře, výdaje za léky a doplňující vyšetření proplácí zdravotní pojišťovna. Výsledkem je spontánní nárůst nákladů zdravotní péče u nás dobře známý z devadesátých let. Je zřejmé, že v systému, ve kterém o poskytnuté zdravotní péči musí rozhodovat lékaři v kontaktu s pacienty a její náklady následně hradí zdravotní pojišťovny, chybí záporná zpětná vazba, která by působila proti růstu nákladů. Důsledkem této hrubé systémové chyby je trvalý tlak na zvyšování výdajů za poskytnutou zdravotní péči a hrozící platební neschopnost nutí zdravotní pojišťovny zavádět regulační opatření k omezení růstu nákladů. The principle of health insurance presupposes that the patient will contact a doctor who will provide him / her with professional help, whereby the doctor, medical expenses and additional examinations are paid by the health insurance company. The result is a spontaneous increase in health care costs well-known in the nineties. It is clear that there is no negative feedback in the system where the healthcare provided must be made by doctors in contact with patients and its costs are being covered by health insurance companies. As a result of this gross systemic error, there is a continuing pressure to increase healthcare spending and imminent insolvency forces the health insurers to introduce regulatory measures to curb the cost increase.
Keywords:
Medical care; finance; regulation mechanismus
Fulltext is available at external website.
Platební regulační mechanismus jako zdroj zvyšování platů ve zdravotnictví
Princip zdravotního pojištění předpokládá, že se pacient v případě potřeby obrátí na lékaře, který mu poskytne odbornou pomoc, přičemž výkon lékaře, výdaje za léky a doplňující vyšetření proplácí ...
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases