Denna studie undersöker hur laborativt material används i matematikundervisningen i åk. F-3. Studien tittar även på bakomliggande förklaringar till varför lärare använder materialet eller ej, samt vad som krävs för en ökad användning. Metodvalen i föreliggande studie är av både kvantitativ- och kvalitativ karaktär och består utav en online-enkät som besvarats av 199 lärare. Resultatet visar att laborativt material är ett relativt vanligt inslag i matematikundervisningen. Det påvisar även att lärares teoretiska kunskaper om, och erfarenheter av laborativt material påverkar i vilken utsträckning det nyttjas i undervisningen. Slutligen framgår det att lärare upplever att fortbildning skulle öka deras användande av laborativt material i undervisningen. / This study examines how laboratory material is used in mathematics teaching in class. F-3. The study also looks at the underlying explanations for why teachers use the material or not, as well as what is required for an increased use of the laboratory methods in mathematics teaching. The method choices in the present study are of both a quantitative and qualitative nature and consist of an online questionnaire answered by 199 teachers. The results show that laboratory materials are relatively common in mathematics teaching. It also shows that teachers' theoretical knowledge of, and experiences of laboratory materials affects the extent to which it is used in teaching. Finally, it appears that teachers feel that continuing education would increase their use of laboratory material in teaching.

Duplicate code occurs in source files for different reasons. In many cases the motivation for copying the code is laziness of a programmer, or an attempt to use an alien source code. Over the years, multiple methods for detection of the duplicate source code have been developed. Approaches vary in the ways they analyze the code, focusing on different representations of the program. Methods based on the analysis of the syntactic properties of the source code often use abstract syntax trees. By examining the tree representation instead of the textual representation of the code, these methods are able to detect duplicate code that underwent formatting changes as well as changes to the names of identifiers. Duplicate code fragments are discovered by identifying the subtrees of the same shape. After the suspicious parts of the tree are identified, further examination of AST properties determines to what extent the code was copied. In this work we develop a system for duplicate code detection based on AST comparison.

Testování multikomponentních IT a IoT systémů, které zpracovávají proudy různých zpráv je složitou úlohou. Proč je to složité? Kvůli množství komponentů, jejích asynchronní interakcí, různým kombinacím události pro testování, testovacímu prostředí, které se liší od reálného a množství dalším důvodů. Táhle práce navrhuje způsob generování komplexních dat pro testovací účely s minimálním zásahem vývojářů. Generování dat založeno na analýze sledu komunikace reálného systému a následnou syntézou podobných sledů pro testování. Práce také navrhuje framework na prvotní analýzu zpráv přenášených v zachycené komunikace. Tohle může být uděláno použitím různých abstraktních modelů: modelu zprávy a modelu komunikaci. Výsledkem téhle práce je implementovaní knihovna na tvorbu modelu zprávy a množina operací pro práci s tímto modelem.

FM transmitter APRS of telemetric data is device able to measure telemetric values from its ambient. It is able to send this data to user on earth by radio frequency channel. This device can create data frames, with proper formatting allowing sending data. It operates in 435 MHz band, uses FSK and AFSK modulation. This work describes basic information of used protocols, electronic connection of this transmitter and software equipment.

This thesis investigates how XML representation of X++ abstract syntax trees (AST) residing in an XML database can be subject to static code analysis. Microsoft Dynamics 365 for Finance & Operations comprises a large and complex corpus of X++ source code and intuitive ways of visualizing and analysing the state of the code base in terms of software metrics and technical debt are non-existent. A solution is to extend an internal web application and semantic search tool called SocrateX, to calculate software metrics and technical debt. This is done by creating a web service to construct XQuery and XPath code to be queried to the XML database. The values are stored in a relational database and imported to Power BI for intuitive visualization. Software metrics have been chosen based on the amount of previous research and compatibility with the X++ AST, whereas technical debt has been estimated using the SQALE method. This thesis concludes that XML representations of X++ abstract syntax trees are viable candidates for measuring quality of source codes with the use of functional query programming languages.

Zusammenfassung zur 1998 von der Universität Vilnius angenommenen Dissertation von Inga Jankauskienė

Zusammenfassung der Autorin zur 1998 an der Universität von Vilnius eingereichten Dissertation

Abstrakt Argumentations – Frameworks ließen sich mithilfe der zur Verfügung gestellten Algorithmen zuverlässig und strukturiert implementieren. Die Möglichkeiten, welche die Objektorientierung bietet, ließen dabei eine Implementierung zu, welche dieses Modell unabhängig von seiner Umgebung gestaltet und gleichzeitig die Zusammenarbeit dieses Modells mit dieser Umgebung ermöglicht. Daher eignet sich das Programm als Möglichkeit der Visualisierung dieser Frameworks und liefert gleichzeitig ein unabhängiges Paket, mit dessen Hilfe sich die zugrunde liegenden Berechnungen zuverlässig durchführen lassen.

Eine Übersicht über die Verfahren der Erweiterten Suche (TF,IDF, Stemming, Indexing, Klang von Wörtern) sowie Textkorrektur, dazu deskriptorenbasierte Beschreibung von Dokumenten und Abstracts. Es erfolgt eine Evaluierung dieser Verfahren anhand von ausgewählten XML-Metadaten aus dem MONARCH. Den Abschluß bildet eine Analyse zum Ist-Zustand des MONARCH, bezogen auf Qualität der verwendeten Metadaten und deren Nutzbarkeit für die Erweiterte Suche.

The Printmaking of Czech Art Informel Author: Jiří Krtička Abstract The thesis deals comprehensively with the printmaking of Czech Art Informel: explores its sources, principles and themes, evaluates contributions of individual artists and analyses the technique of "structural printmaking". The first artworks in Informel style in Czechoslovakia were created during World War II by Josef Istler who belongs to European protagonists of Art Informel movement. In post-war years Istler engaged mostly in painting and monotyping. For this reason it was Vladimír Boudník who became the leading personality of Czech Informel printmaking. In 1949 he declared in two manifestos of "explosionalism" his vision of a new art that he followed and carried out with admirable consistency till the end of his life. In the middle of 1950s Boudník started to elaborate "structural printmaking" - innovative printmaking methods that became a way to fulfil his vision. His work influenced strongly the whole generation of Czech artists and essentially helped to introduce Art Informel to Czechoslovakia against the ideologic resistance of the communist regime. Czech Informel achieved excellent qualities in Europe-wide comparison and "structural printmaking" became its original contribution to the world fine art. Keywords Art Informel,...