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 8 of 8 for “"logical system"”.

  1. A guide to the archive of the International Horn Society, 1969-1977, at [the] Alexander M. Bracken Library, Ball State University, Muncie, Indiana

    … required: (1) the devising and implementing of a logical system of arrangement consistent with accepted archival practice, (2) the filing of the holdings in archival boxes, and (3) the compilation of a guide composed of annotated container lists, for use as a finding aid.The guide is divided into …

    ballstate-thes Repository record for A guide to the archive of the International Horn Society, 1969-1977, at [the] Alexander M. Bracken Library, Ball State University, Muncie, Indiana (opens in a new tab)

  2. Systematizing God's Law: Rabbanite Jurisprudence In The Islamic World From The Tenth To The Thirteenth Centuries

    … Rabbanite Jews were the first to author systematic accounts of talmudic law, which they attempted to transform from an amorphous, dialectical, and discursive corpus into a structured, elegant, and logical system. In so doing, they sought to impose a coherent structure on their legal …

    penn Repository record for Systematizing God's Law: Rabbanite Jurisprudence In The Islamic World From The Tenth To The Thirteenth Centuries (opens in a new tab)

  3. Mode Three of the Modes of Limited Transposition: A Model for Application in Jazz Improvisation and Composition

    … in jazz. The organisation of Mode Three into a logical system is necessary to fully exploit its potential and for it to be accepted as an improvisational and compositional option. This thesis provides a model for the application of Mode Three, while building on rather than replacing the existing …

    auckland-ms Repository record for Mode Three of the Modes of Limited Transposition: A Model for Application in Jazz Improvisation and Composition (opens in a new tab)

  4. The Jade File System.

    File systems have long been the most important and most widely used form of shared permanent storage. File systems in traditional time-sharing systems such as Unix support a coherent sharing model for multiple users. Distributed file systems implement this sharing model in local area networks. …

    arizona-thes Repository record for The Jade File System. (opens in a new tab)

  5. An Argument For A Neutral Free Logic

    … If every sentence of the form `a = a' is a logical truth and is consequently knowable a priori then it will follow absurdly that `a exists' is knowable a priori. There are several alternatives for avoiding this intolerable conclusion and I argue that, with the exception of neutral free logic …

    wayne-thes Repository record for An Argument For A Neutral Free Logic (opens in a new tab)

  6. Neuro-symbolic fact verification

    … fact verification, and is typically modelled by systems which extract textual evidence from a knowledge source and reason about a claim’s veracity via neural entailment systems. However, the reasoning processes of these systems are inherently opaque, suffer from robustness issues, and fail at …

    cambridge Repository record for Neuro-symbolic fact verification (opens in a new tab)

  7. The evolution and dynamics of stocks on the Johannesburg Securities Exchange and their implications for equity investment management

    … property. The results also indicate a logical system of variation of the Hurst exponent by firm size, market characteristics and sector grouping. The third chapter investigates the economic and political events that affect different market sectors and how they are implicated in the …

    cape-town Repository record for The evolution and dynamics of stocks on the Johannesburg Securities Exchange and their implications for equity investment management (opens in a new tab)

  8. Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji

    Posle kratkog uvodnog pregleda, rad je podeljen na dva dela. Prvi deo se bavi prisustvom verovatnoće u logici (v. [16], [17], [18], [19], [22], [23] i [24]), a drugi je posvećen primeni entropije u klasifikaciji polivalentnih logika (v. [14], [15], [20], [21] i [25]). Osnovna ideja koja dominira …

    belgrade Repository record for Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji (opens in a new tab)