In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
David S. Goldberg, Robert Bruce Findler, Matthew F...
Abstract: Inner products of the type f, g S = f, g ψ0 + f , g ψ1 , where one of the measures ψ0 or ψ1 is the measure associated with the Jacobi polynomials, are usually referre...
Eliana X. L. de Andrade, Cleonice F. Bracciali, La...
We give limits defined in terms of abstract pointclasses of the amount of determinacy available in certain canonical inner models involving strong cardinals. We show for example: ...
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
Abstract--This paper presents a new nonlinear adaptive tracking controller for a class of general time-variant nonlinear systems. The control system consists of an inner loop and a...