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

筛选
英文 中文
Steel Phase Kinetics Modeling using Symbolic Regression 钢相动力学的符号回归模型
David Piringer, Bernhard Bloder, G. Kronberger
{"title":"Steel Phase Kinetics Modeling using Symbolic Regression","authors":"David Piringer, Bernhard Bloder, G. Kronberger","doi":"10.1109/SYNASC57785.2022.00059","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00059","url":null,"abstract":"We describe an approach for empirical modeling of steel phase kinetics based on symbolic regression and genetic programming. The algorithm takes processed data gathered from dilatometer measurements and produces a system of differential equations that models the phase kinetics. Our initial results demonstrate that the proposed approach allows to identify compact differential equations that fit the data. The model predicts ferrite, pearlite and bainite formation for a single steel type. Martensite is not yet included in the model. Future work shall incorporate martensite and generalize to multiple steel types with different chemical compositions.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133113685","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
Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut 转移胶质瘤学习和GrabCut的脑转移瘤分割
Ciprian-Mihai Ceauşescu, B. Alexe
{"title":"Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut","authors":"Ciprian-Mihai Ceauşescu, B. Alexe","doi":"10.1109/SYNASC57785.2022.00062","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00062","url":null,"abstract":"Segmentation of medical images is an important area of research that can be used in prognosis prediction and patient treatment. Due to the high variability of data, the task to develop an accurate segmentation method remains challenging. In this paper we address the problem of cerebral metastases segmentation and focus our analysis on the BrainMetShare dataset. In order to enhance the metastases segmentation performance we propose a two stage method. In the first stage we employ a transfer learning procedure where we train an Unet model on the similar task of low and high grade gliomas segmentation provided by the BraTS dataset and then fine-tune the model for solving our problem of cerebral metastases segmentation. In the second stage we use GrabCut to refine the metastases segmentation masks obtained from the first stage. In the experimental evaluation we show that our two stage method based on transfer learning and GrabCut progressively outperforms the baseline model trained only on cerebral metastases data from BrainMetShare.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115577748","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
Detecting Implicit Indeterminates in Symbolic Computation 符号计算中隐式不定式的检测
S. Watt
{"title":"Detecting Implicit Indeterminates in Symbolic Computation","authors":"S. Watt","doi":"10.1109/SYNASC57785.2022.00016","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00016","url":null,"abstract":"In the design of symbolic mathematical computation systems, it is a popular choice to use the same syntax for both mathematical indeterminates and programming variables. While mathematical indeterminates are to be used without specific values, programming variables must be initialized before being used in expressions. A problem occurs when mistakenly uninitialized programming variables are silently taken to be mathematical indeterminates. This article explores how this problem can arise and its consequences. An algorithm to analyze programs for this defect is shown along with a Maple implementation.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126986992","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
Reducing Adversarial Vulnerability Using GANs 利用gan减少对抗性脆弱性
Ciprian-Alin Simion
{"title":"Reducing Adversarial Vulnerability Using GANs","authors":"Ciprian-Alin Simion","doi":"10.1109/SYNASC57785.2022.00064","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00064","url":null,"abstract":"The Cyber-Threat industry is ever-growing and it is very likely that malware creators are using generative methods to create new malware as these algorithms prove to be very potent. As the majority of researchers in this field are focused on new methods to generate better adversarial examples (w.r.t. fidelity, variety or number) just a small portion of them are concerned with defense methods. This paper explores three methods of feature selection in the context of adversarial attacks. These methods aim to reduce the vulnerability of a Multi-Layer Perceptron to GAN-inflicted attacks by removing features based on rankings computed by type or by using LIME or F-Score. Even if no strong conclusion can be drawn, this paper stands as a Proof-of-Concept that because of good results in some cases, adversarial feature selection is a worthy exploration path.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114717375","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
Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts 用于监控IT基础设施警报的神经符号解决方案的优点
D. Onchis, C. Istin, Eduard Hogea
{"title":"Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts","authors":"D. Onchis, C. Istin, Eduard Hogea","doi":"10.1109/SYNASC57785.2022.00036","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00036","url":null,"abstract":"The classification and at the same time the inter-active characterization of both bad connections, called alerts or attacks, as well as normal connections, is a must for monitoring network traffic. For this specific task, we developed in this study a neuro-symbolic predictive model based on Logic Tensor Networks. Moreover, we present in detail the advantages and disadvantages of using our hybrid system versus the usage of a standard feed-forward deep neural network classifier. For a relevant comparison, the same dataset was used during training and the metrics resulted have been compared. An overview shows that while both algorithms have similar precision, the hybrid approach gives also the possibility to have interactive explanations and deductive reasoning over data.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"578 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124700602","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
Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks 基于图神经网络树形法的行人轨迹预测
Bogdan Ilie Sighencea
{"title":"Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks","authors":"Bogdan Ilie Sighencea","doi":"10.1109/SYNASC57785.2022.00046","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00046","url":null,"abstract":"Pedestrian trajectory prediction in real-world scenarios is a challenging task for several computer vision applications, such as autonomous driving, video surveillance, and robotic systems. This is not a trivial task due to the numerous potential trajectories. In this article, it provides a tree-based approach to handle this multimodal prediction challenge. The tree is designed based on the observed data and is also used to predict future trajectories. In particular, an individual's potential future trajectory is represented by the tree's root-to-leaf route. Compared to previous approaches that use implicit latent variables to describe possible future paths, the movement behaviors may be directly represented by the path in the tree (e.g., go straight and then turn left), and thus offer more socially suitable trajectories. The experimental results on the ETH, UCY, and Stanford Drone datasets show that this approach can exceed the performance of the state-of-the-art approaches. The solution is more efficient and compact, with a smaller model size and a higher accuracy, and delivers better results with reference to average displacement error (ADE) and final displacement error (FDE) metrics.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"136 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125812589","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
On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs 利用U-Net结构中的感知损失对传统图案纺织品进行语义喷漆
C. Stoean, N. Bačanin, R. Stoean, L. Ionescu, C. Alecsa, M. Hotoleanu, Miguel A. Atencia Ruiz, G. Joya
{"title":"On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs","authors":"C. Stoean, N. Bačanin, R. Stoean, L. Ionescu, C. Alecsa, M. Hotoleanu, Miguel A. Atencia Ruiz, G. Joya","doi":"10.1109/SYNASC57785.2022.00051","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00051","url":null,"abstract":"It is impressive when one gets to see a hundreds or thousands years old artefact exhibited in the museum, whose appearance seems to have been untouched by centuries. Its restoration had been in the hands of a multidisciplinary team of experts and it had undergone a series of complex procedures. To this end, computational approaches that can support in deciding the most visually appropriate inpainting for very degraded historical items would be helpful as a second objective opinion for the restorers. The present paper thus attempts to put forward a U-Net approach with a perceptual loss for the semantic inpainting of traditional Romanian vests. Images taken of pieces from the collection of the Oltenia Museum in Craiova, along with such images with garments from the Internet, have been given to the deep learning model. The resulting numerical error for inpainting the corrupted parts is adequately low, however the visual similarity still has to be improved by considering further possibilities for finer tuning.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131969322","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
What’s New In QBF Solving? : (Invited Talk) QBF求解有什么新进展?:(特邀演讲)
M. Seidl
{"title":"What’s New In QBF Solving? : (Invited Talk)","authors":"M. Seidl","doi":"10.1109/SYNASC57785.2022.00012","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00012","url":null,"abstract":"Quantified Boolean Formulas (QBFs) extend propositional formulas by quantifiers over the Boolean variables. This extension makes the QBF decision problem PSPACE-hard. Therefore, QBFs provide an attractive reasoning framework for many reasoning problems from artificial intelligence, formal verification, and other fields. In this work, we review current advancements in the theory and practice of QBF solving.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133613963","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 Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms 卷积神经网络参数对乳房x线影像二值分类的影响
Mădălina Dicu, L. Dioşan, A. Andreica, C. Chira, Alin Cordoş
{"title":"The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms","authors":"Mădălina Dicu, L. Dioşan, A. Andreica, C. Chira, Alin Cordoş","doi":"10.1109/SYNASC57785.2022.00035","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00035","url":null,"abstract":"Breast cancer is the most commonly diagnosed type of cancer. It is essential to classify patients as quickly as possible into groups with a high or low risk of cancer, to provide adequate treatment. This paper aims to address the impact of the parameters of convolutional neural networks in the binary classification of mammograms. In this paper, we treat two types of binary classification, namely: classification between normal and abnormal tissues, respectively classification between benign and malignant tumors. In the analysis, we investigate the correlation and impact of batch size and learning rate in increasing the performance of the proposed model. Following the experiments on the MIAS dataset, we concluded that for the treated problems, it is appropriate to choose a learning rate lower than 0.001. For the classification of tissues (normal/abnormal), we obtained the fact that training the model on a batch size of 32 brings the best results, namely an accuracy of 0.67, and for the classification of tumors (benign/malignant), it is more appropriate to use a batch size of 8, for which we obtained an accuracy of 0.63. For the best results configurations, we continued the experiments by investigating the impact of data augmentation. We have increased the number of training data by applying horizontal flip and rotation operations. Following these attempts, we noticed an improvement only for the tissue classification, for which we obtained an accuracy of 0.70.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124919397","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
Building customized Named Entity Recognition models for specific process automation tasks 为特定的流程自动化任务构建定制的命名实体识别模型
Vasile Ionut Iga, G. Silaghi
{"title":"Building customized Named Entity Recognition models for specific process automation tasks","authors":"Vasile Ionut Iga, G. Silaghi","doi":"10.1109/SYNASC57785.2022.00041","DOIUrl":"https://doi.org/10.1109/SYNASC57785.2022.00041","url":null,"abstract":"In the context of a project aiming to build human-behaving robots for process automation, named entity recognition (NER) becomes one of the first tasks to solve. This paper presents our experience on building NER models for recognizing specific entities of interest, with the help of the state-of-the-art pre-trained BERT model. Noticing that the model built with the help of a general knowledge dataset scores poor results in retrieving entities specific to our particular use cases, we constructed two datasets tailored for our context and trained BERT-based models on it. We show that properly constructing the specific datasets is sufficient in order to obtain a good entity classification performance, without further increasing the model learning time.","PeriodicalId":446065,"journal":{"name":"2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)","volume":"90 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125987315","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
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学术官方微信