By

247 – Bulk Metallic Glass


Rate Episode
(average: 4.92)
Loading ... Loading ...

Dr. Douglas Hofmann works as a scientist in the Metallurgy Lab at NASA’s Jet Propulsion Laboratory. I visited Doug during my US trip earlier this year, and we chatted about metallic glass. In particular, we discussed its properties, how to create it in bulk, how to test its properties, as well as how and why it is interesting for use in space.

Audio, Details & Links ...

By

246 – Stromnetze, ein Überblick

Rate Episode
(average: 4.57)
Loading ... Loading ...

Als Auftakt zu einer (hoffentlich ausführlichen :-)) Serie von Episoden zur Energieerzeugung und -versorgung geht es heute um Stromnetze im Allgemeinen. Unser Gast ist Veit Hagenmeyer, Professor am KIT und ehemaliger Kraftwerksleiter. Wir sprechen über Spannungslevel im Netz, Regelung mittels der Netzfrequenz, die Regelbarkeit verschiedener Kraftwerkstypen sowie die Herausforderungen die sich für das Netz aus der zunehmenden Verbreitung regenerativer Energiequellen ergeben.

Audio, Details & Links ...

By

245 – Glaciology Research at the Darwin Glacier

Rate Episode
(average: 4.04)
Loading ... Loading ...

During my visit to DLR’s Earth Observation Center earlier this year I also talked to Dana Floricioiu about her work in glaciology. We discuss a couple of her recent publications, and then focus on her trip to the Darwin Glacier in Antarctica. Together with a team of fellow scientists, she camped on the glacier for three weeks to conduct various in-situ experiments. We discussed the work, but also life on the glacier.

Audio, Details & Links ...

By

244 – SAR Satelliten und Satellitendatenarchivierung am EOC

Rate Episode
(average: 4.66)
Loading ... Loading ...

Ich war am Earth Observation Center des DLR in Oberpfaffenhofen zu Besuch und habe dort zwei Gespräche geführt. Zunächst ging es mit mit Michael Eineder vom Institut für Methodik der Fernerkundung um Radarsatelliten und deren Einsatz für die Erdbeobachtung. Wir sprechen über das Funktionsprinzip von satellitengestützten SAR-Radar und betrachten außerdem die beiden Missionen TerraSAR-X und TanDEM-X. Im zweiten Teil spreche ich mit Stephan Kiemle vom Deutsches Fernerkundungsdatenzentrum über Satellitendatenarchivierung.

Audio, Details & Links ...

By

243 – Formal Specification and Proof

Rate Episode
(average: 4.46)
Loading ... Loading ...

The increasing complexity of software requires increasingly sophisticated means of ensuring its correctness — “just” testing is not necessarily good enough, depending on the domain in which the software is used. Formal specification, verification and proof is a field with a long tradition in computer science that is gaining more (practical) relevance these days; and in this episode, we cover the basics. Our guest is Benjamin Pierce, professor of computer science at UPenn. We discuss the nature of (good) specifications, how verification and proof is different from testing, and where and how these techniques are successfully used today.

Audio, Details & Links ...