NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 20 of 2530 for “"Symbolic"”.

  1. Symbolic clustering

    Reinke, Robert EugeneUniversity of Illinois at Urbana-Champaign2011

    … descriptions. In this dissertation, I describe symbolic clustering, which adds representation choice to the set of ways a data analyst can use problem-specific knowledge. I will develop an informal model for symbolic clustering, and use it to suggest where and how knowledge can be expressed in …

    uiuc Repository record

  2. Symbolic integration.

    Moses, JoelMassachusetts Institute of Technology1967

    Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1967.

    mit Repository record

  3. Symbolic Pattern Planning

    CARDELLINI, MATTEOPolitecnico di Torino2025

    L'abstract è presente nell'allegato / the abstract is in the attachment

    poli-torino Repository record

  4. Symbolic mathematical laboratory.

    Martin, William ArthurMassachusetts Institute of Technology1967

    Massachusetts Institute of Technology. Dept. of Electrical Engineering. Thesis. 1967. Ph.D.

    mit Repository record

  5. Understanding Symbolic Communication

    Cheng, EmilyMassachusetts Institute of Technology2022

    We quantitatively study the emergence of symbolic communication in humans with a communication game that attempts to recapitulate an essential step in the development of human language: the emergence of shared abstract symbols in order to accomplish complex tasks. In our experimental setup, a …

    mit Repository record

  6. Symbolic olfactory display

    Kaye, Joseph Nathaniel, 1977-Massachusetts Institute of Technology2001

    … with my predictions for the prospects of symbolic, computer-controlled, olfactory display.

    mit Repository record

  7. Coupled Relational Symbolic Execution

    Farina, Gian Pietro; 0000-0001-7823-1536State University of New York at Buffalo2022

    Ph.D.

    buffalo Repository record

  8. Symbolic semantics for CSP

    Li, LiyiUniversity of Illinois at Urbana-Champaign2014

    … system with ideas from Floyd-Hoare logic and symbolic computation. This generalized semantics is shown to be sound and complete with respect to the original trace semantics. Traces in our system are symbolic representations of trace families given in the original semantics. This more compact …

    uiuc Repository record

  9. Neuro-symbolic fact verification

    Aly, RamiUniversity of Cambridge2024

    … address these issues, this thesis explores neuro-symbolic methods for fact verification, which integrate symbolic systems with neural representations. We focus in particular on natural logic, a framework of compositional entailment which operates directly on natural language by capturing the …

    cambridge Repository record

  10. Symbolic Execution Over Native X86

    Hom, MichaelMonterey, CA; Naval Postgraduate School2012

    … that is being developed at NPS that accomplishes symbolic execution without the use of an intermediate language and symbolically executes ELF and WinPE binary programs over the native x86 ISA instruction set, and specifically discusses an approach to describing state mathematically using a formal …

    nps Repository record

  11. Symbolic Approaches for Boolean Synthesis

    Lin, YiRice University2025

    … works using mainly search-based and also symbolic approaches, especially those using Binary Decision Diagrams (BDDs), an acyclic directed graph that maps the solutions for a boolean formula to its paths. Scalability challenges also rose as exponential memory blowups occurred in handling …

    rice Repository record

  12. Representation learning for symbolic sequences

    De Boom, Cedric2018

    ghent Repository record

  13. Symbolic analysis for parallelizing compilers

    Haghighat, Mohammad RezaUniversity of Illinois at Urbana-Champaign2011

    … parallel computers. Based on this methodology, a symbolic analysis framework is developed for the Parafrase-2 parallelizing compiler. This framework extends the scope of a variety of important program analysis problems, and solves them in a unified way. The attained solution space of these …

    uiuc Repository record

  14. Symbolic planning in belief space

    Kamahele-Sanfratello, Ciara L. (Ciara Lei)Massachusetts Institute of Technology2015

    SASY (Scalable and Adjustable SYmbolic) Planner is a flexible symbolic planner which searches for a satisfying plan to a partially observable Markov decision process, or a POMDP, while benefiting from advantages of classical symbolic planning such as compact belief state expression, …

    mit Repository record

  15. Program Synthesis with Symbolic Properties

    Sechopoulos, TheodorosMassachusetts Institute of Technology2022

    … intelligence. In this work we discuss how symbolic properties (which are themselves programs) can help program synthesis performance. Specifically, building on the formulation of properties in Odena and Sutton (2020) we present PropsimFit, a novel online synthesis algorithm that uses …

    mit Repository record

  16. A heuristic program that solves symbolic integration problems in freshman calculus : symbolic automatic integrator (SAINT)

    Slagle, James R. (James Robert)Massachusetts Institute of Technology1961

    Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1961.

    mit Repository record

  17. Comprehensive discourse analysis of symbolic externalization

    Wiebe, KatharineUniversity of British Columbia1993

    … and clients co-create relational novelty using symbolic externalization intervention in successful Experiential Systemic Therapy (ExST) for marital treatment of alcohol dependence through a single case study design. A comprehensive discourse analysis method was used to study the therapeutic …

    ubc Repository record

  18. Symbolic methods for testing digital circuits

    Keim, Martin

    This study investigates the usability of symbolic methods, realized by Boolean Decision Diagrams (BDDs), in the field of testing both combinational and synchronous sequential digital circuits at gate level. <br>Both major topics, fault simulation and automated test pattern generation (ATPG), have …

    freiburg-diss Repository record

  19. Teaching Symbolic Rhetoric for Multicultural Education

    McDonough, TimothyUniversity of Illinois at Urbana-Champaign2015

    … but are productive of them as they put these symbolic practices into play. Finally, and this is the primary goal, the dissertation introduces, describes, and attempts to justify a pedagogical method appropriate to the contemporary multicultural and globalizing society which I refer to as an …

    uiuc Repository record

  20. The Pragmatic Foundation of Symbolic Interactionism

    Lewis, James DavidUniversity of Illinois at Urbana-Champaign2014

    Made available in DSpace on 2014-12-14T06:45:56Z (GMT). No. of bitstreams: 1 7616155.pdf: 16155091 bytes, checksum: d570d597fe3a1468d70813609aa98910 (MD5) Previous issue date: 1976

    uiuc Repository record

Page 1 of 127