{"title":"Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition","authors":"I. Borza, F. Turcu, M. Najim","doi":"10.1109/SYNASC.2009.10","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.10","url":null,"abstract":"This paper presents a hybrid model which is applicable to a wide variety of unidimensional signals like speech and more complex audio signals. We propose a new criterion for an optimal reconstruction of an unidimensional signal based on Wold-like decomposition of the stochastic processes. This decomposition inthe case 1D implies two mutually orthogonal parts: a purely indeterministic part and a deterministic part, which can be modelled respectively by an autoregressive model and by a harmonic model. The problem to which we answer is the identification and the separation of the two parts, by a new criterion which combines the quality and the parsimony of the parametric representations. Both analytical and experimental results show that the deterministic part and completely non-deterministic components should be parametrized separately. The model proposed by us is very efficient in terms of the numbers of parameters used in the reconstruction of the original signal.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125819261","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Cârstea, Georgiana Macariu, M. Frîncu, D. Petcu
{"title":"Description and Execution of Patterns for Symbolic Computations","authors":"A. Cârstea, Georgiana Macariu, M. Frîncu, D. Petcu","doi":"10.1109/SYNASC.2009.40","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.40","url":null,"abstract":"The principal benefit introduced by distributed systems is the ability to use the computation power and processing capabilities of multiple processing nodes in order to solve problems infeasible on a single machine. For symbolic computing these advantages are particularly useful. In order to create a successful distributed system to support symbolic computations is important to have a deep understanding of the way the computer algebra specialists interact with a symbolic computing system. In this paper we investigate general processing capabilities of symbolic computing systems related to control flow and we emphasize several execution patterns. The impact that workflow management functionalities have over general execution patterns in symbolic computing are also investigated.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126046314","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Coloring Random Graphs: A Short Survey","authors":"L. Kirousis","doi":"10.1109/SYNASC.2009.8","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.8","url":null,"abstract":"In this invited talk we present a short survey of some recent graphs on coloring random graphs.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117017567","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Unified Strategy for Feature Selection and Data Imputation","authors":"C. V. Bratu, R. Potolea","doi":"10.1109/SYNASC.2009.53","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.53","url":null,"abstract":"Data-related issues represent the main causes for insufficient performance in data mining. Existing strategies for tackling these issues include procedures for handling incomplete data – mandatory in various schemes, and feature selection, both augmenting the learning process. Our previous work on data imputation has shown that a good imputation policy for strongly correlated attributes with the class can improve the learning accuracy. Moreover, feature selection also enhances the performance of an inducer. The focus of the paper is to validate the performance and stability of our combined methodology for pre-processing data. The novelty of the method resides in the combination of feature selection with data imputation, in order to obtain an improved version of the training set. The experimental results have shown that, when mining incomplete data, our combined pre-processing methodology boosts the accuracy of a classifier. Moreover, it is more successful than each of the individual steps it combines,feature selection and imputation, producing better or similar results.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"264 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116491811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mamdani FLC with Various Implications","authors":"I. Iancu, M. Colhon","doi":"10.1109/SYNASC.2009.32","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.32","url":null,"abstract":"The task of the standard Mamdani fuzzy logic controller is to find a crisp control action from the fuzzy rule-base and from a set of crisp inputs. Because the interval inputs are frequently used in various domains (online shopping, for instance), in this paper we propose an extension of this type of controller which works with intervals as inputs and with various implication operators. For any implication we obtain a crisp value as output. Finally, these outputs are combined to obtain the overall crisp output action of the system.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121533986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"m-Hilbert Polynomial and Arbitrariness of the General Solution of Partial Differential Equations","authors":"Q. Ding, Hong-qing Zhang","doi":"10.1109/SYNASC.2009.22","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.22","url":null,"abstract":"Using the framework of formal theory of partial differential equations, we consider a method of computation of the m-Hilbert polynomial (i.e. Hilbert polynomial with multivariable), which generalizes the Seiler's theorem of Hilbert polynomial with single variable. Next we present an approach to compute the number of arbitrary functions of positive differential order in the general solution, and give a formally well-posed initial problem. Finally,as applications the Maxwell equations and weakly over determined equations are considered.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"306 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124362809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On a Functional-Differential Equation from Price Theory","authors":"Anton S. Muresan","doi":"10.1109/SYNASC.2009.14","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.14","url":null,"abstract":"In this paper we consider a functional-differential equation which appears in price theory and in the dynamics of economical systems. We give some new results about existence, uniqueness and data dependence of the solution of a problem which appears in conection with this functional-differential equation. These results are obtained by using Picard operator's technique and an abstract model for the steps method, due to the Professor Ioan A. Rus.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134127792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows","authors":"B. Jakimovski, Dragan Sahpaski, G. Velinov","doi":"10.1109/SYNASC.2009.51","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.51","url":null,"abstract":"In this paper we present improvement of the performance of Grid Direct Acyclic Graph (DAG) workflow genetic algorithm by harnessing the power of High Level Petri-Nets workflow model. Genetic Algorithms are very powerful optimization technique that is easily parallelized using different approaches which makes it ideal for the Grid. The High Level Petri-Net workflow model greatly outperforms currently available DAG workflow model available in gLite Grid middleware. Using the flexibility of the High Level Petri-Net workflows we have designed an adaptive workflow that overcomes the heterogeneity and unpredictability of the Grid infrastructure, giving users better and more stable execution times than formerly used DAG workflows. The experimental results obtained by Genetic Algorithm optimization of performance of the Data Warehouse design have shown advantages of the new approach by shortening the optimization time up to 50%for the same CPU time utilization. Another advantage is the increased stability of the time variance of the estimated execution time to approximately 30 minutes for runs on different Grid loads.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"268 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115666192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Factorizations of Regular Hedge Languages","authors":"M. Marin, A. Craciun","doi":"10.1109/SYNASC.2009.27","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.27","url":null,"abstract":"Regular hedge languages are an extension of regular tree languages that received renewed attention since their recognition as a formal model of XML schemata. They share several properties with regular languages, but their study is more involved because we need to analyze regularities of sequences of trees instead of words. We show that one shared property is the existence of only finitely many language factors and the possibility to compute and arrange them in a factor matrix with some remarkable properties. We outline an algorithm for the computation of the factor matrix and indicate an application of the factor matrix of an RHL to the solution of a concrete language reconstruction problem.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124246707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Classes of Szilard Languages in NC^1","authors":"Liliana Cojocaru, E. Mäkinen, F. Ţiplea","doi":"10.1109/SYNASC.2009.58","DOIUrl":"https://doi.org/10.1109/SYNASC.2009.58","url":null,"abstract":"We prove that Szilard languages of context-free grammars can be accepted by an indexing alternating Turing machine (indexing ATM) in logarithmic time and space. The same result holds for leftmost Szilard languages of unrestricted (phrase-structure or type 0) grammars. Since the class of languages recognizable by an indexing ATM in logarithmic time equals the U_E-uniform NC1 class, we obtain that the above classes of Szilard languages are in NC1. The inclusions are strict, since there exist languages in NC1 that cannot be Szilard languages of any context-free or unrestricted grammar.","PeriodicalId":286180,"journal":{"name":"2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114322941","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}