Refine
Departments, institutes and facilities
- Graduierteninstitut (66)
- Fachbereich Angewandte Naturwissenschaften (26)
- Fachbereich Informatik (22)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (8)
- Fachbereich Wirtschaftswissenschaften (6)
- Fachbereich Ingenieurwissenschaften und Kommunikation (5)
- Institut für Cyber Security & Privacy (ICSP) (5)
- Institut für Verbraucherinformatik (IVI) (5)
- Institute of Visual Computing (IVC) (4)
- Fachbereich Sozialpolitik und Soziale Sicherung (3)
Document Type
- Doctoral Thesis (106) (remove)
Year of publication
Has Fulltext
- no (106)
Keywords
- Lignin (3)
- Robotics (3)
- Antioxidans (2)
- Deutschland (2)
- Evolutionary optimization (2)
- Gitter-Boltzmann-Methode (2)
- Human-Computer Interaction (2)
- Nachhaltigkeit (2)
- Produktionstheorie (2)
- Quality diversity (2)
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.