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

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

筛选
英文 中文
An Image Inpainting Technique Based on Parallel Projection Methods 一种基于并行投影法的图像绘制技术
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00027
Irina Maria Artinescu, C. Boldea
{"title":"An Image Inpainting Technique Based on Parallel Projection Methods","authors":"Irina Maria Artinescu, C. Boldea","doi":"10.1109/SYNASC.2018.00027","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00027","url":null,"abstract":"We propose in this paper a new method of image reconstruction by inpainting small pattern over a damaged scratch, using a variant of the parallel projection method (PPM) for solving the convex feasibility problem. The method is based on a fragmentation of the damaged region in small quadrilaterals and reconstruct the image by filling the scratch with PPM generated pattern. The algorithm is fast and directly parallelizable.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115684595","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
A Symmetric Nets Emulator for Adaptive P/T Nets 自适应P/T网络的对称网络仿真器
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00038
L. Capra, Matteo Camilli
{"title":"A Symmetric Nets Emulator for Adaptive P/T Nets","authors":"L. Capra, Matteo Camilli","doi":"10.1109/SYNASC.2018.00038","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00038","url":null,"abstract":"Despite Petri Nets represent a sound and expressive formal model for distributed discrete-event systems, they cannot specify in a natural way structural changes caused by adaptation procedures that are likely to occur in distributed applications running in a dynamically changing environment. In this paper a framework based on the Symmetric Nets formalism (SN) is proposed, able to emulate the behaviour of any Place/Transition (P/T) system, and safely implement changes to system's layout during execution. The advantage of this proposal is twofold: (i) the intrinsic features of SN formalism (and its timed extension) for efficient (performance) analysis can be exploited, (ii) powerful off-the-shelf software tools, that natively support Symmetric Nets, can ease both the modelling and the analysis phases. The limited data abstraction capabilities of SN require the use of a highnumber of non observable transitions to simulate the atomic firing of Petri nets' transitions. This gives rise to complexity issues in the model analysis, that are thoroughly discussed and (partially) faced.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129764760","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
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts Visual Basic中用于应用程序脚本的恶意软件混淆技术概述
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00051
Marilena Lupascu, Dragos Gavrilut, D. Lucanu
{"title":"An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts","authors":"Marilena Lupascu, Dragos Gavrilut, D. Lucanu","doi":"10.1109/SYNASC.2018.00051","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00051","url":null,"abstract":"In the ever changing malware landscape, office applications with support for VBA (Visual Basic for Applications) scripts have become an important piece of the puzzle, especially since they are one of the most effective email-based delivery method for new threats. This paper presents the research on approximatively 200 such cyber-attacks emphasizing social engineering techniques used, obfuscation methods applied and post-exploitation behavior.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128862673","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
Using Recommender Systems to Support Navigation in Concept Lattices 使用推荐系统支持概念格中的导航
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00046
Flaviu Berbecariu, C. Săcărea, Diana Sotropa
{"title":"Using Recommender Systems to Support Navigation in Concept Lattices","authors":"Flaviu Berbecariu, C. Săcărea, Diana Sotropa","doi":"10.1109/SYNASC.2018.00046","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00046","url":null,"abstract":"Formal Concept Analysis (FCA) is a prominent field of Applied Mathematics grounded on the formalization of the notions of concept and concept hierarchy. Based on the expressive power of the graphical representation of knowledge clusters as order diagrams, FCA is an expanding field, rooted now mainly in Knowledge Discovery and AI. This paper is devoted to a new idea for concept lattice navigation, based on recommender systems and a local navigation approach. By this we overcome one of the main problems in this field and propose an intelligent navigation assistant through the conceptual hierarchy. At each step, the visualization is limited to a local view consisting of three levels in the concept lattice and a recommender system provides the necessary navigation assistance.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124758022","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
An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method 用下拉法从熔体中生长单晶空心管的轴对称二维描述
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00025
A. Balint, S. Balint, Loredana Tanasie
{"title":"An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method","authors":"A. Balint, S. Balint, Loredana Tanasie","doi":"10.1109/SYNASC.2018.00025","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00025","url":null,"abstract":"This paper is an axis symmetric 2D description of a single crystal tube growth process by micro-pulling–down (PD) method. The description concerns the following aspects: the inner and outer free surfaces equations and the pressure differences across this free surfaces (section 2.); limits of the pressure differences across the free surfaces (section 3.); static stability of the capillary free surfaces (section 4). In section 5 the above aspects are numerically investigated in the case of the growth of a silicon micro tube of inner radius equal to 4.28x10-3[m] and outer radius equal to 4.72x10-3 [m]. The advantage of this description is that it helps to better understand the dependence of the inner and outer radius size of the tube on the pressure difference across the inner and outer free surface respectively, and may help the automation of manufacturing.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120998213","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
MES Specific Data Analysis. Case Study with the Baxter Robot MES具体数据分析。巴克斯特机器人的案例研究
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00053
D. Mitrea, L. Tamás
{"title":"MES Specific Data Analysis. Case Study with the Baxter Robot","authors":"D. Mitrea, L. Tamás","doi":"10.1109/SYNASC.2018.00053","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00053","url":null,"abstract":"In this research paper we aim to improve the functions of the Baxter robot [1] through data mining methods. Our case study belongs to the robotics domain, integrated in the context of Manufacturing Execution Systems (MES) and Product Lifecycle Management (PLM). The experimental data includes the parameters registered during the activities of the robot, such as the movement of the left or right arm and refers to collision events. The state of the art concerning the data mining methods is described, then our solution is detailed by presenting the approached data mining techniques. The adopted methods are detailed and then the experimental results are presented and discussed. Finally, the conclusions and further development possibilities are formulated, highlighting the utility of the adopted data mining methods, based on our previously stated objectives. An accuracy above 98% was achieved concerning the validation of our model.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128088215","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
The Rôle of Benchmarking in Symbolic Computation (Position Paper) 符号计算中的基准测试Rôle(立场文件)
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00050
J. Davenport
{"title":"The Rôle of Benchmarking in Symbolic Computation (Position Paper)","authors":"J. Davenport","doi":"10.1109/SYNASC.2018.00050","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00050","url":null,"abstract":"There is little doubt that, in the minds of most symbolic computation researchers, the ideal paper consists of a problem statement, a new algorithm, a complexity analysis and preferably a few validating examples. There are many such great papers. This paradigm has served computer algebra well for many years, and indeed continues to do so where it is applicable. However, it is much less applicable to sparse problems, where there are many NP-hardness results, or to many problems coming from algebraic geometry, where the worst-case complexity seems to be rare. We argue that, in these cases, the field should take a leaf out of the practices of the SAT-solving community, and adopt systematic benchmarking, and benchmarking contests, as a way measuring (and stimulating) progress. This would involve a change of culture.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128117545","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
In Memoriam - Professor Stefan Maruster (September 5, 1937 - December 24, 2017) 纪念斯蒂芬·马鲁斯特教授(1937年9月5日- 2017年12月24日)
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/synasc.2018.00010
{"title":"In Memoriam - Professor Stefan Maruster (September 5, 1937 - December 24, 2017)","authors":"","doi":"10.1109/synasc.2018.00010","DOIUrl":"https://doi.org/10.1109/synasc.2018.00010","url":null,"abstract":"","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122500817","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
A Tool for Fake News Detection 假新闻检测工具
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00064
Bashar Al Asaad, Madalina Erascu
{"title":"A Tool for Fake News Detection","authors":"Bashar Al Asaad, Madalina Erascu","doi":"10.1109/SYNASC.2018.00064","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00064","url":null,"abstract":"The word post-truth was considered by Oxford Dictionaries Word of the Year 2016. The word is an adjective relating to or denoting circumstances in which objective facts are less influential in shaping public opinion than appeals to emotion and personal belief. This leads to misinformation and problems in society. Hence, it is important to make effort to detect these facts and prevent them from spreading. In this paper we propose machine learning techniques, in particular supervised learning, for fake news detection. More precisely, we used a dataset of fake and real news to train a machine learning model using Scikit-learn library in Python. We extracted features from the dataset using text representation models like Bag-of-Words, Term Frequency-Inverse Document Frequency (TF-IDF) and Bi-gram frequency. We tested two classification approaches, namely probabilistic classification and linear classification on the title and the content, checking if it is clickbait/nonclickbait, respectively fake/real. The outcome of our experiments was that the linear classification works the best with the TF-IDF model in the process of content classification. The Bi-gram frequency model gave the lowest accuracy for title classification in comparison with Bag-of-Words and TF-IDF.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127114776","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}
引用次数: 32
The Verified Polyhedron Library: an Overview 验证多面体库:概述
2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) Pub Date : 2018-09-01 DOI: 10.1109/SYNASC.2018.00014
Sylvain Boulmé, Alexandre Maréchal, D. Monniaux, Michaël Périn, Hangfei Yu
{"title":"The Verified Polyhedron Library: an Overview","authors":"Sylvain Boulmé, Alexandre Maréchal, D. Monniaux, Michaël Périn, Hangfei Yu","doi":"10.1109/SYNASC.2018.00014","DOIUrl":"https://doi.org/10.1109/SYNASC.2018.00014","url":null,"abstract":"The Verified Polyhedra Library operates upon a constraint-only representation of convex polyhedra and provides all common operations (image, pre-image, projection, convex hull, widening, inclusion and equality tests. . . ). Optionally, the soundness of the results is checked by a layer certified in Coq.","PeriodicalId":273805,"journal":{"name":"2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122264177","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学术官方微信