English
Related papers

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

200 papers

The advantages of mixed approach with using different kinds of programming techniques for symbolic manipulation are discussed. The main purpose of approach offered is merge the methods of object oriented programming that convenient for…

Symbolic Computation · Computer Science 2007-05-23 Alexander Yu. Vlasov

Computational imaging has been playing a vital role in the development of natural sciences. Advances in sensory, information, and computer technologies have further extended the scope of influence of imaging, making digital images an…

Image and Video Processing · Electrical Eng. & Systems 2022-02-25 Bin Dong

Neuro-symbolic and statistical relational artificial intelligence both integrate frameworks for learning with logical reasoning. This survey identifies several parallels across seven different dimensions between these two fields. These…

Artificial Intelligence · Computer Science 2020-03-25 Luc De Raedt , Sebastijan Dumančić , Robin Manhaeve , Giuseppe Marra

Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational…

Logic in Computer Science · Computer Science 2019-08-13 Daniel Kirchner , Christoph Benzmüller , Edward N. Zalta

The term visual programming has started to be used in Informatics so far, however, there are different views on its meaning. The separation of visual programming from development tools of interfaces provides not only the certainty for this…

Computers and Society · Computer Science 2018-07-25 Vladyslav Velychko

Background. As digital technologies increasingly shape social domains such as healthcare, public safety, entertainment, and education, software engineering has engaged with ethical and political concerns primarily through the notion of…

Software Engineering · Computer Science 2026-03-31 Lucas Valenca , Ronnie de Souza Santos

Currently statistical and artificial neural network methods dominate in financial data mining. Alternative relational (symbolic) data mining methods have shown their effectiveness in robotics, drug design and other applications.…

Computational Engineering, Finance, and Science · Computer Science 2007-05-23 B. Kovalerchuk , E. Vityaev , H. Yusupov

Most of today's scientific research relies on computers and software not only for administrational tasks, but also for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the…

Human-Computer Interaction · Computer Science 2018-08-06 Konrad Hinsen

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry. Nevertheless, concerns about trust, safety, interpretability and accountability of AI…

Artificial Intelligence · Computer Science 2020-12-18 Artur d'Avila Garcez , Luis C. Lamb

Recent advancements in geographic information systems and mixed reality technologies have positioned spatial computing as a transformative paradigm in computational science. However, the field remains conceptually fragmented, with diverse…

Human-Computer Interaction · Computer Science 2025-09-01 Yibo Wang , Yuhan Luo , Janghee Cho , Junnan Yu

Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly impact the resources required: such choices can benefit from…

Symbolic Computation · Computer Science 2024-09-12 Tereso del Río , Matthew England

Artificial computing machinery transforms representations through an objective process, to be interpreted subjectively by humans, so the machine and the interpreter are different entities, but in the putative natural computing both…

Artificial Intelligence · Computer Science 2025-06-17 Luis A. Pineda

The effort invested in a software project is probably one of the most important and most analyzed variables in recent years in the process of project management. The limitation of algorithmic effort prediction models is their inability to…

Software Engineering · Computer Science 2013-10-22 Sumeet Kaur Sehra , Yadwinder Singh Brar , Navdeep Kaur

The ability to use symbols is the pinnacle of human intelligence, but has yet to be fully replicated in machines. Here we argue that the path towards symbolically fluent artificial intelligence (AI) begins with a reinterpretation of what…

Artificial Intelligence · Computer Science 2022-01-24 Adam Santoro , Andrew Lampinen , Kory Mathewson , Timothy Lillicrap , David Raposo

Complex system simulation has been playing an irreplaceable role in understanding, predicting, and controlling diverse complex systems. In the past few decades, the multi-scale simulation technique has drawn increasing attention for its…

Systems and Control · Electrical Eng. & Systems 2024-07-25 Huandong Wang , Huan Yan , Can Rong , Yuan Yuan , Fenyu Jiang , Zhenyu Han , Hongjie Sui , Depeng Jin , Yong Li

As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…

Systems and Control · Computer Science 2018-01-01 Masoud Abbaszadeh

Quantum Computing is a new paradigm that enables several advances which are impossible using classical technology. With the rise of quantum computers, the software is also invited to change so that it can better fit this new computation…

Software Engineering · Computer Science 2024-03-19 Paulo Eduardo Zanni Junior , Valter Vieira de Camargo

Quantitative social science is not only about regression analysis or, in general, data inference. Computer simulations of social mechanisms have a 60-year long history. They have been used for many different purposes -- to test scenarios,…

Physics and Society · Physics 2021-10-01 Petter Holme , Fredrik Liljeros

Philosophy of science attempts to describe all parts of the scientific process in a general way in order to facilitate the description, execution and improvements of this process. So far, all proposed philosophies have only covered existing…

Logic in Computer Science · Computer Science 2023-02-07 Michał J. Gajda

Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns…

Artificial Intelligence · Computer Science 2019-05-16 Artur d'Avila Garcez , Marco Gori , Luis C. Lamb , Luciano Serafini , Michael Spranger , Son N. Tran