Log in

Relevant bibliographies by topics / Symbolic tools / Journal articles

To see the other types of publications on this topic, follow the link: Symbolic tools.

Journal articles on the topic 'Symbolic tools'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Symbolic tools.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Lytovchenko, Artem, and Alexander Durniev. "MEMES IN SYMBOLIC STRUGGLE TOOLS." Knowledge, Education, Law, Management, no. 6 (2021): 95–102. http://dx.doi.org/10.51647/kelm.2021.6.15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Munro, N. "Symbolic algebra tools for control teaching." Computing & Control Engineering Journal 8, no. 2 (1997): 58–63. http://dx.doi.org/10.1049/cce:19970203.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dick, Thomas P. "Symbolic-Graphical Calculators: Teaching Tools for Mathematics." School Science and Mathematics 92, no. 1 (1992): 1–5. http://dx.doi.org/10.1111/j.1949-8594.1992.tb12128.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Belikov, Juri, ülle Kotta, and Maris Tõnso. "Symbolic Polynomial Tools for Nonlinear Control Systems." IFAC Proceedings Volumes 45, no. 2 (2012): 293–98. http://dx.doi.org/10.3182/20120215-3-at-3016.00051.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Leite Dantas Bezerra, Byron, and Francisco de Assis Tenorio de Carvalho. "Symbolic data analysis tools for recommendation systems." Knowledge and Information Systems 26, no. 3 (2010): 385–418. http://dx.doi.org/10.1007/s10115-009-0282-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

KOROL'KOVA, A. V., M. N. GEVORKYAN, D. S. KULYABOV, and L. A. SEVAST'YANOV. "COMPUTER ALGEBRA TOOLS FOR GEOMETRIZATION OF MAXWELL'S EUQATIONS." Программирование, no. 4 (July 1, 2023): 33–38. http://dx.doi.org/10.31857/s0132347423020127.

Full text

Abstract:

Calculations of optical devices in the geometrized Maxwell’s theory use well-known formalisms of general theory of relativity and differential geometry. In particular, for such calculations it is required to know the analytical form of the geodesic equations, which leads to the need to calculate a large number of monotonous mathematical expressions. One of the purposes of computer algebra is to facilitate the researcher’s work by automating cumbersome symbolic computations. Thus, the use of computer algebra systems seems to be quite an obvious way. Several free implementations of symbolic comp

APA, Harvard, Vancouver, ISO, and other styles

7

Veraksa, A. N., A. E. Gorovaya, and A. V. Kisel. "The Possibility of Using Iconic and Symbolic Tools in Teaching Preschoolers (on Example of the Acquisition of the Rainbow Phenomenon)." Psychological-Educational Studies 6, no. 2 (2014): 19–34. http://dx.doi.org/10.17759/psyedu.2014060202.

Full text

Abstract:

The article focuses on use of cognitive activity in preschool children. Particular attention is paid to understanding of the symbolic mediation in the context of the study of play activities. We describe an experiment which purpose was to develop the representations of the rainbow phenomenon in children of preschool age. The formation occurred in two ways: through the use of symbolic means (using models), and through the use of symbols in the play activity. The subjects were preschoolers aged 4-5 years (N = 23) attending preschools in Moscow. The results show that the use of iconic and symboli

APA, Harvard, Vancouver, ISO, and other styles

8

Char, Bruce, Tom Hewett, Jeremy Johnson, et al. "Symbolic computation tools in scientific problem solving environments." ACM SIGSAM Bulletin 31, no. 3 (1997): 58. http://dx.doi.org/10.1145/271130.271207.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Piazza, Manuela. "Neurocognitive start-up tools for symbolic number representations." Trends in Cognitive Sciences 14, no. 12 (2010): 542–51. http://dx.doi.org/10.1016/j.tics.2010.09.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Alvarado, F. L., and Y. Liu. "General purpose symbolic simulation tools for electric networks." IEEE Transactions on Power Systems 3, no. 2 (1988): 689–97. http://dx.doi.org/10.1109/59.192924.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Andrews, David F., and James E. Stafford. "Tools for the Symbolic Computation of Asymptotic Expansions." Journal of the Royal Statistical Society: Series B (Methodological) 55, no. 3 (1993): 613–27. http://dx.doi.org/10.1111/j.2517-6161.1993.tb01927.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Schumann, Andrew, and Andrzej Szelc. "Towards New Probabilistic Assumptions in Business Intelligence." Studia Humana 3, no. 4 (2015): 11–21. http://dx.doi.org/10.1515/sh-2015-0003.

Full text

Abstract:

Abstract One of the main assumptions of mathematical tools in science is represented by the idea of measurability and additivity of reality. For discovering the physical universe additive measures such as mass, force, energy, temperature, etc. are used. Economics and conventional business intelligence try to continue this empiricist tradition and in statistical and econometric tools they appeal only to the measurable aspects of reality. However, a lot of important variables of economic systems cannot be observable and additive in principle. These variables can be called symbolic values or symb

APA, Harvard, Vancouver, ISO, and other styles

13

Davidko, Natalya. "Symbolism in V. Woolf's “Orlando” (Cognitive Tools of Figurative Thought)." English Linguistics Research 8, no. 4 (2019): 27. http://dx.doi.org/10.5430/elr.v8n4p27.

Full text

Abstract:

The current research is devoted to the study of the oak tree symbolism in V. Woolf's “Orlando” (1928) with the dual purpose of defining its functional role in the literary text and educing cognitive and cultural foundations underlying conception and development of the symbol. The principles and tools employed for the analysis allow of tracing the formation of the symbolic domain of the Tree concept to the Proto-Indo-European period. Later accretions of symbolic meanings conditioned by a mythic and religious vision of the world produced a rich paradigm of symbolic attributes grounded in the pri

APA, Harvard, Vancouver, ISO, and other styles

14

Porncharoenwase, Sorawee, Luke Nelson, Xi Wang, and Emina Torlak. "A formal foundation for symbolic evaluation with merging." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–28. http://dx.doi.org/10.1145/3498709.

Full text

Abstract:

Reusable symbolic evaluators are a key building block of solver-aided verification and synthesis tools. A reusable evaluator reduces the semantics of all paths in a program to logical constraints, and a client tool uses these constraints to formulate a satisfiability query that is discharged with SAT or SMT solvers. The correctness of the evaluator is critical to the soundness of the tool and the domain properties it aims to guarantee. Yet so far, the trust in these evaluators has been based on an ad-hoc foundation of testing and manual reasoning. This paper presents the first formal framework

APA, Harvard, Vancouver, ISO, and other styles

15

Ibekwe‐SanJuan, Fidelia. "Constructing and maintaining knowledge organization tools: a symbolic approach." Journal of Documentation 62, no. 2 (2006): 229–50. http://dx.doi.org/10.1108/00220410610653316.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Barros de Oliveira, Vera. "Symbolic Manifestations as Tools of Psychological and Historical Development." Journal of Clinical Case Reports & Studies 4, no. 1 (2023): 01–04. http://dx.doi.org/10.31579/2690-8808/135.

Full text

Abstract:

The belief in the human being as a builder of his own history has guided my work as a psychologist, based on his social and cultural background. In this conquest, man build and rely on his great symbolic ascent, already marked by the hands of the hunters who left their passage and work recorded in their graves and first dwellings. The children's growing cognitive and affective-emotional organization has as their main instrument of action their play and make-believe. This text aims to follow in broad lines the human cultural evolution and its symbolic representation. It begins with a brief preh

APA, Harvard, Vancouver, ISO, and other styles

17

Eriksson, Anders, and Costin Pacoste. "Symbolic software tools in the development of finite elements." Computers & Structures 72, no. 4-5 (1999): 579–93. http://dx.doi.org/10.1016/s0045-7949(98)00333-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Ow, Gary. "Symbolic Projection Tools in Adolescent Counselling: The Animal Gate and Desert Path Protocols." Journal of Humanities and Social Sciences (JHSS) 4, no. 1 (2025): 21–36. https://doi.org/10.51317/jhss.v4i1.747.

Full text

Abstract:

This paper introduces two symbolic projection tools—The Animal Gate and the Desert Path Sovereignty Test (DPST)—as structured therapeutic methods for surfacing self-concept, relational beliefs, and identity fragments through guided metaphor. Adolescents often resist traditional talk therapy due to defensiveness, mistrust of authority, and difficulty articulating emotional states. Derived from popular psychology frameworks such as Kokology and refined within the Myth-Tech therapeutic model, these tools provide a low-resistance, high-engagement approach that leverages imaginal content for therap

APA, Harvard, Vancouver, ISO, and other styles

19

Krämer, Walter. "Computer-Assisted Proofs and Symbolic Computations." Serdica Journal of Computing 4, no. 1 (2010): 73–84. http://dx.doi.org/10.55630/sjc.2010.4.73-84.

Full text

Abstract:

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a global minimum within a given range, etc.) using a digital computer. To validate the assertions of the underlying theorems fast finite precision arithmetic is used. The results are absolutely rigorous. To d

APA, Harvard, Vancouver, ISO, and other styles

20

Kuliamin, Victor Viatcheslavovitch. "Survey of Software Dynamic Analysis Methods." Proceedings of the Institute for System Programming of the RAS 35, no. 4 (2023): 7–44. http://dx.doi.org/10.15514/ispras-2023-35(4)-1.

Full text

Abstract:

The article presents a survey of software dynamic analysis methods. The main focus of the survey is on methods supported by tools, targeted on software security verification and applicable to system software. The survey examines in detail fuzzing and dynamic symbolic execution techniques. Dynamic taint data analysis is excluded due to difficulty of gathering technical details of its implementation. Review of fuzzing and dynamic symbolic execution is focused mostly on the techniques used in supporting tools, not on tools themselves, because their number exceeds 100 already. Also, the techniques

APA, Harvard, Vancouver, ISO, and other styles

21

Demidova, A. V., O. V. Druzhinina, O. N. Masina, and А. А. Petrov. "Constructing compartmental models of dynanic systems using a software package for symbolic computation in Julia." Программирование, no. 2 (April 15, 2024): 33–44. http://dx.doi.org/10.31857/s0132347424020051.

Full text

Abstract:

This paper considers the problem of constructing compartmental models of dynamic systems by using a software package for symbolic calculation written in Julia. The software package is aimed at unifying the formalized construction of compartmental models, taking into account the meaningful description of possible interactions among compartments and the influence of various factors on the evolution of systems. An approach to the development of the instrumental and methodological basis for modeling the dynamic systems the behavior of which can be described by one-step processes is developed. The

APA, Harvard, Vancouver, ISO, and other styles

22

Galbács, Peter. "The age of symbolic economic policies?" Society and Economy 37, no. 2 (2015): 245–65. http://dx.doi.org/10.1556/204.2015.37.2.6.

Full text

Abstract:

This paper offers a few remarks on the so-called heterodoxy commentaries of recent times (e.g. Bod 2013, Csaba 2011). In accordance with the growing popularity of unusual economic policy actions, a set of “tools” is emerging that aims to exert its effects breaking with instrumental actions. Outlining a special framework of the history of mainstream economics, it will be argued that economic policy only gradually has become capable of applying this system. In our view, both the emergence of symbolic economic policies mentioned above and the rise of heterodoxy are on the same level, since certai

APA, Harvard, Vancouver, ISO, and other styles

23

Abid Hussain, Dr. Syed Aoun Sajid Naqvi та Dr. Mohib ul Nabi Tahir. "علامہ اقبال کی نظموں میں مذہبی علامتیت". Al-Qamar 3, № 2 (2020): 413–20. https://doi.org/10.53762/veq2bt83.

Full text

Abstract:

Symbols are basically tools to deliver the creative poetic meaning. In the poems of Iqbal, there are a large number of symbols used to explain and emphasize on the poetic meaning and message. Most of the symbols used in the poetry of Iqbāl have religious background like Iblīs, Mullā etc. This article is aimed to focus the symbolic poetry of Iqbal. It will be helpful in approaching the symbolical poetics of Iqbal.

APA, Harvard, Vancouver, ISO, and other styles

24

Netolicky, Deborah. "Using literary metaphor and characters as structural and symbolic tools." Narrative Inquiry 25, no. 2 (2015): 264–82. http://dx.doi.org/10.1075/ni.25.2.04net.

Full text

Abstract:

Narrative researchers are faced with the challenges of ethically co-constructing human data and writing meaningful, readable research texts, which protect participants’ anonymity. This article adds to the conversation of qualitative, and especially narrative, inquiry by presenting one creative approach to these challenges. It proposes that using extended literary metaphor and known literary characters, as analytical and structural tools, develops allegoric layers of meaning while preserving participant anonymity. Situating narrative research in the realm of imaginative story may help readers a

APA, Harvard, Vancouver, ISO, and other styles

25

Anderson, I. M., and C. G. Torre. "New symbolic tools for differential geometry, gravitation, and field theory." Journal of Mathematical Physics 53, no. 1 (2012): 013511. http://dx.doi.org/10.1063/1.3676296.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Xu, Hui, Zirui Zhao, Yangfan Zhou, and Michael R. Lyu. "Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs." IEEE Transactions on Dependable and Secure Computing 17, no. 6 (2020): 1243–56. http://dx.doi.org/10.1109/tdsc.2018.2866469.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Viklund, Lars, and Peter Fritzson. "ObjectMath – An Object-Oriented Language and Environment for Symbolic and Numerical Processing in Scientific Computing." Scientific Programming 4, no. 4 (1995): 229–50. http://dx.doi.org/10.1155/1995/829697.

Full text

Abstract:

ObjectMath is a language for scientific computing that integrates object-oriented constructs with features for symbolic and numerical computation. Using ObjectMath, complex mathematical models may be implemented in a natural way. The ObjectMath programming environment provides tools for generating efficient numerical code from such models. Symbolic computation is used to rewrite and simplify equations before code is generated. One novelty of the ObjectMath approach is that it provides a comman language and an integrated environment for this kind of mixed symbolic/numerical computation. The mot

APA, Harvard, Vancouver, ISO, and other styles

28

Cline, Terry, Harold Abelson, and Warren Harris. "Symbolic computing in engineering design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 3, no. 3 (1989): 195–206. http://dx.doi.org/10.1017/s0890060400001220.

Full text

Abstract:

Computer programs that combine traditional numeric methods with symbolic algebra and with specific knowledge of application-based techniques can provide new levels of computational support for engineering design. We illustrate this with a computer-based ‘control engineer’s assistant’. Although this program is focussed on control system design, it demonstrates techniques that should be widely applicable across many engineering disciplines. In particular, we show how, with symbolic computing, a computer-aided design system can usefully simulate engineering models early in the design process, bef

APA, Harvard, Vancouver, ISO, and other styles

29

Kovács, Zoltán, Tomás Recio, and M. Pilar Vélez. "Automated reasoning tools in GeoGebra discovery." ACM Communications in Computer Algebra 55, no. 2 (2021): 39–43. http://dx.doi.org/10.1145/3493492.3493495.

Full text

Abstract:

We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.

APA, Harvard, Vancouver, ISO, and other styles

30

Torresi, Sandra. "Interaction between domain-specific and domain-general abilities in math´s competence." Journal of Applied Cognitive Neuroscience 1, no. 1 (2020): 43–51. http://dx.doi.org/10.17981/jacn.1.1.2020.08.

Full text

Abstract:

This article is an approach to some viewpoints about interactions between domain-specific and general cognitive tools involved in the development of mathematical competence. Many studies report positive correlations between the acuity of the numerical approximation system and formal mathematical performance, while another important group of investigations have found no evidence of a direct connection between non-symbolic and symbolic numerical representations. The challenge for future research will be to focus on correlations and possible causalities between non-symbolic and symbolic arithmeti

APA, Harvard, Vancouver, ISO, and other styles

31

Baddour, A., M. M. Gambaryan, L. Gonzalez, and M. D. Malykh. "On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems." Программирование, no. 5 (September 1, 2023): 47–58. http://dx.doi.org/10.31857/s013234742302005x.

Full text

Abstract:

This paper presents an original package for investigating numerical solutions of ordinary differential equations, which is built in the Sage computer algebra system. This project is focused on a closer integration of numerical and symbolic methods while primarily aiming to create a convenient tool for working with numerical solutions in Sage. The package defines two new classes: initial problems and approximate solutions. The first class defines tools for symbolic computations related to initial problems, while the second class defines tools for interpolating values of symbolic expressions on

APA, Harvard, Vancouver, ISO, and other styles

32

Susag, Zachary, Sumit Lahiri, Justin Hsu, and Subhajit Roy. "Symbolic execution for randomized programs." Proceedings of the ACM on Programming Languages 6, OOPSLA2 (2022): 1583–612. http://dx.doi.org/10.1145/3563344.

Full text

Abstract:

We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and can prove probabilistic properties that universally quantify over all possible inputs. Our technique augments standard symbolic execution with a new class of probabilistic symbolic variables , which represent the results of random draws, and computes symbolic expressions representing the probability of taking individual paths. We implement our method on top of the KLEE symbolic execution engine alongside multiple optim

APA, Harvard, Vancouver, ISO, and other styles

33

Rosenberg, Danny. "Not ‘Just Another Brick in the Wall?’ The Symbolism of Groundstone Tools in Natufian and Early Neolithic Southern Levantine Constructions." Cambridge Archaeological Journal 23, no. 2 (2013): 185–201. http://dx.doi.org/10.1017/s095977431300022x.

Full text

Abstract:

A phenomenon noted in early sedentary and semi-sedentary settlements in the southern Levant is the use of groundstone tools as ‘building material’ incorporated into structure walls. It is argued in this article that these artefacts should not be perceived merely as construction material, but rather they should be seen as having a symbolic purpose owing to the social and economic significance that groundstone tools acquired during the transition to agriculture and the growing importance of food processing. This assumed symbolic purpose may also originate from ritual contexts in which these arte

APA, Harvard, Vancouver, ISO, and other styles

34

Byers, A. Martin. "Communication and Material Culture: Pleistocene Tools as Action Cues." Cambridge Archaeological Journal 9, no. 1 (1999): 23–41. http://dx.doi.org/10.1017/s0959774300015195.

Full text

Abstract:

The gesture-call practices of early hominids were of a different order from those of their primate relatives, the ancestors of present day apes. The Tool-Cue Model postulates how our ancestors might have used tools both as functional instruments and as icons. The central thesis of the model treats communication as action systems mediated by signs, the central communicative action being the action cue: a communicative act that requires further behaviours to be satisfied. Tools are interpreted as framing devices, promoting the emergence of pragmatic/semantic duality. This latter feature is based

APA, Harvard, Vancouver, ISO, and other styles

35

Tkachev, Andrey N. "On the symbolic power of the phrase “science has proven..." Digital Scholar: Philosopher`s Lab 7, no. 2 (2024): 51–56. https://doi.org/10.32326/2618-9267-2024-7-2-51-56.

Full text

Abstract:

The article studies the problem of symbolic power in an environment favorable to post-truth. The article analyzes different meanings which the phrase “science has proven” ac-quires in natural sciences, humanities, philos-ophy, and commonplace sense. The author considers the debate about the scientific na-ture of theology as an example of how the church strives to obtain the symbolic capital that science currently possesses. The author concludes that the phrase “science has prov-en” along with such concepts as “scientific”, “professor”, etc. can be used as the tools of symbolic power to manipul

APA, Harvard, Vancouver, ISO, and other styles

36

Petcu, Dana, Cosmin Bonchiș, and Cornel Izbașa. "Symbolic Computations based on Grid Services." International Journal of Computers Communications & Control 1, no. 1 (2006): 33. http://dx.doi.org/10.15837/ijccc.2006.1.2270.

Full text

Abstract:

<p>The widespread adoption of the current Grid technologies is still impeded by a number of problems, one of which is difficulty of developing and implementing Grid-enabled applications. In another dimension, symbolic computation, aiming to automatize the steps of mathematical problem solving, has become in the last years a basis for advanced applications in many areas of computer science.<br /> In this context we have recently analyzed and developed grid-extensions of known tools for symbolic computations. We further present in this paper a case study of a Web service-based Grid a

APA, Harvard, Vancouver, ISO, and other styles

37

Díez-Pisonero, Roberto. "Events and Festivals as Strategic Tools for Understanding and Assessing the Symbolic Reconfiguration of the World Urban System." Urban Science 9, no. 6 (2025): 223. https://doi.org/10.3390/urbansci9060223.

Full text

Abstract:

The growing importance of the symbolic dimension in urban globalisation has led cities to compete not only in economic terms, but also in cultural and symbolic arenas. In this context, events and festivals have emerged as strategic tools for building reputation, attracting global audiences, and projecting soft power. This study introduces an updated version of the Synthetic Index of Events and Festivals (SIEF), which evaluates the positioning of 150 cities based on their capacity to host significant cultural and sporting events. Using a multi-methodological approach that combines an extensive

APA, Harvard, Vancouver, ISO, and other styles

38

Correnson, Arthur, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher. "Finding ∀∃ Hyperbugs using Symbolic Execution." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 1420–45. http://dx.doi.org/10.1145/3689761.

Full text

Abstract:

Many important hyperproperties, such as refinement and generalized non-interference, fall into the class of ∀∃ hyperproperties and require, for each execution trace of a system, the existence of another trace relating to the first one in a certain way. The alternation of quantifiers renders ∀∃ hyperproperties extremely difficult to verify, or even just to test. Indeed, contrary to trace properties, where it suffices to find a single counterexample trace, refuting a ∀∃ hyperproperty requires not only to find a trace, but also a proof that no second trace satisfies the specified relation with th

APA, Harvard, Vancouver, ISO, and other styles

39

Warner, Lisa B., Roberta Y. Schorr, and Gary E. Davis. "Flexible use of symbolic tools for problem solving, generalization, and explanation." ZDM 41, no. 5 (2009): 663–79. http://dx.doi.org/10.1007/s11858-009-0190-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Santos, María, and María Márquez. "Developing Tools for New Technology Studies: An Anthropological Perspective." Practicing Anthropology 23, no. 4 (2001): 9–13. http://dx.doi.org/10.17730/praa.23.4.230w253637414603.

Full text

Abstract:

Anthropology seeks the meanings of standard or repeated behaviors, social processes, or human creations. This is why anthropologists have explored alien and/or distant social settings. What happens when we try to answer the same questions in our own contexts? In other words, how can we use anthropological theories and tools to discover the meaning of the development and adoption of technological artifacts and processes within our own cultural groups? In this article, we suggest that this can be partly achieved through the generation and exchange of theoretical tools. To this end, we propose th

APA, Harvard, Vancouver, ISO, and other styles

41

Jacobson, Maxwell, and Yexiang Xue. "Integrating Symbolic Reasoning into Neural Generative Models for Design Generation." Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 27 (2025): 28741. https://doi.org/10.1609/aaai.v39i27.35132.

Full text

Abstract:

Design generation requires tight integration of neural and symbolic reasoning, as good design must meet explicit user needs and honor implicit rules for aesthetics, utility, and convenience. Current automated design tools driven by neural networks produce appealing designs, but cannot satisfy user specifications and utility requirements. Symbolic reasoning tools, such as constraint programming, cannot perceive low-level visual information in images or capture subtle aspects such as aesthetics. We introduce Spatial Reasoning Integrated Generator (SPRING) for design generation. SPRING embeds a n

APA, Harvard, Vancouver, ISO, and other styles

42

Lu, Sirui, and Rastislav Bodík. "Grisette: Symbolic Compilation as a Functional Programming Library." Proceedings of the ACM on Programming Languages 7, POPL (2023): 455–87. http://dx.doi.org/10.1145/3571209.

Full text

Abstract:

The development of constraint solvers simplified automated reasoning about programs and shifted the engineering burden to implementing symbolic compilation tools that translate programs into efficiently solvable constraints. We describe Grisette, a reusable symbolic evaluation framework for implementing domain-specific symbolic compilers. Grisette evaluates all execution paths and merges their states into a normal form that avoids making guards mutually exclusive. This ordered-guards representation reduces the constraint size 5-fold and the solving time more than 2-fold. Grisette is designed e

APA, Harvard, Vancouver, ISO, and other styles

43

Recio, Tomás, Carlos Ueno, and María Pilar Vélez. "A Computational Approach to the Perimeter-Area Inequality in a Triangle." Axioms 14, no. 1 (2025): 40. https://doi.org/10.3390/axioms14010040.

Full text

Abstract:

This paper explores the application of automated reasoning tools, specifically those implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles. Focusing on the computational complex and real algebraic geometry methods behind these tools, this study analyzes a geometric construction involving a triangle with arbitrary side lengths and area, investigating the automated derivation of the relationship between the area and perimeter of a triangle, and showing that only equilateral triangles satisfy the exact perimeter-area equality. The main contribution of this work is to de

APA, Harvard, Vancouver, ISO, and other styles

44

MANSSUR, L. R. U., R. PORTUGAL, and B. F. SVAITER. "GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION." International Journal of Modern Physics C 13, no. 07 (2002): 859–79. http://dx.doi.org/10.1142/s0129183102004571.

Full text

Abstract:

We describe how Computational Group Theory provides tools for manipulating indexed objects (tensors, spinors, and so on) in explicit index notation. In particular, we present algorithms that put tensors with free and dummy indices obeying permutation symmetries into the canonical form. The method is based on algorithms for determining canonical double coset representatives of subgroups of the symmetric group. The complexity of the algorithms is polynomial on the number of indices in practical applications and allows one to address the simplification of tensor expressions with hundreds of indic

APA, Harvard, Vancouver, ISO, and other styles

45

Correia Ramos, Carlos. "Kinematics in Biology: Symbolic Dynamics Approach." Mathematics 8, no. 3 (2020): 339. http://dx.doi.org/10.3390/math8030339.

Full text

Abstract:

Motion in biology is studied through a descriptive geometrical method. We consider a deterministic discrete dynamical system used to simulate and classify a variety of types of movements which can be seen as templates and building blocks of more complex trajectories. The dynamical system is determined by the iteration of a bimodal interval map dependent on two parameters, up to scaling, generalizing a previous work. The characterization of the trajectories uses the classifying tools from symbolic dynamics—kneading sequences, topological entropy and growth number. We consider also the isentropi

APA, Harvard, Vancouver, ISO, and other styles

46

Pełka, Marcin, and Andrzej Dudek. "Isolation Forests for Symbolic Data as a Tool for Outlier Mining." Econometrics 28, no. 1 (2024): 1–10. http://dx.doi.org/10.15611/eada.2024.1.01.

Full text

Abstract:

Aim: Outlier detection is a key part of every data analysis. Although there are many definitions of outliers that can be found in the literature, all of them emphasise that outliers are objects that are in some way different from other objects in the dataset. There are many different approaches that have been proposed, compared, and analysed for the case of classical data. However, there are only few studies that deal with the problem of outlier detection in symbolic data analysis. The paper aimed to propose how to adapt isolation forest for symbolic data cases. Methodology: An isolation fores

APA, Harvard, Vancouver, ISO, and other styles

47

Viqia Sastrawardana, Rheina Sabrina Az-Zahra, Gupita Sevia Salsabila, Vanzi Galileo, and Parha Nurahman. "Interaksi Simbolik dalam Kehidupan Keluarga Petani: Makna Simbolik dan Pengelolaan Sumber Daya Alam di Desa Setupatok." Hukum Inovatif : Jurnal Ilmu Hukum Sosial dan Humaniora 1, no. 4 (2024): 01–16. https://doi.org/10.62383/humif.v1i4.512.

Full text

Abstract:

This study aims to explore the symbolic meaning of life in local wisdom with a focus on farming families in Setupatok Mundu Cirebon. Researchers explored this study using qualitative research, through a non-participatory observation approach. The results showed that life in a symbolic context is defined as the way they interact with the outdoors as a form of adjustment to fulfill their needs. Elements of local wisdom are also emphasized through the habitual patterns of Setupatok farmers in the use of their agricultural system which relies on traditional tools. By enjoying the crops owned by fa

APA, Harvard, Vancouver, ISO, and other styles

48

Fatima, Tuba, and Dr Rehan Muhammad. "The Impact of Neuro-Symbolic AI on Cognitive Linguistics." ACADEMIA International Journal for Social Sciences 4, no. 3 (2025): 455–66. https://doi.org/10.63056/acad.004.03.0386.

Full text

Abstract:

Neuro-Symbolic Artificial Intelligence (AI) is indeed a fascinating domain, merging the structured reasoning of symbolic methods with the learning capabilities of neural networks. Its long-standing history reflects its significance in advancing AI towards achieving more robust and interpretable solutions. Neuro-symbolic AI is such an exciting and transformative field, as it combines the structured reasoning of symbolic AI with the adaptability and learning capabilities of neural networks. Your summary elegantly captures the breadth and depth of this growing discipline. The focus on representat

APA, Harvard, Vancouver, ISO, and other styles

49

AKDAG, H., I. TRUCK, A. BORGI, and N. MELLOULI. "LINGUISTIC MODIFIERS IN A SYMBOLIC FRAMEWORK." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 09, supp01 (2001): 49–61. http://dx.doi.org/10.1142/s0218488501000983.

Full text

Abstract:

In common language, as well as in knowledge–based systems, the truth of a proposition can be evaluated in a qualitative manner using adverbs usually represented on a scale of symbolic degrees. To combine or aggregate such symbolic degrees, we may need scales of different precision levels. We propose to model small variations inside a degree scale using linguistic modifiers in a symbolic framework. We formally define such modifiers and we distinguish three families: reinforcing, weakening and central modifiers. We also introduce the original notion of intensity rate associated to a linguistic d

APA, Harvard, Vancouver, ISO, and other styles

50

Karisma, Komang, Ni Putu Listiawati, Ni Wayan Rasmini, and I. Nyoman Alit Suarjaya. "Komunikasi Simbolik Dalam Tradisi Megibung di Kota Mataram." Samvada : Jurnal Riset Komunikasi, Media, dan Public Relation 2, no. 2 (2023): 164–80. http://dx.doi.org/10.53977/jsv.v2i2.1314.

Full text

Abstract:

Communication is very important for human survival. Symbolic communication is communication carried out through agreed or conventional symbols. Cultural values are symbolic communication used to communicate meaning to society. The megibung tradition is a culture that has symbols and cultural values that must be understood by the community. This research aims to explore symbolic communication in the megibung tradition. This research uses a qualitative research method with a phenomenological approach. The data collection techniques used were observation, interviews and documentation. The data ob

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!