We propose a new, general and easy method for proving nonexistence of asymptotic probabilities of monadic second{order sentences in classes of nite structures where rst{order extension axioms hold almost surely.

Roles have a limited use within object-oriented (OO) analysis and design. In extending OO concepts to agentoriented software engineering (AOSE), roles must be adapted to incorporate autonomy and other agent essentials. In this paper, we present our perspective on roles and how to specify them. We also introduce an extension to roles for design, namely agent classes. We describe how roles and ag...

Under the natural partial exchangeability assumption for multi-class interacting particle systems, we prove that these converge to an independent system with innite i.i.d. classes if and only if the empirical measure of each class satises a weak law of large numbers. This extension of a classical result for exchangeable systems (related to the de Finetti Theorem) is somewhat surprising, since t...

The main object of this paper is to introduce and investigate two new classes of generalized Apostol-Euler and Apostol-Genocchi polynomials. In particular, we obtain a new addition formula for the new class of the generalized Apostol-Euler polynomials. We also give an extension and some analogues of the Srivastava-Pintér addition theorem obtained in the works by Srivastava and Pintér 2004 and R...

The ARTMAP-FD neural network performs both identification (placing test patterns in classes encountered during training) and familiarity discrimination (judging whether a test pattern belongs to any of the classes encountered during training). The performance of ARTMAP-FD is tested on radar pulse data obtained in the field, and compared to that of the nearest-neighbor-based NEN algorithm and to...

We present a type-preserving translation of the polymorphic lambda calculus (System F) into an extension of the C programming language supporting parameterized classes and polymorphic methods. We observe that whilst parameterized classes alone are sufficient to encode the parameterized datatypes and letpolymorphism of languages such as ML and Haskell, it is the presence of polymorphic virtual m...

We investigate a rst-order extension of the Theory of Primitive Objects of 5] that supports method extension in presence of object subsumption. Extension is the ability of modifying the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. Th...

Given that ODMG 3.0 specifications do not address the definition of external schemas, we are developing an external schema definition methodology for ODMG databases. In this paper, an extension of ODMG metadata is proposed to support the definition of external schemas. In particular, metadata for derived classes and derived interfaces are defined, as well as some modifications to define inherit...

Intrinsically disordered proteins form transient, fluctuating structures that are difficult to observe directly. We used optical tweezers to apply force to single α-synuclein molecules and measure their extension, characterizing the resulting conformational transitions. Force-extension curves revealed rapid fluctuations at low force, arising from the folding of two different classes of structur...

We have previously described an incremental learning algorithm, Learn.NC, for learning from new datasets that may include new concept classes without accessing previously seen data. We now propose an extension, Learn.UDNC, that allows the algorithm to incrementally learn new concept classes from unbalanced datasets. We describe the algorithm in detail, and provide some experimental results on t...