24,432 research outputs found
Correctness-by-Construction – Wie machen wir bessere Software? (Prof. Dr.-Ing. Ina Schaefer)
No full textProf. Dr.-Ing. Ina Schaefer sprach im Rahmen der Veranstaltung "KIT im Rathaus" über Software als Grundlage aller technischen Objekte. Dabei referiert sie auch über Softwarefehler und geht auf Risiken und Beispiele in der Gesellschaft und der Geschichte ein, wie zum Beispiel in der Luft- und Raumfahrt.
Woher kommen diese Softwarefehler? Auf diese Frage und wie man diese Fehler vermeiden kann, findet Frau Prof. Dr.-Ing. Ina Schaefer Antworten. Prof. Dr.-Ing. Ina Schaefer ist Professorin für Test, Validierung und Analyse Software-intensiver Systeme (TVA) am Institut für Informationssicherheit und Verlässlichkeit (KASTEL).
Der Vortrag fand statt am 30. Januar 2023 im Rahmen der Reihe "KIT im Rathaus". Diesmal stellte sich das KIT-Zentrum Information · Systeme · Technologien (KCIST) vor
Das KIT-Zentrum Mobilitätssysteme stellt sich vor (Prof. Eric Sax, Prof. Ina Schaefer)
No full textNur durch die Gesamtoptimierung aller Aspekte der Mobilität kann das volle Potenzial zukünftiger Entwicklungen ausgeschöpft werden. Das KIT-Zentrum Mobilitätssysteme bündelt die dafür notwendigen umfassenden Kompetenzen und Ressourcen, um zielführende Konzepte für die Mobilität der Zukunft zu entwickeln. In der Veranstaltung „KIT im Rathaus: Perspektiven des Mobilitätswandels“ stellten Prof. Dr.-Ing. Ina Schaefer und Prof. Dr.-Ing. Eric Sax am 3. Februar 2025 im Bürgersaal des Karlsruher Rathauses das KIT-Zentrum vor.
Weitere Informationen unter: www.forum.kit.edu/kit_im_rathau
Ms. germ. fol. 54 - Volkstum und Staatsvolkstum als Frucht und Aufgabe der Volksentwicklung
No full textVorbesitzer: Friedrich Schaefer; Wöhler-Realgymnasium Frankfurt am Mai
FiFoSiM - an integrated tax benefit microsimulation and CGE model for Germany
Get PDFThis paper describes FiFoSiM, the integrated tax benefit microsimulation and computable general equilibrium (CGE) model of the Center of Public Economics at the University of Cologne. FiFoSiM consists of three main parts. The first part is a static tax benefit microsimulation module. The second part adds a behavioural component to the model; an econometrically estimated labour supply model. The third module is a CGE model which allows the user of FiFoSiM to assess the global economic effects of policy measures. Two specific features distinguish FiFoSiM from other tax benefit models: First, the simultaneous use of two databases for the tax benefit module and second, the linkage of the tax benefit model to a CGE model.FiFoSiM; microsimulation; CGE
Holozäne Kleinsäuger und Vögel aus der Hohen Tatra (=Muran II) : mit 2 Tabellen, 2 Abbildungen im Text und 3 Tafeln
No full textvon Helmut Schaefer, Hoffnungstha
Reflektierte Vernunft: Michel Foucaults philosophisches Projekt einer antitotalitären Macht- und Wahrheitskritik
No full textSchaefer T. Reflektierte Vernunft: Michel Foucaults philosophisches Projekt einer antitotalitären Macht- und Wahrheitskritik. Suhrkamp-Taschenbuch Wissenschaft ; 1219. Frankfurt am Main: Suhrkamp; 1995
Ökologistik : Güterverkehr im Spannungsfeld von Ökonomie und Ökologie ; eine Tagung der Friedrich-Ebert-Stiftung am 25. November 1993 in Bonn
No full text[von Thomas Schaefer erstellt]Electronic ed.: Bonn : FES Library, 200
Mieten in Ostdeutschland : zwischen Instandsetzungsstau und Mieterinteressen ; eine Tagung der Friedrich-Ebert-Stiftung am 14. April 1994 in Erfurt
No full text[.. von Thomas Schaefer erstellt]Electronic ed.: Bonn : FES Library, 199
- …
