Full Text Available
Access Full Text at Repository
Search Results - computer (sciience OR science)
-
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
Online Article RSS Article -
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
-
Computing Receptive Fields of Convolutional Neural Networks
Published in Distill (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Context awareness in mobile computing: A review
Published in International Journal of Machine Learning and Applications (2013)Subjects: “…Computer Science & IT…”
Get full text
-
Strategies for computational efficiency in small language models
Published in Autonomous Intelligent Systems (2026)Subjects: “…Computer Science & IT…”
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
-
Source Data Selection for Brain–Computer Interfaces Based on Simple Features
Published in IEEE Access (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Assessing the Psychological Impact of AI on Data Science Education: An Exploratory Study
Published in Journal of the Brazilian Computer Society (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
MADSci: A modular Python-based framework to enable autonomous science
Published in Journal of Open Source Software (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Review of Pseudo-Labeling for Computer Vision
Published in JAIR (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Fast Computation of Superquantile-Constrained Optimization Through Implicit Scenario Reduction
Published in Journal of Machine Learning Research (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text