English
Related papers

Related papers: Symbolic Computation in Software Science: My Perso…

200 papers

The introduction of generative artificial intelligence applications to the public has led to heated discussions about its potential impacts and risks for K-12 education. One particular challenge has been to decide what students should learn…

Computers and Society · Computer Science 2026-02-20 Yasmin Kafai , Shuchi Grover

Writing complex computer programs to study scientific problems requires careful planning and an in-depth knowledge of programming languages and tools. In this chapter the importance of using the right tool for the right problem is…

Computational Physics · Physics 2010-06-17 Helmut G. Katzgraber

This paper introduces a novel method for the representation of images that is semantic by nature, addressing the question of computation intelligibility in computer vision tasks. More specifically, our proposition is to introduce what we…

Computer Vision and Pattern Recognition · Computer Science 2018-11-07 Maxime Bucher , Stéphane Herbin , Frédéric Jurie

Modern science, technology, and politics are all permeated by data that comes from people, measurements, or computational processes. While this data is often incomplete, corrupt, or lacking in sufficient accuracy and precision, explicit…

Artificial Intelligence (AI) refers to the intelligence demonstrated by machines, and within the realm of AI, Machine Learning (ML) stands as a notable subset. ML employs algorithms that undergo training on data sets, enabling them to carry…

Software Engineering · Computer Science 2023-07-31 Talia Crawford , Scott Duong , Richard Fueston , Ayorinde Lawani , Samuel Owoade , Abel Uzoka , Reza M. Parizi , Abbas Yazdinejad

This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute the primary objects of study. In this setting, models of…

Logic in Computer Science · Computer Science 2026-05-19 Thomas Seiller

How should software engineering be adapted for Computational Science (CS)? If we understood that, then we could better support software sustainability, verifiability, reproducibility, comprehension, and usability for CS community. For…

Software Engineering · Computer Science 2020-03-13 Huy Tu , Rishabh Agrawal , Tim Menzies

The situation assessment problem is considered, in terms of object, condition, activity, and plan recognition, based on data coming from the real-word {em via} various sensors. It is shown that uncertainty issues are linked both to the…

Artificial Intelligence · Computer Science 2013-02-01 Charles Castel , Corine Cossart , Catherine Tessier

Explainability is an essential reason limiting the application of neural networks in many vital fields. Although neuro-symbolic AI hopes to enhance the overall explainability by leveraging the transparency of symbolic learning, the results…

Artificial Intelligence · Computer Science 2024-11-08 Xin Zhang , Victor S. Sheng

Neural network-based machine learning is capable of approximating functions in very high dimension with unprecedented efficiency and accuracy. This has opened up many exciting new possibilities, not just in traditional areas of artificial…

Numerical Analysis · Mathematics 2020-12-30 Weinan E

Many real-world dynamic systems, both natural and artificial, are understood to be performing computations. For artificial dynamic systems, explicitly designed to perform computation - such as digital computers - by construction, we can…

Computational Physics · Physics 2026-02-24 David H. Wolpert , Jan Korbel

Neurosymbolic AI focuses on integrating learning and reasoning, in particular, on unifying logical and neural representations. Despite the existence of an alphabet soup of neurosymbolic AI systems, the field is lacking a generally accepted…

Artificial Intelligence · Computer Science 2025-07-16 Lennert De Smet , Luc De Raedt

Despite the surprising power of many modern AI systems that often learn their own representations, there is significant discontent about their inscrutability and the attendant problems in their ability to interact with humans. While…

Artificial Intelligence · Computer Science 2021-12-13 Subbarao Kambhampati , Sarath Sreedharan , Mudit Verma , Yantian Zha , Lin Guan

This paper reviews the historical development of AI and representative philosophical thinking from the perspective of the research paradigm. Additionally, it considers the methodology and applications of AI from a philosophical perspective…

Artificial Intelligence · Computer Science 2023-11-07 Youheng Zhang

Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical representations, in which the shape of the symbols is arbitrary. The aim of this paper is to make a case for the usefulness of diagrams in…

Computation and Language · Computer Science 2007-05-23 Catherine Recanati

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and…

Statistics Theory · Mathematics 2020-06-17 Evan Patterson

The use of statistical software in academia and enterprises has been evolving over the last years. More often than not, students, professors, workers, and users, in general, have all had, at some point, exposure to statistical software.…

Applications · Statistics 2019-08-21 Rui Portocarrero Sarmento , Vera Costa

BACKGROUND: Software engineering is a human activity. People naturally make sense of their activities and experience through storytelling. But storytelling does not appear to have been properly studied by software engineering research. AIM:…

Software Engineering · Computer Science 2021-05-03 Austen Rainer

Mathematics is the language of science. Fluent and productive use of mathematics requires one to understand the meaning embodied in mathematical symbols, operators, syntax, etc., which can be a difficult task. For instance, in algebraic…

Physics Education · Physics 2019-09-26 Tra Huynh , Eleanor C Sayre

Computational aspects increasingly shape environmental sciences. Actually, transdisciplinary modelling of complex and uncertain environmental systems is challenging computational science (CS) and also the science-policy interface. Large…

Systems and Control · Computer Science 2014-02-11 Daniele de Rigo