This paper proposes new admittance matrix models to approach the behavior of fully-differential Operational Transresistance Amplifiers (OTRAs) and Current Operational Amplifiers (COAs). The infinity-variables method is used in order to derive the new generalized models. As a consequence, standard nodal analysis being improved to compute fully-symbolic small-signal characteristics of fullydiffer...

The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming language. This report documents the linker, which lays out a single data structure for a program consisting of constants, variables, and procedures. It contains detailed proofs that the operational semantics of the linked output matches the operational semantics of t...

We discuss how to embed quantum nonlocality in an approximately classical spacetime background, a question which must be answered irrespective of any underlying microscopic theory of spacetime. We argue that, in deterministic hidden-variables theories, the choice of spacetime kinematics should be dictated by the properties of generic non-equilibrium states, which allow nonlocal signalling. Such...

This paper proposes an alternative mutual funds performance evaluation measure in the context of multicriteria decision making. Fund performance evaluation has been the topic of numerous studies for the last four decades with controversial results. We implement an original methodology on Greek domestic equity funds for the period 2000–2009. Employing a unique dataset of risk adjusted returns su...

This paper deals with the problem of analyzing application event logs in relevance to dependability evaluation. We present the significance of application logs as a valuable source of information on operational profiles, anomalies and errors. They can enhance classical approaches based on monitoring system logs and performance variables. Keywords; event monitoring, operational profiles, anomalies

There is considered the concept of the so-called free system of algebras for an ultraclosed class of algebras of a fixed arithmetic type. Certain free systems exist for such a class if and only if the class is defined by finite disjunctions of identities where the operational symbols are interpreted as operational variables for fundamental operations of an algebra.

This study explores the resource dependency and relational exchange theories of understanding firms’ participation in e-procurement, and seeks to determine the degree to which the resource dependency theory variables — supply importance, supply complexity, supply market dynamism, and availability of alternatives — affect information exchange and operational linkages, the relational exchange the...

The EuroClim project has developed an advanced monitoring and modeling system for climate variables. The system observes cryospheric variables using satellites and in situ measurement stations and produces a portfolio of products based on these observations. The system also provides climate model products, from both historical runs and a scenario run. The climate modeling results are provided a...

Network elements are instrumented to support (a) monitoring of element performance, (b) configuring element operational parameters, and (c) reporting exceptional operational events. Configuration and performance monitoring instrumentation is organized in a standardized naming directory called Management Information Base (MIB) [4]. The MIB provides a universal directory of names for configuratio...