There is a wide range of applications of non-equidistant discretization of real signals. For instance, in computer graphics, Fourier analysis, identification and control theories, etc. They have the common ability to describe dynamical systems as well. In this paper we provide a fast algorithm based on an existing mathematical model to compute a non-uniform grid for representing different types of signals. In order to do that we need new concepts for constructing an effective numerical solution. Additionally, two experiments are performed to investigate the accuracy of the method. Finally, we also present a parallel implementation in CUDA which can further improve the execution time.
{"title":"Fast Computing of Non-uniform Sampling Positions for Real Signals","authors":"P. Kovács, Viktor Vad","doi":"10.1109/SYNASC.2013.27","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.27","url":null,"abstract":"There is a wide range of applications of non-equidistant discretization of real signals. For instance, in computer graphics, Fourier analysis, identification and control theories, etc. They have the common ability to describe dynamical systems as well. In this paper we provide a fast algorithm based on an existing mathematical model to compute a non-uniform grid for representing different types of signals. In order to do that we need new concepts for constructing an effective numerical solution. Additionally, two experiments are performed to investigate the accuracy of the method. Finally, we also present a parallel implementation in CUDA which can further improve the execution time.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128951154","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}
The advent of cloud computing is an opportunity to companies offering client-server services to migrate to a Software as a Service (SaaS) kind of business model. This kind of business model is based on having companies offering services on the cloud accessible by means of web interfaces and protocols. This comes in opposition to the traditional (client-server) model in which software packages need to be downloaded, installed and maintained directly by clients. Therefore, the SaaS could allow the definition of high level services, removing the burden of configuring and managing servers from clients. In the point of view of the service providers, this transition is not easy. Concerns such as vendor neutral design, scalability, (self-)adaptation and monitoring of running applications need to be dealt with. The MODAClouds FP7 EU project proposes to deal with all these challenges and it is going to use ModelioSaaS as a use case. ModelioSaaS is a software as a service product to be offered by SOFTEAM by means of the migration of its existing client-server based products. The main contributions of this paper are therefore providing an account, from the industrial point of view, of the context surrounding this migration and the constraints it needs to comply to. These constraints will be presented in the form of functional and non-functional requirements along with their rationale. This paper presents our current view of the architecture of ModelioSaaS that will enable this move and the gaps that we intend to fill be means of the MODAClouds platform.
{"title":"From the Desktop to the Multi-clouds: The Case of ModelioSaaS","authors":"M. A. D. Silva, Antonin Abhervé, A. Sadovykh","doi":"10.1109/SYNASC.2013.67","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.67","url":null,"abstract":"The advent of cloud computing is an opportunity to companies offering client-server services to migrate to a Software as a Service (SaaS) kind of business model. This kind of business model is based on having companies offering services on the cloud accessible by means of web interfaces and protocols. This comes in opposition to the traditional (client-server) model in which software packages need to be downloaded, installed and maintained directly by clients. Therefore, the SaaS could allow the definition of high level services, removing the burden of configuring and managing servers from clients. In the point of view of the service providers, this transition is not easy. Concerns such as vendor neutral design, scalability, (self-)adaptation and monitoring of running applications need to be dealt with. The MODAClouds FP7 EU project proposes to deal with all these challenges and it is going to use ModelioSaaS as a use case. ModelioSaaS is a software as a service product to be offered by SOFTEAM by means of the migration of its existing client-server based products. The main contributions of this paper are therefore providing an account, from the industrial point of view, of the context surrounding this migration and the constraints it needs to comply to. These constraints will be presented in the form of functional and non-functional requirements along with their rationale. This paper presents our current view of the architecture of ModelioSaaS that will enable this move and the gaps that we intend to fill be means of the MODAClouds platform.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114756222","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}
Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Gavrilut
In the increasing number of online threats and shape-shifting malware, the use of machine learning techniques has a good impact. To keep the efficiency of these techniques, the training and adaptation schedule must be constant. In this paper we study the behaviour of an automatic updating perceptron, with variable training frequency and using as input samples with increasing freshness. Other variable parameters are the features set and training set dimensions. The collected samples, clean and malicious are from the last year. We conclude with the observed optimal parameters which can be used to obtain a good proactivity.
{"title":"An Automatic Updating Perceptron-Based System for Malware Detection","authors":"Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Gavrilut","doi":"10.1109/SYNASC.2013.47","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.47","url":null,"abstract":"In the increasing number of online threats and shape-shifting malware, the use of machine learning techniques has a good impact. To keep the efficiency of these techniques, the training and adaptation schedule must be constant. In this paper we study the behaviour of an automatic updating perceptron, with variable training frequency and using as input samples with increasing freshness. Other variable parameters are the features set and training set dimensions. The collected samples, clean and malicious are from the last year. We conclude with the observed optimal parameters which can be used to obtain a good proactivity.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131640424","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}
Online auction sites have to deal with a enormous amount of product listings, of which a fraction is fraudulent. Although small in proportion, fraudulent listings are costly for site operators, buyers and legitimate sellers. Fraud prediction in this scenario can benefit significantly from machine learning techniques, although interpretability of model predictions is a concern. In this work we extend an unsupervised learning technique -- Self-Organizing Maps -- to use labeled data for binary classification under a constraint on the proportion of false positives. The resulting technique was applied to the prediction of non-delivery fraud, achieving good results while being easier to interpret.
{"title":"Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites","authors":"Vinicius Almendra, D. Enachescu","doi":"10.1109/SYNASC.2013.44","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.44","url":null,"abstract":"Online auction sites have to deal with a enormous amount of product listings, of which a fraction is fraudulent. Although small in proportion, fraudulent listings are costly for site operators, buyers and legitimate sellers. Fraud prediction in this scenario can benefit significantly from machine learning techniques, although interpretability of model predictions is a concern. In this work we extend an unsupervised learning technique -- Self-Organizing Maps -- to use labeled data for binary classification under a constraint on the proportion of false positives. The resulting technique was applied to the prediction of non-delivery fraud, achieving good results while being easier to interpret.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"03 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131320003","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}
We offer an experimental proof that the application of compression to data files can be used as a evaluation technique for minability of the data. This is based on the fact that the presence of patterns embedded in data has an influence of compressibility.
{"title":"Minability through Compression","authors":"D. Simovici","doi":"10.1109/SYNASC.2013.11","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.11","url":null,"abstract":"We offer an experimental proof that the application of compression to data files can be used as a evaluation technique for minability of the data. This is based on the fact that the presence of patterns embedded in data has an influence of compressibility.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130040769","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}
We introduce a Matlab mprec arbitrary precision library with applications to numerical analysis. For maximum efficiency arithmetic operators and algebraic functions are implemented in the mpreal class. The examples are chosen to reflect the diversity of types of problems for which multiple precision can play a useful role.
{"title":"Software Implementation of Numerical Algorithms in Arbitrary Precision","authors":"Z. Krougly, D. J. Jeffrey, Dina Tsarapkina","doi":"10.1109/SYNASC.2013.25","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.25","url":null,"abstract":"We introduce a Matlab mprec arbitrary precision library with applications to numerical analysis. For maximum efficiency arithmetic operators and algebraic functions are implemented in the mpreal class. The examples are chosen to reflect the diversity of types of problems for which multiple precision can play a useful role.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128749546","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}
In this paper we discuss cosmological N-Body/SPH simulations on parallel computing systems with distributed memory using GADGET-2. GADGET-2 (GAlaxies with Dark matter and Gas intEracT) is a novel cosmological simulation code, written in C++ and publicly available, developed by Volker Springel at the Max-Planck-Institute for Astrophysics in Munchen, Germany as an improved version of GADGET. It is a massively parallel code that uses an explicit communication model implemented with the standardized MPI communication interface. Our contribution consists of a scalability and performance analysis, done on different types of simulations ranging from thousands to hundreds of millions of particles. The size of the simulation is limited by the amount of available physical memory (RAM) when provided with sufficient computing time. Based on our study, we propose an inferior and superior limit to astrophysical simulations than can be run on a specific parallel computing system while maintaining a specific efficiency. We also outline a trend stating the computational resources that are necessary depending on the size of the simulation.
{"title":"N-Body Simulations with GADGET-2","authors":"V. Spiridon, E. Slusanschi","doi":"10.1109/SYNASC.2013.75","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.75","url":null,"abstract":"In this paper we discuss cosmological N-Body/SPH simulations on parallel computing systems with distributed memory using GADGET-2. GADGET-2 (GAlaxies with Dark matter and Gas intEracT) is a novel cosmological simulation code, written in C++ and publicly available, developed by Volker Springel at the Max-Planck-Institute for Astrophysics in Munchen, Germany as an improved version of GADGET. It is a massively parallel code that uses an explicit communication model implemented with the standardized MPI communication interface. Our contribution consists of a scalability and performance analysis, done on different types of simulations ranging from thousands to hundreds of millions of particles. The size of the simulation is limited by the amount of available physical memory (RAM) when provided with sufficient computing time. Based on our study, we propose an inferior and superior limit to astrophysical simulations than can be run on a specific parallel computing system while maintaining a specific efficiency. We also outline a trend stating the computational resources that are necessary depending on the size of the simulation.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121411682","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}
We continue the Coxeter spectral study of finite connected loop-free edge-bipartite graphs Δ, with n ≥ 2 vertices (a class of signed graphs), started in [SIAM J. Discrete Math., 27(2013), 827-854] by means of the complex Coxeter spectrum speccΔ ⊆ ℂ. Here, we discuss Coxeter spectral analysis problems of non-negative edge-bipartite graphs of corank s ≤ n-1, which means that the symmetric Gram matrix GΔ ∈ Mn(ℤ) is positive semi-definite of rank n-s ≤ n. In particular, we study in details the loop-free edge-bipartite graphs of corank s = n - 1. We present algorithms that generate all such edge-bipartite graphs of a given size and, using symbolic and numerical computer calculations in Python, and we obtain their complete classification in relation with Diophantine geometry problems. We also construct algorithms that allow us to classify all connected loop-free non-negative edge-bipartite graphs Δ, with a fixed number n ≥ 2 of vertices, by means of their Coxeter spectra speccΔ.
我们继续有限连通无环边二部图Δ的Coxeter谱研究，n≥2个顶点(一类有符号图)，开始于[SIAM J.离散数学]。， 27(2013)， 827-854]利用复Coxeter谱speccΔ本文讨论了corank s≤n-1的非负边二部图的Coxeter谱分析问题，这意味着对称Gram矩阵GΔ∈Mn(n)是秩n-s≤n的正半定的。特别地，我们详细研究了corank s = n-1的无环边二部图。我们提出了生成给定大小的所有这些边二部图的算法，并使用Python中的符号和数值计算机计算，我们获得了与丢芬图几何问题相关的完整分类。我们还构建了一种算法，允许我们对所有连接的无环非负边二部图Δ进行分类，这些图具有固定数目n≥2个顶点，通过它们的Coxeter谱speccΔ。
{"title":"On Computing Non-negative Loop-Free Edge-Bipartite Graphs","authors":"Grzegorz Marczak, D. Simson, Katarzyna Zając","doi":"10.1109/SYNASC.2013.16","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.16","url":null,"abstract":"We continue the Coxeter spectral study of finite connected loop-free edge-bipartite graphs Δ, with n ≥ 2 vertices (a class of signed graphs), started in [SIAM J. Discrete Math., 27(2013), 827-854] by means of the complex Coxeter spectrum specc<sub>Δ</sub> ⊆ ℂ. Here, we discuss Coxeter spectral analysis problems of non-negative edge-bipartite graphs of corank s ≤ n-1, which means that the symmetric Gram matrix G<sub>Δ</sub> ∈ M<sub>n</sub>(ℤ) is positive semi-definite of rank n-s ≤ n. In particular, we study in details the loop-free edge-bipartite graphs of corank s = n - 1. We present algorithms that generate all such edge-bipartite graphs of a given size and, using symbolic and numerical computer calculations in Python, and we obtain their complete classification in relation with Diophantine geometry problems. We also construct algorithms that allow us to classify all connected loop-free non-negative edge-bipartite graphs Δ, with a fixed number n ≥ 2 of vertices, by means of their Coxeter spectra specc<sub>Δ</sub>.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127029246","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}
It has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a ``Piano Mover's Problem'' which considers moving an infinitesimally thin piano (or ladder) through a right-angled corridor. Producing a CAD for the original formulation of this problem is still infeasible after 25 years of improvements in both CAD theory and computer hardware. We review some alternative formulations in the literature which use differing levels of geometric analysis before input to a CAD algorithm. Simpler formulations allow CAD to easily address the question of the existence of a path. We provide a new formulation for which both a CAD can be constructed and from which an actual path could be determined if one exists, and analyse the CADs produced using this approach for variations of the problem. This emphasises the importance of the precise formulation of such problems for CAD. We analyse the formulations and their CADs considering a variety of heuristics and general criteria, leading to conclusions about tackling other problems of this form.
{"title":"A \"Piano Movers\" Problem Reformulated","authors":"D. Wilson, J. Davenport, M. England, R. Bradford","doi":"10.1109/SYNASC.2013.14","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.14","url":null,"abstract":"It has long been known that cylindrical algebraic decompositions (CADs) can in theory be used for robot motion planning. However, in practice even the simplest examples can be too complicated to tackle. We consider in detail a ``Piano Mover's Problem'' which considers moving an infinitesimally thin piano (or ladder) through a right-angled corridor. Producing a CAD for the original formulation of this problem is still infeasible after 25 years of improvements in both CAD theory and computer hardware. We review some alternative formulations in the literature which use differing levels of geometric analysis before input to a CAD algorithm. Simpler formulations allow CAD to easily address the question of the existence of a path. We provide a new formulation for which both a CAD can be constructed and from which an actual path could be determined if one exists, and analyse the CADs produced using this approach for variations of the problem. This emphasises the importance of the precise formulation of such problems for CAD. We analyse the formulations and their CADs considering a variety of heuristics and general criteria, leading to conclusions about tackling other problems of this form.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115948443","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 simple and expressive formalism called TiMo is presented as a simplified version of timed distributed pi-calculus. TiMo aims to bridge the gap between the existing theoretical approach of process calculi and forthcoming realistic languages for multi-agent systems.
{"title":"TiMo: Timed Mobility in Distributed Systems","authors":"Gabriel Ciobanu","doi":"10.1109/SYNASC.2013.8","DOIUrl":"https://doi.org/10.1109/SYNASC.2013.8","url":null,"abstract":"A simple and expressive formalism called TiMo is presented as a simplified version of timed distributed pi-calculus. TiMo aims to bridge the gap between the existing theoretical approach of process calculi and forthcoming realistic languages for multi-agent systems.","PeriodicalId":293085,"journal":{"name":"2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133548036","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：