发布求助
文献互助 智能选刊 最新文献

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)最新文献

筛选
英文 中文
A Hybrid CPU/GPU Approach for the Parallel Algebraic Recursive Multilevel Solver pARMS 并行代数递归多层求解器pARMS的CPU/GPU混合方法
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-24 DOI: 10.1109/SYNASC.2016.069
Aygul Jamal, M. Baboulin, Amal Khabou, M. Sosonkina
{"title":"A Hybrid CPU/GPU Approach for the Parallel Algebraic Recursive Multilevel Solver pARMS","authors":"Aygul Jamal, M. Baboulin, Amal Khabou, M. Sosonkina","doi":"10.1109/SYNASC.2016.069","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.069","url":null,"abstract":"We illustrate how the distributed parallel Algebraic Recursive Multilevel Solver based on MPI can be adapted for heterogeneous CPU/GPU architectures. The tasks performed on the GPU are related to the preconditioning of each part of the distributed matrix (local preconditioning) which is handled in the distributed version by each MPI process. The solving step remains on the CPU. In our implementation, the local preconditioning can be based either on the randomization of the last Schur complement system in the multilevel recursive process, or on an Incomplete LU factorization from the MAGMA library. Numerical experiments show that a promising performance improvement can be obtained using either randomized multilevel recursive preconditioning or Incomplete LU preconditioning for large enough matrices. Each preconditioning method ensures a good performance for a given set of matrices.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116699190","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}
引用次数: 5
The Time Yards Model - Rethinking the Way to Look at Texts 时间码模型——重新思考看待文本的方式
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.016
D. Cristea
{"title":"The Time Yards Model - Rethinking the Way to Look at Texts","authors":"D. Cristea","doi":"10.1109/SYNASC.2016.016","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.016","url":null,"abstract":"This paper is about copying on artificial agents humans’ perception of time and their ability to producecondensed short stories out of large free texts. We propose a model intended to objectivize processes that help to achievethis reasoning behaviour on machines.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117346738","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}
引用次数: 0
Numerical Results for the Coupling of a Simple Neutronics Diffusion Model and a Simple Hydrodynamics Low Mach Number Model without Coupling Codes 无耦合代码的简单中子扩散模型与简单流体力学低马赫数模型耦合的数值结果
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.030
S. Dellacherie, E. Jamelot, O. Lafitte, R. Mouhamad
{"title":"Numerical Results for the Coupling of a Simple Neutronics Diffusion Model and a Simple Hydrodynamics Low Mach Number Model without Coupling Codes","authors":"S. Dellacherie, E. Jamelot, O. Lafitte, R. Mouhamad","doi":"10.1109/SYNASC.2016.030","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.030","url":null,"abstract":"We obtain an analytic solution of a monodimensionalstationary system coupling two simplified models, one solving the thermohydraulic equations, the other onesolving the neutronic diffusion equation with one energygroup (characterized by the diffusion coefficient, the absorptionand the fission cross sections which are assumed to dependonly on temperature). This analytic solution relies on theconstruction of two auxiliary functions. Realistic values of thecross sections (given at some values of the temperature) yield, by interpolation, approximate expressions for the cross sections. Projection of these functions on a 2d space using finite elementmethod leads to a approximate simplified ODE, from whichone deduces an approximation of the analytic solution usingincomplete Jacobi elliptic integrals.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130368177","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}
引用次数: 3
Symbolic Computation Techniques in Satisfiability Checking 可满足性检验中的符号计算技术
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.014
E. Ábrahám
{"title":"Symbolic Computation Techniques in Satisfiability Checking","authors":"E. Ábrahám","doi":"10.1109/SYNASC.2016.014","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.014","url":null,"abstract":"Satisfiability Checking is a relatively young research area, aiming at the development of efficient software technologies for checking the satisfiability of existentially quantified logical formulas. Besides the success story of SAT solving for propositional logic, SAT-modulo-theories (SMT) solvers offer sophisticated solutions for different theories. When targeting arithmetic theories, SMT solvers also make use of decision procedures rooted in Symbolic Computation. In this paper we give a brief introduction to SMT solving, discuss differences to Symbolic Computation, and illustrate the potentials and obstacles for embedding Symbolic Computation techniques in SMT solving on the example of the Cylindrical Algebraic Decomposition.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124055390","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}
引用次数: 0
Use of Genetic Algorithms in Numerical Weather Prediction 遗传算法在数值天气预报中的应用
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.075
Liviu Oana, Adrian F. Spataru
{"title":"Use of Genetic Algorithms in Numerical Weather Prediction","authors":"Liviu Oana, Adrian F. Spataru","doi":"10.1109/SYNASC.2016.075","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.075","url":null,"abstract":"This paper investigates the use of genetic algorithms in conjunction with the WRF - Weather Research and Forecast numerical weather prediction system in order to optimize the physical parametrization configuration and to improve the forecast of two important atmospheric parameters: 2 meter temperature and relative humidity. Our research showed good results in improving the average prediction error in limited amount of iterations and this could prove helpful in building GA optimized ensemble forecasts, especially when focusing on specific atmospheric parameters. The optimization process performed well in finding optimal physical configurations for humidity prediction, but showed poor results for temperature forecast, more experiments need to be conducted in order to have a clear view over the utility of using GA techniques for physical parametrization optimization.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127921222","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}
引用次数: 14
A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees 基于模糊决策树的软件缺陷预测新方法
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.046
Z. Marian, Ioan-Gabriel Mircea, I. Czibula, G. Czibula
{"title":"A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees","authors":"Z. Marian, Ioan-Gabriel Mircea, I. Czibula, G. Czibula","doi":"10.1109/SYNASC.2016.046","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.046","url":null,"abstract":"Detecting defective entities from existing software systems is a problem of great importance for increasing both the software quality and the efficiency of software testing related activities. We introduce in this paper a novel approach for predicting software defects using fuzzy decision trees. Through the fuzzy approach we aim to better cope with noise and imprecise information. A fuzzy decision tree will be trained to identify if a software module is or not a defective one. Two open source software systems are used for experimentally evaluating our approach. The obtained results highlight that the fuzzy decision tree approach outperforms the non-fuzzy one on almost all case studies used for evaluation. Compared to the approaches used in the literature, the fuzzy decision tree classifier is shown to be more efficient than most of the other machine learning-based classifiers.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132795771","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}
引用次数: 11
Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution 基于自适应差分进化的无功系统测试输入生成优化
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.042
A. Szenkovits, Noémi Gaskó, Hunor Jakab
{"title":"Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution","authors":"A. Szenkovits, Noémi Gaskó, Hunor Jakab","doi":"10.1109/SYNASC.2016.042","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.042","url":null,"abstract":"The development of search-based algorithms forautomatic test case generation is a key issue in the researcharea of software testing. Evolutionary algorithms have beenfrequently used for this purpose due to their ability to solvecomplex optimization problems. In this paper we introduce anovel approach to the automatic test-case generation problemfor reactive software systems. We build upon our previouswork where we defined a test generation framework based onparameterized executable environment models written in theLutin language. The main contribution of this paper is theapplication of a self-adaptive evolutionary algorithm, JADE inthe context of our test generation framework and the evaluationof its performance on a realistic reactive system written in Scade. Our preliminary results show that adaptive differential evolutioncan be used efficiently to increase the structural coverage of thesystem under test and is easier to use due to the fewer parametersthat require fine-tuning.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"29 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131415771","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}
引用次数: 1
Polynomial GCDs by Syzygies Syzygies的多项式gcd
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.021
Eliana Duarte, Daniel Lichtblau
{"title":"Polynomial GCDs by Syzygies","authors":"Eliana Duarte, Daniel Lichtblau","doi":"10.1109/SYNASC.2016.021","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.021","url":null,"abstract":"We provide a simple method, using Gröbner bases over modules, to compute multivariate polynomial greatest common divisors. The approach we show is flexible, adaptable to algebraic extensions of the rationals or prime fields, and is notably faster than prior methods that work with Gröbner bases. It can be used in situations where sparse interpolation might be difficult to implement, e.g. when there are few points for interpolation (small prime fields) or in the presence of non-numeric algebraic relations.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124436229","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}
引用次数: 3
Behavioral Trading System - Detecting Crisis, Risk and Stability in Financial Markets 行为交易系统——侦测金融市场的危机、风险和稳定
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.051
M. Tirea, V. Negru
{"title":"Behavioral Trading System - Detecting Crisis, Risk and Stability in Financial Markets","authors":"M. Tirea, V. Negru","doi":"10.1109/SYNASC.2016.051","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.051","url":null,"abstract":"The goal of this paper is to create a hybrid system based on a Multi-Agent Architecture that will investigate the evolution of some prediction strategies (Elliott Wave, Lucas, GANN) along with technical, fundamental and macro-economical analysis methods on stock market indexes and how this information influences the stock market behavior in order to improve the profitability on a short or medium time period investment. The proposed system correlates the results from Elliott Wave, GANN and Lucas methods in order to determine a better prediction of the stock price position on the trend and based on this to determine which will be its future direction. The system also finds correlations between the pattern recognition methods and technical and fundamental methods results in order to find the direction of the market trend, to predict the next day price of a stock and to trigger a useful buy/sell signal. In order to validate our model a prototype was developed and applied to the Bucharest Stock Exchange Market indexes.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128227487","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}
引用次数: 0
Extracting Gamers' Opinions from Reviews 从评论中提取玩家意见
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2016-09-01 DOI: 10.1109/SYNASC.2016.044
Dorinela Sirbu, Ana Secui, M. Dascalu, S. Crossley, Stefan Ruseti, Stefan Trausan-Matu
{"title":"Extracting Gamers' Opinions from Reviews","authors":"Dorinela Sirbu, Ana Secui, M. Dascalu, S. Crossley, Stefan Ruseti, Stefan Trausan-Matu","doi":"10.1109/SYNASC.2016.044","DOIUrl":"https://doi.org/10.1109/SYNASC.2016.044","url":null,"abstract":"Opinion mining and sentiment analysis are a trending research domain in Natural Language Processing focused on automatically extracting subjective information, feelings, opinions, ideas or emotions from texts. Our study is centered on identifying sentiments and opinions, as well as other latent linguistic dimensions expressed in on-line game reviews. Over 9500 entertainment game reviews from Amazon were examined using a Principal Component Analysis applied to word-count indices derived from linguistic resources. Eight affective components were identified as being the most representative semantic and sentiment-oriented dimensions for our dataset. These components explained 51.2% of the variance of all reviews. A Multivariate Analysis of Variance showed that five of the eight components demonstrated significant differences between positive, negative and neutral game reviews. These five components used as predictors in a Discriminant Function Analysis, were able to classify game reviews into positive, negative and neutral ratings with a 55% accuracy.","PeriodicalId":268635,"journal":{"name":"2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128607372","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}
引用次数: 8
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信