Diploma thesis is focused on enterprise planning. The main part of the thesis is dedicated to the design of the planning model in the SW company, which comes from real condition of big SW company. The first chapter introduces the world of enterprise planning to the reader. There are clarified reasons of current rise of demand in this area of planning and the advantages of its use. The following chapter explains the essential theory related to enterprise planning area. It also mentions other system approaches to enterprise planning. In the end of the chapter there are described main principles of the CPM concept and its relation to enterprise planning. The fourth chapter is aimed at the current state, requirements and the issues of the planning processes in companies. The outcome of this chapter is set of recommendations for company planning process and company plans itself. The next chapter familiarizes the reader with the current market situation of the planning suites. There are described main players on this market (and their products), acquisitions proceeded in last time and awaited evolution in future. The sixth chapter is focused on the real planning project itself. It introduces the used product -- Cognos Planning. It follows with description of the main principles of model building -- the essential terminology, key plan objects on which basis is the model built and the process of the model development. At the end of chapter is the summary of the project and its contribution to company. The end of thesis depicts expected progress in this sphere of planning and evaluates the fulfillment of thesis targets and its contribution to this area.

Both topic and main objective of the diploma thesis is a comparison of free data mining suites. Subjects of comparison are six particular applications developed under university projects as experimental tools for data mining and mediums for educational purposes. Criteria of the comparison are derived from four general aspects that form the base for further analyses. Each system is evaluated as a tool for handling real-time data mining tasks, a tool supporting various phases of the CRISP-DM methodology, a tool capable of practical employment on certain data and as a common software system. These aspects bring 31 particular criteria for comparison, evaluation of whose was determined by thorough analysis of each system. The results of comparison confirmed the anticipated assumption. As the best tool the Weka data mining suite was evaluated. The main advantages of Weka are high number of machine learning algorithms, numerous data preparation tools and speed of processing.

Cette thèse est composée d'une partie sur la conjecture des familles stables par unions et de quatre autres chapitres consacrés aux sujets liés aux suites automatiques. Dans la première partie, on donne une condition suffisante pour qu'une version affaiblie de la conjecture soit vraie. On donne aussi un majorant de la fréquence maximale minimale dans une famille de taille $n$. Dans Chapitre 3 on démontre que la formule d'extraction des coefficients des séries algébriques connue pour les corps à caractéristique $0$ est une conséquence d'un théorème de Furstenberg qui permet d'écrire certaines séries algébriques comme les diagonales des fractions rationnelles à deux variables. Comme ce théorème est valide pour tous les corps, la formule l'est aussi. Dans Chapitre 4 on donne une généralisation des résultats de J.-P. Allouche et J. Shallit concernant certains produits infinis et les fonctions qui comptent le nombre d'occurrences d'un facteur dans l'expansion en base $B$ de $n$. Dans Chapitre 5 on donne une construction explicite d'un mot infini avec complexité en facteur de $\Theta(n^t)$ avec la valuation $p$-adique. Dans Chapitre 6 on donne une nouvelle démonstration de la transcendance de la série formelle $L(1,\chi_s)/\Pi$, où $L$ est un analogue des fonctions $L$ de Dirichlet en caractéristique finie défini par D. Goss et $\Pi$ l'analogue de $\pi$ défini par L. Carlitz. / This thesis comprises one part concerning the union-closed sets conjecture and four other chapters dedicated to subjects related to automatic sequences. In the first part, we give a sufficient condition for a weaker version of the conjecture ($\varepsilon$-union closed sets conjecture) to hold. We also give an upper bound of the minimal maximal frequency for a family of size $n$. In Chapter 3 we prove that the coefficient extraction formula for algebraic series known for fields of characteristic $0$ is a consequence of a theorem of Furstenberg that says certains algebraic series can be written as the diagonals of a rational fractions in two variables. As the theorem is true for all fields, so is the formula. In Chapter 4 we give a generalization of the result of J.-P. Allouche and J. Shallit concerning certain infinite products and block-counting functions. In Chapter 5 we give an explicit construction based on $p$-adic valuation of an infinite word with subword complexity $\Theta(n^t)$. In Chapter 6 we give a new proof of the transcendence of the power series $L(1,\chi_s)/\Pi$, where $L$ is an analogue in positive characteristics of Dirichlet $L$ functions defined by D. Goss and $\Pi$ the analogue of $\pi$ defined by L. Carlitz.

Four works are selected to demonstrate the stature and demands of this craft and to represent a pinnacle in the art of contemporary woodwind doubling. Concerto for Doubles, by Thomas Filas, Concerto Tri-Chroma. by Michael Kibbe, Rhapsody Nova, by Clare Fischer and Suite for Solo Flute. Clarinet and Alto Saxophone by Claude Smith all represent rare, major solo works written specifically for three individual woodwind doublers. The paper will begin with a history of the practice of woodwind doubling from the fifteenth century to the present. The four works will then be examined by considering form, style and related performance practices.

The music of Marin Marais, a major figure among the French Baroque bass viol composer-performers, is seldom played today. His compositions which are artistically and historically significant, should be available to instrumentalists of this century. Marais published five volumes of bass viol compositions. Seven movements were transcribed from the Second Suite of Marais' first volume. The first chapter is an introduction to Marais; the second chapter pertains to the bass viol and its styles of performance, and the final chapter illustrates the editing required for the transcription. The problems encountered were those of adapting the melodic, harmonic, and contrapuntal styles of the seven-stringed bass viol to the double bass which is normally monophonous. Melodic elements were unchanged, chords were simplified, and contrapuntal lines were retained by giving the second voice to the continuo bass.

[ES] El planteamiento inicial de esta investigación surgió buscando una justificación lógica que ayudara en la interpretación de la música que los compositores tratan de plasmar por escrito en la partitura, a través de indicaciones en ocasiones poco concretas, con la finalidad de explicar al oyente la trama argumental y la expresividad inherente de la pieza. Con este estudio se pretende descubrir los patrones de trabajo utilizados por Franz Liszt en el diseño de estructuras pequeñas o microformas musicales, para así poder establecer el nexo entre éstas y lo que quiere evocar o describir con ellas. Para ello surge la propuesta de catalogar los recursos descriptivos y procedimientos compositivos y pianísticos usados por el pianista y compositor húngaro. El buscar e interrelacionar la idea programática de sus obras con el pensamiento descriptivo musical que las inspiró, analizar los recursos compositivos que utilizó para profundizar en la razón expresiva que motivó la importante transformación y renovación de las formas clásicas que efectuó y por último, estudiar el proceso de elaboración individual de la estructura formal de cada obra, así como buscar los paralelismos o semejanzas con las ideas descriptivas y las figuraciones o recursos musicales empleados por Franz Liszt. / [CA] El plantejament inicial d'aquesta investigació va sorgir buscant una justificació lògica que ajudara en la interpretació de la música que els compositors intenten plasmar per escrit a la partitura, a través d'indicacions de vegades poc concretes, amb la finalitat d'explicar a l'oient la trama argumental i la expressivitat inherent de la peça. Amb aquest estudi es pretén descobrir els patrons de treball utilitzats per Franz Liszt en el disseny d'estructures menudes o microformes musicals, per poder establir el nexe entre aquestes i el que vol evocar o descriure amb elles. Per això sorgeix la proposta de catalogar els recursos descriptius i procediments compositius i pianístics usats pel pianista i compositor hongarès. Buscar i interrelacionar la idea programàtica de les seves obres amb el pensament descriptiu musical que les va inspirar, analitzar els recursos compositius que va utilitzar per aprofundir en la raó expressiva que va motivar la important transformació i renovació de les VI formes clàssiques que va efectuar, finalment, estudiar el procés d'elaboració individual de l'estructura formal de cada obra, així com cercar els paral·lelismes o semblances amb les idees descriptives i les figuracions o recursos musicals emprats per Franz Liszt. / [EN] The initial approach of this research arose looking for a logical justification that would help in the interpretation of the music that the composers try to capture in writing in the score, through indications sometimes not awfully specific, to explain to the listener the plot and the inherent expressiveness of the piece. The aim of this study is to discover the work patterns used by Franz Liszt in the design of small structures or musical microforms, to establish the link between them and what he wants to evoke or describe with them. For this, the proposal arises to catalog the descriptive resources and compositional and pianistic procedures used by the Hungarian pianist and composer. The search for and interrelate the programmatic idea of his works with the musical descriptive thought that inspired them, analyze the compositional resources that he used to delve into the expressive reason that motivated the important transformation and renewal of the classical forms that he carried out and finally, study the process of individual elaboration of the formal structure of each work, as well as looking for the parallels or similarities with the descriptive ideas and the figurations or musical resources used by Franz Liszt. / Esplugues Esplugues, FJ. (2023). Procedimientos y recursos descriptivos del lenguaje pianístico de Franz Liszt. Los tres années de pèlerinage S.160, S.161 Y S.163 [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/202193

In this doctoral dissertation, we studied and solved several questions regarding positional and abstract numeration systems. Each particular problem is the focus of a chapter. The first problem concerns the study of the preservation of recognizability under multiplication by a constant in abstract numeration systems built on polynomial regular languages. We obtained several results generalizing those from P. Lecomte and M. Rigo. The second problem we considered is a decidability problem, which was already studied, most notably, by J. Honkala and A. Muchnik. For our part, we studied this problem for two new cases: the linear positional numeration systems and the abstract numeration systems. Next, we focused on the extension to the multidimensional setting of a result of A. Maes and M.~Rigo regarding S-automatic infinite words. We obtained a characterization of multidimensional S-automatic words in terms of multidimensional (non-necessarily uniform) morphisms. This result can be viewed as the analogous of O. Salon's extension of a theorem of A. Cobham. Finally, generalizing results of P. Lecomte and M. Rigo, we proposed a formalism to represent real numbers in the general framework of abstract numeration systems built on languages that are not necessarily regular. This formalism encompasses in particular the rational base numeration systems, which have been recently introduced by S. Akiyama, Ch. Frougny, and J. Sakarovitch. Finally, we ended with a list of open questions in the continuation of this work./Dans cette dissertation, nous étudions et résolvons plusieurs questions autour des systèmes de numération abstraits. Chaque problème étudié fait l'objet d'un chapitre. Le premier concerne l'étude de la conservation de la reconnaissabilité par la multiplication par une constante dans des systèmes de numération abstraits construits sur des langages réguliers polynomiaux. Nous avons obtenus plusieurs résultats intéressants généralisant ceux de P. Lecomte et M. Rigo. Le deuxième problème auquel je me suis intéressée est un problème de décidabilité déjà étudié notamment par J. Honkala et A. Muchnik et ici décliné en deux nouvelles versions : les systèmes de numération de position linéaires et les systèmes de numération abstraits. Ensuite, nous nous penchons sur l'extension au cas multidimensionnel d'un résultat d'A. Maes et de M. Rigo à propos des mots infinis S-automatiques. Nous avons obtenu une caractérisation des mots S-automatiques multidimensionnels en termes de morphismes multidimensionnels (non nécessairement uniformes). Ce résultat peut être vu comme un analogue de l'extension obtenue par O. Salon d'un théorème de A. Cobham. Finalement, nous proposons un formalisme de la représentation des nombres réels dans le cadre général des systèmes de numération abstraits basés sur des langages qui ne sont pas nécessairement réguliers. Ce formalisme englobe notamment le cas des numérations en bases rationnelles introduits récemment par S. Akiyama, Ch. Frougny et J. Sakarovitch. Nous terminons par une liste de questions ouvertes dans la continuité de ce travail.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

Dans ce manuscrit de thèse nous présentons des nouveaux résultats concernant l'existence, la non-existence, la multiplicité et la régularité des solutions positives pour deux problèmes quasilinéaires elliptiques avec conditions de Dirichlet dans un domaine borné. Dans le chapitre 1 d'introduction, nous décrivons les deux problèmes que nous allons étudier et nous donnons les principaux résultats. Le premier, d'inconnue u, comporte un terme de source de gradient à croissance critique. Le second, d'inconnue v, contient un terme source d'ordre 0. Dans le chapitre 2 nous donnons des nouveaux résultats de régularité des solutions renormalisées utiles pour notre étude. A l'aide d'un changement d'inconnue, nous établissons un lien précis entre les problèmes en u et v. Le chapitre 3 est consacré à montrer ce lien et à donner une première application. Dans les chapitres 4 et 5 nous traitons de l'existence de solutions, la solution extrémale et sa régularité, l'existence d'une deuxième solution bornée du problème en v. Dans le chapitre 6 nous démontrons un résultat d'existence pour le problème en v avec des données mesures de Radon bornées quelconques. Dans le chapitre 7 nous obtenons des nouveaux résultats pour le problème en u en utilisant la connexion entre ces deux problèmes.

Cette thèse s'inscrit dans le domaine de l'apprentissage statistique. Le cadre principal est celui de la prévision de suites déterministes arbitraires (ou suites individuelles), qui recouvre des problèmes d'apprentissage séquentiel où l'on ne peut ou ne veut pas faire d'hypothèses de stochasticité sur la suite des données à prévoir. Cela conduit à des méthodes très robustes. Dans ces travaux, on étudie quelques liens étroits entre la théorie de la prévision de suites individuelles et le cadre statistique classique, notamment le modèle de régression avec design aléatoire ou fixe, où les données sont modélisées de façon stochastique. Les apports entre ces deux cadres sont mutuels : certaines méthodes statistiques peuvent être adaptées au cadre séquentiel pour bénéficier de garanties déterministes ; réciproquement, des techniques de suites individuelles permettent de calibrer automatiquement des méthodes statistiques pour obtenir des bornes adaptatives en la variance du bruit. On étudie de tels liens sur plusieurs problèmes voisins : la régression linéaire séquentielle parcimonieuse en grande dimension (avec application au cadre stochastique), la régression linéaire séquentielle sur des boules L1, et l'agrégation de modèles non linéaires dans un cadre de sélection de modèles (régression avec design fixe). Enfin, des techniques stochastiques sont utilisées et développées pour déterminer les vitesses minimax de divers critères de performance séquentielle (regrets interne et swap notamment) en environnement déterministe ou stochastique.