Results 21 to 30 of about 108,570 (147)
A symbolic method to analyse patterns in plant structure whose organogenesis is driven by a multitype branching process [PDF]
, 2010 International audienceFormal grammars like L-systems have long been used to describe plant growth dynamics. In this article, they are used for a new purpose. The aim is to build a symbolic method derived from computer science that enables the computation
Cournède, Paul-Henry +2 more
core +1 more source
Neurons and symbols: a manifesto [PDF]
, 2010 We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core
World Journal of Advanced Research and Reviews, 2023 Personalized mental health therapy has gained increasing attention as advancements in artificial intelligence (AI) enable tailored treatment strategies based on individual cognitive and emotional profiles. Neuro-symbolic AI, a hybrid approach combining symbolic reasoning and neural networks, offers a promising solution for bridging cognitive science ...
openaire +1 more source
Journal of Physics: Conference Series, 2020 Abstract The purpose of this study was to determine the differences in the effectiveness of the computer-based “color mixing maze games” to stimulate symbolic thinking for the development of learning science in early childhood in the new era of industry 4.0. 23 samples in one kindergarten in Surabaya were used for this study consisted of
Roudlotul Islamiyah +2 more
openaire +1 more source
Learning Lukasiewicz logic [PDF]
, 2018 The integration between connectionist learning and logic-based reasoning is a longstanding foundational question in artificial intelligence, cognitive systems, and computer science in general. Research into neural-symbolic integration aims to tackle this
Besold, T. R., Harder, F.
core +1 more source
Symbolic models for nonlinear control systems without stability assumptions
, 2011 Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main drawbacks: either
Mazo Jr., Manuel +3 more
core +2 more sources
On the existence of complete disjoint NP-pairs [PDF]
, 2009 Disjoint NP-pairs are an interesting model of computation with important applications in cryptography and proof complexity. The question whether there exists a complete disjoint NP-pair was posed by Razborov in 1994 and is one of the most important ...
Beyersdorff, O
core +1 more source
, 2015 We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within the state-of-the-art automata-based WS1S decision procedure implemented, e ...
Fiedor, Tomas +3 more
core +1 more source
Automatic Differentiation of Algorithms for Machine Learning [PDF]
, 2014 Automatic differentiation---the mechanical transformation of numeric computer programs to calculate derivatives efficiently and accurately---dates to the origin of the computer age.
Baydin, Atilim Gunes +1 more
core +1 more source
Computability and analysis: the legacy of Alan Turing
, 2009 We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 ...
Avigad, Jeremy, Brattka, Vasco
core +2 more sources