La evaluación parcial (EP) de programas es una técnica formal para la especialización y optimización de programas. Un evaluador parcial toma un programa y sólo una parte de sus datos de entrada (los llamados datos estáticos) e intenta llevar a cabo todas las computaciones que sean posibles a partir de tales datos. El evaluador parcial devuelve un programa nuevo, denominado programa residual el cual se ejecuta generalmente de manera más e ciente que el programa original, ya que las computaciones que dependen de los datos estáticos se han realizado en la fase de evaluación parcial de una vez y para siempre [JGS93]. La evaluación parcial es una técnica de optimización de programas basada en semántica la cual ha sido investigada dentro de diferentes paradigmas de programación y aplicada a una amplia variedad de lenguajes. También es conocida como una técnica de transformación de programas fuente-a-fuente para especializar programas con respecto a una parte de sus datos de entrada (por ello también es conocida como especialización de programas). La evaluación parcial ha sido intensamente aplicada en el área de la programación funcional [CD93, JGS93, Tur86] y en programaci ón lógica [Gal93, Kom82b, LS91, PP94], donde ésta es normalmente conocida como deducción parcial. También en lenguajes imperativos como C en [TBC+98], o aplicada a un subconjunto importante de C en [And92] donde reportan la primera implementación autoaplicable de evaluación parcial para un lenguaje imperativo. Y en lenguajes formales como Scheme en [Jør92a, Jør92b] donde generan compiladores a partir de intérpretes. Cuando tenemos un programa sólo con algunos de sus datos de entrada conocidos no podemos ejecutar el programa, sin embargo podemos optimizar el programa computando respuestas tanto como sea posible. La evaluación parcial es una técnica que permite la ejecución parcial de un programa [MS97]. / Arroyo Delgado, G. (2012). Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17655 / Palancia

Avec l'augmentation du nombre de capteurs et d'actuateurs dans les avions et le développement de liaisons de données fiables entre les avions et le sol, il est devenu possible d'améliorer la sécurité et la fiabilité des systèmes à bord en appliquant des techniques d'analyse en temps réel. Cependant, étant donné la disponibilité limité des ressources de calcul embarquées et le coût élevé des liaisons de données, les solutions architecturelles actuelles ne peuvent pas exploiter pleinement toutes les ressources disponibles, limitant leur précision.Notre but est de proposer un algorithme distribué de prédiction de panne qui pourrait être exécuté à la fois à bord de l'avion et dans une station au sol tout en respectant un budget de communication. Dans cette approche, la station au sol disposerait de ressources de calcul rapides et de données historiques et l'avion disposerait de ressources de calcul limitées et des données de vol actuelles.Dans cette thèse, nous étudierons les spécificités des données aéronautiques et les méthodes déjà existantes pour produire des prédictions de pannes à partir de ces dernières et nous proposerons une solution au problème posé. Notre contribution sera détaillé en trois parties.Premièrement, nous étudierons le problème de prédiction d'événements rares créé par la haute fiabilité des systèmes aéronautiques. Beaucoup de méthodes d'apprentissage en classification reposent sur des jeux de données équilibrés. Plusieurs approches existent pour corriger le déséquilibre d'un jeu de donnée et nous étudierons leur efficacité sur des jeux de données extrêmement déséquilibrés.Deuxièmement, nous étudierons le problème d'analyse textuelle de journaux car de nombreux systèmes aéronautiques ne produisent pas d'étiquettes ou de valeurs numériques faciles à interpréter mais des messages de journaux textuels. Nous étudierons les méthodes existantes basées sur une approche statistique et sur l'apprentissage profond pour convertir des messages de journaux textuels en une forme utilisable en entrée d'algorithmes d'apprentissage pour classification. Nous proposerons notre propre méthode basée sur le traitement du langage naturel et montrerons comment ses performances dépassent celles des autres méthodes sur un jeu de donnée public standard.Enfin, nous offrirons une solution au problème posé en proposant un nouvel algorithme d'apprentissage distribué s'appuyant sur deux paradigmes d'apprentissage existant, l'apprentissage actif et l'apprentissage fédéré. Nous détaillerons notre algorithme, son implémentation et fournirons une comparaison de ses performances avec les méthodes existantes / With the rise of the number of sensors and actuators in an aircraft and the development of reliable data links from the aircraft to the ground, it becomes possible to improve aircraft security and maintainability by applying real-time analysis techniques. However, given the limited availability of on-board computing and the high cost of the data links, current architectural solutions cannot fully leverage all the available resources limiting their accuracy.Our goal is to provide a distributed algorithm for failure prediction that could be executed both on-board of the aircraft and on a ground station and that would produce on-board failure predictions in near real-time under a communication budget. In this approach, the ground station would hold fast computation resources and historical data and the aircraft would hold limited computational resources and current flight's data.In this thesis, we will study the specificities of aeronautical data and what methods already exist to produce failure prediction from them and propose a solution to the problem stated. Our contribution will be detailed in three main parts.First, we will study the problem of rare event prediction created by the high reliability of aeronautical systems. Many learning methods for classifiers rely on balanced datasets. Several approaches exist to correct a dataset imbalance and we will study their efficiency on extremely imbalanced datasets.Second, we study the problem of log parsing as many aeronautical systems do not produce easy to classify labels or numerical values but log messages in full text. We will study existing methods based on a statistical approach and on Deep Learning to convert full text log messages into a form usable as an input by learning algorithms for classifiers. We will then propose our own method based on Natural Language Processing and show how it outperforms the other approaches on a public benchmark.Last, we offer a solution to the stated problem by proposing a new distributed learning algorithm that relies on two existing learning paradigms Active Learning and Federated Learning. We detail our algorithm, its implementation and provide a comparison of its performance with existing methods

The thesis deals with the issue of the implementation of the corporate information system of the ERP category, specifically the introduction of the module of APO for SAP in the chosen manufacturing company. The work presents the theoretical fundamentals describing the basics of ERP along with available methodologies, the implementation of these systems. Also analyzes the frequent causes of delayed implementation projects and provides the basis for the search for the causes of the problems. In the next section it is made an overall analysis of the current state of the ERP system in the company. At the conclusion of this work are defined recommendations, which can be prevented critical factors and implementation could be completed according to the established timetable.

The goal of the thesis is to create a project documentation for extencion of services in selected company, which is focused on selling sport cameras in store in Prague and also with e-shop. For create were used the methods of project management.

The diploma thesis deals with an analysis and detailed description of a particular IT company's project lifecycle, its evaluation and an improvement plan implementation. Theoretical part of the thesis contains methods of the project management which are further used in the planning part of the thesis. This is followed by an analysis of the current state of the technical facilities of the customer's company, and a market analysis of the company. The main part of this thesis is focused on describing the solution for migration of existing terminal farms of the customer to the cloud datacenters of the new provider of terminal services, using appropriate methods and tools of project management. The project's benefits for the company are listed in the conclusion.

This master´s thesis focuses on the area of Czech electronic commerce, where it deals with one of the biggest Internet e-shops of Internet Mall, a.s. The aim of the thesis is a project proposal that will change the current model of internet shopping at Mall.cz. The design is processed using IPMA® project management methods.

The main aim of the diploma thesis is a design of two bridges on D1 highway (Říkovice – Přerov). Structural system of these two bridges is a seven spans continuous beam. The bridges span the rail track and road I/35. The structural system of these two bridges is identical. The preliminary design is processed in two options. The first one considers the use of post-tensioned pre-casted beams PETRA with cast-in place cross beams and composite bridge deck. The second draft considers the use of two slab-beam with the cross beams. Effects of loads were calculated in SCIA Engineer program. The build-up phases were assessed by TDA method. The assessment of the structure was made according to EC.

This master’s thesis focuses on practical use of project management methods for a project proposal of new website for a selected town section. Initially, the thesis specifies theoretical knowledge needed to understand the problematics, after which continues by analysing the corporate environment. Based on the outcomes, the project proposal solution is created for the main purpose of improving the offered services to citizens and elevating the municipal reputation.

Diploma thesis creates the project design for changes in the purchase process in the selected company together using the tools and methodologies of project management. Based on an analysis of the business environment and key theoretical background of project management, it brings in the draft plan project, usable for its future company‘s implementation.

This master´s thesis is focused on the practical use of project management methods for a project proposal of new attendance system for the primary school Vejrostova. First of all, the specifics of theoretical knowledge needed to understand the problematics, including the analysis of the corporate environment, are explained. Based on these outcomes, the project proposal solution is created for the main purpose of improving the quality of the school´s security system and improving internal services leading to increased employee efficiency and stakeholder satisfaction.