There are situations that Decision Making Units (DMU’s) have uncertain information and their inputs and outputs cannot alter redially. To this end, this paper combines the rough set theorem (RST) and Data Envelopment Analysis (DEA) and proposes a non-redial Rough-DEA (RDEA) model so called additive rough-DEA model and illustrates the proposed model by a numerical example.  

Generic proof systems like Isabelle provide some limited but useful metatheoretic facilities for declared logics; in particular, users can prove simple derived rules and alsòsolve' formulae that contain meta-variables | a technique useful for, e.g., program synthesis. We show how an arbitrary rst order theory can be conservatively extended to provide similar facilities, without a supporting met...

The use of ®rst-principles molecular dynamics to calculate the viscosity of liquid metals using the Green±Kubo relations is described. The ®rst-principles techniques are based on density functional theory, the pseudopotential approximation, and plane-wave basis sets. The statistical-mechanical basis of the Green±Kubo relations is summarised, and extensive ®rst-principles molecular dynamics simu...

Rohitvarma Basavaraju∗ and David A. Lowe† Department of Physics, Brown University, Providence, RI 02912, USA (Dated: November 8, 2016) Abstract We consider the possibility of mining black holes in the 1+1-dimensional dilaton gravity model of Russo, Susskind and Thorlacius. The model correctly incorporates Hawking radiation and backreaction in a semiclassical expansion in 1/N , where N is the nu...

Three companion systems, Claudien, ICL and Tilde, are presented. They use a common representation for examples and hypotheses: each example is represented by a relational database. This contrasts with the classical inductive logic programming systems such as Progol and Foil. It is argued that this representation is closer to attribute value learning and hence more natural. Furthermore, the thre...

We sketch a derivation of abstract scattering theory from the microscopic rst principles deened by Bohmian mechanics. We emphasize the importance of the ux-across-surfaces theorem for the derivation, and of randomness in the impact parameter of the initial wave function|even for an, inevitably inadequate, orthodox derivation. 1 Dedicated to Joel Lebowitz, with love and admiration, for his 70th ...

Abstract The main goal of the paper concerns two parts, in ˝rst one, we extend some results from Blot et al [5] under general hypothesis on measure, second part, introduce a new class functions, which call measure pseudo

Constructive Mathematics might be regarded as a fragment of classical mathematics in which any proof of an existence theorem is equipped with a computable function giving the solution of the theorem. Limit Computable Mathematics (LCM) considered in this note is a fragment of classical mathematics in which any proof of an existence theorem is equipped with a function computing the solution of th...

In many contexts, pronouns are interpreted as referring to the character mentioned first in the previous sentence, an effect called the ‘firstmention bias’. While adults can rapidly use the first-mention bias to guide pronoun interpretation, it is unclear when this bias emerges during development. Curiously, experiments with children between two and three years old show successful use of order ...

In the period 1986-1991, experiments have been carried out with an introductory course in computer programming, based on functional programming. Due to thorough educational design and evaluation, a successful course has been developed. This has led to a revision of the computer programming education in the rst year of the computer science curriculum at the University of Twente. This article des...