Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Ziplign: a simple-to-use interactive tool to compare bacterial genomes
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
PyDislocDyn: A Python code for calculating dislocation drag and other crystal properties
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
lammpsio: Transparent and reproducible handling of LAMMPS particle data in Python
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
IBBI: A Python package for the detection and classification of bark and ambrosia beetles
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
k-diagram: Rethinking Forecasting Uncertainty via Polar-based Visualization
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
PyMilo: A Python Library for ML I/O
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
FSML – A Modern Fortran Statistics and Machine Learning Library
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
The Agda standard library: version 2.0
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
emlearn-micropython: Machine Learning and Digital Signal Processing for MicroPython
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Sunny.jl: A Julia Package for Spin Dynamics
Published in Journal of Open Source Software (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Hardness of monadic second-order formulae over succinct graphs
Published in Logical Methods in Computer Science (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Rewriting Modulo Traced Comonoid Structure
Published in Logical Methods in Computer Science (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Enumeration and updates for conjunctive linear algebra queries through expressibility
Published in Logical Methods in Computer Science (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Quantitative Semantics for Jumping Automata
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Approximating Queries on Probabilistic Graphs
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Trade-offs between classical and quantum space using spooky pebbling
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Data-Aware Hybrid Tableaux
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text
-
On the consistency of stronger lower bounds for NEXP
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & IT…”
Get full text