Search results for "Symbolic"

showing 10 items of 449 documents

Panel Summary Perceptual Learning and Discovering

1994

The problem of learning and discovering in perception is addressed and discussed with particular reference to present machine learning paradigms. These paradigms are briefly introduced by S. Gaglio. The subsymbolic approach is addressed by S. Nolfi, and the role of symbolic learning is analysed by F. Esposito. Many of the open problems, that are evidentiated in the course of the panel, show how this is an important field of research that still needs a lot of investigation. In particular, as a result of the whole discussion, it seems that a suitable integration of different approaches must be accurately investigated. It is observed, in fact, that the weakness of the most part of the existing…

Cognitive scienceIdeal (set theory)Computer sciencebusiness.industrymedia_common.quotation_subjectNovelty detectionField (computer science)Symbolic learningPerceptual learningPerceptionIncremental learningUnsupervised learningArtificial intelligencebusinessmedia_common
researchProduct

The Linear Ordering Polytope

2010

So far we developed a general integer programming approach for solving the LOP. It was based on the canonical IP formulation with equations and 3-dicycle inequalities which was then strengthened by generating mod-k-inequalities as cutting planes. In this chapter we will add further ingredients by looking for problem- specific inequalities. To this end we will study the convex hull of feasible solutions of the LOP: the so-called linear ordering polytope.

CombinatoricsConvex hullLinear programmingBirkhoff polytopeComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONConvex polytopeCross-polytopeMathematicsofComputing_NUMERICALANALYSISUniform k 21 polytopeEhrhart polynomialVertex enumeration problemMathematics
researchProduct

Symbolic Dynamics of Geodesic Flows on Trees

2019

In this chapter, we give a coding of the discrete-time geodesic ow on the nonwandering sets of quotients of locally finite simplicial trees X without terminal vertices by nonelementary discrete subgroups of Aut(X) by a subshift of finite type on a countable alphabet.

CombinatoricsMathematics::Group TheoryMathematics::Dynamical SystemsGeodesicSymbolic dynamicsCountable setAlphabetSubshift of finite typeComputer Science::Formal Languages and Automata TheoryQuotientMathematicsCoding (social sciences)
researchProduct

Different World Views

2010

When we study communication systems in other animal species, we are led to the conclusion that extraterrestrial intelligent beings are likely to have systems of communication similar to the human one in at least some aspects. That is to say, communication is accomplished by means of the combination of certain information elements playing a role analogous to words, or that the system is a symbolic language (or even both things simultaneously). But in communication, it is also very important how information is transmitted (pictorially, by means of ideograms, letters, etc.), which is going to be strongly determined by the species’specific perception of the world.

CommunicationComputer sciencebusiness.industryPerceptionmedia_common.quotation_subjectSymbolic languageInformation elementIdeogramCommunications systemAnimal speciesbusinessInferotemporal cortexmedia_common
researchProduct

A longitudinal examination of the transition to symbolic communication in the second year of life

2003

Between 10 and 24 months of age, children progress from communicating through conventional signals to communicating through symbols in a variety of situations. The present study investigates this transition analysing mother–child communication frames and the child’s communicative acts, and tracing the developmental changes in both frames and communicative acts. Four children (2 girls, 2 boys) and their mothers were observed longitudinally and extensively, from 10 to 24 months of age, using a multiple case-study method. Through the detailed investigation of these single cases, clear developmental trajectories were found, showing that conventional frames and representational gestures ‘bridge’…

Communication; Developmental transition; Longitudinal; Mother-child frames; Multiple case study; SymbolsFrame analysisTransition (fiction)Developmental and Educational PsychologySymbolic communicationPsychologyVariety (linguistics)Developmental psychologyGestureFocus (linguistics)
researchProduct

An Analysis of the Influence of Noneffective Instructions in Linear Genetic Programming

2020

Abstract Linear Genetic Programming (LGP) represents programs as sequences of instructions and has a Directed Acyclic Graph (DAG) dataflow. The results of instructions are stored in registers that can be used as arguments by other instructions. Instructions that are disconnected from the main part of the program are called noneffective instructions, or structural introns. They also appear in other DAG-based GP approaches like Cartesian Genetic Programming (CGP). This article studies four hypotheses on the role of structural introns: noneffective instructions (1) serve as evolutionary memory, where evolved information is stored and later used in search, (2) preserve population diversity, (3)…

Computational MathematicsTheoretical computer scienceDataflowComputer scienceLinear genetic programmingPopulation diversitySymbolic regressionCartesian genetic programmingDirected acyclic graphBiological EvolutionAlgorithmsNeutral mutationEvolutionary Computation
researchProduct

RationalizeRoots: Software package for the rationalization of square roots

2020

The computation of Feynman integrals often involves square roots. One way to obtain a solution in terms of multiple polylogarithms is to rationalize these square roots by a suitable variable change. We present a program that can be used to find such transformations. After an introduction to the theoretical background, we explain in detail how to use the program in practice.

Computational PhysicsComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONOtherInterdisciplinary sciences
researchProduct

MultivariateApart: Generalized partial fractions

2021

We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied to terms of a sum separately. The package is designed to work in Mathematica, but also provides interfaces to the Form and Singular computer algebra systems.

Computer Science - Symbolic ComputationHigh Energy Physics - TheoryFOS: Computer and information sciencesPolynomialComputer scienceFOS: Physical sciencesGeneral Physics and AstronomyRational functionSymbolic Computation (cs.SC)Partial fraction decomposition01 natural sciencesGröbner basisHigh Energy Physics - Phenomenology (hep-ph)ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION0103 physical sciences010306 general physicsSpurious relationshipcomputer.programming_language010308 nuclear & particles physicsFunction (mathematics)Symbolic computationAlgebraHigh Energy Physics - PhenomenologyHigh Energy Physics - Theory (hep-th)Hardware and ArchitectureComputer Science::Mathematical SoftwareWolfram LanguagecomputerComputer Physics Communications
researchProduct

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

2002

AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.

Computer Science - Symbolic ComputationI.1.3FOS: Computer and information sciencesFor loopTheoretical computer scienceAlgebra and Number TheoryFOS: Physical sciencesI.1.1; I.1.3Symbolic Computation (cs.SC)Computational Physics (physics.comp-ph)Symbolic computationI.1.1High Energy Physics - PhenomenologyComputational MathematicsHigh Energy Physics - Phenomenology (hep-ph)General purposeHigh-level programming languageSpecial functionsFourth-generation programming languagePhysics - Computational PhysicsC programming languageLow-level programming languageMathematicsJournal of Symbolic Computation
researchProduct

Explicit solutions of Riccati equations appearing in differential games

1990

Abstract In this paper an explicit closed form solution of Riccati differential matrix equations appearing in games theory is given.

Computer Science::Computer Science and Game TheoryApplied MathematicsMathematical analysisMathematicsofComputing_NUMERICALANALYSISLinear-quadratic regulatorAlgebraic Riccati equationMatrix (mathematics)ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONRiccati equationApplied mathematicsClosed-form expressionGame theoryDifferential (mathematics)MathematicsApplied Mathematics Letters
researchProduct