|
|
Algorithmic Generation of Esthetical Rhytmical Sequences
Mahnert, Jakub ; Klepárník, Petr (referee) ; Beran, Vítězslav (advisor)
The goal of this project is to design and implement a system, suited for proving or disproving the claim that it is possible to generate unique rhythmical sequences, which a human will perceive as aesthetical. In the project, a framework, aiding the design of such algorithms that create rhythmical sequences using composition was implemented. On top of it, several such algorithms were implemented with the notion to test their performance using a custom testing front end solution. From the gained data, the project tries to find correlations between the aspects of the algorithms with the resulting perceived aesthetical value as well as attempt to answer the initial conundrum.
|
|
|
Reactive Programming in iOS Applications
Kříž, Matyáš ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
iOS development is built on asynchronous calls and parallelism. Keeping the asynchronous code clear and consise becomes increasingly more difficult with the size of an application. Multiple methodologies emerged to combat this problem. One of them is the reactive programming methodology. In my thesis I focused on creating a reactive methodology inspired by the core ReactiveX concepts with a simpler, more streamlined implementation.
|
|
|
Design and Implementation of Generic VoIP Exchange Using Functional Programming
Kidoň, Marek ; Ryšavý, Ondřej (referee) ; Matoušek, Petr (advisor)
This thesis deals with the design and implementation of generic exchange. As an implementation language was selected Erlang mainly because of its positive features with respect to a telephony software. Thesis also talks about declarative programming, Erlang language, its particular properties, advantages and disadvantages. The resulting software is called the Generic Exchange and its funcionallity is demonstrated on a few simple examples. In the end of the thesis are summarized the results and Generic Exchange design is compared with the design of Asterisk exchange.
|
|
|
Application Development Framework for Peer-to-Peer Collaboration
Hrdina, Jan ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
The thesis deals with the design and implementation of the application framework for the creation of collaborative web editors that enable peer-to-peer collaboration in real time. The thesis summarizes existing approaches for data replication, from which M. Kleppmann's CRDT (conflict-free replicated data type) for JSON is chosen as the most suitable. Using the resulting framework, the created content can be safely shared in groups of peers, where each member can be assigned different permissions. Own communication protocols based on WebRTC, WebSocket and WebCrypto are designed and implemented for P2P connection establishment and subsequent communication. The framework allows to resolve conflicts and work independently without an Internet connection. For a consistent user experience, the library includes a set of user interface elements for managing friends, groups, and other common tasks. The framework is implemented using functional design patterns implemented in the ReasonML language. The functionality of the result is verified by creating an example application of the mind map editor.
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (advisor) ; Kubalík, Jiří (referee)
In this thesis is presented design and implementation of a system performing genetic programming in simply typed lambda calculus. Population initialization method based on term generating technique producing typed lambda terms in long normal form is introduced. This method is parameterized by simple search strategy. Several search strategies are presented, such as strategy for systematic generation or strategy corresponding to standard ramped half-and-half method. Another such a strategies called \textit{geometric} strategy is further examined in experiments and shown to have various desirable effects such as improved success rate, lesser time consumption and smaller average term size in comparison with standard ramped half-and-half generating method. Other performance enhancements are proposed and supported by experiments such as eta-normalization of generated individuals and @-tree representation of individuals. Abstraction elimination is utilized to enable use of simple tree- swapping crossover. Powered by TCPDF (www.tcpdf.org)
|
|
|
Domain Specific Languages in Functional Programming
Rapavá, Jana ; Hric, Jan (advisor) ; Pilát, Martin (referee)
In Artificial Intelligence, especially in area of constraint programming, it's popular to design various modeling languages which allow solving problems on domain level and by using domain specific abstractions. Techniques known from research on Domain-Specific Languages are often useful in this effort. Functional programming languages offer new tools for designing such languages, particularly Domain-Specific Embedded Languages. This work investigates the advantages and disadvantages of using functional programming for designing and implementing a Domain-Specific Embedded Language for state space search problems.
|
|
|
Automated GUI Generation for functional data structures
Podloucký, Martin ; Pergl, Robert (advisor) ; Hric, Jan (referee)
This thesis addresses the problem of automated graphical user interface generation for functional programs. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis the concept of Functionally Structured User Interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the Clojure programming language and a transformation from this system to FSUI data model is implemented. Finally a graphical layer for displaying the actual interface is implemented in Clojure. Benefits of this approach are demonstrated by proof-of-concept case study.
|
|
|
Extending C# with a Library of Functional Programming Concepts
Ćerim, Harun ; Parízek, Pavel (advisor) ; Ježek, Pavel (referee)
The main goal of this thesis was to implement a functional programming (FP) library named Funk that extends C# with support for concepts present in functional programming languages, such as F# and Scala. Funk utilizes many functional programming concepts, including immutability, pattern matching, and various types of monads, together with stronger typing. Introduction of these concepts into C# helps in avoiding many runtime errors and boilerplate code, and it also lets developers write C# code in a declarative rather than in an imperative way, making the day-to-day software development easier and less error-prone. Additionally, the thesis analyzes and compares Funk with existing functional programming libraries such as Language-ext and FuncSharp. Finally, it analyzes the new features of C# 8, which include nullable reference types and pattern matching and compares them with the functionalities of the Funk library.
|
|
|
Recommender systems for the recipes domain
Starýchfojtů, Josef ; Peška, Ladislav (advisor) ; Bernhauer, David (referee)
Recommender systems are now part of our daily life more than ever. We use them through several platforms, like music or video players. As users of such systems, we don't need to actively seek for new content, but let it be comfortably recommended to us instead. One area not covered this way is domain of recipes. In order to cook a recipe, we have to search for some cookbook and find the recipe there, then go shopping for it and only then cook it. Usually there is not a perfect match between the recipe content and the content of our shopping basket, which makes the process even more unpleasant. Main goal of this work is to introduce such platform into this domain. Firstly to research the application of recommender systems in recipe domain, suggestion of several methods and their verification. Then also to introduce these algorithms in real product in form of mobile application, which will accompany the user when shopping and choosing a recipe. 1
|
|
|
Application Development Framework for Peer-to-Peer Collaboration
Hrdina, Jan ; Očenášek, Pavel (referee) ; Rychlý, Marek (advisor)
The thesis deals with the design and implementation of the application framework for the creation of collaborative web editors that enable peer-to-peer collaboration in real time. The thesis summarizes existing approaches for data replication, from which M. Kleppmann's CRDT (conflict-free replicated data type) for JSON is chosen as the most suitable. Using the resulting framework, the created content can be safely shared in groups of peers, where each member can be assigned different permissions. Own communication protocols based on WebRTC, WebSocket and WebCrypto are designed and implemented for P2P connection establishment and subsequent communication. The framework allows to resolve conflicts and work independently without an Internet connection. For a consistent user experience, the library includes a set of user interface elements for managing friends, groups, and other common tasks. The framework is implemented using functional design patterns implemented in the ReasonML language. The functionality of the result is verified by creating an example application of the mind map editor.
|
guest ::
