Results 1 to 10 of about 108,550 (128)
From Symbols to Embeddings: A Tale of Two Representations in Computational Social Science [PDF]
Journal of Social Computing, 2021 Computational Social Science (CSS), aiming at utilizing computational methods to address social science problems, is a recent emerging and fast-developing field. The study of CSS is data-driven and significantly benefits from the availability of online user-generated contents and social networks, which contain rich text and network data for ...
Huimin Chen +5 more
openaire +3 more sources
Symbolic Computation in Software Science: My Personal View [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming, mathematical knowledge management, artificial intelligence, algorithmic intelligence, numerical computation, and ...
openaire +2 more sources
Reliable scalable symbolic computation: The design of SymGridPar2 [PDF]
, 2014 Symbolic computation is an important area of both Mathematics and Computer Science, with many large computations that would benefit from parallel execution.
Maier, Patrick +2 more
core +4 more sources
Computer science as empirical inquiry [PDF]
Communications of the ACM, 1976 Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association for Computing Machinery. The machine—not just the hardware, but the programmed, living machine—is the organism we study.
Allen Newell, Herbert A. Simon
openaire +2 more sources
The Grand Challenges and Myths of Neural-Symbolic Computation [PDF]
, 2008 The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field.
Lamb, Luis C.
core +1 more source
Proceedings Fourth International Symposium on Symbolic Computation in Software Science
Electronic Proceedings in Theoretical Computer Science, 2013 Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an influential role in theorem proving, automated reasoning, software verification, model checking, rewriting ...
Adel Bouhoula +2 more
openaire +3 more sources
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
Electronic Proceedings in Theoretical Computer Science, 2021 This volume contains papers presented at the Ninth International Symposium on Symbolic Computation in Software Science, SCSS 2021. Symbolic Computation is the science of computing with symbolic objects (terms, formulae, programs, representations of algebraic objects, etc.).
openaire +3 more sources
HPC-GAP: engineering a 21st-century high-performance computer algebra system [PDF]
, 2015 Symbolic computation has underpinned a number of key advances in Mathematics and Computer Science. Applications are typically large and potentially highly parallel, making them good candidates for parallel execution at a variety of scales from multi ...
Behrends, Reimer +7 more
core +7 more sources
Approximately bisimilar symbolic models for nonlinear control systems [PDF]
, 2007 Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs.
Girard, Antoine +2 more
core +5 more sources
, 2015 This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership.
Clavel, Manuel +6 more
core +1 more source