Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
The succinctness of first-order logic on linear orders
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Linear Datalog and Bounded Path Duality of Relational Structures
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Contextual equivalence for higher-order pi-calculus revisited
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model-Checking Problems as a Basis for Parameterized Intractability
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Labelled transition systems as a Stone space
Published in Logical Methods in Computer Science (2005)Subjects: “…Computer Science & Information Science…”
Get full text
-
Facebook’s data enclave and the woes of researching social media recommendation algorithms: A reflection on methods
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Students' perception of a leaderboard-based mathematics game
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
The rise of John “Q” Public: Conspiracy theories as the public sphere
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Why do I insist on buying my music when everybody knows it’s free? Ten rationales for an alternative to streaming music consumption
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fed up: /r/antiwork and the efficacy of digital labor resistance
Published in First Monday (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
ATAS - Academic Text Analysis System
Published in Journal of Open Source Software (2026)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proceso para el preprocesamiento de los datos del Índice de Precio al Consumidor
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Impacto de la accesibilidad web en la experiencia del usuario en la era digital
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Integración y entrega continua en el proceso de pruebas a aplicaciones móviles de MCDAI
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sistema de Planificación de Actividades, SIPAC 4.0: herramienta de innovación como apoyo a la gestión organizacional
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Las plantillas de frases como práctica recomendada en la documentación de software
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
El desempeño profesional de los especialistas de software en Ciencia de Datos Educativa
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Mapa de uso y cobertura del suelo, integrando teledetección y SIG en las principales cuencas de Cienfuegos, Cuba
Published in Revista Cubana de Ciencias Informáticas (2025)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pop2net: Bipartite network generation for agent-based modeling
Published in Journal of Open Source Software (2026)Subjects: “…Computer Science & Information Science…”
Get full text