Results 11 to 20 of about 373,352 (287)
A Foundational View on Integration Problems [PDF]
, 2010 The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems ...
A. Asperti +25 more
core +1 more source
IT LANGUAGE AND COMPUTER SCIENCE
, 2023 In this article, the main purpose of teaching students in the middle school to clarify personal skills of every student, giving them proper education, life enhancing innovative technological world. Principal goal is to teach students to speak fluently in English, writing and reading comprehension skills.
openaire +1 more source
Introduction to the Special Issue on Software Architecture for Language Engineering [PDF]
, 2004 Every building, and every computer program, has an architecture: structural and organisational principles that underpin its design and construction.
Cunningham, Hamish, Scott, Donia
core +1 more source
Symbolic computation of differential equivalences
ACM-SIGACT Symposium on Principles of Programming Languages, 2016 Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and electrical engineering.
L. Cardelli +3 more
semanticscholar +1 more source
A game engine to learn computer science languages
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 2014 There is an increasing interest in providing Computer Science (CS) instruction to a wider sector of the population. On the one hand, it would be convenient to include CS instruction in higher education beyond engineering disciplines, since CS has become a powerful catalyzer for development of society, and therefore the need for a workforce with solid ...
Torrente, Javier +3 more
openaire +3 more sources
Data science as a language: challenges for computer science—a position paper [PDF]
International Journal of Data Science and Analytics, 2018 In this paper, I posit that from a research point of view, Data Science is a language. More precisely Data Science is doing Science using computer science as a language for datafied sciences; much as mathematics is the language of, e.g., physics. From this viewpoint, three (classes) of challenges for computer science are identified; complementing the ...
openaire +2 more sources
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Johann, Patricia +2 more
core +4 more sources
Cognitive Computation sans Representation [PDF]
, 2017 The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content
A Clark +30 more
core +2 more sources
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
Causal loops: Logically consistent correlations, time travel, and computation
Ausgezeichnete Informatikdissertationen, 2019 Causal loops are loops in cause-effect relations, where, say for two events A, B, the event A is a cause of B and, vice versa, B is a cause of A. Such loops are traditionally ruled out due to potential logical problems, e.
Ämin Baumeler
semanticscholar +1 more source