Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
Point-Separable Classes of Simple Computable Planar Curves
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Computational Models of Certain Hyperspaces of Quasi-metric Spaces
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pyphot: A tool for computing photometry from spectra
Published in Journal of Open Source Software (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Output-sensitive Information flow analysis
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
-
-
Joint Hardware-Workload Co-Optimization for In-Memory Computing Accelerators
Published in IEEE Access (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Discovering the SUPER in computing - dagster-slurm for reproducible research on HPC
Published in Journal of Open Source Software (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computability of Data-Word Transductions over Different Data Domains
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing a Solution of Feigenbaum's Functional Equation in Polynomial Time
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Co-c.e. spheres and cells in computable metric spaces
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Turing machines on represented sets, a model of computation for Analysis
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithms for Omega-Regular Games with Imperfect Information
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Comparative Analysis of Contemporary Quantum Computer Processors: Architectures, Performance, and Perspectives
Published in IEEE Access (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semiotic Engineering Theory for Human-Computer Integration: An Applicability and Usefulness Evaluation
Published in Journal of the Brazilian Computer Society (2026)Subjects: “…Computer Science & Information Science…”
Get full text