Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Strategies for computational efficiency in small language models
Published in Autonomous Intelligent Systems (2026)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Augmented reality in engineering education: Strategic design and evidence-based results
Published in PLOS ONE (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Exhaust Gas Temperature Margin of A Jet Engine Cause Impact and Simulation
Published in Advances in Image and Video Processing (2026)Subjects: “…Technology & Engineering — Computing…”
Get full text
-
A Review of Pseudo-Labeling for Computer Vision
Published in JAIR (2026)Subjects: “…Computer Science & IT…”
Get full text
-
Computational expressivity of (circular) proofs with fixed points
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strong negation in the theory of computable functionals TCF
Published in Logical Methods in Computer Science (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing with Infinite Objects: the Gray Code Case
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Synthesis of Computable Regular Functions of Infinite Words
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Characterization theorem for the conditionally computable real functions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type-based Self-stabilisation for Computational Fields
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Effective zero-dimensionality for computable metric spaces
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Global semantic typing for inductive and coinductive computing
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Representations of measurable sets in computable measure theory
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Infinite Computations In Models of Set Theory
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Security Policies as Membranes in Systems for Global Computing
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
AI Guided Protein Design for Next‐Generation Autogenic Engineered Living Materials
Published in Advanced Intelligent Systems (2026)Subjects: “…Computer Science & IT…”
Get full text