Suchen
Treffer: 103
-
Monographie
Absicherung hochautomatisierten Fahrens durch passiven virtuellen Dauerlauftest
Alexander Georg König
-
Monographie
Verification-based software-fault detection
Christoph David Gladisch
-
Monographie
Guaranteed Verification of Dynamic Systems
Stefan Schwab
-
Monographie
Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen
Piotr Franciszek Orzechowski
-
Monographie
Specification and verification of object-oriented software components
Andreas Roth
-
Monographie
GASFLOW-MPI: A Scalable Computational Fluid Dynamics Code for Gases, Aerosols and Combustion. Band 2 (Users' Manual (Revision 1.0).
Thomas Jordan, Anatoly Svishchev, Gottfried Necker, Peter Royl, Jack Travis, Jianjun Xiao
-
Monographie
GASFLOW-MPI: A Scalable Computational Fluid Dynamics Code for Gases, Aerosols and Combustion. Band 1 (Theory and Computational Model (Revision 1.0).
Thomas Jordan, Anatoly Svishchev, Gottfried Necker, Peter Royl, Jack Travis, Jianjun Xiao
-
Monographie
GASFLOW-MPI: A Scalable Computational Fluid Dynamics Code for Gases, Aerosols and Combustion. Band 1 (Theory and Computational Model (Revision 1.0) und Band 2 (Users' Manual). (KIT Scientific Reports ; 7710 und 7711)
Thomas Jordan, Anatoly Svishchev, Gottfried Necker, Peter Royl, Jack Travis, Jianjun Xiao
-
Monographie
From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications
Uwe Schäfer
-
Sammelband
Annual Report 2012 : Institute for Nuclear Waste Disposal.
H. Geckeis, P. Kaden, M. Altmaier (eds.)
-
Monographie
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Benjamin Weiß
-
Monographie
Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model
Dorit Jerger
-
Monographie
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Francisco Mendoza Cervantes
-
Sammelband
2nd Annual Workshop Proceedings of the Collaborative Project "Redox Phenomena Controlling Systems" (7th EC FP CP RECOSY)
Vanessa Montoya, Mireia Grivé, Lara Duro, Bernhard Kienzler, Gunnar Buckau (eds.)
-
Sammelband
Annual Report 2010 - Institute for Nuclear Waste Disposal
T. Stumpf, H. Geckeis (eds.)
-
Sammelband
Annual Report 2009 - Institute for Nuclear Waste Disposal
T. Stumpf, H. Geckeis (eds.)
-
Sammelband
3rd Annual Workshop Proceedings of the Collaborative Project "Redox Phenomena Controlling Systems" (7th EC FP CP RECOSY)
Vanessa Montoya, Mireia Grivé, Lara Duro, Bernhard Kienzler, Marcus Altmaier (eds.)
-
Monographie
Safety Analysis for a Fuel Qualification Test with Supercritical Water
Manuel Raqué
-
Monographie
Joachim Breitner
-
Monographie
Probabilistic Maneuver Recognition in Traffic Scenarios
Jonas Firl
-
Monographie
Modellbasierte Entwicklung eines aktiven Sicherheitssystems für elektrifizierte Fahrräder
Oliver Maier
-
Monographie
Fouad ben Nasr Omri
-
Monographie
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Andreas Lochbihler
-
Sammelband
2nd Annual Workshop Proceedings of the Collaborative Project "Fast / Instant Release of Safety Relevant Radionuclides from Spent Nuclear Fuel" (7th EC FP CP FIRST-Nuclides), Antwerp 05 - 07 November 2013
Bernhard Kienzler, Alba Valls, Lara Duro, Volker Metz (eds.)
-
Monographie
Melt Dispersion and Direct Containment Heating (DCH) Experiments für KONVOI reactors
Leonhard Meyer
-
Sammelband
Final Workshop Proceedings of the Collaborative Project "Fast / Instant Release of Safety Relevant Radionuclides from Spent Nuclear Fuel" (7th EC FP CP FIRST-Nuclides), Karlsruhe 01 - 02 September 2014
Alba Valls, Volker Metz, Bernhard Kienzler (eds.)
-
Sammelband
Sicherheit durch Beton : Schutz vor Explosion, Brand und Risikostoffen : 13. Symposium Baustoffe und Bauwerkserhaltung, Karlsruher Institut für Technologie (KIT), 16. März 2017
Harald S. Müller, Julian Link, Ulrich Nolting (eds.)
-
Monographie
Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262
Nico Adler
-
Monographie
Neutronics Methods for Transient and Safety Analysis of Fast Reactors
Marco Marchetti
-
Monographie
Microbial Effects in the Context of Past German Safety Cases
Juliet S. Swanson, Bernhard Kienzler
-
Sammelband
Proceedings of the First Annual Workshop of the HORIZON 2020 CEBAMA Project
A. Valls, L. Duro, V. Montoya, M. Altmaier (eds.)
-
Monographie
Indirekte Schätzung des Fahrbahnnässegrads zur Detektion von gefährlichen Fahrzuständen
Bernhard Schmiedel
-
Monographie
Untersuchung der Augensicherheit durch Multi-Pulsbestrahlung für LiDAR-Anwendungen
Scarlett Lipp
-
Sammelband
Annual Report 2013 / Institute for Nuclear Waste Disposal.
P. Kaden, S. Fanghänel, M. Altmaier, H. Geckeis (eds.)
-
Monographie
A First 2 MW-Class (136)/170/204 GHz Multi-Frequency Gyrotron Pre-Prototype for DEMO: Design, Construction and Key Components Verification
Tobias Ruess
-
Sammelband
Annual Report 2020 of the Institute for Thermal Energy Technology and Safety
Walter Tromm (ed.)
-
Monographie
Verkehrsphasenbasierte Datenanalyse von zeitlich-räumlichen Strukturen der Staufronten
Sven-Eric Molzahn
-
Monographie
Annual Report 2013 of the Institute for Nuclear and Energy Technologies
Thomas Schulenberg
-
Monographie
SAR Prediction and SAR Management for Parallel Transmit MRI
Hanno Homann
-
Sammelband
Key Topics in Deep Geological Disposal : Conference Report
Susanne Fanghänel (ed.)
-
Monographie
Fahrerassistenzsysteme zur energieeffizienten Längsregelung - Analyse und Optimierung der Fahrsicherheit
Dirk Hülsebusch
-
Monographie
Inter-vehicle communications - achieving safety in a distributed wireless environment. Challenges, systems and protocols
Marc Torrent Moreno
-
Monographie
Requirements and concepts for future automotive electronic architectures from the view of integrated safety
Xi Chen
-
Monographie
Measurable Safety of Automated Driving Functions in Commercial Motor Vehicles - Technological and Methodical Approaches
Mohamed Elgharbawy
-
Monographie
Entwicklung eines lichtbasierten Fahrerassistenzsystems
Marina Budanow
-
Sammelband
Annual Report 2014 / Institute for Nuclear Waste Disposal.
Susanne Fanghänel, Marcus Altmaier, Horst Geckeis (eds.)
-
Sammelband
Annual Report 2015 / Institute for Nuclear Waste Disposal.
Susanne Fanghänel, Marcus Altmaier, Horst Geckeis (eds.)
-
Monographie
Dynamische Rekonfigurationsmethodik für zuverlässige, echtzeitfähige Eingebettete Systeme in Automotive
Florian Oszwald
-
Sammelband
Proceedings of the 15th International Workshop on Beryllium Technology (BeWS-15) September, 14-15, 2022, Karlsruhe, Germany
Ramil Gaisin, Christopher Dorn, Pavel Vladimirov (eds.)
-
Monographie
M. Walter, M. Steinbrück, C. Rössger, M. Große, J. Stuckert
-
Monographie
M. Walter, M. Steinbrück, C. Rössger, M. Große, J. Stuckert
-
Monographie
Abhängigkeit der Exposition von der Zellgröße beim Mobilfunk unter Gewährleistung der Versorgung
Michael Baldauf
-
Sammelband
Annual Report 2016 - Institute for Nuclear Waste Disposal
Susanne Fanghänel, Marcus Altmaier, Horst Geckeis (eds.)
-
Monographie
GASFLOW Simulations for Containment Venting System of Emsland Nuclear Power Plant
Thomas Jordan, Zhanjie Xu
-
Sammelband
1st Annual Workshop Proceedings of the Collaborative Project "Fast / Instant Release of Safety Relevant Radionuclides from Spent Nuclear Fuel" (7th EC FP CP FIRST-Nuclides), Budapest 09 - 11 October 2012
Alba Valls, Lara Duro, Volker Metz, Bernhard Kienzler (eds.)
-
Monographie
Probabilistic Motion Planning for Automated Vehicles
Maximilian Naumann
-
Sammelband
Jahresbericht 2013 / KIT-Sicherheitsmanagement
Gerhard Frank (ed.)
-
Monographie
Divertor Development for a Future Fusion Power Plant
Prachai Norajitra
-
Monographie
Numerische Simulation von MHD-Strömungen in inhomogenen und instationären Magnetfeldern
Sebastian Ehrhard
-
Monographie
Laserbasierte hochauflösende Pixellichtsysteme
Carsten Gut
-
Monographie
Entwicklung eines Entscheidungsunterstützungssystems (EUS) für die Auswahl von Verfahren zur Instandsetzung von Einkammerschleusen für die Schifffahrt unter laufendem Betrieb
Dominik Waleczko
-
Sammelband
Annual Report 2011 : Institute for Nuclear Waste Disposal.
T. Stumpf, H. Geckeis (eds.)
-
Monographie
Ontologie-basierte Definition von Anforderungen an Validierungswerkzeuge in der Fahrzeugtechnik
Mohanad El-Haji
-
Monographie
Trusted Computing für adaptive Automobilsteuergeräte im Umfeld der Inter-Fahrzeug-Kommunikation
Benjamin Glas
-
Sammelband
Colloid/nanoparticle formation and mobility in the context of deep geological nuclear waste disposal (Project KOLLORADO-2) ; final report
L. Truche, T. Schäfer, F. Huber, U. Noseck, B. Lanyon, J. Flügge, J. Brendlé, A. Pudewills, P. Hoess, S. Heck, W. Hauser, R. Götz, G. Darbha, S. Büchner, M. Bouby, Thorsten Schäfer, Ulrich Noseck, Florian Huber (eds.)
-
Monographie
The impact of inter-vehicle communication on vehicular traffic
Moritz Killat
-
Monographie
Predictive energy-efficient motion trajectory optimization of electric vehicles
Tianyi Guan
-
Monographie
A Smoothed Particle Hydrodynamics Method for the Simulation of Centralized Sloshing Experiments
Alexander Vorobyev
-
Sammelband
Proceedings of the 10th IEA International Workshop on Beryllium Technology, September 19 - 21, 2012, Karlsruhe, Germany
Jörg Reimann, Pavel Vladimirov (eds.)
-
Sammelband
Proceedings of the Second Workshop of the HORIZON 2020 CEBAMA Project
A. Valls, L. Duro, V. Montoya, M. Altmaier (eds.)
-
Monographie
Integrated Planning and Control for Collision Avoidance Systems
Boliang Yi
-
Monographie
Motion Planning for Autonomous Vehicles in Partially Observable Environments
Ömer Şahin Taş
-
Monographie
Interference in vehicle-to-vehicle communication networks - analysis, modeling, simulation and assessment
Felix Schmidt-Eisenlohr
-
Sammelband
4th Annual Workshop Proceedings of the Collaborative Project "Redox Phenomena Controlling Systems" (7th EC FP CP RECOSY)
Vanessa Montoya, Mireia Grivé, Lara Duro, Bernhard Kienzler, Marcus Altmaier (eds.)
-
Monographie
Advanced Treatment of Fission Yield Effects and Method Development for Improved Reactor Depletion Calculations
Kilian Kern
-
Sammelband
Jörg Starflinger, Thomas Schulenberg (eds.)
-
Monographie
Moving Object Detection and Segmentation for Remote Aerial Video Surveillance
Michael Teutsch
-
Sammelband
Inter-Vehicle-Communications - Based on Ad Hoc Networking Principles : The FleetNet Project
Martin Mauve, Hannes Hartenstein, Walter Franz (eds.)
-
Monographie
Vertrauen in Roboter und dessen Beeinflussbarkeit durch sprachliches Framing: Eine empirische Untersuchung der Interaktion mit Cobots am Arbeitsplatz
Tobias Kopp
-
Monographie
Entwurfsmuster für Fahrerlose Transportsysteme
Andreas Trenkle
-
Monographie
Untersuchung und Optimierung der Fahrkomfort- und Fahrdynamikeigenschaften von Radladern unter Berücksichtigung der prozessspezifischen Randbedingungen
Manuel Bös
-
Monographie
Steuerung und Regelung des Lenkradmoments durch Nutzung radselektiver Frontantriebe
Jürgen Römer
-
Monographie
Entwurf eines fehlertoleranten Lenkventils für Steer-by-Wire Anwendungen bei Traktoren
David Schmitz
-
Monographie
Modellrechnungen zum thermomechanischen Verhalten und zur Verheilung von Steinsalz: BMWi - Verbundprojekt Ergebnisbericht zum Teilprojekt 3 - 02E10840
Alexandra Pudewills
-
Sammelband
Roboter für Assistenzfunktionen : Konzeptstudien für die Interaktion in der Praxis
Sven Behnke, Pascal Becker, Arne Rönnau (eds.)
-
Monographie
Hochdynamische Power Hardware-in-the-Loop Emulation hoch ausgenutzter Synchronmaschinen mit einem Modularen-Multiphasen-Multilevel Umrichter
Alexander Schmitt
-
Monographie
Methodik zur Nutzenanalyse und Optimierung sicherheitsrelevanter Fahrerassistenzsysteme
Neli Ovcharova
-
Sammelband
Samuel Kounev, Victor Pankratius (eds.)
-
Monographie
Auswirkungen eines postulierten Druckrohrversagens während des SCWR Fuel Qualification Tests
Tobias Zeiger
-
Monographie
Uncertainty handling in multi-attribute decision support for industrial risk management
Valentin Bertsch
-
Monographie
Long-Term Interactions of Full-Scale Cemented Waste Simulates with Salt Brines
Martina Schlieker, Volker Metz, Christoph Borkel, Bernhard Kienzler
-
Monographie
Zoltán Nochta
-
Monographie
Results of the LIVE-L3A Experiment.
T. Wenz, S. Schmidt-Stiefel, J. Foit, T. Cron, A. Miassoedov, B. Fluhrer, X. Gaus-Liu
-
Method Development for Spatially Resolved Detection of Adulterated Minced Meat
Tilman Sauerwald, Thorsten Tybussek, Isik Türkmen, Ervienatasia Djaw
-
Takagi-Sugeno Observer for Tower Crane System
Ayman El-Badawy, Horst Schulte, Lobna Tarek Aboserre
-
Minimal Paths for 3D Crack Detectionin Concrete
Katja Schladitz, Claudia Redenbach, Ali Moghiseh, Franziska Müsebeck
-
An overview of implementing Multispectral Imaging coupled with machine learning for the assessment of microbiological quality and authenticity in foods
George-John Nychas, Fady Mohareb, Yimin Zhang, Jens Michael Carstensen, Nette Schultz, Lemonia-Christina Fengou, Anastasia Lytou
-
Evaluation of multi-task uncertainties in joint semantic segmentation and monocular depth estimation
Markus Ulrich, Theodor Kapler, Markus Hilleman, Steven Landgraf
-
PhasmaFOOD - A miniaturized multi-sensor solution for rapid, non-destructive food quality assessment
Francesca Romana Bertani, Konstantinos Tsoumanis, Paraskevas Bourgos, Milenko Tosíc, Susanne Hintschich, Benedikt Groß
-
Indoor floorplan estimation from 3D point clouds for Scan-to-BIM
Edoardo Milana, Norman Niemann, Lena Schreiber, Antje Alex, Oscar H. Ramirez-Agudelo, Christof Hammer
-
Robust Training with Adversarial Exampleson Industrial Data
Volker Lohweg, Christoph-Alexander Holst, Julian Knaup
-
Utilization of spectral signatures of food for
daily use
Heinrich Grüger, Reinhard Herzog, Robin Gruna, Gunnar Brink, Henning Schulte
-
Protecting the food supply chain from farm tofork: Utilizing SERS and portable Ramanspectroscopy
Oliver Lischtschenko, Adrian Guckian, Yvette Mattley, Cleo Harvey, Derek Guenther, Maja Sourdaine
