No description available.

The main subject of the thesis is the analysis of particular projects with examples in the Imagine programme. The paper should agree with primary school teachers in involvement computers in maths and art teaching.The thesis is devided into three main parts. The first one defines the teory of graphic editors and animation. The second part is intent on the projects made in Imagine programme and the third one includes projects solved by children and the evaluation.\

No description available.

Práce se věnuje analýze systému podpory podnikání v ČR a srovnává jej se systémem implementovaným ve VB. Hlavní důraz je kladen v obou zemích na nadnárodní programy v programovacích obdobích 2000-2006 a 2007-2013. V oblasti národních programů je bližší pozornost věnována podpoře vývozu a investičním pobídkám. Na základě provedených analýz a zhodnocení systémů podpory podnikání a podnikatelských základen v obou zemích, mimo jiné i s pomocí výsledků dotazníkových šetření, jsou navrženy změny v českém systému podpory podnikání. The aim is to analyse and compare the systems of business support that are being implemented in the Czech Republic and in the UK. In addition, the dissertation is focused on the proposal for changes in the Czech system that seem useful with respect to the comparison of systems, analyses of business bases and the surveys undertaken in both the CR and the UK.

PALA, Ondřej. Ability of compilers programming language Python. Brno, 2015. Diploma thesis. Mendel university in Brno. Diploma thesis rate ability of selected compilers programming language Python. First path of thesis is focused to programming language Python and principle of working compilers. Second path is focused to creating testing tasks, defining eva-luation criterias of compilers and testing compilers without testing tasks.

Education of programming language is often included in Czech secondary education as a method of implementation of corresponding school standards. By the time of publishing this thesis, these standards are only vaguely defined, so the effect of teaching programming can't be objectively evaluated from the perspective of the standards. This thesis elaborates on the usability of educational programming languages with respect to cognitive level of secondary school students, which may be used as a founded source in defining standards of particular schools.

Title: Procedural code integration in streaming environments Author: Mgr. Michal Brabec Department: Department of Software Engineering Supervisor: David Bednárek, Ph.D. Abstract: Streaming environments and similar parallel platforms are widely used in image, signal, or general data processing as means of achieving high perfor- mance. Unfortunately, they are often associated with domain specific program- ming languages, and thus hardly accessible for non-experts. In this work, we present a framework for transformation of a procedural code to a streaming ap- plication. We selected a restricted version of the C# language as the interface for our system, because it is widely taught and many programmers are familiar with it. This approach will allow creating streaming applications or their parts using a widely known imperative language instead of the intricate languages specific to streaming. The transformation process is based on the Hybrid Flow Graph - a novel inter- mediate code which employs the streaming paradigm and can be further convert- ed into streaming applications. The intermediate code shares the features and limitations of the streaming environments, while representing the applications without platform specific technical details, which allows us to use well known graph algorithms to work with the...

The goal of this thesis is to explore the current possibilities of implementation of compilers of low-level functional languages. It is expected to evaluate theoretical possibilities of functional programming languages, possible limitations that arise from the absence of run-time code support in low-level environment, and to implement a language compiler that demonstrates some chosen properties. Powered by TCPDF (www.tcpdf.org)

Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, we develop a contracts library and a translator program that compiles C# code into the Viper language and thus allows it to be verified. A user may annotate their C# program with these contracts and then use the translator to determine its functional correctness. The translator supports most C# features, including types and arrays. It also integrates with Visual Studio, showing translation and verification errors to the user on-the-fly.

R is a programming language and a tool used mostly in statistics and data analysis domains, with a rich package-based extension system. GNU-R, the standard interpreter of R, in version 3.5.0 introduced a new native API (ALTREP) for R extensions developers. The goal of the thesis is to implement this API for FastR, an interpreter of R based on GraalVM and Truffle, and explore options for optimization of FastR in context of this API. The motivation is to increase the number of extensions that can be installed and run on FastR. 1