Results 241 to 250 of about 11,051,659 (301)

CLASS for Class

Bulletin of the American Meteorological Society, 1993
Abstract Faculty and students from the School of Meteorology at the University of Oklahoma and staff members from the Atmospheric Technology Division at the National Center for Atmospheric Research (NCAR) participated in a special course given during the last two weeks of May 1992.
openaire   +1 more source

First-Class Type Classes

2008
Type Classes have met a large success in Haskell and Isabelle , as a solution for sharing notations by overloading and for specifying with abstract structures by quantification on contexts. However, both systems are limited by second-class implementations of these constructs, and these limitations are only overcomed by ad-hoc extensions to the ...
Matthieu Sozeau, Nicolas Oury
openaire   +1 more source

Conjugacy Classes and Class Number

Integers, 2009
AbstractIt is shown that the conjugacy classes of integral matrices with a given irreducible characteristic polynomial is in bijection with the class group of a corresponding order in an algebraic number field.
openaire   +1 more source

Classes of semigroups and classes of sets

Proceedings of the fifth annual ACM symposium on Theory of computing - STOC '73, 1973
@ye A Among all such congruences there is a largest one, and the quotient monoid by this congruence is denoted by SA and is called the syntactic semigroup of A. This semigroup is finite if and only if the set A is recognizable (by a finite automaton). The semigroup SA can then easily be described using the minimal automaton of A.
openaire   +1 more source

Predicate classes and promise classes

Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory, 2002
Considering computation trees produced by polynomial time nondeterministic computations one can define a complexity class by any predicate on computation trees, such classes will be called predicate classes. It will be shown that these classes are exactly the principal ideals of the polynomial time many-one reducibility.
openaire   +1 more source

A Class with Class

2003
It would be a pleasure to contribute a funny story concerning Walter and myself, and I am sure there would be one or two but since our association goes back 65 years and my memory unfortunately does not, I am at a loss at what to say. Of course, those were not funny or happy days after Hitler had occupied Austria in 1938 and we Jewish students were ...
openaire   +1 more source

Classe sociale, classe politique, classe dirigeante

European Journal of Sociology, 1960
Les sociologues ne s'accordent pas sur la definition du terme de classe, soit qu'ils ne l'emploient pas tous pour dèsigner la même réalité soit qu'ils aient une vision autre de la réalité à laquelle il s'applique. Du moins admettent-ils tous que le concept de classe est légitime et que des groupes sociaux méritent d'être appelés classes.
openaire   +1 more source

Classes and derived classes

1994
We have seen how to define and declare one data object as an abstract data structure. It would be more interesting to be able to define an abstract data structure so that any number of objects could be declared with this structure.
openaire   +1 more source