Relevant bibliographies by topics / Symbolic comparison

Academic literature on the topic 'Symbolic comparison'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Symbolic comparison.'

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.

Journal articles on the topic "Symbolic comparison"

1

Masson, Nicolas, Mauro Pesenti, and Valérie Dormal. "Spatial bias in symbolic and non-symbolic numerical comparison in neglect." Neuropsychologia 51, no. 10 (August 2013): 1925–32. http://dx.doi.org/10.1016/j.neuropsychologia.2013.06.004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pollack, Courtney, Eric D. Wilkey, and Gavin R. Price. "Predictors of middle school students’ growth in symbolic number comparison performance." Journal of Numerical Cognition 8, no. 1 (March 31, 2022): 53–72. http://dx.doi.org/10.5964/jnc.8069.

Full text
Abstract:
The ability to efficiently compare number symbols, such as digits, is associated with mathematics competence across the lifespan. Performance on symbolic number comparison tasks differ across age groups; young students who are developing fluency with digits improve on symbolic number comparison, and performance is better in adults than children. However, whether this improvement continues for older students who are fluent with number symbols, and what cognitive factors relate to this improvement, is unknown. This study used a longitudinal sample of U.S. middle school students (n = 394) to examine whether symbolic number comparison performance changes over middle school (i.e., students aged 11-14), whether there are individual differences in students’ rate of change, and potential predictors of that change. Students completed measures of single-digit symbolic number comparison, nonsymbolic number comparison, executive function (EF), and mathematics competence in Grade 5 (M = 11.02 years; SD = 0.32), and double-digit symbolic number comparison in Grades 6-8. Results showed that, on average, students’ symbolic number comparison performance improved from Grades 6-8. Grade 5 Symbolic number comparison performance predicted Grade 8 symbolic number comparison and rate of change over Grades 6-8. Grade 5 nonsymbolic number comparison, EF, and mathematics competence predicted Grade 8 symbolic number comparison performance. Results suggest that numerical magnitude processing, executive functions, and mathematics competence are related to symbolic number processing well into middle school, and that students continue to refine their ability to process number symbols into adolescence.
APA, Harvard, Vancouver, ISO, and other styles
3

Scalise, Nicole R., Emily N. Daubert, and Geetha B. Ramani. "Narrowing the early mathematics gap: A play-based intervention to promote low-income preschoolers’ number skills." Journal of Numerical Cognition 3, no. 3 (January 30, 2018): 559–81. http://dx.doi.org/10.5964/jnc.v3i3.72.

Full text
Abstract:
Preschoolers from low-income households lag behind preschoolers from middle-income households on numerical skills that underlie later mathematics achievement. However, it is unknown whether these gaps exist on parallel measures of symbolic and non-symbolic numerical skills. Experiment 1 indicated preschoolers from low-income backgrounds were less accurate than peers from middle-income backgrounds on a measure of symbolic magnitude comparison, but they performed equivalently on a measure of non-symbolic magnitude comparison. This suggests activities linking non-symbolic and symbolic number representations may be used to support children’s numerical knowledge. Experiment 2 randomly assigned low-income preschoolers (Mean Age = 4.7 years) to play either a numerical magnitude comparison or a numerical matching card game across four 15 min sessions over a 3-week period. The magnitude comparison card game led to significant improvements in participants’ symbolic magnitude comparison skills in an immediate posttest assessment. Following the intervention, low-income participants performed equivalently to an age- and gender-matched sample of middle-income preschoolers in symbolic magnitude comparison. These results suggest a brief intervention that combines non-symbolic and symbolic magnitude representations can support low-income preschoolers’ early numerical knowledge.
APA, Harvard, Vancouver, ISO, and other styles
4

Laino, Luigi. "Man and Future: a Palaeontological and Chronological Foundation of Cassirer's Definition of Man as Animal Symbolicum." ETHICS IN PROGRESS 8, no. 1 (May 1, 2017): 12–40. http://dx.doi.org/10.14746/eip.2017.1.2.

Full text
Abstract:
In the present paper, the author aims at laying the foundations of a symbolics of technical gesture, according to the thesis that symbolic faculty is another face of the technological one, and that they are both in truth two sides of the same coin. Accordingly, the author suggests to rename the whole dimension as “meta-environmentality”. The analysis is carried out on the basis of a specific comparison between Cassirer’s definition of “animal symbolicum” and its scientific consistence in the light of modern palaeontology. “Animal symbolicum” is here compared with Leroi-Gourhan’s homo technologicus, and Cassirer’s ideas on human identity tested starting from paleoanthropological data. The result of the inquiry lead us to recognize the urgency of integrating Cassirer’s argument with the primacy of the technological capacity, but a deep analysis of the characterizing attributes of the latter compels us to uphold the symbolic attitude of the technological dimension. The author then sketches a basic description ofthe guidelines of a symbolic theory of technology (especially §§ 6-7), and tries to show how the basic elements of such an approach were familiar both to Cassirer and Leroi-Gourhan. As a consequence of the whole theory, the author elaborates a chronological analysis of human identity, whose basic result is the determination of the future as main temporal dimension of human acting.
APA, Harvard, Vancouver, ISO, and other styles
5

Opfer, John E., Dan Kim, Lisa K. Fazio, Xinlin Zhou, and Robert S. Siegler. "Cognitive mediators of US—China differences in early symbolic arithmetic." PLOS ONE 16, no. 8 (August 25, 2021): e0255283. http://dx.doi.org/10.1371/journal.pone.0255283.

Full text
Abstract:
Chinese children routinely outperform American peers in standardized tests of mathematics knowledge. To examine mediators of this effect, 95 Chinese and US 5-year-olds completed a test of overall symbolic arithmetic, an IQ subtest, and three tests each of symbolic and non-symbolic numerical magnitude knowledge (magnitude comparison, approximate addition, and number-line estimation). Overall Chinese children performed better in symbolic arithmetic than US children, and all measures of IQ and number knowledge predicted overall symbolic arithmetic. Chinese children were more accurate than US peers in symbolic numerical magnitude comparison, symbolic approximate addition, and both symbolic and non-symbolic number-line estimation; Chinese and U.S. children did not differ in IQ and non-symbolic magnitude comparison and approximate addition. A substantial amount of the nationality difference in overall symbolic arithmetic was mediated by performance on the symbolic and number-line tests.
APA, Harvard, Vancouver, ISO, and other styles
6

Finke, Sabrina, Chiara Banfi, H. Harald Freudenthaler, Anna F. Steiner, Stephan E. Vogel, Silke M. Göbel, and Karin Landerl. "Common and distinct predictors of non-symbolic and symbolic ordinal number processing across the early primary school years." PLOS ONE 16, no. 10 (October 21, 2021): e0258847. http://dx.doi.org/10.1371/journal.pone.0258847.

Full text
Abstract:
What are the cognitive mechanisms supporting non-symbolic and symbolic order processing? Preliminary evidence suggests that non-symbolic and symbolic order processing are partly distinct constructs. The precise mechanisms supporting these skills, however, are still unclear. Moreover, predictive patterns may undergo dynamic developmental changes during the first years of formal schooling. This study investigates the contribution of theoretically relevant constructs (non-symbolic and symbolic magnitude comparison, counting and storage and manipulation components of verbal and visuo-spatial working memory) to performance and developmental change in non-symbolic and symbolic numerical order processing. We followed 157 children longitudinally from Grade 1 to 3. In the order judgement tasks, children decided whether or not triplets of dots or digits were arranged in numerically ascending order. Non-symbolic magnitude comparison and visuo-spatial manipulation were significant predictors of initial performance in both non-symbolic and symbolic ordering. In line with our expectations, counting skills contributed additional variance to the prediction of symbolic, but not of non-symbolic ordering. Developmental change in ordering performance from Grade 1 to 2 was predicted by symbolic comparison skills and visuo-spatial manipulation. None of the predictors explained variance in developmental change from Grade 2 to 3. Taken together, the present results provide robust evidence for a general involvement of pair-wise magnitude comparison and visuo-spatial manipulation in numerical ordering, irrespective of the number format. Importantly, counting-based mechanisms appear to be a unique predictor of symbolic ordering. We thus conclude that there is only a partial overlap of the cognitive mechanisms underlying non-symbolic and symbolic order processing.
APA, Harvard, Vancouver, ISO, and other styles
7

Kovács, Zoltán, and Róbert Vajda. "Symbolic Comparison of Geometric Quantities in GeoGebra." Electronic Proceedings in Theoretical Computer Science 354 (February 8, 2022): 13–25. http://dx.doi.org/10.4204/eptcs.354.2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ruiz, Manuel, Fernando López, and Antonio Páez. "Comparison of thematic maps using symbolic entropy." International Journal of Geographical Information Science 26, no. 3 (March 2012): 413–39. http://dx.doi.org/10.1080/13658816.2011.586327.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Dumais, Susan T., and William P. Jones. "A comparison of symbolic and spatial filing." ACM SIGCHI Bulletin 16, no. 4 (April 1985): 127–30. http://dx.doi.org/10.1145/1165385.317479.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chen, Dawn, Hongjing Lu, and Keith J. Holyoak. "The discovery and comparison of symbolic magnitudes." Cognitive Psychology 71 (June 2014): 27–54. http://dx.doi.org/10.1016/j.cogpsych.2014.01.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Symbolic comparison"

1

Rizo, David. "Symbolic music comparison with tree data structures." Doctoral thesis, Universidad de Alicante, 2010. http://hdl.handle.net/10045/18331.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Park, Hyekyung. "Toward a Comprehensive Developmental Theory for Symbolic Magnitude Understanding." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu159136679184101.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Clayton, Sarah. "The cognitive underpinnings of non-symbolic comparison task performance." Thesis, Loughborough University, 2016. https://dspace.lboro.ac.uk/2134/20925.

Full text
Abstract:
Over the past twenty years, the Approximate Number System (ANS), a cognitive system for representing non-symbolic quantity information, has been the focus of much research attention. Psychologists seeking to understand how individuals learn and perform mathematics have investigated how this system might underlie symbolic mathematical skills. Dot comparison tasks are commonly used as measures of ANS acuity, however very little is known about the cognitive skills that are involved in completing these tasks. The aim of this thesis was to explore the factors that influence performance on dot comparison tasks and discuss the implications of these findings for future research and educational interventions. The first study investigated how the accuracy and reliability of magnitude judgements is influenced by the visual cue controls used to create dot array stimuli. This study found that participants performances on dot comparison tasks created with different visual cue controls were unrelated, and that stimuli generation methods have a substantial influence on test-retest reliability. The studies reported in the second part of this thesis (Studies 2, 3, 4 and 5) explored the role of inhibition in dot comparison task performance. The results of these studies provide evidence that individual differences in inhibition may, at least partially, explain individual differences in dot comparison task performance. Finally, a large multi-study re-analysis of dot comparison data investigated whether individuals take account of numerosity information over and above the visual cues of the stimuli when comparing dot arrays. This analysis revealed that dot comparison task performance may not reflect numerosity processing independently from visual cue processing for all participants, particularly children. This novel evidence may provide some clarification for conflicting results in the literature regarding the relationship between ANS acuity and mathematics achievement. The present findings call into question whether dot comparison tasks should continue to be used as valid measures of ANS acuity.
APA, Harvard, Vancouver, ISO, and other styles
4

Leth-Steensen, Craig. "A connectionist, evidence accrual model of response times in symbolic comparison /." Thesis, McGill University, 1997. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=35000.

Full text
Abstract:
A cognitive process model is developed that predicts the 3 major symbolic comparison response time effects (distance, end, and semantic congruity) found in the results of the linear syllogistic reasoning task. The model assumes that people generate an ordering of a finite set of symbolic stimuli on the basis of information contained in the pairwise relations between adjacent stimulus items. The learning of this ordering is simulated within a simple connectionist framework. The decision-making component of the model utilizes 2 separate evidence accrual processes operating in parallel. One process accumulates information about the positional difference between the stimulus items being compared, and the other accumulates information about the endpoint status of each of those items. A response occurs whenever enough evidence favouring it has been accumulated within either of these processes. The model also assumes that the congruencies between the positions of the stimulus items within the ordering and the form of the comparative instruction can lead to either interfering or facilitating effects on the rate of evidence accumulation within each of these accrual processes. To test the model, data are obtained from the single-session performances of a group of 16 subjects and the multiple-session performances of an additional 2 subjects. The task is a variant of the one used by Trabasso, Riley, and Wilson (1975) and involves paired comparisons of ordered symbolic stimuli (three-letter names). Simulations of the model provide an excellent account of the group mean correct response times, as well as a very good account of the full set of data obtained from the 2 additional subjects (including percentage correct and response time distributional data).
APA, Harvard, Vancouver, ISO, and other styles
5

Watson, Sarah Elizabeth. "Children's arithmetic development : contributions of symbolic and nonsymbolic magnitude comparison." Thesis, University of York, 2013. http://etheses.whiterose.ac.uk/5178/.

Full text
Abstract:
This thesis aimed to explore the predictors of children’s arithmetic development with a specific focus on magnitude comparison. Children were assessed in whole class groups in order to recruit a sample large enough to use structural equation modeling (Chapters 2, 4 and 5), while also assessing a subsample of children individually with computerised measures (Chapter 6). This thesis also aimed to explore children’s development on the magnitude comparison tasks within the same group of children (Chapters 3 and Chapter 6 Study 1). Chapter 2 first assessed the underlying latent factors that different comparison tasks may have in common. It was found that symbolic and nonsymbolic comparison tasks loaded on the same factor (magnitude comparison), whilst letter comparison formed a separate factor. Furthermore, children’s magnitude comparison ability was found to be a concurrent predictor of their arithmetic achievement but letter comparison was not. The longitudinal analyses in Chapters 4 and 5 show how magnitude comparison ability was not a predictor of children’s untimed arithmetic ability, or fluency at completing subtraction and multiplication problems either one or two years later. However, it was a significant predictor of addition fluency one year later. In comparison, number identification ability was found to be a consistent predictor of arithmetic achievement both concurrently and longitudinally. Chapter 6 investigated whether the inconsistent findings regarding the importance of magnitude comparison ability was due to the methodology used to assess it. Computerised magnitude comparison tasks more akin to those in previous studies were individually presented to a subgroup of children that also completed the group based measures. Neither symbolic nor nonsymbolic comparison ability was found to predict later arithmetic achievement, whereas number identification was a significant predictor. Finally in Chapters 3 and 6, it was found that children improved significantly over time on all of the magnitude comparison tasks presented.
APA, Harvard, Vancouver, ISO, and other styles
6

Leth-Steensen, Craig. "A connectionist, evidence accrual model of response times in symbolic comparison." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0020/NQ44494.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hamilton, Roy. "A comparison of two approaches of symbolic modeling and self-efficacy /." Terre-Haute (IND) : Dissertation . Com, 1999. http://www.dissertation.com/library/1120745a.htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hassan, Ahmed Almustafa Mohammed. "A comparison of computer-based symbolic modelling and conventional methods in the treatment of spider-phobia." Thesis, University of Leeds, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.270860.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Liu, Tannie Carleton University Dissertation Religion. "Ritual and the symbolic function: a biogenetic structural comparison of techniques used in Tibetan Buddhism and the Sun Dance religion." Ottawa, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Li, Jialin. "Entre symbolique et imaginaire : étude comparée de deux symboles nationaux, le dragon chinois et le coq français, origine, élaboration, utilisation et réception de 1500 à l'époque contemporaine." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE3021.

Full text
Abstract:
Le dragon est le symbole national de la Chine et le coq de la France. Le dragon est un animal imaginé, le coq un animal réel. Ils diffèrent d’autres symboles nationaux comme l’aigle germanique dont l’image évoque d’emblée la force et l’autorité. Pourquoi les deux ont pu servir de façon stable de symbole national : quelles caractéristiques ont-ils ? quelles conditions ont-ils remplies dans l’Histoire pour acquérir ce statut ? On essaye de répondre à ces questions en trois parties. La Partie I étudie la présence des deux symboles dans des domaines de la vie courante. On trouve que cette présence produit une familiarité qui permet à tous les groupes sociaux d’identifier leur apparition. La Partie II concerne l’iconographie et l’esthétique. Leurs évolutions morphologiques révèlent une combinaison d’humain-animal. On découvre ainsi que les deux symboles présentent des schèmes communs : la force, le privilège, le pouvoir, etc. Cette image est néanmoins obtenue de façon différente : le dragon de face est lié à l’empereur et le coq à une image de chevalier et de héros. La Partie III aborde la littérature à travers l’étude de la nomination et du rôle. L’étude sur la nomination révèle que leurs nom et appellation confirment les schèmes déjà identifiés de leader, d’empereur et d’élite, permettant au dragon ou au coq, de manifester l’autorité d’empereur (roi), de héros civilisateur ou d’ancêtre mythique. Ces similitudes rapprochent leur image du symbole national. A côté de ces aspects homogènes, se dessine une hétérogénéité dans la construction de l’image des deux symboles sur la personnalité idéale : l’empereur pour les Chinois et le héros pour les Français
The dragon is the national symbol of China and the rooster is of France. The dragon is an imagined animal; the rooster is a real. They are different from other symbols such as Germanic eagle who evokes strength and authority at the first sight. Why the dragon and the rooster could have been served as a country’s symbol: what characteristics do they have? what conditions have they fulfilled in the history to win this place? We try to answer the questions with three parts. The part I studies the two symbols’ presence in daily life. We find that a frequent presence produces a familiarity that allows all social communities to identify the appearance. The part II is on the iconography and aesthetics. The morphological evolutions of the two symbols reveal that their image combines the human and the animal. We discover that the two symbols present common schemas: strength, privilege, power, etc. Nevertheless, their image is obtained in a different way. The frontal dragon is in connection with the emperor, the rooster with an image of knight and hero. The part III focuses on the literature, discusses the nomination and the role. The study on the nomination reveals that the two animals’ name and appellation confirm the identified schemas of leader, emperor and elite, which allow the literary character, dragon or rooster, to manifest their authority of emperor (king), civilizing hero or mythical ancestor. These similarities bring their image closer to the national symbol. Besides the homogeneous aspects, we find a heterogeneity in the construction of the two symbols’ image on the ideal personality of the two countries: the emperor for the Chinese and the hero for the Frenchmen
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Symbolic comparison"

1

Stafford, James Edmond. Symbolic computation and the comparison of traditional and robust test statistics. Toronto: [s.n.], 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rao, Vijayendra. Symbolic public goods and the coordination of collective action: A comparison of local development in India and Indonesia. [Washington, D.C: World Bank, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

The hermeneutics of sacred architecture: Experience, interpretation, comparison. Cambridge, MA: Distributed by Harvard University Press for Harvard University Center for the Study of World Religions, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1953-, Wilce James MacLynn, ed. Social and cultural lives of immune systems. New York: Routledge, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fonts & logos: Font analysis, logotype design, typography, type comparison, and history. Sherman Oaks, Calif: Delphi Press, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

The enneads: A new, definitive edition with comparisons to other translations on hundreds of key passages. Burdett, New York: Published for the Paul Brunton Philosophic Foundation by Larson Publications, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

The masks of God. Markham, ON: Penguin Books, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Joseph, Campbell. The masks of God. New York: Arkana, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

The Masks of God. Harmondsworth (Middlesex): Penguin Books, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hamilton, Roy. A Comparison of Two Approaches of Symbolic Modeling and Self-Efficacy. Dissertation.com, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Symbolic comparison"

1

Castillo, Flor A., Carlos M. Villa, and Arthur K. Kordon. "Symbolic Regression Model Comparison Approach Using Transmitted Variation." In Genetic and Evolutionary Computation, 139–54. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-6846-2_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chalupa, Marek, Tomáš Jašek, Jakub Novák, Anna Řechtáčková, Veronika Šoková, and Jan Strejček. "Symbiotic 8: Beyond Symbolic Execution." In Tools and Algorithms for the Construction and Analysis of Systems, 453–57. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_31.

Full text
Abstract:
AbstractSymbiotic 8 extends the traditional combination of static analyses, instrumentation, program slicing, and symbolic execution with one substantial novelty, namely a technique mixing symbolic execution with k-induction. This technique can prove the correctness of programs with possibly unbounded loops, which cannot be done by classic symbolic execution.Symbiotic 8 delivers also several other improvements. In particular, we have modified our fork of the symbolic executorKleeto support the comparison of symbolic pointers. Further, we have tuned the shape analysis toolPredator(integrated already inSymbiotic 7) to perform better onllvmbitcode. We have also developed a light-weight analysis of relations between variables that can prove the absence of out-of-bound accesses to arrays.
APA, Harvard, Vancouver, ISO, and other styles
3

Béjar, Ramón, and Felip Manyà. "A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas." In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 22–31. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48747-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ezawa, Kazuo J., and Til Schuermann. "A Bayesian network based learning system: — Architecture and performance comparison with other methods." In Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 197–206. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60112-0_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jacobs, Swen, and Mouhammad Sakr. "AIGEN: Random Generation of Symbolic Transition Systems." In Computer Aided Verification, 435–46. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_20.

Full text
Abstract:
AbstractAIGEN is an open source tool for the generation of transition systems in a symbolic representation. To ensure diversity, it employs a uniform random sampling over the space of all Boolean functions with a given number of variables. AIGEN relies on reduced ordered binary decision diagrams (ROBDDs) and canonical disjunctive normal form (CDNF) as canonical representations that allow us to enumerate Boolean functions, in the former case with an encoding that is inspired by data structures used to implement ROBDDs. Several parameters allow the user to restrict generation to Boolean functions or transition systems with certain properties, which are then output in AIGER format. We report on the use of AIGEN to generate random benchmark problems for the reactive synthesis competition SYNTCOMP 2019, and present a comparison of the two encodings with respect to time and memory efficiency in practice.
APA, Harvard, Vancouver, ISO, and other styles
6

Matsui, Yusuke, Yuriko Komiya, Hiroyuki Minami, and Masahiro Mizuta. "Comparison of Two Distribution Valued Dissimilarities and Its Application for Symbolic Clustering." In Studies in Classification, Data Analysis, and Knowledge Organization, 37–46. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-01264-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Chalupa, Marek, Jakub Novák, and Jan Strejček. "Symbiotic 8: Parallel and Targeted Test Generation." In Fundamental Approaches to Software Engineering, 368–72. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_20.

Full text
Abstract:
AbstractThe setup of Symbiotic 8 for Test-Comp 2021 brings radical changes in the test generation for property. Similarly as in Symbiotic 7, we generate tests by running our fork of symbolic executor Klee on the analyzed program. Symbiotic 8, however, runs several instances of Klee in parallel. We run one instance of Klee on the original program and, simultaneously, we create one (intentionally unsound) program slice for every program-terminating instruction in the program and run Klee on these slices. Apart from this principal change, we also improved other components of the tool, mainly the program slicer. Further, our fork of Klee now supports symbolic pointer arithmetics and comparison of symbolic addresses.
APA, Harvard, Vancouver, ISO, and other styles
8

Martínez, Yuliana, Leonardo Trujillo, Enrique Naredo, and Pierrick Legrand. "A Comparison of Fitness-Case Sampling Methods for Symbolic Regression with Genetic Programming." In Advances in Intelligent Systems and Computing, 201–12. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07494-8_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lawrence, Steve, Sandiway Fong, and C. Lee Giles. "Natural language grammatical inference: A comparison of recurrent neural networks and machine learning methods." In Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing, 33–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-60925-3_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rueda Delgado, Ramón, Luis G. Baca Ruíz, Manuel Pegalajar Cuéllar, Miguel Delgado Calvo-Flores, and María del Carmen Pegalajar Jiménez. "A Comparison Between NARX Neural Networks and Symbolic Regression: An Application for Energy Consumption Forecasting." In Communications in Computer and Information Science, 16–27. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-91479-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Symbolic comparison"

1

Sathasivam, Saratha. "Neuro-symbolic Performance Comparison." In 2010 Second International Conference on Computer Engineering and Applications. IEEE, 2010. http://dx.doi.org/10.1109/iccea.2010.8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Poeplau, Sebastian, and Aurélien Francillon. "Systematic comparison of symbolic execution systems." In ACSAC '19: 2019 Annual Computer Security Applications Conference. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3359789.3359796.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mansor, Mohd Asyraf, and Saratha Sathasivam. "Activation function comparison in neural-symbolic integration." In ADVANCES IN INDUSTRIAL AND APPLIED MATHEMATICS: Proceedings of 23rd Malaysian National Symposium of Mathematical Sciences (SKSM23). Author(s), 2016. http://dx.doi.org/10.1063/1.4954526.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dumais, Susan T., and William P. Jones. "A comparison of symbolic and spatial filing." In the SIGCHI conference. New York, New York, USA: ACM Press, 1985. http://dx.doi.org/10.1145/317456.317479.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Sotto, Léo Françoso Dal Piccol, and Vinícius Veloso de Melo. "Comparison of linear genetic programming variants for symbolic regression." In GECCO '14: Genetic and Evolutionary Computation Conference. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2598394.2598472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dumancic, Sebastijan, Alberto Garcia-Duran, and Mathias Niepert. "A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/843.

Full text
Abstract:
Many real-world domains can be expressed as graphs and, more generally, as multi-relational knowledge graphs. Though reasoning and learning with knowledge graphs has traditionally been addressed by symbolic approaches such as Statistical relational learning, recent methods in (deep) representation learning have shown promising results for specialised tasks such as knowledge base completion. These approaches, also known as distributional, abandon the traditional symbolic paradigm by replacing symbols with vectors in Euclidean space. With few exceptions, symbolic and distributional approaches are explored in different communities and little is known about their respective strengths and weaknesses. In this work, we compare distributional and symbolic relational learning approaches on various standard relational classification and knowledge base completion tasks. Furthermore, we analyse the properties of the datasets and relate them to the performance of the methods in the comparison. The results reveal possible indicators that could help in choosing one approach over the other for particular knowledge graphs.
APA, Harvard, Vancouver, ISO, and other styles
7

Viegut, Alexandria. "Gesture Use in a Nonsymbolic and Symbolic Fraction Comparison Task." In 2021 AERA Annual Meeting. Washington DC: AERA, 2021. http://dx.doi.org/10.3102/1687085.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

RODRÍGUEZ, R. M., and L. MARTÍNEZ. "A COMPARISON AMONG SYMBOLIC COMPUTATIONAL MODELS IN LINGUISTIC DECISION MAKING." In Proceedings of the 9th International FLINS Conference. WORLD SCIENTIFIC, 2010. http://dx.doi.org/10.1142/9789814324700_0074.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Mukhametzhanov, Marat S., and Yaroslav D. Sergeyev. "The infinity computer vs. symbolic computations: First steps in comparison." In INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2019. AIP Publishing, 2020. http://dx.doi.org/10.1063/5.0026820.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Brtnik, Bohumil. "Comparison of the Methods of Graphical Solution of Symbolic Sensitivity." In 2019 29th International Conference Radioelektronika (RADIOELEKTRONIKA). IEEE, 2019. http://dx.doi.org/10.1109/radioelek.2019.8733555.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Symbolic comparison"

1

Despain, Alvin, Randy Katz, Yale Patt, and David L. Patterson. Comparison of Aquarius and SPUR (Symbolic Processing upon RISC) Projects. Fort Belvoir, VA: Defense Technical Information Center, November 1985. http://dx.doi.org/10.21236/ada169224.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

McKinley, M. S., E. D. Brooks, III, and A. Szoke. Comparison of Implicit and Symbolic Implicit Monte Carlo Line Transport with Frequency Weight Vector Extension. Office of Scientific and Technical Information (OSTI), December 2002. http://dx.doi.org/10.2172/15003240.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

McKinley, M. S., E. D. Brooks, III, and A. Szoke. Comparison of Implicit and Symbolic Implicit Monte Carlo Line Transport With Frequency Weight Vector Extension. Office of Scientific and Technical Information (OSTI), March 2002. http://dx.doi.org/10.2172/15004652.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Smallman, H. S., H. M. Oonk, M. St John, and M. B. Cowen. Searching for Tracks Imaged as Symbols or Realistic Icons: A Comparison Between Two-Dimensional and Three-Dimensional Displays. Fort Belvoir, VA: Defense Technical Information Center, April 2001. http://dx.doi.org/10.21236/ada389710.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Blaxter, Tamsin, and Tara Garnett. Primed for power: a short cultural history of protein. TABLE, November 2022. http://dx.doi.org/10.56661/ba271ef5.

Full text
Abstract:
Protein has a singularly prominent place in discussions about food. It symbolises fitness, strength and masculinity, motherhood and care. It is the preferred macronutrient of affluence and education, the mark of a conscientious diet in wealthy countries and of wealth and success elsewhere. Through its association with livestock it stands for pastoral beauty and tradition. It is the high-tech food of science fiction, and in discussions of changing agricultural systems it is the pivotal nutrient around which good and bad futures revolve. There is no denying that we need protein and that engaging with how we produce and consume it is a crucial part of our response to the environmental crises. But discussions of these issues are affected by their cultural context—shaped by the power of protein. Given this, we argue that it is vital to map that cultural power and understand its origins. This paper explores the history of nutritional science and international development in the Global North with a focus on describing how protein gained its cultural meanings. Starting in the first half of the 19th century and running until the mid-1970s, it covers two previous periods when protein rose to singular prominence in food discourse: in the nutritional science of the late-19th century, and in international development in the post-war era. Many parallels emerge, both between these two eras and in comparison with the present day. We hope that this will help to illuminate where and why the symbolism and story of protein outpace the science—and so feed more nuanced dialogue about the future of food.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Symbolic comparison' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography