Refine
H-BRS Bibliography
- no (36) (remove)
Departments, institutes and facilities
Document Type
- Doctoral Thesis (36) (remove)
Year of publication
Has Fulltext
- no (36)
Keywords
- Deutschland (2)
- Produktionstheorie (2)
- Business Ethnography (1)
- Differentielle Kryptoanalyse (1)
- Dreidimensionales maschinelles Sehen (1)
- Eingebettetes System (1)
- Einkommen (1)
- Einkommenshpyothese (1)
- Enhancer (1)
- Fehlerbehandlung (1)
Einkommen, Konsum und Ersparnis der privaten Haushalte in der Bundesrepublik Deutschland seit 1970
(1986)
Untersuchungsgegenstand der vorliegenden Studie ist das Einkommen, der Konsum und die Ersparnis der privaten Haushalte in der Bundesrepublik Deutschland in den Jahren von 1970 bis 1982. Die Analyse erfolgt unter Verwendung makroökonomischer Konsumfunktionen, so dass die Untersuchung des Konsums im Vordergrund steht.
Die vorwiegend empiristische Analyse der sozialistischen Staaten führt bei der Beurteilung ihrer Steuerungsprobleme oft zu ideologisch durchsetzten ad-hoc Hypothesen. Mit der vorliegenden Arbeit wird hingegen der Versuch unternommen, Entstehung, Folgen und Bewältigung dieser Probleme einer systematischen Erklärung näher zu bringen.
Zumutbarkeit von Arbeit
(1992)
Methoden zur computerunterstützten Untersuchung selektiver Oberflächeneigenschaften von Proteinen
(1993)
We present a type inference algoritm and its verification for an object-oriented programming language called O'SMALL. O'SMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which O'SMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.