The work first introduces the area of public licenses as a space between the copyright law and public domain. After that, consecutively for proprietary software, free and open source software, open hardware and open content, it maps particular types of public licenses and the accompanying social and cultural movements, puts them in mutual as well as historical context, examines their characteristics and compares them to each other, shows how the public licenses are defined by various accompanying movements, and also analyses which obstacles to the usage of public licenses are put by the Czech law. Keywords Copyright, licenses, open source, creative commons, public domain, software, design.

I dagens samhälle har aktivitetsmätare blivit allt vanligare för att logga vår fysiska hälsa. Detta är något som även skulle kunna gynna och användas i sjukvårdssammanhang. Problemet är att dagens kommersiella aktivitetsmätare sparar personlig information och privat data på sina egna servar. Syftet med denna avhandling är därför att påbörja ett projekt där all mjukvara är open-source och där tillförlitlighet, noggrannhet och integritet är drivande attribut. En stegräknaralgoritm implementeras för smartklockor som ska kunna användas inom vården. Utvecklingen av algoritmen bygger på en existerande stegräknaralgoritm för smartphones som har skrivits om och optimerats för inbyggda system, så som aktivitetsmätare. Mjukvaran är konstruerad med ett realtidsoperativsystem där algoritmen är integrerad. För att testa algoritmen har 10 deltagare genomfört ett antal tester, både på löpband men också utomhus på varierat underlag. Den slutliga noggrannheten resulterade i en median på 92% och skulle kunna förbättras genom att vidareutveckla optimeringen med hjälp av större datamängder. Källkoden är tillgänglig för allmänheten på GitHub. / In today’s society, it is quite common to track your own health with the use of a wearable device. These devices track physical activity and physiological signals. This is a concept that could be used in healthcare-applications as well. The main issue with this lies in the fact that commercially available devices send personal data to their own servers. The goal of this thesis is therefore to set in motion a project to build an entirely open-source firmware for smart watches for use in healthcare, where reliability, accuracy and privacy are driving quality attributes. This thesis covers a step counting algorithm in addition to the firmware for the watch. To speed up the process of developing the algorithm, an existing algorithm for smartphones is used as a starting point. This algorithm is rewritten, optimized for wearable devices and tested with an existing dataset. The firmware is built with an existing RTOS implementation and the algorithm is integrated into it. To test the firmware, 10 participants conducted several test scenarios, both on a treadmill and on mixed terrain. The results of this were a median accuracy of 92% and could be improved further with more optimizations with a larger dataset. The source code is publicly available on GitHub.

Das Themenfeld der Holografie eignet sich hervorragend für einen Aufbau metakonzeptioneller Fähigkeiten seitens der Schülerinnen und Schüler bei der Verwendung verschiedener Lichtmodelle. Zusätzlich gilt es als eines der wenigen Experimente in der gymnasialen Oberstufe als hochgradig motivierend. Diese Dissertation beschäftigt sich daher mit der Übertragung des Maker-Buchs „Hologramme zum Selbermachen“ in einen modernen Physik-Unterricht. Hierbei gliedert sich die Arbeit in drei Kernbereiche: 1) Entwicklung einer schülergerechten und an den Unterricht anknüpfbaren Experimentier-Plattform, 2) Analyse der Eignung des Maker-Buchs für den Unterricht und 3) Entwicklung von Unterrichtsmaterialien, die die Inhalte des Buchs in einen forschenden und schüleraktiven Physik-Unterricht integrieren. Es wird außerdem gezeigt, dass sich das Schema zur Erstellung der Materialien eignet, andere Bände der Buchreihe „1.000 Laser-Hacks für MAKER“ mit geringem Aufwand in die Schule zu übertragen.

The digitization of manual handling of paper forms is an ongoing project atKarlstad municipality, and their management of vacation exchanges is one of thefirst business processes to be digitized. This process involves applicants printingand filling in a vacation exchange paper form, which is submitted to a departmentmanager for processing, and then forwarded to a payroll administrator forregistering.The goal of this thesis was to develop a Proof-of-Concept (PoC) e-service forvacation exchange management at Karlstad municipality. The design of the PoCis based on requirements gathered by interviewing end-users and investigatingtechnical constraints imposed by current systems in place at Karlstad municipality.The PoC is designed as a Web application managing resources from an objectdatabase, and an account directory. The implementation was carried out usingopen source and standardized frameworks. Open source tools were used for theobject database and the account directory. The PoC was evaluated against setrequirements. Avenues for future work include a more thorough investigation ofthe account directory at Karlstad municipality.

This thesis deals with design, development and production of a mobile application to support teaching. Android mobile application ”Virtual economic guide” is available through Google Play store. This application is not only for students of PEF MENDELU. Interactive materials presented in this applcation mainly concerns the Microeconomics 1 course. Some parts includes materials used in Microeconomics 2 and Macroeconomics 1 and 2. This application is developed in Java using Firebase cloud platform for authentification, autorisation and database services. Application incorporates gamification for better involvement of target group. Source code is accessible via GitHub platform as an open-source project.

Le fil rouge de cette thèse est l'étude des processus de Hawkes. Ces processus ponctuels décryptent l'inter-causalité qui peut avoir lieu entre plusieurs séries d'événements. Concrètement, ils déterminent l'influence qu'ont les événements d'une série sur les événements futurs de toutes les autres séries. Par exemple, dans le contexte des réseaux sociaux, ils décrivent à quel point l'action d'un utilisateur, par exemple un Tweet, sera susceptible de déclencher des réactions de la part des autres.Le premier chapitre est une brève introduction sur les processus ponctuels suivie par un approfondissement sur les processus de Hawkes et en particulier sur les propriétés de la paramétrisation à noyaux exponentiels, la plus communément utilisée. Dans le chapitre suivant, nous introduisons une pénalisation adaptative pour modéliser, avec des processus de Hawkes, la propagation de l'information dans les réseaux sociaux. Cette pénalisation est capable de prendre en compte la connaissance a priori des caractéristiques de ces réseaux, telles que les interactions éparses entre utilisateurs ou la structure de communauté, et de les réfléchir sur le modèle estimé. Notre technique utilise des pénalités pondérées dont les poids sont déterminés par une analyse fine de l'erreur de généralisation.Ensuite, nous abordons l'optimisation convexe et les progrès réalisés avec les méthodes stochastiques du premier ordre avec réduction de variance. Le quatrième chapitre est dédié à l'adaptation de ces techniques pour optimiser le terme d'attache aux données le plus couramment utilisé avec les processus de Hawkes. En effet, cette fonction ne vérifie pas l'hypothèse de gradient-Lipschitz habituellement utilisée. Ainsi, nous travaillons avec une autre hypothèse de régularité, et obtenons un taux de convergence linéaire pour une version décalée de Stochastic Dual Coordinate Ascent qui améliore l'état de l'art. De plus, de telles fonctions comportent beaucoup de contraintes linéaires qui sont fréquemment violées par les algorithmes classiques du premier ordre, mais, dans leur version duale ces contraintes sont beaucoup plus aisées à satisfaire. Ainsi, la robustesse de notre algorithme est d'avantage comparable à celle des méthodes du second ordre dont le coût est prohibitif en grandes dimensions.Enfin, le dernier chapitre présente une nouvelle bibliothèque d'apprentissage statistique pour Python 3 avec un accent particulier mis sur les modèles temporels. Appelée tick, cette bibliothèque repose sur une implémentation en C++ et les algorithmes d'optimisation issus de l'état de l'art pour réaliser des estimations très rapides dans un environnement multi-cœurs. Publiée sur Github, cette bibliothèque a été utilisée tout au long de cette thèse pour effectuer des expériences. / The common thread of this thesis is the study of Hawkes processes. These point processes decrypt the cross-causality that occurs across several event series. Namely, they retrieve the influence that the events of one series have on the future events of all series. For example, in the context of social networks, they describe how likely an action of a certain user (such as a Tweet) will trigger reactions from the others.The first chapter consists in a general introduction on point processes followed by a focus on Hawkes processes and more specifically on the properties of the widely used exponential kernels parametrization. In the following chapter, we introduce an adaptive penalization technique to model, with Hawkes processes, the information propagation on social networks. This penalization is able to take into account the prior knowledge on the social network characteristics, such as the sparse interactions between users or the community structure, to reflect them on the estimated model. Our technique uses data-driven weighted penalties induced by a careful analysis of the generalization error.Next, we focus on convex optimization and recall the recent progresses made with stochastic first order methods using variance reduction techniques. The fourth chapter is dedicated to an adaptation of these techniques to optimize the most commonly used goodness-of-fit of Hawkes processes. Indeed, this goodness-of-fit does not meet the gradient-Lipschitz assumption that is required by the latest first order methods. Thus, we work under another smoothness assumption, and obtain a linear convergence rate for a shifted version of Stochastic Dual Coordinate Ascent that improves the current state-of-the-art. Besides, such objectives include many linear constraints that are easily violated by classic first order algorithms, but in the Fenchel-dual problem these constraints are easier to deal with. Hence, our algorithm's robustness is comparable to second order methods that are very expensive in high dimensions.Finally, the last chapter introduces a new statistical learning library for Python 3 with a particular emphasis on time-dependent models, tools for generalized linear models and survival analysis. Called tick, this library relies on a C++ implementation and state-of-the-art optimization algorithms to provide very fast computations in a single node multi-core setting. Open-sourced and published on Github, this library has been used all along this thesis to perform benchmarks and experiments.

Méthodologie de Conception de Système Multi-robots : de la Simulation à la Démonstration. Les systèmes multi-robots sont des systèmes complexes mais prometteurs dans de nombreux domaines, les nombreux travaux académiques dans ce domaine attestent de l'importance qu'ils auront dans le futur. Cependant, si ces promesses sont réelles, elles ne sont pas encore réalisées comme en témoigne le faible nombre de systèmes multi-robots utilisés dans l'industrie. Pourtant des solutions existent afin de permettre aux industriels et académiques de travailler ensemble à cette problématique. Nous proposons un état de l'art et les défis associés à la conception des systèmes multi-robots d'un point de vue académique et industriel. Nous présentons ensuite trois contributions pour la conception de ces systèmes : une réalisation d'un essaim hétérogène en tant que cas d'étude pratique afin de mettre en évidence les obstacles de conception. La modification d'un autopilote et d'un simulateur pour les rendre compatibles aux développements des systèmes multi-robots. La démonstration d'un outil d'évaluation sur la base des deux contributions précédentes. Enfin, nous concluons sur la portée de ces travaux et des perspectives à venir sur la base de l'open source / Multi-robot System Design Methodology : from Simulation to Demonstration Multi-robot systems are complex but promising systems in many fields, the number of academic works in this field underlines the importance they will have in the future. However, while these promises are real, they have not yet been realized, as evidenced by the small number of multi-robot systems used in the industry. However, solutions exist to enable industrialists and academics to work together on this issue. We propose a state of the art and challenges associated with the design of multi-robot systems from an academic and industrial point of view. We then present three contributions for the design of these systems: a realization of a heterogeneous swarm as a practical case study in order to highlight the design obstacles. The modification of an autopilot and a simulator to make them compatible with the development of multi-robot systems. Demonstration of an evaluation tool based on the two previous contributions. Finally, we conclude on the scope of this work and future perspectives based on open source.

The goal of this thesis is to design and implement coding conventions management system for project. Prior to the creation of the system itself, the research of coding conventions benefits, the analysis of used technologies in open source projects at GitHub service, and the analysis of existing technologies managing coding conventions was done. On the basis of that, usage scenarios were designed, requirements were specified and system architecture was determined. Then the system was implemented as web application based on Blazor and EditorConfig technologies. The main aim was to create a system that would allow to store all types of programming conventions and at the same time allows users to automatically control and generate them. It is published under an open source license within the GitHub service and deployed on the Azure cloud platform.

No description available.

No description available.