Log in

Relevant bibliographies by topics / Predicate / Dissertations / Theses

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

Dissertations / Theses on the topic 'Predicate'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Predicate.'

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 dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Sun, Dongdong. "Predicate encryption with various properties." Thesis, Queensland University of Technology, 2012. https://eprints.qut.edu.au/60301/1/Dongdong_Sun_Thesis.pdf.

Full text

Abstract:

Predicate encryption (PE) is a new primitive which supports exible control over access to encrypted data. In PE schemes, users' decryption keys are associated with predicates f and ciphertexts encode attributes a that are specified during the encryption procedure. A user can successfully decrypt if and only if f(a) = 1. In this thesis, we will investigate several properties that are crucial to PE. We focus on expressiveness of PE, Revocable PE and Hierarchical PE (HPE) with forward security. For all proposed systems, we provide a security model and analysis using the widely accepted computat

APA, Harvard, Vancouver, ISO, and other styles

2

LaCara, Nicholas. "Predicate which-appositives." University of Arizona Linguistics Circle, 2012. http://hdl.handle.net/10150/253419.

Full text

Abstract:

Predicate which-appositives (PWAs) are a class of nonrestrictive, parenthetical relative clauses that take as their antecedents predicate-denoting material in the spine of a clause. PWAs contain a gap, and it is difficult to tell whether this gap is derived by a deletion operation like verb phrase ellipsis or by wh-movement. Indeed, diagnostics meant to distinguish these two possibilities provide evidence that both are correct. In order to remedy the apparent conundrum, I draw on recent work on Danish verbal anaphora. I argue that the VP itself undergoes A'-movement and that the relative ope

APA, Harvard, Vancouver, ISO, and other styles

3

Joshi, Rejeev. "Immediacy : a technique for reasoning about asynchrony /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Vaz, Bruno Rafaelo Lopes. "A RECEPÇÃO DE FREGE DA NOÇÃO KANTIANA DE EXISTÊNCIA." Universidade Federal de Santa Maria, 2006. http://repositorio.ufsm.br/handle/1/9041.

Full text

Abstract:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>In this work the relationship between two famous conceptions of existence is investigated. The first, proposed by Kant, excludes the concept of existence from the set of possible predicates or properties of objects. The second, later proposed by Frege, treats the concept of existence as a higher-level predicate, i.e., it presents this concept as a predicate of predicates rather than as a predicate of objects. A closer look at these conceptions reveals, however, that despite this similarity it would be premature to identify their co

APA, Harvard, Vancouver, ISO, and other styles

5

Schuster, Jörg. "Towards predicate driven grammar." Muenchen LINCOM Europa, 2009. http://d-nb.info/992393248/04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Tajima, Masakazu. "Complex predicate formation in Ainu." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=56904.

Full text

Abstract:

Lexicalists assume that words with derivational morphology and compound words are not formed by syntactic transformation (Selkirk, 1982). The Lexicalist Hypothesis implies that the principles of universal grammar are not operative to word formation.<br>This thesis argues that a word is composed of lexical constituents and post-lexical constituents, and that the post-lexical constituents can incorporate into a verb, to form the complex predicate. This formational process is subject to syntactic constraints and principles. Therefore, I claim that the principles of universal grammar are also oper

APA, Harvard, Vancouver, ISO, and other styles

7

Martin, Clare. "Preordered categories and predicate transformers." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Camacho, Cortina Philippe. "Predicate-preserving collision-resistant hashing." Tesis, Universidad de Chile, 2013. http://www.repositorio.uchile.cl/handle/2250/115277.

Full text

Abstract:

Doctor en Ciencias, Mención Computación<br>Se estudian funciones de hash resistentes a colisiones (FHRC) que permiten validar eficientemente predicados sobre las entradas, usando solamente los valores de hash y certificados cortos. Para los predicados, consideramos conjuntos y cadenas de caracteres. La idea de computar el valor de hash de un conjunto con el fin de demostrar (no)pertenencia aparece en la literatura bajo el nombre de acumuladores criptográficos (Benaloh y De Mare, CRYPTO 1993). En esa tesis se propone primero un acumulador criptográfico que permite manipular conjuntos dinámicos

APA, Harvard, Vancouver, ISO, and other styles

9

Akakzia, Ahmed. "Teaching Predicate-based Autotelic Agents." Electronic Thesis or Diss., Sorbonne université, 2022. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2022SORUS415.pdf.

Full text

Abstract:

Dans la quête de concevoir des machines incarnées qui explorent leurs environnements en autonomie, découvrent des nouveaux comportements et apprennent des répertoires non-bornés de compétences, l'intelligence artificielle s'est longuement inspirée des domaines de psychologie du développement et des sciences cognitives qui étudient la capacité remarquable des humains à apprendre tout au long de leur vie. Ceci a donné naissance au domaine de la robotique du développement qui a pour but de concevoir des agents artificiels autonomes capables d'auto-organiser leurs trajectoires d'apprentissage en s

APA, Harvard, Vancouver, ISO, and other styles

10

Quiñones, Moreno Eduardo. "Predicated execution and register windows for out-of-order processors." Doctoral thesis, Universitat Politècnica de Catalunya, 2008. http://hdl.handle.net/10803/6023.

Full text

Abstract:

ISA extensions are a very powerful approach to implement new hardware techniques that require or benefit from compiler support: decisions made at compile time can be complemented at runtime, achieving a synergistic effect between the compiler and the processor. This thesis is focused on two ISA extensions: predicate execution and register windows. Predicate execution is exploited by the if-conversion compiler technique. If-conversion removes control dependences by transforming them to data dependences, which helps to exploit ILP beyond a single basic-block. Register windows help to reduce the

APA, Harvard, Vancouver, ISO, and other styles

11

Sedighi, Anousha. "Subject-predicate agreement restrictions in Persian." Thesis, University of Ottawa (Canada), 2005. http://hdl.handle.net/10393/29259.

Full text

Abstract:

This work investigates two distinct constructions which appear to induce a constraint on verbal agreement. The first construction involves inanimate plural subjects and verbs appearing in third person singular/default morphology. Adopting the framework of Distributed Morphology which has recently been used as a key to capturing several agreement restrictions in languages, I propose that the restriction caused by Animacy in Persian resides in post-syntactic morphology through an impoverishment operation. The second construction I study contains Psychological predicates which have not been entir

APA, Harvard, Vancouver, ISO, and other styles

12

Karpacheva, Olga. "The case of Russian predicate adjectives." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0021/MQ47951.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Ford, R. "McKinsey reasoning & cognitive predicate assumptions." Thesis, University College London (University of London), 2012. http://discovery.ucl.ac.uk/1370612/.

Full text

Abstract:

I defend the view that McKinsey reasoning is concerned with the following three claims: (i) If a subject's mental state is individuated by a given property, then she can know a priori that she a thought that has that property. (ii) Many de dicto structured cognitive predicates express properties that logically imply the existence of contingently existing physical objects external to the subject. (iii) Every de dicto structured cognitive predicate expresses a property which individuates the cognitive state described. Specifically, claims (i)-(iii) and a non-inferential principle governing the e

APA, Harvard, Vancouver, ISO, and other styles

14

Oliveira, Thiago Silva Freitas 1981. "Distinção entre predicação e inerência nas Categorias de Aristóteles." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281325.

Full text

Abstract:

Orientador: Lucas Angioni<br>Tese (doutorado) ¿ Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-24T03:09:27Z (GMT). No. of bitstreams: 1 Oliveira_ThiagoSilvaFreitas_D.pdf: 1336929 bytes, checksum: 9e6a0d7a9fe1c8d20225c8f994f6de9e (MD5) Previous issue date: 2013<br>Resumo: Esta tese pretende demonstrar como Aristóteles lança mão de um projeto ontológico, no livro das Categorias, a partir de uma distinção básica entre quatro tipos de entes e das relações possíveis entre estes de acordo com dois critérios fundamentais, tanto ló

APA, Harvard, Vancouver, ISO, and other styles

15

Ucko, Aaron Mark 1977. "Predicate dispatching in the Common Lisp Object." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/32095.

Full text

Abstract:

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 81-83).<br>I have added support for predicate dispatching, a powerful generalization of other dispatching mechanisms, to the Common Lisp Object System (CLOS). To demonstrate its utility, I used predicate dispatching to enhance Weyl, a computer algebra system which doubles as a CLOS library.

APA, Harvard, Vancouver, ISO, and other styles

16

Iovino, Vincenzo. "Predicate encryption systems. No query left unanswered." Doctoral thesis, Universita degli studi di Salerno, 2011. http://hdl.handle.net/10556/234.

Full text

Abstract:

2009 - 2010<br>Predicate encryption is an important cryptographic primitive (see [7, 14, 28]) that enables fine-grained control on the decryption keys. Let T be a class of binary predicates. Roughly speaking, in a predicate encryption scheme for the owner of the master secret key Msk can derive secret key Sk_P , for any predicate P in T. In encrypting a message M, the sender can specify an attribute x and the resulting ciphertext X can be decrypted only by using keys Sk_P such that P(x) = 1. Our main contribution is the first construction of a predicate encryption scheme that can be proved fu

APA, Harvard, Vancouver, ISO, and other styles

17

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Full text

Abstract:

Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty

APA, Harvard, Vancouver, ISO, and other styles

18

Kliess, Malte Sebastian. "The principle of predicate exchangeability in pure inductive logic." Thesis, University of Manchester, 2014. https://www.research.manchester.ac.uk/portal/en/theses/the-principle-of-predicate-exchangeability-in-pure-inductive-logic(7483a787-d651-4734-8fdf-eda405fc48a6).html.

Full text

Abstract:

We investigate the Principle of Predicate Exchangeability in the framework of Pure Inductive Logic. While this principle was known to Rudolf Carnap, who started research in Inductive Logic, the principle has been somewhat neglected in the past. After providing the framework of Pure Inductive Logic, we will show Representation Theorems for probability functions satisfying Predicate Exchangeability, filling the gap in the list of Representation Theorems for functions satisfying certain rational principles. We then introduce a new principle, called the Principle of Strong Predicate Exchangeabilit

APA, Harvard, Vancouver, ISO, and other styles

19

Zhang, Dazhi. "NEEL+: Supporting Predicates for Nested Complex Event Processing." Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-theses/991.

Full text

Abstract:

"Complex event processing (CEP) has become increasingly important in modern applications, ranging from supply chain management for RFID tracking to real-time intrusion detection. These monitoring applications must detect complex event pattern sequences in event streams. However, the state-of-art in the CEP literature such as SASE, ZStream or Cayuga either do not support the specification of nesting for pattern queries altogether or they limit the nesting of non-occurrence expressions over composite event types. A recent work by Liu et al proposed a nested complex event pattern expression lang

APA, Harvard, Vancouver, ISO, and other styles

20

Wang, Jiayuan. "Scalable Multi-Parameter Outlier Detection Technology." Digital WPI, 2013. https://digitalcommons.wpi.edu/etd-theses/1147.

Full text

Abstract:

"The real-time detection of anomalous phenomena on streaming data has become increasingly important for applications ranging from fraud detection, financial analysis to traffic management. In these streaming applications, often a large number of similar continuous outlier detection queries are executed concurrently. In the light of the high algorithmic complexity of detecting and maintaining outlier patterns for different parameter settings independently, we propose a shared execution methodology called SOP that handles a large batch of requests with diverse pattern configurations. First, our

APA, Harvard, Vancouver, ISO, and other styles

21

Hu, Peifeng. "Automated fault localization a statistical predicate analysis approach /." Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B38838035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Chan, Wing Ming, and 陳永明. "Subject, predicate and object in modern standard Chinese." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1986. http://hub.hku.hk/bib/B3120756X.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Hu, Peifeng, and 胡佩鋒. "Automated fault localization: a statistical predicate analysis approach." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2006. http://hub.hku.hk/bib/B38838035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Liske, Gennadij [Verfasser]. "CCA-Security for predicate encryption schemes / Gennadij Liske." Paderborn : Universitätsbibliothek, 2017. http://d-nb.info/1141790165/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Akhter, Adeel, and Hassan Azhar. "Statistical Debugging of Programs written in Dynamic Programming Language : RUBY." Thesis, Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1993.

Full text

Abstract:

Debugging is an important and critical phase during the software development process. Software debugging is serious and tough practice involved in functional base test driven development. Software vendors encourages their programmers to practice test driven development during the initial development phases to capture the bug traces and the associated code coverage infected from diagnosed bugs. Application’s source code with fewer threats of bug existence or faulty executions is assumed as highly efficient and stable especially when real time software products are in consideration. Due to the f

APA, Harvard, Vancouver, ISO, and other styles

26

Resenes, Mariana Santos de. "A sintaxe das construções semiclivadas e pseudoclivadas no português brasileiro." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/8/8139/tde-13102014-181231/.

Full text

Abstract:

Esta tese tem por objetivo descrever e analisar, com base na Teoria Gerativa, as construções semiclivadas e pseudoclivadas no português brasileiro. Reconhecemos, para ambas as construções, a necessidade de uma análise dual, que identifica dois tipos. Quanto às semiclivadas, um tipo (e este é o grande grupo) recebe uma análise monoracional e independente das pseudoclivadas, são as chamadas semiclivadas verdadeiras, e o outro, bem delimitado e restrito, recebe uma análise bioracional, como uma versão reduzida das pseudoclivadas. Em nossa proposta de uma análise monoracional para a sintaxe das se

APA, Harvard, Vancouver, ISO, and other styles

27

Båve, Arvid. "Deflationism : A Use-Theoretic Analysis of the Truth-Predicate." Doctoral thesis, Stockholms universitet, Filosofiska institutionen, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-999.

Full text

Abstract:

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 is a critical historical survey of deflationary theories, where notably disquotationali

APA, Harvard, Vancouver, ISO, and other styles

28

Sim, Ronald J. "Predicate conjoining in Hadiyya : a head driven PS grammar." Thesis, University of Edinburgh, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236857.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Zoppei, Verena. "“Tax evasion as a predicate offence for money laundering”." Thesis, University of the Western Cape, 2012. http://hdl.handle.net/11394/4448.

Full text

Abstract:

Magister Legum - LLM<br>This paper discusses the progress of international anti-money laundering (AML) law with regard to making tax evasion a predicate offence for the crime of money laundering (ML). This paper will focus particularly on the recent amendments that the Financial Action Task Force (FATF) made to its 40 + 9 Recommendations. The FATF Recommendations are recognised as the global AML standards. The amendments to these have resulted in tax crimes being made designated offences for ML. The aim of this paper is to reconstruct the rationale behind this change and to assess the implicat

APA, Harvard, Vancouver, ISO, and other styles

30

Mock, Timothy John. "The compass as predicate to medieval models of thought." Connect to Electronic Thesis (CONTENTdm), 2008. http://worldcat.org/oclc/441967726/viewonline.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Vicente, Fernanda Pedrita. "Predicado Nominal em Posição Temática: Papéis Modalizadores." Universidade Estadual do Oeste do Parana, 2007. http://tede.unioeste.br:8080/tede/handle/tede/2404.

Full text

Abstract:

Made available in DSpace on 2017-07-10T18:55:48Z (GMT). No. of bitstreams: 1 Vicente.pdf: 540780 bytes, checksum: 804984f295882304087aae116e2676f5 (MD5) Previous issue date: 2007-03-20<br>The aim of this research is to investigate the modalization role of the nominal predicate in thematic position from the analysis of textual portions at phrasal level, taken from texts produced by candidates to Unioeste entrance examination, in 2004. The interest in promoting an analysis in this context reflects an attempt to contribute, yet minimally, with the teaching of Portuguese, considering that the wr

APA, Harvard, Vancouver, ISO, and other styles

32

Malekpour, Shirin Minoo. "Fuzzy predicate product logic and embeddings of ordered Abelian groups." College Park, Md. : University of Maryland, 2004. http://hdl.handle.net/1903/1697.

Full text

Abstract:

Thesis (Ph. D.) -- University of Maryland, College Park, 2004.<br>Thesis research directed by: Mathematics. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.

APA, Harvard, Vancouver, ISO, and other styles

33

Nugraheni, Cecilia Esti. "Predicate Diagrams as Basis for the Verification of Reactive Systems." Diss., lmu, 2004. http://nbn-resolving.de/urn:nbn:de:bvb:19-18194.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Lauxman, Sarah R. "The design of three interpreters - proposition, proposition proof, & predicate." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9926.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Magalhães, Karina Mochetti de 1982. "Lattice-based predicate encryption = Encriptação com predicados baseada em reticulados." [s.n.], 2014. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275543.

Full text

Abstract:

Orientadores: Ricardo Dahab, Michel Abdalla<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-27T04:48:10Z (GMT). No. of bitstreams: 1 Magalhaes_KarinaMochettide_D.pdf: 1527439 bytes, checksum: bde8a4343d856fa31a8cd9e9f0b1d2b7 (MD5) Previous issue date: 2014<br>Resumo: Em um sistema de criptografia funcional, uma autoridade de posse de uma chave mestra pode gerar uma chave secreta que permite o cálculo de uma função sobre a mensagem nos dados criptografados. Assim, é possível calcular tal função no texto cifrado usando som

APA, Harvard, Vancouver, ISO, and other styles

36

Ek, Alexander. "Automatic Predicate Encapsulation of Potentially Profitably Presolvable Submodels in MiniZinc." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-351965.

Full text

Abstract:

An underused feature of the MiniZinc language for modelling combinatorial problems is that its models can be parsed, analysed, and modified; however, this could enable modellers to improve their modelsin novel ways. The auto-tabling tool of Jip J. Dekker allows modellers to annotate a predicate definition in a MiniZinc model for automatic presolving that tabulates the solutions to the predicate within anextensional constraint and replaces the predicate definition with it.This is a well-known and powerful way to reformulate a constraint model, and this auto-tabling tool eliminates a lot of the

APA, Harvard, Vancouver, ISO, and other styles

37

Wendler, Philipp [Verfasser], Dirk [Akademischer Betreuer] Beyer, and Bernd [Akademischer Betreuer] Fischer. "Towards Practical Predicate Analysis / Philipp Wendler ; Dirk Beyer, Bernd Fischer." Passau : Universität Passau, 2017. http://d-nb.info/1147638748/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Gilbert, Frédéric. "Extending higher-order logic with predicate subtyping : application to PVS." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC009/document.

Full text

Abstract:

Le système de types de la logique d'ordre supérieur permet d'exclure certaines expressions indésirables telles que l'application d'un prédicat à lui-même. Cependant, il ne suffit pas pour vérifier des critères plus complexes comme l'absence de divisions par zéro. Cette thèse est consacrée à l’étude d’une extension de la logique d’ordre supérieur appelée sous-typage par prédicats (predicate subtyping), dont l'objet est de rendre l'attribution de types aussi expressive que l'attribution de prédicats. A partir d'un type A et d'un prédicat P(x) de domaine A, le sous-typage par prédicats permet de

APA, Harvard, Vancouver, ISO, and other styles

39

Styan, Evelyn Matheson. "Elementary sentences containing 'be' : a semantic analysis of subject-predicate relations." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=75679.

Full text

Abstract:

Within a theoretical framework that combines generative X-bar syntax (Chomsky 1986), a compositional interpretive semantics and elements of Aristotelian logic, this thesis studies the nature of the syntactic and semantic constituents involved in the subject-predicate relations of elementary sentences containing 'be'. Interpretation is characterized in terms of the entities of various types that speakers intend to refer to and the various ontological types that the referents are said to belong to. 'Be' is analyzed as a single lexical item. This analysis unifies all syntactic functions (e.g., au

APA, Harvard, Vancouver, ISO, and other styles

40

Florio, Salvatore. "Completeness of the Predicate Calculus in the Basic Theory of Predication." The Ohio State University, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=osu1281927327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

SCHULTZ, SERGIO RICARDO. "PROPERTY, NEGATED PROPERTY AND PREDICATE NEGATION: LOGICAL AND ONTOLOGICAL ASPECTS OF NEGATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2010. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=15775@1.

Full text

Abstract:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Desenvolvemos na presente tese uma análise de aspectos lógicos e ontológicos concernentes à negação, em especial, aqueles referentes à existência e natureza de propriedades negadas e à relação entre negação e diferença. Partindo da concepção de acordo com a qual propriedades, em contraposição a objetos, são aquelas entidades que correspondem a predicados, propomos uma concepção de propriedades e da relação entre estas e predicados. A seguir, examinamos a distinção entre sujeito e predicado, procurando tornar clara a extensão da n

APA, Harvard, Vancouver, ISO, and other styles

42

Casallas, Juan Diego Caycedo. "Expansions of 1-dimensional algebraic groups by a predicate for a subgroup." Thesis, University of Oxford, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558526.

Full text

Abstract:

This thesis considers theories of expansions of the natural algebraic struc- ture on the multiplicative group and on an elliptic curve by a predicate for a subgroup that are constructed by Hrushovski's predimension method. In the case of the multiplicative group, these are the theories of fields with green points constructed by Poizat. The convention of calling the elements of the distinguished subgroup green points is maintained throughout this work, also in the elliptic curve case, and we speak of theories of green points. In the first part of the thesis, we give a detailed account of the co

APA, Harvard, Vancouver, ISO, and other styles

43

Simon, Elizabeth A. "Turning predicate information to advantage to improve compiler scheduling and branch prediction /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2002. http://wwwlib.umi.com/cr/ucsd/fullcit?p3036988.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Izumi, Tomoko. "Normalization and Similarity Recognition of Complex Predicate Phrases Based on Linguistically-Motivated Evidence." 京都大学 (Kyoto University), 2014. http://hdl.handle.net/2433/185200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Djohar, Abdou. "Approche contrastive franco-comorienne : les séquences figées à caractère adjectival." Thesis, Paris 13, 2014. http://www.theses.fr/2014PA131038/document.

Full text

Abstract:

Tout comme en français, il existe en comorien un nombre important de séquences adjectivales qui s’utilisent uniquement à l’oral. Ces adjectifs à forme complexe n’ont jamais fait l’objet d’études dans le milieu linguistique comorien. Ils sont remarquables du sous-type Prép N : harimwa ra narenga et A hama N : mudu hama izinga. Ils expriment un état et sont pronominalisables. Ils sont susceptibles d’être analysés comme des adjectifs prédicatifs par le fait qu’ils ont la même propriété syntaxique que les adjectifs simples : ils sont compatibles avec la position épithète aussi bien que la position

APA, Harvard, Vancouver, ISO, and other styles

46

Urdahl, Joakim [Verfasser]. "Path Predicate Abstraction : for Sound System-Level Modeling of Digital Circuits / Joakim Urdahl." Aachen : Shaker, 2016. http://d-nb.info/1084536099/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Jin, Gongye. "High-quality Knowledge Acquisition of Predicate-argument Structures for Syntactic and Semantic Analysis." 京都大学 (Kyoto University), 2016. http://hdl.handle.net/2433/215677.

Full text

Abstract:

If the author of the published paper digitizes such paper and releases it to third parties using digital media such as computer networks or CD-ROMs, the volume, number, and pages of the Journal of Natural Language Processing of the publication must be indicated in a clear manner for all viewers.<br>Kyoto University (京都大学)<br>0048<br>新制・課程博士<br>博士(情報学)<br>甲第19850号<br>情博第601号<br>新制||情||105(附属図書館)<br>32886<br>京都大学大学院情報学研究科知能情報学専攻<br>(主査)准教授河原大輔, 教授黒橋禎夫, 教授河原達也<br>学位規則第4条第1項該当

APA, Harvard, Vancouver, ISO, and other styles

48

Long, Alison Jane. "Short-term morphosyntactic change : the development of the Russian predicate adjective, 1800-2000." Thesis, University of Surrey, 2010. http://epubs.surrey.ac.uk/843477/.

Full text

Abstract:

It is well established that all languages undergo change. Such changes have been seen in the Russian language in a relatively short period of time, particularly in the area of morphosyntax. In order to quantify and examine such changes data from the Russian language was used (the Barentsen Corpus). The aim of his thesis is to quantify change in Russian predicate adjective usage over a two hundred year period, 1801 - 2000, and improve upon the statistical analyses of corpora. A Russian predicate adjective may take one of three forms; the short form (SF), the long form nominative (LF-N) and the

APA, Harvard, Vancouver, ISO, and other styles

49

Ho, Tan-Jan. "The control of real-time discrete-event systems subject to predicate-based constraints." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ27660.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

BYRNE, FRANCIS JR. "VERB SERIALIZATION AND PREDICATE COMPLEMENTATION IN SARAMACCAN (CREOLE, UNIVERSALS, LANGUAGE, GRAMMAR, SYNTAX, SURINAME)." Diss., The University of Arizona, 1985. http://hdl.handle.net/10150/188023.

Full text

Abstract:

One of the most striking features of Saramaccan syntax is the almost categorically finite status of its sentential complements and serial verbs. In fact, a study of these constituents in the language is to primarily observe how characteristics of finite sentential structures are beginning to be lost in certain instances. The first three chapters are largely preliminary in nature. Chapter I briefly introduces Saramaccan, discusses the Government and Binding grammatical model and outlines why it is superior to competing approaches. This chapter also defines many of the pertinent concepts needed

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!