Results 21 to 30 of about 31,277,865 (415)
Development and application of software system for dynamic analysis of grain condition cloud map
Liang you shipin ke-ji, 2020 Based on the theory of grain storage ecosystem, multi-field coupling and ventilation window, the dynamic analysis software of grain condition cloud map is researched and developed by WU model,sinusoidal model of grain temperature change, heat and mass ...
ZHANG Zhong-jie +4 more
doaj +1 more source
Approach to Formalizing Software Projects for Solving Design Automation and Project Management Tasks
Software, 2023 GitHub and GitLab contain many project repositories. Each repository contains many design artifacts and specific project management features. Developers can automate the processes of design and project management with the approach proposed in this paper.
Aleksey Filippov +4 more
doaj +1 more source
A comprehensive safety engineering approach for software-intensive systems based on STPA [PDF]
Procedia Engineering 128 (2015) 2-11, 2016 Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems.
arxiv +1 more source
Locating Source Code Bugs in Software Information Systems Using Information Retrieval Techniques
Big Data and Cognitive Computing, 2022 Bug localization is the process through which the buggy source code files are located regarding a certain bug report. Bug localization is an overwhelming and time-consuming process.
Ali Alawneh +2 more
doaj +1 more source
On Adaptive Fairness in Software Systems [PDF]
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021 submitted to 16th Symposium on Software Engineering for Adaptive and Self-Managing Systems 2021 (SEAMS 2021)
Farahani, Ali +4 more
openaire +2 more sources
Verification Platform of SOC Estimation Algorithm for Lithium-Ion Batteries of Electric Vehicles
Energies, 2022 As one of the core technologies of electric vehicles (EVs), the state of charge (SOC) estimation algorithm of lithium-ion batteries is directly related to the performance of the battery management system (BMS). Before EVs are put into the market, the SOC
Bizhong Xia +5 more
doaj +1 more source
BEAST 2: A Software Platform for Bayesian Evolutionary Analysis
PLoS Comput. Biol., 2014 We present a new open source, extensible and flexible software platform for Bayesian evolutionary analysis called BEAST 2. This software platform is a re-design of the popular BEAST 1 platform to correct structural deficiencies that became evident as the
R. Bouckaert +8 more
semanticscholar +1 more source
Bioinform., 2003 TGICL is a pipeline for analysis of large Expressed Sequence Tags (EST) and mRNA databases in which the sequences are first clustered based on pairwise sequence similarity, and then assembled by individual clusters (optionally with quality values) to ...
G. Pertea +11 more
semanticscholar +1 more source
Finding Abnormal Vessel Trajectories Using Feature Learning
IEEE Access, 2017 Global Positioning System technology has been widely used in vehicle tracking and road planning applications. An enormous amount of data concerning the trajectories of vehicles has been collected and stored for tracking purposes.
Peiguo Fu +4 more
doaj +1 more source
Cytoscape: a software environment for integrated models of biomolecular interaction networks.
Genome Research, 2003 Cytoscape is an open source software project for integrating biomolecular interaction networks with high-throughput expression data and other molecular states into a unified conceptual framework.
Paul Shannon +8 more
semanticscholar +1 more source