On Nominal Automata as Models of Java-like Object-Oriented Programs
Suzuki, Tomoyuki
2016 - English In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker. Available on request at various institutes of the ASCR On Nominal Automata as Models of Java-like Object-Oriented Programs

In this paper, we proposed a model of Java-like object-oriented programs as nominal automata and a simple method invocation checker.

Suzuki, Tomoyuki
Ústav informatiky, 2016

Principy statistického uvažování
Kalina, Jan
2016 - Czech Available on request at various institutes of the ASCR Principy statistického uvažování

Kalina, Jan
Ústav informatiky, 2016

Analýza výskytu a příčin nebezpečných situací na vozovkách
Bouchner, P.; Jiřina, Marcel; Novák, Mirko; Novotný, S.; Poláček, I.
2015 - Czech Available at various institutes of the ASCR Analýza výskytu a příčin nebezpečných situací na vozovkách

Bouchner, P.; Jiřina, Marcel; Novák, Mirko; Novotný, S.; Poláček, I.
Ústav informatiky, 2015

The thermal regime of ice pits of the Borec hill
Türkott, L.; Martinčíková, Eva; Potop, V.
2014 - English The ecological stability of the sites with stenoec organisms is important factor for maintaining them at given location. Phonolite system of the Borec hill creates a unique labyrinth of vents. Thermal anomalies occur during the year in the fissure system and create specific microclimate. Flow direction is given by the temperature gradient inside and outside of the system. The lower part of fissure system is located in the debris fields, while the upper part on top of the hill. Phonolite rocks are cooled down by air streaming from the debris fields during the winter. Direction of the air flow changes in the spring and summer. The cold air is exhaled from these vents on the lower parts of system and creates ice pits with the typical vegetation. Keywords: ice pit; air temperature; Boreč hill; ventalore Available on request at various institutes of the ASCR The thermal regime of ice pits of the Borec hill

The ecological stability of the sites with stenoec organisms is important factor for maintaining them at given location. Phonolite system of the Borec hill creates a unique labyrinth of vents. Thermal ...

Türkott, L.; Martinčíková, Eva; Potop, V.
Ústav informatiky, 2014

ITAT 2014. Information Technologies - Applications and Theory. Part I
Kůrková, Věra; Bajer, Lukáš
2014 - English ITAT 2014. Information Technologies - Applications and Theory. Part I. Prague : Institute of Computer Science AS CR, 2014. 101 p. ISBN 978-80-87136-18-8. This volume is the first part of the two-volume proceedings of the 14th conference Information Technologies – Applications and Theory (ITAT 2014). The conference was held in Jasná, Demänovská Dolina, Slovakia, on September 25–29, 2014. ITAT is a computer science conference with the primary goal of exchanging information on recent research results between Czech and Slovak scientific communities, and it presents a platform for young researchers and PhD students to start new collaborations. This year, it was held in parallel with two collocated conferences Datakon and Znalosti with which it shared some invited plenary talks and a poster session. Overall, 51 papers were submitted to all conference tracks. This volume presents 16 papers of the main track, which were selected by the program committee based on at least two reviews by the program committee members. Papers from the three workshops and extended abstracts of posters are included in the second volume. Keywords: computer science; machine-learning; computer linguistics; data-mining; bio-informatics; parallel processing Available on request at various institutes of the ASCR ITAT 2014. Information Technologies - Applications and Theory. Part I

ITAT 2014. Information Technologies - Applications and Theory. Part I. Prague : Institute of Computer Science AS CR, 2014. 101 p. ISBN 978-80-87136-18-8. This volume is the first part of the ...

Kůrková, Věra; Bajer, Lukáš
Ústav informatiky, 2014

Projekt GAMMA - Analýza trendu ve spotřebě
Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
2014 - Czech Zpráva obsahuje analýzu trendu ve spotřebě zemního plynu s využitím fakturačních dat ze zákaznického kmene distribuční společnosti RWE GasNet, s.r.o. Cílem analýzy bylo ověřt hypotézu o klesajícím trendu spotřeby zákazníkù s měřením typu C, tj. kategorií domácnost a maloodběr. Pro analýzu byla použita fakturační data všech zákazníků RWE za období 2007 až 2013. Keywords: zemní plyn; trend; typové diagramy dodávky Available at various institutes of the ASCR Projekt GAMMA - Analýza trendu ve spotřebě

Zpráva obsahuje analýzu trendu ve spotřebě zemního plynu s využitím fakturačních dat ze zákaznického kmene distribuční společnosti RWE GasNet, s.r.o. Cílem analýzy bylo ověřt hypotézu o klesajícím ...

Konár, Ondřej; Brabec, Marek; Kasanický, Ivan; Malý, Marek; Pelikán, Emil
Ústav informatiky, 2014

Inconspicuous Appeal of Amorphous Computing Systems
Wiedermann, Jiří
2014 - English Amorphous computing systems typically consist of myriads of tiny simple processors that are randomly distributed at fixed positions or move randomly in a confined volume. The processors are “embodied” meaning that each of them has its own source of energy, has a “body” equipped with various sensors and communication means and has a computational control part. Initially, the processors have no identifiers and from the technological reasons, in the interest of their maximal simplicity, their computational, communication, sensory and locomotion (if any) parts are reduced to an absolute minimum. The processors communicate wirelessly, e.g., in an airborne medium they communicate via a short-range radio, acoustically or optically and in a waterborne medium via molecular communication. In the extreme cases the computational part of the processors can be simplified down to probabilistic finite state automata or even combinatorial circuits and the system as a whole can still be made universally programmable. From the theoretical point of view the structure and the properties of the amorphous systems qualify them among the simplest (non-uniform) universal computational devices. From the practical viewpoint, once technology will enable a mass production of the required processors a host of new applications so far inaccessible to classical approaches to computing will follow. Keywords: amorphous computing; computational universality; computational complexity Available on request at various institutes of the ASCR Inconspicuous Appeal of Amorphous Computing Systems

Amorphous computing systems typically consist of myriads of tiny simple processors that are randomly distributed at fixed positions or move randomly in a confined volume. The processors are “embodied” ...

Wiedermann, Jiří
Ústav informatiky, 2014

Highly Robust Estimation of the Autocorrelation Coefficient
Kalina, Jan; Vlčková, Katarína
2014 - English The classical autocorrelation coefficient estimator in the time series context is very sensitive to the presence of outlying measurements in the data. This paper proposes several new robust estimators of the autocorrelation coefficient. First, we consider an autoregressive process of the first order AR(1) to be observed. Robust estimators of the autocorrelation coefficient are proposed in a straightforward way based on robust regression. Further, we consider the task of robust estimation of the autocorrelation coefficient of residuals of linear regression. The task is connected to verifying the assumption of independence of residuals and robust estimators of the autocorrelation coefficient are defined based on the Durbin-Watson test statistic for robust regression. The main result is obtained for the implicitly weighted autocorrelation coefficient with small weights assigned to outlying measurements. This estimator is based on the least weighted squares regression and we exploit its asymptotic properties to derive an asymptotic test that the autocorrelation coefficient is equal to 0. Finally, we illustrate different estimators on real economic data, which reveal the advantage of the approach based on the least weighted squares regression. The estimator turns out to be resistant against the presence of outlying measurements. Keywords: time series; autoregressive process; linear regression; robust econometrics Available on request at various institutes of the ASCR Highly Robust Estimation of the Autocorrelation Coefficient

The classical autocorrelation coefficient estimator in the time series context is very sensitive to the presence of outlying measurements in the data. This paper proposes several new robust estimators ...

Kalina, Jan; Vlčková, Katarína
Ústav informatiky, 2014

Prediction diagnostics for Uncertain Systems
Novák, M.; Votruba, Z.; Brandejský, T.; Faber, J.; Coufal, David; Pelikán, Emil
2014 - English Available at various institutes of the ASCR Prediction diagnostics for Uncertain Systems

Novák, M.; Votruba, Z.; Brandejský, T.; Faber, J.; Coufal, David; Pelikán, Emil
Ústav informatiky, 2014

A Weather Risk Prediction System for Road Trip Planning
Krč, Pavel; Fuglík, Viktor; Juruš, Pavel; Kasanický, Ivan; Konár, Ondřej; Pelikán, Emil; Eben, Kryštof; Šucha, M.
2014 - English The paper presents first ideas of the MEDARD-RODOS project. The aim of the project is to develop a decision support system for road trip planning, reflecting the weather risks predicted from the NWP models implemented in the MEDARD system (www.medard-online.cz) and using the traffic information from the RODOS project (www.centrum-rodos.cz). Keywords: weather; prediction; risk; system; road; planning; MEDARD; RODOS; NWP Available on request at various institutes of the ASCR A Weather Risk Prediction System for Road Trip Planning

The paper presents first ideas of the MEDARD-RODOS project. The aim of the project is to develop a decision support system for road trip planning, reflecting the weather risks predicted from the NWP ...

Krč, Pavel; Fuglík, Viktor; Juruš, Pavel; Kasanický, Ivan; Konár, Ondřej; Pelikán, Emil; Eben, Kryštof; Šucha, M.
Ústav informatiky, 2014