Vulnerability detection using BERT based LLM model with transparency obligation practice towards trustworthy AI by Jean Haurogné, Nihala Basheer, Shareeful Islam

“…Vulnerabilities in the source code are one of the main causes of potential threats in software-intensive systems. …”
Get full text

Factor Graphs for Navigation Applications: A Tutorial by Clark Taylor, Jason Gross

“…A brief survey of previous applications of factor graphs to navigation problems is also presented. Source code for the extended Kalman filter comparison and for generating the graphs in this paper is available at https://github.com/cntaylor/factorGraph2DsatelliteExample.…”
Get full text

Design and implementation of a user office system for the Canadian Light Source by Kathryn Janzen, Michel Fodje

“…The system is designed for integration into other large-scale facilities with minimal effort, and the source code is publicly available.…”
Get full text

3D transcranial ultrasound localization microscopy in awake mice: protocol and open-source pipeline by Georges Chabouh, Louise Denis, Myriam Abioui-Mourgues, Jean-Baptiste Deloges, Jacques Battaglia, Arthur Chavignon, Baptiste Heiles, Basile Pradier, Sylvain Bodard, Denis Vivien, Cyrille Orset, Olivier Couture

“…Abstract We present an open-source code for 3D super-resolution ultrasound imaging. …”
Get full text

REENGINEERING OF OPEN SOFTWARE SYSTEM OF 3D MODELING BRL-CAD by Stanislav Velykodniy

“…The present study summarizes the results of experimental studies; source code translation results are analyzed and summarized, the main one being the reduction in the complexity of creating open source software using the BRL-CAD example. …”
Get full text

Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation by Antonio da Silva, Pablo Parra, Óscar R. Polo, Sebastián Sánchez

“…This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. …”
Get full text

eminus — Pythonic electronic structure theory by Wanja Timm Schulze, Sebastian Schwalbe, Kai Trepte, Stefanie Gräfe

“…The open-source idea offers the advantage of having a source code base that can be reviewed and modified by the community. …”
Get full text

DerivaPredict: A User-Friendly Tool for Predicting and Evaluating Active Derivatives of Natural Products by Yu Song, Meng Zhang, Sihao Chang, Ganghui Chu, Hongchao Ji

“…DerivaPredict is freely accessible with a source code on GitHub.…”
Get full text

Inferring Strain Mixture within Clinical Plasmodium falciparum Isolates from Genomic Sequence Data. by John D O'Brien, Zamin Iqbal, Jason Wendler, Lucas Amenga-Etego

“…Applied to simulation data, artificial laboratory mixtures, and field samples, the model provides reasonable inference with as few as 10 reads or 50 SNPs and works efficiently even with much larger data sets. Source code and example data for the model are provided in an open source fashion. …”
Get full text

Numerical simulation of the flow rate effect on the evolution of a negatively buoyant water jet by Oumaima Eleuch, Noureddine Latrache, Sobhi Frikha, Abderrahmane Khechekhouche, Zied Driss

“…A finite volume discretization method using Open Source code given in Open Foam 2.3.0. was used to solve these equations. …”
Get full text

LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

“…The approach taken is to research feasibility of designing instruments for static analysis by applying known type and effect system based algorithms for detecting defects to LLVM bitcode language and effectively to the original source code.…”
Get full text

Computational aerodynamics of insect flight using volume penalization by Engels, Thomas, Truong, Hung, Farge, Marie, Kolomenskiy, Dmitry, Schneider, Kai

“…We present a brief historical overview, discuss numerical challenges and introduce the governing model equations. Two open source codes, one based on Fourier, the other based on wavelet representation, are succinctly presented and a mass-spring flexible wing model is described. …”
Get full text

The Use of Dependencies for Improving the Precision of Program Static Analysis by M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko

“…Reasons for precision loss is abstract interpretation methods when detecting defects in program source code are explained. The need for program object dependency extraction and interpretation is justified by numerous real-world examples. …”
Get full text

Development of Real-Time and Mixed Criticality Distributed Systems through the DDS Standard by Héctor Pérez Tijero, J. Javier Gutiérrez

“…The use of distribution middleware facilitates the programming of heterogeneous real-time distributed systems, and it can also facilitate the automatic generation of source code when integrated as a part of a general MDE (Model-Driven Engineering) strategy. …”
Get full text

An architecture as a code framework to manage documentation of IT projects by Christophe Gaie, Bertrand Florat, Steven Morvan

“…Design/methodology/approach – They provide a simple tool based on five complementary views, which should be detailed by the project team using a classic source code management platform. Findings – The proposed tool is open source and may be reused by any IT team in various project contexts and heterogeneous development methods. …”
Get full text

Russian local trends in software development and implementation by D. S. Pashchenko

“…The expert’s panel reviewed the change in costs and efforts in software development projects connected with stricter requirements for collecting and storing personal data, evaluated import substitution of system and application software and determined the possibilities of using technologies, based on open-source code. The results of the study are accompanied by brief recommendations of the author.…”
Get full text

Powerlaw: a Python package for analysis of heavy-tailed distributions. by Jeff Alstott, Ed Bullmore, Dietmar Plenz

“…Notably, it also seeks to support a variety of user needs by being exhaustive in the options available to the user. The source code is publicly available and easily extensible.…”
Get full text

Integration of semantic verication into Java compilers by A. V. Klepinin, A. A. Melentyev

“…This paper introduces a method for static semantic analysis of source codes at com- pilation time directly within standard compilers. …”
Get full text

A Framework for Photovoltaic and Thermosiphon Systems by Gustavo Guidoni, Frederico Papatella, Elizabeth Pereira, Mark Song

“…By applying the framework concepts, such as source code reuse, one can create a complete environment to evaluate solar energy data. …”
Get full text

Automatic Data Race Error Detection in SystemC Models by A. V. Zakharov, M. J. Moiseev

“…In this paper we propose an approach to data race detection in SystemC programs which is based on the source code static analysis. We have developed some static analysis algorithms that can extract information for data race detection in a SystemC program without quantitative time. …”
Get full text