BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models [PDF]
Background: Quantitative models of biochemical and cellular systems are used to answer a variety of questions in the biological sciences. The number of published quantitative models is growing steadily thanks to increasing interest in the use of models
Chelliah, Vijayalakshmi +13 more
core +5 more sources
Software Manipulation with Annotations in Java [PDF]
Annotations are a recent feature introduced in languages such as Java, C#, and other languages of the .NET family, which allow programmers to attach arbitrary, structured and typed metadata to their code. These languages run on top of so-called virtual execution environments , e.g.
GERVASI, VINCENZO, Galilei G. A.
openaire +2 more sources
Graphic Model for Shop Floor Simulation and Control in the Context of Industry 5.0
Industry 5.0 changes the paradigm of the current production model, with repercussions throughout the value chain, and opens up opportunities for new approaches that include reducing waste to optimize the use of the planet’s resources. This paper proposes
Nuno Fernandes +2 more
doaj +1 more source
Enforcing Secure Object Initialization in Java [PDF]
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not following this recommendation as high.
Hubert, Laurent +3 more
core +4 more sources
Understanding and Detecting Annotation-Induced Faults of Static Analyzers [PDF]
Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to understand the analyzed program well.
Huaien Zhang +3 more
semanticscholar +1 more source
NullAway: practical type-based null safety for Java [PDF]
NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking.
Subarno Banerjee +2 more
semanticscholar +1 more source
Upgraded Thoth: Software for Data Visualization and Statistics
Thoth is a free desktop/laptop software application with a friendly graphical user interface that facilitates routine data-visualization and statistical-calculation tasks for astronomy and astrophysical research (and other fields where numbers are ...
Russ R. Laher +16 more
doaj +1 more source
Accessing the SEED Genome Databases via Web Services API: Tools for Programmers
Background The SEED integrates many publicly available genome sequences into a single resource. The database contains accurate and up-to-date annotations based on the subsystems concept that leverages clustering between genomes and other clues to ...
Vonstein Veronika +7 more
doaj +1 more source
Asynchronously Replicated Shared Workspaces for a Multi-Media Annotation Service over Internet [PDF]
This paper describes a world wide collaboration system through multimedia Post-its (user generated annotations). DIANE is a service to create multimedia annotations to every application output on the computer, as well as to existing multimedia ...
Benz, Hartmut, Lijding, Maria Eva
core +9 more sources
An efficient annotation and gene-expression derivation tool for Illumina Solexa datasets
Background The data produced by an Illumina flow cell with all eight lanes occupied, produces well over a terabyte worth of images with gigabytes of reads following sequence alignment.
Matthews Benjamin F +3 more
doaj +1 more source

