Search results for "predicate logic"

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 …

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.

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.

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].

Numerical integration of subtraction terms

2016

Numerical approaches to higher-order calculations often employ subtraction terms, both for the real emission and the virtual corrections. These subtraction terms have to be added back. In this paper we show that at NLO the real subtraction terms, the virtual subtraction terms, the integral representations of the field renormalisation constants and -- in the case of initial-state partons -- the integral representation for the collinear counterterm can be grouped together to give finite integrals, which can be evaluated numerically. This is useful for an extension towards NNLO.

Extended SUSY quantum mechanics, intertwining operators and coherent states

2009

Abstract We propose an extension of supersymmetric quantum mechanics which produces a family of isospectral Hamiltonians. Our procedure slightly extends the idea of intertwining operators. Several examples of the construction are given. Further, we show how to build up vector coherent states of the Gazeau–Klauder type associated to our Hamiltonians.

Tree-Loop Duality Relation beyond simple poles

2013

We develop the Tree-Loop Duality Relation for two- and three-loop integrals with multiple identical propagators (multiple poles). This is the extension of the Duality Relation for single poles and multi-loop integrals derived in previous publications. We prove a generalization of the formula for single poles to multiple poles and we develop a strategy for dealing with higher-order pole integrals by reducing them to single pole integrals using Integration By Parts.