Search results for "Symbolic"

showing 10 items of 449 documents

K-12 game programming course concept using textual programming

2011

Several programming environments have been constructed to facilitate novice programming at K-12 and CS0/CS1 levels. The environments can be roughly divided into those using visual or textual programming. This paper presents a K-12 game programming course concept based on textual programming. The concept is based on an easy-to-use C# library, called Jypeli, built on top of Microsoft XNA Framework. The library tries to maintain advantages of visual programming and avoid challenges of textual programming. In particular, the library helps beginners to program their first games in a short period of time and without a heavy syntactic load. The course concept and an initial evaluation consisting o…

Functional logic programmingComputer sciencecomputer.software_genreExtensible programmingVery high-level programming languageComputingMilieux_COMPUTERSANDEDUCATIONConstraint programmingReactive programmingFifth-generation programming languageProgramming domainProtocol (object-oriented programming)Visual programming languageDeclarative programmingta113Symbolic programmingbusiness.industryProgramming languageInductive programmingConcurrent object-oriented programmingImperative programmingProcedural programmingProgramming paradigmSoftware engineeringbusinessFirst-generation programming languagecomputerFunctional reactive programmingProgramming language theoryProceedings of the 42nd ACM technical symposium on Computer science education
researchProduct

Rapid construction of algebraic axioms from samples

1991

Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.

General Computer ScienceTheorySample (material)Theoretical Computer ScienceSeparation axiomAlgebraAxiom of extensionalityMathematics::LogicConstruction of the real numbersTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONCalculusReverse mathematicsAlgebraic numberAxiomComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Real quadrics in C n , complex manifolds and convex polytopes

2006

In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics Cn which are invariant with respect to the natural action of the real torus (S1)n onto Cn. The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-cros…

General MathematicsHolomorphic functionSubspace arrangementsPolytope52C35Combinatorics52B05Ricci-flat manifoldTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYConvex polytopeComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONMathematics::Symplectic Geometry32Q55Mathematics32M17Equivariant surgeryTopology of non-Kähler compact complex manifoldsMathematics::Geometric TopologyManifoldAffine complex manifoldsMathematics::Differential GeometryDiffeomorphismComplex manifoldCombinatorics of convex polytopesSingular homologyReal quadrics
researchProduct

Numerical studies to detect chaotic motion in the full planar averaged three-body problem

2023

AbstractIn this paper, the author deals with a well-known problem of Celestial Mechanics, namely the three-body problem. A numerical analysis has been done in order to prove existence of chaotic motions of the full-averaged problem in particular configurations. Full because all the three bodies have non-negligible masses and averaged because the Hamiltonian describing the system has been averaged with respect to a fast angle. A reduction of degrees of freedom and of the phase-space is performed in order to apply the notion of covering relations and symbolic dynamics.

General MathematicsSettore MAT/07 - Fisica MatematicaCelestial mechanics · Three-body problem · Symbolic dynamics · Chaos · Poincaré map
researchProduct

Statistical physics: Some basic principles of fluctuation and noise theory

1983

Abstract Models have traditionally played a significant role in statistical mechanics. In view of the complexity of the system which statistical mechanics attempt to describe, this is not at all surprising. The study of simplified models has frequently revealed the underlying mathematical structure of many physical questions and in so doing the study of models has contributed directly to a clarification of several paradoxes which beset statistical mechanics. In this paper some of the models which appear to be useful for the discussion of non-equilibrium phenomena are examined in some detail. As usual these models are extremely simplified versions of the actual situations. It is, finally, as…

Generating FunctionPopulation DynamicStatistical mechanicsBartlett formalismNoise TheoryEpistemologyTheoretical physicsStochastic ProceNuclear Energy and EngineeringThe SymbolicNoise (video)Mathematical structureSettore ING-IND/19 - Impianti NucleariMathematicsAnnals of Nuclear Energy
researchProduct

On the Parameterization of Cartesian Genetic Programming

2020

In this work, we present a detailed analysis of Cartesian Genetic Programming (CGP) parametrization of the selection scheme ($\mu+\lambda$), and the levels back parameter l. We also investigate CGP’s mutation operator by decomposing it into a self-recombination, node function mutation, and inactive gene randomization operators. We perform experiments in the Boolean and symbolic regression domains with which we contribute to the knowledge about efficient parametrization of two essential parameters of CGP and the mutation operator.

Genetic programming0102 computer and information sciences02 engineering and technologyFunction (mathematics)01 natural sciencesAlgebra010201 computation theory & mathematicsMutation (genetic algorithm)Convergence (routing)0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingNode (circuits)sense organsSymbolic regressionParametrizationSelection (genetic algorithm)Mathematics2020 IEEE Congress on Evolutionary Computation (CEC)
researchProduct

Social representations of latin american immigrants about immigration, care and elderly caregivers

2013

Ageing in Spain has increased considerably and elderly people often find themselves in a situation of great dependence. Facing this situation, many have had the support of immigrant caregivers from Latin America. This research had the purpose to know the social representations (SR) of these caregivers, living in Valencia (Spain), about immigration, care and elderly care. It involved the participation of 35 immigrants who responded the Word Association Test and a socio-demographic questionnaire. The results revealed that the SR on immigration reflect "nostalgia", care was represented by "help", and care for the elderly by "respect". It is concluded that the SR allow understanding the symboli…

GerontologyLatin AmericansSocial Psychologymedia_common.quotation_subjectrepresentações sociaisImmigrationlcsh:BF1-990cuidadosElderly carecuidados com as pessoas idosasimmigrationsimigraçãoElderly peopleSociologycarelcsh:Social sciences (General)media_commonInternational levelelderly careCognitionSocial relationlcsh:Psychologysocial representationsThe Symboliclcsh:H1-99Social psychologyPsicologia & Sociedade
researchProduct

Teaching and Learning of Algebra

2015

Topic Study Group 9 aimed to bring together researchers, developers and teachers who investigate and develop theoretical accounts of the teaching and learning of algebra. The group sought both empirically grounded contributions focussing on the learning and teaching of algebra in diverse classrooms settings, the evolution of algebraic reasoning from elementary through university schooling as well as theoretical contributions throwing light on the complexities involved in teaching and learning of algebra. Prospective contributors were requested to address one or more of the following themes: early algebra, use of ICT in algebra classrooms, proof and proving in algebra, problem solving, semio…

Group (mathematics)Computer sciencePhysics::Physics EducationSymbolic computationComputer Science::Computers and SocietyAlgebraic reasoningAlgebraInformation and Communications TechnologyComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONComputingMilieux_COMPUTERSANDEDUCATIONSemioticsAlgebra over a fieldCurriculumEarly Algebra
researchProduct

Social worlds and symbolic boundaries of cannabis users in Poland

2022

Many legislations and cultures undergo liberalization regarding cannabis use, and users in Poland make constant references to, and are part of, a burgeoning global cannabis culture. Still they have to relate to conservative drug discourses and legal frameworks. This paper explores this discrepancy between users’ experience on the micro level and the macro context in which they live. The aim is to explore the boundary making processes cannabis users engage in to detach themselves from punitive legislation and conservative social reactions. The concept of social worlds is used to theorize and better understand their situation. The boundaries between the users’ social worlds are analyzed with …

Health (social science)social worldsMedicine (miscellaneous)symbolic boundariesPolandCannabisDrugs: Education, Prevention and Policy
researchProduct

Entre el activismo y la mediatización: encuadres de partidos y prensa en la campaña catalana de 2017

2019

Los estudios sobre la cobertura periodística de las campañas electorales apuntan a una creciente mediatización. Este trabajo busca corroborar si la tendencia también se da en circunstancias excepcionales, como las de las elecciones autonómicas de Cataluña en 2017. La investigación compara los encuadres presentados por seis periódicos (El País, El Mundo, La Vanguardia, El Periódico de Catalunya, Punt Avui y Ara) con los adoptados por los siete partidos políticos representados en el parlamento autonómico (JuntsXCat, ERC, PSC, PP, Ciudadanos, En Comú-Podem y CUP). Los resultados indican que los encuadres simbólicos propios de la acción colectiva dominaron en el mensaje de los partidos, aunque …

HegemonyParliamentCommunicationmedia_common.quotation_subjectPartits políticsMedia coverageExceptional circumstancesCollective actionNewspaperPoliticsPolitical scienceThe SymbolicHumanitiesmedia_common
researchProduct