Log in

Relevant bibliographies by topics / The symbolic properties

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'The symbolic properties'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'The symbolic properties.'

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 "The symbolic properties"

1

Boudreau, Ginette. "Symbolic Properties of Graphical Actions." Sign Language Studies 4, no. 1 (2003): 48–67. http://dx.doi.org/10.1353/sls.2003.0022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Sebastiani, Roberto, Stefano Tonetta, and Moshe Y. Vardi. "Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking." International Journal on Software Tools for Technology Transfer 13, no. 4 (2010): 319–35. http://dx.doi.org/10.1007/s10009-010-0168-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Sun, Li Hua, En Liang Zhao, and Yan Ling Sun. "Study on Properties of Expanded Sturmian Sequences." Advanced Materials Research 756-759 (September 2013): 1536–40. http://dx.doi.org/10.4028/www.scientific.net/amr.756-759.1536.

Full text

Abstract:

Symbolic dynamics is an iterative system that is generated by a shift on a finite symbolic space. It is a special kind of dynamics. Symbolic dynamics has a lot of theoretical and practical applications in many fields such as physics, computer and so on, so it is important to study its dynamical behavior.Sturmian system that is generated by Sturmian sequences is the least complex kind of symbolic dynamics. In the present paper Sturmian sequences are expanded which make them generality. In fact expanded Sturmian sequences share many of properties of Sturmian sequences, but they cannot completely

APA, Harvard, Vancouver, ISO, and other styles

4

Kwiatkowski, Jan, and Andrzej Sikorski. "Spectral properties of G-symbolic Morse shifts." Bulletin de la Société mathématique de France 79 (1987): 19–33. http://dx.doi.org/10.24033/bsmf.2067.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Schilling, Rolf. "Energy landscape properties studied using symbolic sequences." Physica D: Nonlinear Phenomena 216, no. 1 (2006): 157–66. http://dx.doi.org/10.1016/j.physd.2005.12.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

GALIAS, ZBIGNIEW. "ROBUSTNESS OF SYMBOLIC DYNAMICS AND SYNCHRONIZATION PROPERTIES." International Journal of Bifurcation and Chaos 10, no. 04 (2000): 811–18. http://dx.doi.org/10.1142/s0218127400000578.

Full text

Abstract:

In this paper we introduce the method for investigation of coupled chaotic systems using topological methods. We show that if the coupling is small then there exists independent symbolic dynamics for every coupled subsystem and in consequence the systems are not synchronized. As an example we consider coupled Hénon maps. Using computer interval arithmetic we find parameter mismatch and perturbation range for which the symbolic dynamics in the Hénon system is sustained. For coupled Hénon maps we compute the value of coupling strength for which the symbolic dynamics in every subsystem survives.

APA, Harvard, Vancouver, ISO, and other styles

7

Burguet, David. "Symbolic extensions and continuity properties of the entropy." Archiv der Mathematik 96, no. 4 (2011): 387–400. http://dx.doi.org/10.1007/s00013-011-0249-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, Zhenbang, Hengbiao Yu, Ji Wang, and Wei Dong. "Symbolic Verification of Regular Properties for Java Programs." ACM SIGSOFT Software Engineering Notes 44, no. 4 (2019): 17. http://dx.doi.org/10.1145/3364452.33644561.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ben-Yehuda, Nachman. "Criminalization and Deviantization as Properties of the Social Order." Sociological Review 40, no. 1 (1992): 73–108. http://dx.doi.org/10.1111/j.1467-954x.1992.tb02946.x.

Full text

Abstract:

It is argued that deviance should be analyzed as a relative phenomenon in different and changing cultures, vis-a-vis change and stability in the boundaries of diverse symbolic-moral universes. Deviantization and criminalization are interpreted as the outcomes of negotiations about the nature of morality and legitimization to use, and the use of, power. The legitimization of power is conceptualized in terms of a moral order that in turn defines the boundaries of symbolic-moral universes. Problematic behavioural acts, which take place at the realm of the seams, where boundaries of different symb

APA, Harvard, Vancouver, ISO, and other styles

10

Blake, Richard E. "Symbolic approximation for computer vision." Nonlinear Analysis: Modelling and Control 3 (December 3, 1998): 31–41. http://dx.doi.org/10.15388/na.1998.3.0.15255.

Full text

Abstract:

The need for a definition of discrete convergence in matching problems, which are essential in computer vision, is described and the fundamental properties of Scott lattice theory are outlined. Three data types: relational graphs, graph match_table and constraints, are considered and partial orderings are exhibited for them. A matching iteration consistent with the theory is sketched.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "The symbolic properties"

1

Smith, Edward. "Specifying properties of generalized symbolic trajectory evaluation." Thesis, University of Oxford, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.497099.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Sampson, George Theodore. "Symbolic computation of nonparametric bootstrap estimators and their properties." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ28050.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Cheval, Vincent. "Automatic verification of cryptographic protocols : privacy-type properties." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2012. http://tel.archives-ouvertes.fr/tel-00861389.

Full text

Abstract:

Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or reachability properties) such as authentication and secrecy. However, many security properties cannot be expressed as trace properties, but can be written as equivalence properties. Privacy, unlinkability, and strong secrecy are typical examples of equivalence properties. Intuitively, two protocols P, Q are equivalent if an adversary can not distinguish P from Q by interacting with these processes. In the literature, several notio

APA, Harvard, Vancouver, ISO, and other styles

4

Cheng, Xiaoyu. "Applications of Artificial Neural Networks (ANNs) in exploring materials property-property correlations." Thesis, Queen Mary, University of London, 2014. http://qmro.qmul.ac.uk/xmlui/handle/123456789/7968.

Full text

Abstract:

The discoveries of materials property-property correlations usually require prior knowledge or serendipity, the process of which can be time-consuming, costly, and labour-intensive. On the other hand, artificial neural networks (ANNs) are intelligent and scalable modelling techniques that have been used extensively to predict properties from materials’ composition or processing parameters, but are seldom used in exploring materials property-property correlations. The work presented in this thesis has employed ANNs combinatorial searches to explore the correlations of different materials proper

APA, Harvard, Vancouver, ISO, and other styles

5

Ben, Salem Ala Eddine. "Improving the model checking of stutter-invariant LTL properties." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066186/document.

Full text

Abstract:

Les systèmes logiciels sont devenus omniprésents se substituant à l'homme pour des tâches délicates, souvent critiques, mettant en jeu des coûts importants voire des vies humaines. Les conséquences des défaillances imposent la recherche de méthodes rigoureuses pour la validation. L'approche par automates du model-checking est la plus classique des approches de vérification automatique. Elle prend en entrée un modèle du système et une propriété, et permet de savoir si cette dernière est vérifiée. Pour cela un model-checker traduit la négation de la propriété en un automate et vérifie si le prod

APA, Harvard, Vancouver, ISO, and other styles

6

Rodriguez, galvis Nicolas. "De nouveaux éditeurs « indépendants » en Amérique du Sud : émergence, modes d''action, enjeux : Le cas de l'Argentine, du Chili et de la Colombie." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD075/document.

Full text

Abstract:

Cette recherche porte sur les nouveaux éditeurs indépendants littéraires qui sont apparus en Argentine, au Chili et en Colombie notamment depuis la fin des années 1990. Ces petits éditeurs, dominés par les mêmes acteurs transnationaux, subsistent dans un contexte où les aides publiques sont faibles en s’inscrivant du côté du pôle de production restreinte pour affirmer leur valeur symbolique et le caractère passionnel et vocationnel de leur profession. Ceci leur permet de se différencier du secteur de l’édition dominante considérée comme étant de plus en plus régulée par l’exigence de rentabili

APA, Harvard, Vancouver, ISO, and other styles

7

Herbert, Jodi. "Boundedness properties of bilinear pseudodifferential operators." Diss., Kansas State University, 2014. http://hdl.handle.net/2097/18707.

Full text

Abstract:

Doctor of Philosophy<br>Department of Mathematics<br>Virginia Naibo<br>Investigations of pseudodifferential operators are useful in a variety of applications. These include finding solutions or estimates of solutions to certain partial differential equations, studying boundedness properties of commutators and paraproducts, and obtaining fractional Leibniz rules. A pseudodifferential operator is given through integration involving the Fourier transform of the arguments and a function called a symbol. Pseudodifferential operators were first studied in the linear case and results were obtai

APA, Harvard, Vancouver, ISO, and other styles

8

Maanane, Yassine. "Identification expérimentale de propriétés radiatives à partir de méthodes Monte Carlo Symbolique : Application aux matériaux hétérogènes à haute température." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEI093.

Full text

Abstract:

Ce travail s’inscrit dans le cadre de l’étude des transferts de chaleur par rayonnement dans des matériaux hétérogènes utilisés dans des applications haute température, comme la sécurité incendie dans le bâtiment, l’isolation de fours ou la protection thermique dans l’aérospatial. Ces matériaux hétérogènes en structure et/ou en composition s’avèrent être des milieux semi-transparents qui absorbent et qui diffusent le rayonnement thermique, et leurs propriétés radiatives à haute température sont souvent inconnues. Afin de modéliser avec précision le rayonnement au sein de ces matériaux et de qu

APA, Harvard, Vancouver, ISO, and other styles

9

Burkowski, Jane M. C. "The symbolism and rhetoric of hair in Latin elegy." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:44e36b32-8c44-4dd0-8241-3206e40e67f9.

Full text

Abstract:

This thesis examines the hair imagery that runs through the works of Propertius, Tibullus, and Ovid. Comparative analysis of the elegists’ approaches to the motif, with particular emphasis on determining where and how each deviates from the cultural assumptions and literary tradition attached to each image, sheds light on the character and purposes of elegy as a genre, as well as on the individual aims and innovations of each poet. The Introduction provides some background on sociological approaches to the study of hair, and considers the reasons why hair imagery should have such a prominent p

APA, Harvard, Vancouver, ISO, and other styles

10

"Ergodic properties of ß-expansions." 2009. http://library.cuhk.edu.hk/record=b5896921.

Full text

Abstract:

Lam, Ho Yin Theodore.<br>Thesis (M.Phil.)--Chinese University of Hong Kong, 2009.<br>Includes bibliographical references (leaves 59-60).<br>Abstracts in English and Chinese.<br>Chapter 1 --- Introduction --- p.6<br>Chapter 2 --- Shift spaces and Symbolic Dynamical systems --- p.8<br>Chapter 2.1 --- Shift spaces --- p.8<br>Chapter 2.2 --- Symbolic dynamical systems --- p.10<br>Chapter 3 --- β-expansion --- p.12<br>Chapter 3.1 --- Expansion of real numbers --- p.12<br>Chapter 3.2 --- Ergodic theory of f-expansion with independent digits --- p.16<br>Chapter 3.3 --- β-expansion --- p.22<br

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "The symbolic properties"

1

Sampson, George Theodore. Symbolic computation of nonparametric bootstrap estimators and their properties. [s.n.], 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Pirlot, M. Semiorders: Properties, Representations, Applications. Springer Netherlands, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Balanzategui, Jessica. The Uncanny Child in Transnational Cinema. Amsterdam University Press, 2018. http://dx.doi.org/10.5117/9789462986510.

Full text

Abstract:

The Uncanny Child in Transnational Cinema illustrates how global horror film depictions of children re-conceptualised childhood at the turn of the twenty-first century. By analysing an influential body of transnational horror films, largely stemming from Spain, Japan, and the US, Jessica Balanzategui shows how millennial uncanny child characters resist embodying growth and futurity, unravelling concepts to which the child's symbolic function is typically bound. The book proposes that complex cultural and industrial shifts at the turn of the millennium resulted in these potent cinematic renegot

APA, Harvard, Vancouver, ISO, and other styles

4

Motives, quantum field theory, and pseudodifferential operators: Conference on Motives, Quantum Field Theory, and Pseudodifferential Operators, June 2-13, 2008, Boston University, Boston, Massachusetts. American Mathematical Society, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1932-, Bass Hyman, and Lam, T. Y. (Tsit-Yuen), 1942-, eds. Algebra. American Mathematical Society, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Pták, Pavel, and Sylvia Pulmannová. Orthomodular Structures as Quantum Logics: Intrinsic Properties, State Space and Probabilistic Topics (Fundamental Theories of Physics). Springer, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Hui-Qian, Tan, Dong X, and United States. National Aeronautics and Space Administration., eds. Application of symbolic computations to the constitutive modeling of structural materials. NASA, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Williams, Gareth D. The Etna Idea. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190272296.003.0002.

Full text

Abstract:

As a preface of sorts to our later investigation (especially in Chapter 6) of the symbolic properties of Pietro Bembo’s representation of Mount Etna, Chapter 1 explores the rich diversity of Greco-Roman treatments of the volcano from Pindar down to Virgil, Ovid, Seneca, and the so-called Aetna poem (its authorship unknown). In mapping the Classical dimensions and contours of the cumulative Etna Idea, this chapter not only functions as a form of excavation into the literary geology of Pietro’s mountain, but also defines the question that much of the rest of this study seeks to address: in what

APA, Harvard, Vancouver, ISO, and other styles

9

Pearce, John. Status and Burial. Edited by Martin Millett, Louise Revell, and Alison Moore. Oxford University Press, 2015. http://dx.doi.org/10.1093/oxfordhb/9780199697731.013.021.

Full text

Abstract:

This chapter presents the burial of the dead as a key arena, like public and domestic space, for articulating status relationships. In mortuary rites distinctions of rank and resources were asserted through scale, materials, and symbolic resonance. With the benefit of new evidence for cremation process and from inhumation graves with good preservation of organic materials, this differentiation can be explored through the ritual sequence, including the laying out of the corpse and its treatment on the pyre, as well as in containers for the dead and in the number, variety and allusive properties

APA, Harvard, Vancouver, ISO, and other styles

10

Hippisley, Andrew. Default inheritance and the canonical. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198712329.003.0005.

Full text

Abstract:

Derivation serves two purposes: to create a new sign, and to connect signs. This is manifested to the extent to which properties are inherited from the base. Illustrating with Russian nominals we show how the two goals are more or less achieved, in the full range of derivational possibilities. The extremes are represented by category-changing derivation and head-marked category-preserving derivation, manifested by their differences in default inheritance behaviours. The two goals are in an inverse relationship: the non-canonical situation with regard to one of them corresponds to the canonical

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "The symbolic properties"

1

Märtens, Marcus, Fernando Kuipers, and Piet Van Mieghem. "Symbolic Regression on Network Properties." In Lecture Notes in Computer Science. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-55696-3_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Skjeltorp, A. T., S. Clausen, and G. Helgesen. "Magnetic Multiparticle Systems and Symbolic Dynamics." In Dynamical Properties of Unconventional Magnetic Systems. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-4988-4_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Schneider, Sven, Leen Lambers, and Fernando Orejas. "Symbolic Model Generation for Graph Properties." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2017. http://dx.doi.org/10.1007/978-3-662-54494-5_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lange, Martin. "Symbolic Model Checking of Non-regular Properties." In Computer Aided Verification. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27813-9_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Li, Yong-Bin. "Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer." In Artificial Intelligence and Symbolic Computation. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11856290_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Missura, Stephan A., and Andreas Weber. "Using commutativity properties for controlling coercions." In Integrating Symbolic Mathematical Computation and Artificial Intelligence. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60156-2_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Sebastiani, Roberto, Stefano Tonetta, and Moshe Y. Vardi. "Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking." In Computer Aided Verification. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11513988_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Zhou, Yajun. "Some Algebraic and Arithmetic Properties of Feynman Diagrams." In Texts & Monographs in Symbolic Computation. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-04480-0_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Rocha, Herbert, Rafael Menezes, Lucas C. Cordeiro, and Raimundo Barreto. "Map2Check: Using Symbolic Execution and Fuzzing." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_29.

Full text

Abstract:

Abstract Map2Check is a software verification tool that combines fuzzing, symbolic execution, and inductive invariants. It automatically checks safety properties in C programs by adopting source code instrumentation to monitor data (e.g., memory pointers) from the program’s executions using LLVM compiler infrastructure. For SV-COMP 2020, we extended Map2Check to exploit an iterative deepening approach using LibFuzzer and Klee to check for safety properties. We also use Crab-LLVM to infer program invariants based on reachability analysis. Experimental results show that Map2Check can handle a wide variety of safety properties in several intricate verification tasks from SV-COMP 2020.

APA, Harvard, Vancouver, ISO, and other styles

10

Shankland, Carron, Jeremy Bryans, and Lionel Morel. "Expressing Iterative Properties Logically in a Symbolic Setting." In Algebraic Methodology and Software Technology. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27815-3_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "The symbolic properties"

1

Yu, Hengbiao, Zhenbang Chen, Ji Wang, Zhendong Su, and Wei Dong. "Symbolic verification of regular properties." In ICSE '18: 40th International Conference on Software Engineering. ACM, 2018. http://dx.doi.org/10.1145/3180155.3180227.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Spangenberg, Michael, and Dominik Henrich. "Symbol grounding for symbolic robot commands based on physical properties." In 2016 IEEE International Conference on Information and Automation (ICIA). IEEE, 2016. http://dx.doi.org/10.1109/icinfa.2016.7831798.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Yu, Hengbiao. "Practical symbolic verification of regular properties." In ESEC/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, 2017. http://dx.doi.org/10.1145/3106237.3121275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Chen, Ran, and Wenhui Zhang. "Verification of CTL_BDI Properties by Symbolic Model Checking." In 2019 26th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2019. http://dx.doi.org/10.1109/apsec48747.2019.00023.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bana, Gergei, and Hubert Comon-Lundh. "A Computationally Complete Symbolic Attacker for Equivalence Properties." In CCS'14: 2014 ACM SIGSAC Conference on Computer and Communications Security. ACM, 2014. http://dx.doi.org/10.1145/2660267.2660276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

ŠTAMBUK, NIKOLA, PAŠKO KONJEVODA, and NIKOLA GOTOVAC. "SYMBOLIC CODING OF AMINO ACID AND NUCLEOTIDE PROPERTIES." In Proceedings of the International Conference. WORLD SCIENTIFIC, 2005. http://dx.doi.org/10.1142/9789812702098_0048.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Gorogiannis, Nikos, Franco Raimondi, and Ioana Boureanu. "A Novel Symbolic Approach to Verifying Epistemic Properties of Programs." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/30.

Full text

Abstract:

We introduce a framework for the symbolic verification of epistemic properties of programs expressed in a class of general-purpose programming languages. To this end, we reduce the verification problem to that of satisfiability of first-order formulae in appropriate theories. We prove the correctness of our reduction and we validate our proposal by applying it to two examples: the dining cryptographers problem and the ThreeBallot voting protocol. We put forward an implementation using existing solvers, and report experimental results showing that the approach can perform better than state-of-t

APA, Harvard, Vancouver, ISO, and other styles

8

Shetty, Keerthi S., Swaraj Bhat, and Sanjay Singh. "Symbolic verification of web crawler functionality and its properties." In 2012 International Conference on Computer Communication and Informatics (ICCCI). IEEE, 2012. http://dx.doi.org/10.1109/iccci.2012.6158649.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Subramanyan, Pramod, Sharad Malik, Hareesh Khattri, Abhranil Maiti, and Jason Fung. "Verifying Information Flow Properties of Firmware using Symbolic Execution." In Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). Research Publishing Services, 2016. http://dx.doi.org/10.3850/9783981537079_0793.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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}. 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 ar

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "The symbolic properties"

1

Rosenfeld, Ronald, and David S. Touretzky. Scaling Properties of Coarse-Coded Symbol Memories. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada204456.

Full text

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!