Student IT&Math Conferences in Visegrad - 2016
(Standard Visegrad Project No. 21520043)
An indispensable feature of weather nowcasting is data assimilation (DA), which includes the newest data, e.g. radar and satellitedata, into the numerical weather prediction model. The goal of the project is to introduce qualitatively new DA techniques.These techniques (automatic registration, morphing) have arisen in the theory of pattern recognition. They perform a correctionof shape and position of objects by means of a horizontal motion ?eld at the same time as the correction of the values of thephysical variables. The methods will be generalized so as to be able to use radar data. This will result in better timing andposition of atmospheric fronts or precipitation ?elds and in an improvement of the forecast.Many DA techniques are computationally demanding. New methods which rely on the theory of random ?elds and WaveletTransform will be developed. Expensive computations with large matrices in the Ensemble Kalman Filter analysis will bereplaced by cheap wavelet transform calls. The methods also can substantially reduce the number of ensemble membersrequired.
01. 02. 2013 - 31. 01. 2017
Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to theirdeductive nature, universality and portability, and the power they gain from their mathematical background. Such a diverselandscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic. The purpose ofthis project is to develop a variant of this theory, based on the notion of ordered semantics and its interplay with implicationconnective. We aim at a stronger, better applicable abstract theory for both propositional and predicate logics. As a showcase,we plan to illustrate the power of the resulting theory on two important families of non-classical logics: substructural and fuzzyones.
01. 02. 2013 - 31. 01. 2017
Artificial Intelligence reached maturity in many of its subareas and the most recent trend is re-integration of developed techniques to tackle hard real-life problems such as driverless cars, deep-space and ocean explorers, drones etc. The project deals with developing autonomousagents (robots) that can build and refine their internal models and do their own decisions. The focus is on internal knowledge model of autonomous agents that is appropriate for planning their behavior and that can be obtained and refined in a (semi-) automated way rather than being manually encoded. The model will be a core part of a modular architecture and it will be developed by integrating research results from areas of robotics, planning, uncertainty reasoning, knowledge representation, nature-inspired computation, and linguistics. In addition totheoretical formal results (models, algorithms), the important output will be verification of the developed techniques on real robots. The aim is to bridge different research areas and bring their results closer to practical applicability.
01. 01. 2015 - 31. 12. 2017
Center of Excellence - Institute for Theoretical Computer Science (CE-ITI) is a research center for theoretical computer science and discrete mathematics. CE-ITI aims at becoming an international leader recognized world-wide, and also a driving force of Czech theoretical computer science and discrete mathematics. To achieve that, CE-ITI includes best professors, young researchers, and students from several top institutes in the Czech Republic, and integrates the following key activities: 1) conducting research of highest quality, addressing major challenges and open problems, and initiating new lines of research. 2) Educating a new generation of researchers and active searching for new talents. 3) Coordinating and fostering international cooperation, strengthening the standing of Czech computer science and mathematics in world-wide context.
01. 01. 2012 - 31. 12. 2018
Project aims to describe the current status of admission process to Czech colleges and universities and to prepare a methodology for development of standardized admission tests. Project covers the whole cycle of test development – from defining objectives, blueprinting, item writing, reviewing and pretesting, to assembling the test and its validation. Special attention is given to psychometric tools needed for student scoring, item calibration, detection of improper items, estimation of reliability and validity in complex design and student scoring and item selection in automatized adaptive testing. Theoretical results are implemented and demonstrated on real data from admission test to a medical school.
01. 01. 2015 - 31. 12. 2017
Abstrakt anglicky Graphs are among the simplest mathematical structures. They form the foundation for much of Computer Science and their importance has grown enormously with the development of computernetworks. Extremal graph theory focuses on interactions between different properties of graphs. In thisproject we link extremal graph theory to several other fields, including probability theory, analysis andgeometry. We exploit novel techniques that were developed for embedding problems in sparse graphsand those that arose from the theory of dense graph limits. The aim of the project is to develop generaltools that relate to the Szemerédi Regularity lemma, the Stability method, extremal problems ingraphons, and applications of the Chatterjee-Varadhan approach to large deviations of Erdős-Rényirandom graphs. Among our main goals are the resolution of the Loebl-Komlós-Sós conjecture,applications of extremal graph theory in geometric combinatorics, or work on the "infamous upper tailproblem" for subgraph counts in random graphs.
01. 01. 2016 - 31. 12. 2018
The project deals with iterative methods for several important problems of numerical linear algebra. It includes their analysis,preconditioning, solving ill-posed problems as well as real-world applications. We focus on Krylov subspace methods, openquestions related to their convergence, associated matrix approximation problems, error estimation and stopping criteria. Wewill study various preconditioning techniques including new algorithms based on incomplete factorizations andorthogonalization schemes, and block saddle-point preconditioning. We intend to analyze regularization methods for solvingill-posed problems in image and signal processing, open problems in total least squares and Golub-Kahan bidiagonalization. Aninseparable part of our work are broad international collaboration and selected real-world applications such as theapproximation of scattering amplitude and nuclear magnetic resonance.
01. 02. 2013 - 31. 01. 2018
01. 04. 2014 - 31. 12. 2016
Transition to epileptic seizure represents sudden and abrupt shift between distinct dynamic regimes of the brain. In simplified brainpreparations we have demonstrated that seizures are preceded by detectable changes in neuronal behaviour which marked progressivedecrease in neuronal network resilience and proximity to transition to seizure. These processes correspond to phenomenon of “critical slowingdown” described in dynamics of complex systems, innovative and rapidly emerging field of modern physics. In the proposed work we aim toelucidate mechanisms responsible for transition to seizure in intact brain and examine whether this process displays features of criticaltransition. We will apply integrative approach which will combine advanced techniques of large-scale recording, methods of active probing,computational modelling and analyses of complex systems. Demonstrating that dynamics of epileptic networks is governed by similarprinciples to other dynamical systems will open new ways to design innovative and more efficient therapies to abort or reverse transition toseizure
01. 01. 2014 - 31. 12. 2016
The project will contribute to development of theoretical foundations of neurocomputing. The goal of the research is to obtain new knowledge in terms of mathematical results describing capabilities and limitations of multilayer networks. Relationships between networks with varioustypes of computational units (perceptrons, radial, and kernel), various parameters of these units will be described. Estimates of model complexities of networks will be derived in dependence on input dimensions, types of units and network architectures. Properties of highdimensional tasks which can be represented or approximated by networks of reasonable sizes will be characterized. Optimal solutions of learning tasks from point of view of generalization and model complexity will be analyzed.
01. 01. 2015 - 31. 12. 2017
The goal of the project is theoretical analysis of properties of softcomputing computational models suitable for processing of high-dimensional complex data from point of view of minimization of model complexity, efectivity of learning and capability of generalization.Further goal is application of theoretical results to design of hybrid algorithms of methalearning with adaptive choices of models and their parameters and implementation of these algorithms as Java and MATLAB software tools and their testing on real data.
21. 03. 2013 - 31. 05. 2016
Vague quantifiers like `many', `few', or `about a half' present a major problem in natural language processing. Designing a satisfactory theory of vague quantifiers requires to construct formal models and evaluate them with regard to linguistic adequateness, automated deduction, and embeddability in logical frameworks. This constitutes a serious research challenge involving computer science, logic, linguistics, and analytic philosophy. The fuzzy logic paradigm, based on the notion of degrees of truth, provides a mathematical apparatus for dealing with several aspects of vagueness. The applications of fuzzy methods to vague quantifiers have so far largely neglected the potential of deductive systems studied by mathematical fuzzy logic. The aim of the project is to deepen and extend the mathematical foundations for adequate modeling of vague quantifiers by employing formalisms and results of mathematical fuzzy logic, including modal logics with two-level syntax, game-theoretic semantics, and automated reasoning techniques.
01. 01. 2015 - 31. 12. 2017
RI serves for Czech contribution to particle physics research on experiments at Fermilab. It consists of experiments on which Czech physicists collaborate in Fermilab and of infrastructures of the Czech collaborating institutions.Members of RI work on the Fermilab's experiments NOvA, D0 and plan to join a new experiment in two years to contribute to its design and construction. In the Czech Republic it is a RCCPP computing farm and physics laboratory in FZU, cluster for artificial intelligence and neural networks algorithms in ICS and numerical and statistical computing servers at CTU. The whole infrastructure serves for particle physics experiments and for researchers for many years. The RI as top world research environment serves also for education of undergraduate and postgraduate students.
01. 01. 2016 - 31. 12. 2019
One of the most important objects used in the field of formal verification are invariants. An invariant is a set of states of a given system such that the system will always stay in this set of states. Recently, there has been a lot of progress on the constraint-based computation of invariants, that reduces invariant computation to a constraint solving problem in a decidable theory. However, this approach cannot be applied in cases where the corresponding logical theory is not decidable, or where the available constraint solvers are not efficient enough to solve problems of interesting size. The proposal concerns computation of invariants of hybrid dynamical systems, that is, dynamical systems thathave partially discrete, partially continuous states and behavior. In order to circumvent the mentioned problems of undecidability and efficiency limitations of constraint solvers, we use a radically different approach that exploits robustness and simulations.
01. 01. 2015 - 31. 12. 2017
Spolupráce na excelentních projektech ve Fermiho národní laboratoři (Fermilab), Batavia, USA. Fermilab je špičková americká laboratoř pro fyziku částic. Aktuálně spolupracujeme na končícím experimentu D0, který zkoumá srážky protonů s antiprotony. Experiment poslední dvě dekády prezentovat významné výsledky na mezinárodních konferencích a čeští spolupracovníci jsou spoluautoři několika set vědeckých publikací. Dále spolupracujeme na běžícím experimentu NOvA, tzv. "long base line" neutrinovém experimentu, který měří základní parametry oscilací neutrin pomocí dvou 800km od sebe vzdálených detektorů. Připravujeme se na spolupráci na další generaci experimentů ve Fermilab.
01. 10. 2015 - 31. 12. 2017
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic formalises the notion of bivalent truth, substructural logics allow to handle notions such as resources, partial truth, meaning, and natural language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.Traditionally, substructural logics have been investigated following three main approaches: proof theoretic, algebraic and abstract-algebraic. Although some connections among these approaches were observed long ago, in large part these practices developed in independence. The main objective of this project is to establish a network of leading experts from these three areas, with the aim of reuniting these traditions and their communities and obtain new deep results.
01. 03. 2016 - 28. 02. 2019
The subject of the project is an investigation of the variety of lattice-ordered monoids with a special focus on the subclass of totally ordered ones. As the known methods investigate this problem seem to become exhausted, the project intends to take a benefit of newly introducedmethods of geometric nature to attack this task, whose nature is algebraic, in a new way. The new tools include the approach of web geometry, a branch of the differential geometry introduced by Blaschke and Bol, and the representation by Cayley monoids; both these approaches allow to display algebraic properties of structures in an appealing visual way.
01. 01. 2015 - 31. 12. 2017
