• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

    Proceedings. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

    JournalISSN 2470-8801eISSN 2470-881X

    年发文量

    研究主题

    论文(1006)

    排序
    1Technical Debt Prediction
    Rares-Danut Patcas

    Technical debt prediction involves anticipating problems and challenges in software projects. Because of lousy coding choices, these projects are often far from the optimal design. These issues can accumulate over time and affect long-term maintainability and stability. Numerous studies are available for predicting technical debt. For instance, some studies utilize static analysis tools like Pylint(1), and others use dynamic code analysis tools like SZZ [1]. This study addresses AI predictions using data obtained from static analysis tools. This paper presents technical debt prediction using static code analysis data generated with SonarQube(2) and Radon(3). It covers both short-term and long-term predictions by analyzing code quality metrics such as complexity, duplication, and adherence to standards. The study also integrates git commit classification to analyze commit history, providing valuable insights into the evolution and management of technical debt within the project.

    2024
    引用
    AI阅读
    加入学术空间
    2Ideal Centroid Striving: an Unsupervised and Prediction Parameterized Anomaly Detection Method
    Dacian Goina

    Automated machines are widely used in industrial environments for the production of different items and generate lots of data following these processes. The proper execution of the machines influences the production output, thus the detection of anomalous behavior in machines' activity using the generated data must be considered to avoid unpleasant outcomes. This paper presents a novel ensemble unsupervised anomaly detection method characterized by parameterized prediction. The proposed method consists of two stages - the first stage uses statistical-based methods to assign artificial labels to the input data. In the second stage, the artificially labeled instances and a feature bagging technique are employed to construct the model's estimators - each estimator calculates the percentiles of the distances computed between its centroid and each instance from the training subset. The model's prediction function is parameterized by a percentile rank. Each estimator computes the distance between its centroid and the evaluated instance: if this distance exceeds the value of the specified percentile, the estimator classifies the instance as an anomaly. A majority vote is applied to establish the outcome.

    2024
    引用
    AI阅读
    加入学术空间
    3Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
    Catalin-Mihail Chiru, Mihai Nan,Mihai Trascau,Adina Magda Florea

    Lung cancer persists as a global leader in cancer-related deaths, highlighting the critical need for precise and efficient detection methods. This paper investigates the use of the Medical Segmentation Decathlon dataset to train neural networks for lung cancer segmentation in CT scans via semantic segmentation. We propose and evaluate four new data adaptation techniques specifically designed for this dataset, with each technique being assessed using U-Net-based architectures. Our approach incorporates a thorough exploratory data analysis to uncover the dataset's strengths and weaknesses, which in turn guided our data preprocessing and augmentation strategies.

    2024
    引用
    AI阅读
    加入学术空间
    4Concepts Involved in Creating an Interactive Viewer for Disassembly
    Raul Zaharia

    Disassembly is the process that translates machine code into a higher-level and more human-readable form. From the security analysis and malware detection perspective, it is an essential technique. However, traditional disassembly tools often display the information in a textual format, thus making it difficult to navigate and understand. In this paper, we explore the concepts involved in creating a viewer for disassembly that focuses on static analysis and boosts the user experience like clearly displaying the code, showcasing relevant parts, guiding the user, offering an interactive experience, map data structures and seamless integration with other tools. Furthermore, we emphasize the importance of having both a user-friendly and also customizable interface without having to concede on overall speed and performance. In this manner, even a novice in security analysis could have a positive experience. Considering all these features, the final result leads to a more productive and efficient analysis.

    2024引用:1
    引用
    AI阅读
    加入学术空间
    5Scriptview: BTC Embedded Plaiform® Extension for Test Case Implementation
    Petru F. Mihancea, Leif Driebold, Dorian Blaj, Mihai I. Bogdanescu, R. . Azvan T. Lapadat, Roxana C. Ciorica, Andrei A. Onisa, Andreea M. Zamosteanu,Tom Bienmuller

    Testing and validating embedded software is paramount when it comes to safety-critical systems. BTC EMBEDDEDPlatform((R)) supports these activities using various approaches including test case definition means. In this system description we present SCRIPTVIEW, a domain-specific language designed to support test case implementation in a simple programmatic way. The language has been integrated in our platform and can be used in production by our customers.

    2024
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 1006 篇论文

    高被引作者

    作者引用发文
    Andrei Voronkov1815
    Gabriela Csurka1771
    Laura Kovács1776
    Dragos Gavrilut17121
    Giuliano Casale1634
    Danilo Ardagna1459
    Damian A. Tamburri1191
    James Harold Davenport11215
    Elisabetta Di Nitto1036
    Viorel Negru9120

    高产作者

    作者引用发文
    Dragos Gavrilut17121
    Viorel Negru9120
    Gabriel Ciobanu6420
    Adina Magda Florea5617
    James Harold Davenport11215
    Eneia Nicolae Todoran4014
    Mihai Dascalu8513
    Valentin Gabriel Cristea9013
    David J. Jeffrey3413
    Catalin Stoean8212

    相关期刊

    International Journal of Software Engineering and Knowledge Engineering
    Logical Methods in Computer Science
    International Conference on Software Engineering and Knowledge Engineering
    Symbolic and Numeric Algorithms for Scientific Computing
    International Conference on Applications and Theory of Petri Nets
    Selected Areas in Cryptography
    Theory and Practice of Logic Programming
    Modelirovanie i Analiz Informacionnyh Sistem
    Conference of the Centre for Advanced Studies on Collaborative Research
    APPLIED COMPUTING REVIEW