Search results for "predicate"

Nanostructures Cluster Models in Solution

2014

The existence of Single-Wall C-Nanocones (SWNCs), especially nanohorns (SWNHs), and BC2N/Boron Nitride (BN) analogues in cluster form is discussed in solution in this chapter. Theories are developed based on models bundlet and droplet describing size-distribution function. The phenomena present unified explanation in bundlet in which free energy of (BC2N/BN-)SWNCs involved in cluster is combined from two parts: volume one proportional to the number of molecules n in cluster and surface one, to n1/2. Bundlet enables describing distribution function of (BC2N/BN-)SWNC clusters by size. From geometrical differences bundlet [(BC2N/BN-)SWNCs] and droplet (C60/B15C30N15/B30N30) predict dissimilar …

Natural Language Inference in Ordinary and Support Verb Constructions

2020

The family of clause types known as 'support (or 'light') verb construction' (SVC) manifests a peculiar syntax-semantics interface if compared with ordinary verb constructions (OVC). If, in e.g. She laughed, the verb licenses an argument and assigns it a semantic role, syntacticians of every stripe nowadays agree that it is the noun laugh, in She gave a laugh, which fulfils the same function. The differences between the two types have been extensively discussed in the linguistics literature (systematic research started in the 1970s), less so in Computational Linguistics. This paper has two objectives. First, it will propose an innovative type of semantic role, which is termed Cognate Semant…

An Interactive Multiple Objective Linear Programming Method for a Class of Underlying Nonlinear Utility Functions

1983

This paper develops a method for interactive multiple objective linear programming assuming an unknown pseudo concave utility function satisfying certain general properties. The method is an extension of our earlier method published in this journal (Zionts, S., Wallenius, J. 1976. An interactive programming method for solving the multiple criteria problem. Management Sci. 22 (6) 652–663.). Various technical problems present in predecessor versions have been resolved. In addition to presenting the supporting theory and algorithm, we discuss certain options in implementation and summarize our practical experience with several versions of the method.

Meaning Extraction from Strappare Causatives in Italian

2021

The work targets a little-known causative construction of Italian whose causative verb is strappare ‘tear/extort/snatch’ (e.g. Ada strappò la confessione a Piero ‘Ada made Piero confess against his will’). In the active voice of this clause type, the subject, licensed by strappare, is invariably associated with the semantic role ‘Causer’ (as fare does in fare causatives, see [1]), whilst the post-verbal NP (e.g. confessione ‘confession’) is best analyzed as the predicate licensing the remaining syntactic function/s and the related semantic role/s. The NooJ grammar which the authors propose automatically extracts the meaning of strappare causatives by means of a novel type of semantic role. …

Large characteristically simple sections of finite groups

2021

In this paper we prove that if G is a group for which there are k non-Frattini chief factors isomorphic to a characteristically simple group A, then G has a normal section C/R that is the direct product of k minimal normal subgroups of G/R isomorphic to A. This is a significant extension of the notion of crown for isomorphic chief factors.

Author's reply to : Pancreatic cancer : Extension of tumor is associated with timeliness of care and with survival in a population-based study

2018

OWL Orthogonal Extension

2012

It is critical for knowledge bases to capture the reality in direct and intuitive way. OWL ontology language was designed for this goal. In this paper we study the limitations of the OWL open world semantics for the task of knowledge capture and retrieval. We propose a new mechanism based on the closed world semantics that alleviates part of the limitations. Further we describe a system where both OWL and the new mechanisms interoperate together. Finally, we outline some immediate applications and further research directions.

A multidimensional critical factorization theorem

2005

AbstractThe Critical Factorization Theorem is one of the principal results in combinatorics on words. It relates local periodicities of a word to its global periodicity. In this paper we give a multidimensional extension of it. More precisely, we give a new proof of the Critical Factorization Theorem, but in a weak form, where the weakness is due to the fact that we loose the tightness of the local repetition order. In exchange, we gain the possibility of extending our proof to the multidimensional case. Indeed, this new proof makes use of the Theorem of Fine and Wilf, that has several classical generalizations to the multidimensional case.

Avicenna on Negative Judgement

2016

Avicenna’s logical theory of negative judgement can be seen as a systematic development of the insights Aristotle had laid out in the De interpretatione. However, in order to grasp the full extent of his theory one must extend the examination from the logical works to the metaphysical and psychological bases of negative judgement. Avicenna himself often refrains from the explicit treatment of the connections between logic and metaphysics or psychology, or treats them in a rather oblique fashion. Time and again he is satisfied with noting that this or that question is not proper for a logician and should be dealt with in metaphysics or psychology—without bothering to refer his reader to the …

Deduction theorems within RM and its extensions

1999

AbstractIn [13], M. Tokarz specified some infinite family of consequence operations among all ones associated with the relevant logic RM or with the extensions of RM and proved that each of them admits a deduction theorem scheme. In this paper, we show that the family is complete in a sense that if C is a consequence operation with CRM ≤ C and C admits a deduction theorem scheme, then C is equal to a consequence operation specified in [13]. In algebraic terms, this means that the only quasivarieties of Sugihara algebras with the relative congruence extension property are the quasivarieties corresponding, via the algebraization process, to the consequence operations specified in [13].