POPULARITY
Wir haben uns mit anderen Podcastern zu einem Jahresrückblick getroffen, genauer gesagt haben wir mit den Jungs von "Come fly with us", "Radar Contact - Pilot trifft Lotse" und dem Macher vom "Omega Tau"- Podcast an den Mikros gesessen und haben uns unterhalten. In diesem Sinne: many happy Landings, Blue Skies und alles Gute für 2023!
1975 beschädigte der Film „Der weiße Hai“ das Image dieser Knorpelfische nachhaltig. Sind Haie wirklich gnadenlose Killer, auf deren Speisekarte auch Menschen stehen? Oder sind Haie vielmehr evolutionär eindrucksvolle Lebewesen, von denen wir sogar einiges lernen können? Wir tauchen ab, um diesen Fragen nachzugehen. Nebenbei empfehlen wir noch das neue Buch von Markus Völter vom Omega Tau Podcast: „Once You Start Asking“* *Affiliate Link Hier gibt es Informationen dazu, wie man uns unterstützen kann.
Gudrun traf im November 2019 Jan Richter. Er ist einer der Gründer der Batemo GmbH in Karlsruhe. Mit den Kollegiaten von SiMET hatte Gudrun das Unternehmen kurz vorher in der Technologiefabrik besucht und dabei das Podcast-Gespräch vereinbart. Batemo ist noch ein recht junges Unternehmen. Es wurde im März 2017 von Michael Schönleber und Jan Richter gegründet. Die beiden haben an der KIT-Fakultät für Elektrotechnik und Informationstechnik promoviert. Sie hatten sich schon länger mit der Idee auseinandergesetzt, im Anschluss an die Promotionszeit den Schritt zur Unternehmensgründung zu wagen. Es war klar, dass sie sich mit einem Thema beschäftigen möchten, das Ihnen ermöglicht, die Entwicklung von Akkus zu beeinflussen. Außerdem wollten sie gern ohne finanzielle Fremdmittel auskommen, um in jedem Moment die volle Kontrolle zu behalten. Inzwischen ist das gut gelungen und die Firma ist auf Simulationssoftware für Lithium-Ionen-Batterien spezialisiert. Für beliebige Lithium-Ionen-Zellen erstellen sie einen digitalen Zwilling, also ein Modell im Computer. Dass sie damit glaubwürdig für zahlungsfähige Kunden sind, liegt daran, dass sie auch die Validität dieser Modelle im gesamten Betriebsbereich nachweisen. Die Modelle sind sehr komplexe und stark nichtlinear gekoppelte Systeme aus algebraischen und partiellen Differentialgleichungen, die die physikalischen, chemischen und thermodynamische Prozesse abbilden. Sie sind auch dafür geeignet, das Verhalten der Akkus über die Lebenszeit der Zellen hin nachzubilden. Es ist besonders herausfordernd, da die Prozesse in unterschiedlichen Längen- und Zeitskalen ablaufen. Zwei Fragen, die beim Besuch mit den SiMET-Kollegiaten im Mittelpunkt des Gespräches standen, sind: Mit welchen Betriebsstrategien wird die Lebensdauer der Zellen erhöht? Wie werden innovative Schnellladeverfahren entwickelt, die die Zellen nicht zu schnell altern lassen? Im Gespräch berichtet Jan auch davon, wieso er sich für ein Studium der Elektrotechnik entschieden hat und wie er den Weg in die Selbstständigkeit von heute aus bewertet. Literatur und weiterführende Informationen A. Latz, J. Zausch: Thermodynamic consistent transport theory of Li-ion batteries, Journal of Power Sources 196 3296--3302, 2011. M. Maier: The Mathematical Analysis of a Micro Scale Model for Lithium-Ion Batteries. PhD Thesis KIT 2016 M. Kespe, H. Nirschl: Numerical simulation of lithium-ion battery performance considering electrode microstructure, International Journal of Energy Research 39 2062-2074, 2015. Podcasts A. Jossen: Batterien, Gespräch mit Markus Völter im Omega Tau Podcast, Folge 222, 2016. J. Holthaus: Batterien für morgen und übermorgen, KIT.Audio Podcast, Folge 2, 2016. D. Breitenbach, U. Gebhardt, S. Gaedtke: Elektrochemie, Laser, Radio, Proton Podcast, Folge 15, 2016. M. Maier: Akkumulatoren, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. V. Auinger: Optimale Akkuladung, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. S. Carelli, G. Thäter: Batteries, Gespräch im Modellansatz Podcast, Folge 211, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019.
Gudrun talks with Changjing Zhuge. He is a guest in the group of Lennart Hilbert and works at the College of applied sciences and the Beijing Institute for Scientific and Engineering Computing (BISEC) at the Beijing University of Technology. He is a mathematician who is interested in system biology. In some cases he studies delay differential equations or systems of ordinary differential equations to characterize processes and interactions in the context of cancer research. The inbuilt delays originate e.g. from the modeling of hematopoietic stem cell populations. Hematopoietic stem cells give rise to other blood cells. Chemotherapy is frequently accompanied by unwished for side effects to the blood cell production due to the character of the drugs used. Often the production of white blood cells is hindered, which is called neutropenia. In an effort to circumvent that, together with chemotherapy, one treats the patient with granulocyte colony stimulating factor (G-CSF). To examine the effects of the typical periodic chemotherapy in generating neutropenia, and the corresponding response of this system to given to G-CSF Changjing and his colleagues studied relatively simple but physiologically realistic mathematical models for the hematopoietic stem cells. And these models are potential for modeling of other stem-like biosystems such as cancers. The delay in the system is related to the platelet maturation time and the differentiation rate from hematopoietic stem cells into the platelet cell. Changjing did his Bachelor in Mathematics at the Beijing University of Technology (2008) and continued with a PhD-program in Mathematics at the Zhou-Peiyuan Center for Applied Mathematics, Tsinghua University, China. He finished his PhD in 2014. During his time as PhD student he also worked for one year in Michael C Mackey's Lab at the Centre for Applied Mathematics in Bioscience and Medicine of the McGill University in Montreal (Canada). References C. Zhuge, M.C. Mackey, J. Lei: Origins of oscillation patterns in cyclical thrombocytopeniaJournal of Theoretical Biology 462,432-445, 2019. C. Zhuge, X. Sun, J. Lei: On positive solutions and the Omega limit set for a class of delay differential equations. Discrete and Continuous Dynamical Systems - Series B, 18(9), 2487~2503, 2013. C. Zhuge, M.C. Mackey, J. Lei: Neutrophil dynamics in response to chemotherapy and G-CSF Journal of Theoretical Biology 293, 111-120 2012.Podcasts L. Hilbert, G. Thäter: Zellkerne, Gespräch im Modellansatz Podcast, Folge 206, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. M. Gonciarz, G. Thäter: Portrait of Science, Gespräch im Modellansatz Podcast, Folge 197, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. G. Thäter, K. Page: Embryonic Patterns, Gespräch im Modellansatz Podcast, Folge 161, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. L. Adlung, G. Thäter, S. Ritterbusch: Systembiologie, Gespräch im Modellansatz Podcast, Folge 39, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. Omega Tau-Podcast 072: Forschung in der Zellbiologie, 2011. J. Schmoranze, I. Wessolowski: Beim Herrn der Mikroskope – AMBIO Core Facility, Sciencekompass Podcast, Episode 009 B, 2017.
Gudrun talks with Changjing Zhuge. He is a guest in the group of Lennart Hilbert and works at the College of applied sciences and the Beijing Institute for Scientific and Engineering Computing (BISEC) at the Beijing University of Technology. He is a mathematician who is interested in system biology. In some cases he studies delay differential equations or systems of ordinary differential equations to characterize processes and interactions in the context of cancer research. The inbuilt delays originate e.g. from the modeling of hematopoietic stem cell populations. Hematopoietic stem cells give rise to other blood cells. Chemotherapy is frequently accompanied by unwished for side effects to the blood cell production due to the character of the drugs used. Often the production of white blood cells is hindered, which is called neutropenia. In an effort to circumvent that, together with chemotherapy, one treats the patient with granulocyte colony stimulating factor (G-CSF). To examine the effects of the typical periodic chemotherapy in generating neutropenia, and the corresponding response of this system to given to G-CSF Changjing and his colleagues studied relatively simple but physiologically realistic mathematical models for the hematopoietic stem cells. And these models are potential for modeling of other stem-like biosystems such as cancers. The delay in the system is related to the platelet maturation time and the differentiation rate from hematopoietic stem cells into the platelet cell. Changjing did his Bachelor in Mathematics at the Beijing University of Technology (2008) and continued with a PhD-program in Mathematics at the Zhou-Peiyuan Center for Applied Mathematics, Tsinghua University, China. He finished his PhD in 2014. During his time as PhD student he also worked for one year in Michael C Mackey's Lab at the Centre for Applied Mathematics in Bioscience and Medicine of the McGill University in Montreal (Canada). References C. Zhuge, M.C. Mackey, J. Lei: Origins of oscillation patterns in cyclical thrombocytopeniaJournal of Theoretical Biology 462,432-445, 2019. C. Zhuge, X. Sun, J. Lei: On positive solutions and the Omega limit set for a class of delay differential equations. Discrete and Continuous Dynamical Systems - Series B, 18(9), 2487~2503, 2013. C. Zhuge, M.C. Mackey, J. Lei: Neutrophil dynamics in response to chemotherapy and G-CSF Journal of Theoretical Biology 293, 111-120 2012.Podcasts L. Hilbert, G. Thäter: Zellkerne, Gespräch im Modellansatz Podcast, Folge 206, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. M. Gonciarz, G. Thäter: Portrait of Science, Gespräch im Modellansatz Podcast, Folge 197, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. G. Thäter, K. Page: Embryonic Patterns, Gespräch im Modellansatz Podcast, Folge 161, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. L. Adlung, G. Thäter, S. Ritterbusch: Systembiologie, Gespräch im Modellansatz Podcast, Folge 39, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. Omega Tau-Podcast 072: Forschung in der Zellbiologie, 2011. J. Schmoranze, I. Wessolowski: Beim Herrn der Mikroskope – AMBIO Core Facility, Sciencekompass Podcast, Episode 009 B, 2017.
Gudrun traf sich im August 2019 in Karlsruhe zum Gespräch mit Kerstin Göpfrich. Die beiden hatten sich im April 2019 persönlich beim Nawik Symposium 'Und jetzt Du' kennengelernt, wo Kerstin ihr Projekt Ring-a-Scientist vorgestellt hat. Dieses Projekt hat sie gemeinsam mit Karl Gödel initiiert und umgesetzt. Ring-a-Scientist wurde initial durch Wikimedia, die VolkswagenStiftung und den Stifterverband im Fellowverband Freies Wissen gefördert. Ring-a-Scientist ist ein moderner Weg, wie Wissenschaft in die Schulen kommen kann – per Videokonferenz und Live-Schalte aus dem Labor. Ring-a-Scientist möchte Wissenschaft ins Klassenzimmer bringen. Dies geschieht ohne Reisen und viel Organisationsaufwand einfach live per Videokonferenz. Die Inhalte können dabei von der Studienberatung über Diskussionsrunden mit Expertinnen und Experten bis hin zu virtuellen Laborführungen, Experimenten und Einblicken in die aktuelle Forschung reichen. Wie? www.Ring-a-Scientist.org ist eine Webplattform, über die Lehrerende und Wissenschaftler unbürokratisch Termine für ein Videotelefonat vereinbaren können. Auf der Plattform legen Wissenschaftler – vom Erstsemester zur Professorin – ein Profil an. Lehrpersonen können Wissenschaftler ihrer Wahl kontaktieren und den Inhalt des Videotelefonats abstecken. Ring-a-Scientist freut sich auf viele Anfragen von Lehrerinnen und Lehrern! Wieso? Ein Videotelefonat ist weniger zeit- und kostenaufwendig als Schulbesuche. Es lässt sich einfach und flexibel im Unterricht einsetzen und ist mit dem Tagesgeschäft in der Wissenschaft gut ver- einbar. Das soll Schul- und Laborbesuche nicht ersetzen sondern ergänzen und Schulen über das lokale Umfeld hinaus erreichen – denn Unterricht im 21. Jahrhundert verdient Technologie des 21. Jahrhunderts! Kerstin Göpfrich war zum Zeitpunkt des Gespräches Marie Skłodowska-Curie Fellow am Max-Planck-Institut für medizinische Forschung in Stuttgart. Ab dem 1. Oktober leitet sie eine Max-Planck-Forschungsgruppe in Heidelberg. Im April 2017 schloss sie ihre Promotion in Physik an der University of Cambridge (UK) ab, wo sie bei Prof. Ulrich Keyser an DNA Origami Nanoporen arbeitete. Nebenbei hat Sie für verschiedene Medien gearbeitet, darunter The Naked Scientists (BBC - Radio 5 live), Cambridge TV, Spektrum der Wissenschaft und The Huffington Post. In ihrer Forschung beschäftigt sie sich mit der Frage: Was ist Leben und könnte es auch anders sein? Anstatt das Leben, wie wir es kennen, zu kopieren, versucht sie, synthetische Zellen zu entwickeln, die nicht nur aus natürlichen Bausteinen bestehen und neue Arten der Informationsverbreitung und Replikation aufweisen. Dadurch wird es möglich sein, die Randbedingungen des Lebens zu erforschen und aus praktischer Sicht neue Schnittstellen zwischen natürlichen und synthetischen Zellen aufzubauen. Bioorthogonale synthetische Zellen werden als biokompatible aktive Sonden ("Phantomzellen") in lebenden Geweben und Organismen einsetzbar sein, die in der Lage sind, die Zellumgebung zu erfassen, zu berechnen und eine Reaktion auszuführen. Literatur und weiterführende Informationen Göpfrich, K., Gödel, K.C. Ring-a-Scientist - der direkte Draht ins Labor, Biospektrum, 2019. Göpfrich, K., Platzman, P. & Spatz, J. P. Mastering Complexity: Towards Bottom-up Construction of Multifunctional Eukaryotic Synthetic Cells. Trends in Biotechnology, 2018. Göpfrich, K., Rational Design of DNA-Based Lipid Membrane Pores. PhD Thesis, 2017. K. Göpfrich:THE BLOG - DNA Sequencing In The Palm Of Your Hand, 2017. K. Göpfrich: Übersicht ihrer populärwissenschaftlichen Artikel, Video und Audio Gudruns Profil bei Ring-a-scientist Podcasts L. Hilbert, G. Thäter: Zellkerne, Gespräch im Modellansatz Podcast, Folge 206, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. M. Gonciarz, G. Thäter: Portrait of Science, Gespräch im Modellansatz Podcast, Folge 197, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. G. Thäter, K. Page: Embryonic Patterns, Gespräch im Modellansatz Podcast, Folge 161, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. Omega Tau-Podcast 072: Forschung in der Zellbiologie, 2011. J. Schmoranze, I. Wessolowski: Beim Herrn der Mikroskope – AMBIO Core Facility, Sciencekompass Podcast, Episode 009 B, 2017.
In June 2019 Gudrun talked with Serena Carelli. Serena is member of the Research Training Group (RTG) Simet, which is based in Karlsruhe, Ulm and Offenburg. It started its work in 2017 and Gudrun is associated postdoc therein. The aim of that graduate school is to work on the better understanding of Lithium-ion batteries. For that it covers all scales, namley from micro (particles), meso (electrodes as pairs) to macro (cell) and involves scientists from chemistry, chemical engineering, material sciences, electro engineering, physics and mathematics. The group covers the experimental side as well as modeling and computer simulations. Serena is one of the PhD-students of the program. She is based in Offenburg in the group of Wolfgang Bessler (the deputy speaker of the RTG). Her research focusses on End-of-life prediction of a lithium-ion battery cell by studying the mechanistic ageing models of the graphite electrode among other things. Mathematical modelling and numerical simulation have become standard techniques in Li-ion battery research and development, with the purpose of studying the issues of batteries, including performance and ageing, and consequently increasing the model-based predictability of life expectancy. Serena and others work on an electrochemical model of a graphite-based lithium-ion cell that includes combined ageing mechanisms: Electrochemical formation of the solid electrolyte interphase (SEI) at the anode, breaking of the SEI due to mechanical stress from volume changes of the graphite particles, causing accelerated SEI growth, gas formation and dry-out of the electrodes, percolation theory for describing the loss of contact of graphite particles to the liquid electrolyte, formation of reversible and irreversible Li plating. The electrochemistry is coupled to a multi-scale heat and mass transport model based on a pseudo-3D approach. A time-upscaling methodology is developed that allows to simulate large time spans (thousands of operating hours). The combined modeling and simulation framework is able to predict calendaric and cyclic ageing up to the end of life of the battery cells. The results show a qualitative agreement with ageing behavior known from experimental literature. Serena has a Bachelor in Chemistry and a Master's in Forensic Chemistry from the University of Torino. She worked in Spain, the Politécnico de Torino and in Greece (there she was Marie Curie fellow at the Foundation for Research and Technology - Hellas) before she decided to spend time in Australia and India. References Serena's Linked in site A. Latz & J. Zausch: Thermodynamic consistent transport theory of Li-ion batteries, Journal of Power Sources 196 3296--3302, 2011. T. Seger: Elliptic-Parabolic Systems with Applications to Lithium-Ion Battery Models, Doktorarbeit Universität Konstanz, 2013. M. Kespe & H. Nirschl: Numerical simulation of lithium-ion battery performance considering electrode microstructure, International Journal of Energy Research 39 2062-2074, 2015. J.-M. Tarascon & M. Armand: Issues and challenges facing rechargeable lithium batteries, Nature 414 359-367, 2001. W.G. Bessler: Elektrische Energiespeicherung mit Batterien und Brennstoffzellen, Forschung im Fokus, Hochschule Offenburg (2018). Podcasts A. Jossen: Batterien, Gespräch mit Markus Völter im Omega Tau Podcast, Folge 222, 2016. J. Holthaus: Batterien für morgen und übermorgen, KIT.Audio Podcast, Folge 2, 2016. D. Breitenbach, U. Gebhardt, S. Gaedtke: Elektrochemie, Laser, Radio, Proton Podcast, Folge 15, 2016. M. Maier: Akkumulatoren, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. V. Auinger: Optimale Akkuladung, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018.
In June 2019 Gudrun talked with Serena Carelli. Serena is member of the Research Training Group (RTG) Simet, which is based in Karlsruhe, Ulm and Offenburg. It started its work in 2017 and Gudrun is associated postdoc therein. The aim of that graduate school is to work on the better understanding of Lithium-ion batteries. For that it covers all scales, namley from micro (particles), meso (electrodes as pairs) to macro (cell) and involves scientists from chemistry, chemical engineering, material sciences, electro engineering, physics and mathematics. The group covers the experimental side as well as modeling and computer simulations. Serena is one of the PhD-students of the program. She is based in Offenburg in the group of Wolfgang Bessler (the deputy speaker of the RTG). Her research focusses on End-of-life prediction of a lithium-ion battery cell by studying the mechanistic ageing models of the graphite electrode among other things. Mathematical modelling and numerical simulation have become standard techniques in Li-ion battery research and development, with the purpose of studying the issues of batteries, including performance and ageing, and consequently increasing the model-based predictability of life expectancy. Serena and others work on an electrochemical model of a graphite-based lithium-ion cell that includes combined ageing mechanisms: Electrochemical formation of the solid electrolyte interphase (SEI) at the anode, breaking of the SEI due to mechanical stress from volume changes of the graphite particles, causing accelerated SEI growth, gas formation and dry-out of the electrodes, percolation theory for describing the loss of contact of graphite particles to the liquid electrolyte, formation of reversible and irreversible Li plating. The electrochemistry is coupled to a multi-scale heat and mass transport model based on a pseudo-3D approach. A time-upscaling methodology is developed that allows to simulate large time spans (thousands of operating hours). The combined modeling and simulation framework is able to predict calendaric and cyclic ageing up to the end of life of the battery cells. The results show a qualitative agreement with ageing behavior known from experimental literature. Serena has a Bachelor in Chemistry and a Master's in Forensic Chemistry from the University of Torino. She worked in Spain, the Politécnico de Torino and in Greece (there she was Marie Curie fellow at the Foundation for Research and Technology - Hellas) before she decided to spend time in Australia and India. References Serena's Linked in site A. Latz & J. Zausch: Thermodynamic consistent transport theory of Li-ion batteries, Journal of Power Sources 196 3296--3302, 2011. T. Seger: Elliptic-Parabolic Systems with Applications to Lithium-Ion Battery Models, Doktorarbeit Universität Konstanz, 2013. M. Kespe & H. Nirschl: Numerical simulation of lithium-ion battery performance considering electrode microstructure, International Journal of Energy Research 39 2062-2074, 2015. J.-M. Tarascon & M. Armand: Issues and challenges facing rechargeable lithium batteries, Nature 414 359-367, 2001. W.G. Bessler: Elektrische Energiespeicherung mit Batterien und Brennstoffzellen, Forschung im Fokus, Hochschule Offenburg (2018). Podcasts A. Jossen: Batterien, Gespräch mit Markus Völter im Omega Tau Podcast, Folge 222, 2016. J. Holthaus: Batterien für morgen und übermorgen, KIT.Audio Podcast, Folge 2, 2016. D. Breitenbach, U. Gebhardt, S. Gaedtke: Elektrochemie, Laser, Radio, Proton Podcast, Folge 15, 2016. M. Maier: Akkumulatoren, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. V. Auinger: Optimale Akkuladung, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018.
Gudrun unterhält sich in dieser Folge mit Lennart Hilbert, dem Leiter des Hilbert Labs am KIT. Das Labor ist Teil des Instituts für Toxikologie und Genetik (ITG), einem multidisziplinären Zentrum für biologische und chemische Forschung am KIT. Lennart Hilbert ist außerdem Juniorprofessor für Systembiologie/Bioinformatik am Zoologischen Institut des KIT. Das Thema von Lennarts Gruppe ist Computational Architectures in the Cell Nucleus. Das kann man auf zwei unterschiedliche Arten interpretieren. Einerseits untersucht Lennarts Gruppe den räumlichen Aufbau des Zellkerns mit Hilfe von Computern. Es heißt aber auch dass man aufgrund der dabei gewonnenen Erkenntnisse als Fernziel Datenverarbeitung mit Hilfe des Zellkernes als Informationsspeicher ermöglichen will. Gudrun und Lennart haben sich im Rahmen eines Treffens des KIT-Zentrums MathSEE kennengelernt, das im letzten Gespräch vorgestellt wurde. Mit der Hilfe von Super Auflösungs Mikroskopie schauen Lennart und seine Gruppe in das Innere von Zellkernen und sehen dabei dreidimensionale Bilder. Diese Bilder gleichen sie mit den Ergebnissen von den bisher standardmäßig durchgeführten Sequenzierexperimenten von Molekularbiologen ab. "Sehen" erfolgt mit empfindlichen Digitalkameras, deren Bilder geeignet gefiltert werden. Dabei ist eine einschränkende Randbedingung, dass die betrachteten Samples gegen Licht empfindlich sind, aber Licht für die visuelle Darstellung unabdingbar nötig ist - je kleiner die Details, desto mehr Licht. Man kann sich unschwer vorstellen, dass zur Bearbeitung diese Art von Fragen Informatik, Physik, Biologie und Mathematik nötig sind. Damit sich im Rahmen der Zusammenarbeit alle einbringen können, ist es hilfreich, wenn die Methoden einfach und die Ergebnisse visuell unmittelbar verständlich sind. Eine Grundannahme ist, dass die räumliche Organisation im Zellkern den Informationsflüssen aus der DNA-Sequenz entspricht. Die treibende Frage ist: Wie funktioniert Gensteuerung? Der betrachtete Regelkreis ist, dass die DNA als Bibliothek funktioniert. Aus einem Teil wird eine RNA-Kopie erstellt, sodass bestimmte Proteine hergestellt werden können. Diese Eiweiße aber steuern anschließend, welche Teile der DNA als nächstes gelesen werden (das schließt den Regelkreis). In der Systembiologie untersucht man dies bisher in Form von Differentialgleichungssystemen auf einer Metaebene. Wie das aber passiert ist aber noch relativ unklar. Die Hoffnung ist: Neues Sehen hilft hier, neues zu lernen und hierfür ist neueste Technik hilfreich. Die Molekulare Ebene ist der Teil der Biologie, wo im Moment am meisten Neues passiert. Lennart hat in Bremen Physik studiert und anschließend an der McGill University in Montréal in Physiologie promoviert. Hier hat er zum ersten Mal zwischen Theorie und Experiment in zwei Gruppen gleichzeitig gearbeitet. In Dresden am Zentrum für Systembiologie (Max Planck Institut für Molekulare Zellbiolgie und Genetik und Max Planck Institut für die Physik komplexer Systeme) konnte er als Postdoc weiterhin interdisziplinär arbeiten. Seit 2018 ist er am KIT tätig. Lennart und seine Gruppe arbeiten mit Zebrafischen, Bakterienstämmen, Zeitreihenanalyse und anderen mathematischen Modellen. Sie benötigen hoch parallele Simulationen und Machine Learning (z.B. um Mikroskopie-Daten zu entrauschen und mehr Farben gleichzeitig darzustellen). Lennart drückt es im Gespräch so aus: "Ich hab keine Disziplin mehr, ich habe nur noch Fragen." Die beiden Teile seiner Arbeit unterscheiden sich stark: Im Labor sind Gruppentreffen nötig, weil alle aufeinander angewiesen sind. Es wird viel geredet und präzise Handarbeit ist wichtig. In der theoretischen Arbeit ist man auf sich selbst angewiesen und es gibt weniger Interaktion. Any doubts #activematter is a relevant framework to understand nuclear and chromatin organization? Please look at this time-lapse. Zebrafish blastula nucleus, DNA label is Hoechst 33342, single optical section, recorded last night using @VisiTech_UK iSIM. @LennartHilbert, 16.3.2019 Literatur und weiterführende Informationen Y. Sate e.a.: Quantitative measurements of chromatin modification dynamics during zygotic genome activation, bioRxiv preprint, 2019. Lennart Hilbert: Stress-induced hypermutation as a physical property of life, a force of natural selection and its role in four thought experiments. Physical Biology 10(2):026001, 2013 Portrait of Science über Lennart Teil 1 Portrait of Science über Lennart Teil 2 A. Lampe: Hochauflösungsmikroskopie, Die kleinen Dinge, ScienceBlogs, 2017. A. Lampe: Es sind die kleinen Dinge im Leben, 33c3, 2016. Podcasts T. Hagedorn, G. Thäter: MathSEE, Gespräch im Modellansatz Podcast, Folge 205, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. M. Gonciarz, G. Thäter: Portrait of Science, Gespräch im Modellansatz Podcast, Folge 197, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2019. G. Thäter, K. Page: Embryonic Patterns, Gespräch im Modellansatz Podcast, Folge 161, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. Omega Tau-Podcast 072: Forschung in der Zellbiologie, 2011. J. Schmoranze, I. Wessolowski: Beim Herrn der Mikroskope – AMBIO Core Facility, Sciencekompass Podcast, Episode 009 B, 2017.
Wie es kam, dass es kam, dass es so ist, wie es ist, mit dem Rechenschieber. Zu einer gemeinsamen Folge vom damalsTM-Podcast zur Technikgeschichte und dem Modellansatz zur Mathematik trafen sich Prof. Dr. Ralph Pollandt, Stephan Ajuvo und Sebastian Ritterbusch in der Hochschule für angewandte Wissenschaften in Karlsruhe zu diesem mathematisch-technischen Thema aus vergangenen Zeiten. Stephan Ajuvo hatte den Rechenschieber schon länger auf seiner Liste seiner Wunschthemen. Er konnte nach der hackover-Konferenz nach Karlsruhe kommen, wo am 4. Mai 2018 die 9. Lange Nacht der Mathematik stattgefunden hatte, die von Sebastian Ritterbusch moderiert wurde, und wo Ralph Pollandt den Rechenschieber in einem Publikumsvortrag vorgestellt hatte. Die lange Nacht der Mathematik wurde an der damaligen Fachhochschule Karlsruhe im Jahr 2000, dem Weltjahr der Mathematik, gestartet, und fand seither alle zwei Jahre mit sehr großem Besucherandrang statt. Vor Einzug der Taschenrechner, wie beispielsweise dem SchulRechner 1 oder SR1, waren Rechenschieber im Schulbetrieb allgegenwärtig. Es gab unter anderem Typen von Aristo oder von VEB Mantissa Dresden. Die Basis der grundsätzlichen Methode hinter dem Rechenschieber wurde mit dem Beginn der Nutzung von Logarithmentafeln (um 1600) gelegt. In der DDR wurden diese für Schulen vom Verlag Volk und Wissen gedruckt. Sie umfassten neben den Logarithmen auch eine Formelsammlung für Mathematik, Physik und Chemie. Auch die Bordwährung der c-base orientierte sich an der logarithmischen Skala. Ein Weg den Logarithmus einzuführen geht über die Exponentialfunktion, die viele Wachstumsprozesse in der Natur bis zur Sättigung beschreibt. Da diese Entwicklungen oft sehr schnell ansteigen, bietet es sich an, die Werte mit der Umkehrfunktion zu beschreiben, und das ist genau der Logarithmus: Exponentiell ansteigende Werte wie die 2-er Potenzen 1, 2, 4, 8, 16, 32, ..., werden nach Anwendung des Logarithmus Dualis zur Basis 2 linear zu 0, 1, 2, 3, 4, 5, ..., und damit deutlich einfacher zu begreifen. Auch in der Musik werden aus Frequenzen von Tönen nach Anwendung des Logarithmus Dualis ganzzahlig zu Oktaven und im nicht-ganzzahligen Rest zu den Tönen. Für die Nutzung mit Logarithmentafeln und dem Rechenschieber sind die Logarithmenregeln äusserst wichtig: In Logarithmentafeln ist sehr häufig der dekadische Logarithmus zur Basis 10 abgedruckt, da dies bei der Nutzung mit Zahlen im Dezimalsystem sehr hilfreich ist. Dabei wird typisch nur eine Dekade in der Tafel abgedeckt, da höhere Dekaden einfach ganzzahlige Differenzen im Wert darstellen. Da diese Betrachtung außerhalb der Tafeln stattfindet, müssen diese Größenordnungen während der Rechnung mitgeführt und am Ende dem Ergebnis abgerechnet werden. Da Rechenschieber wie gegenüber liegende Lineale sehr einfach addieren können, wird aus der Schieblehre bei Nutzung der Logarithmenregeln ein mächtiges Multiplikationsgerät. Das kann man sich am Selbstbau-Rechenschieber gut vor Augen führen: Der Rechenschieber besteht typischerweise aus einem bedruckten äußeren Körper, einer darin ebenfalls bedruckten beweglichen Zunge und einem oben aufliegenden bis auf Linien transparenten Läufer. Die aufgedruckten Skalen können zum einen einfache logarithmische Skalen für die Multiplikation und Division sein (hier die Skalen C und D über eine Dekade), oder auch ganz andere Funktionen beinhalten, wie für das Bauwesen die Festigkeit, dem Elastizitätsmodul, der Druckfestigkeit oder die Zinseszins-Rechnung. Oft waren wichtige Konstanten wie die Kreiszahl π oder die Lichtgeschwindigkeit c angenähert auf der Rückseite abgedruckt. Für die Bedruckung und Anwendung haben sich verschiedene Systeme etabliert, wie das System Darmstadt, das System Rietz oder Duplexstäbe, es gab aber auch nationale Unterschiede durch Traditionen, Notationen oder Hersteller. Das typische Tischformat hatte eine Länge von rund 30cm, es gab sie aber auch im Taschenformat oder in lebensgroßen 2 Metern, und entsprechendem Gewicht. Ein sehr verbreiteter Rechenschieber in Kreisform ist der Benzin-Rechner: Ein weiterer interessanter Aspekt ist, dass Rechenschieber auch irrationale Konstanten wie die Euler'sche Zahl e, die Kreiszahl π oder einfach Werte der Wurzelfunktion scheinbar exakt auf den analogen Skalen abbilden konnten, und damit einen Analogrechner darstellen. Das Rechnen mit dem Rechenschieber stammt von den Logarithmentafeln ab. Will man die Zahlen 2 und 3 multiplizieren, so kann man die Logarithmen der Zahlen 2 und 3 nachschlagen, das sind bei dem dekadischen Logarithmus auf 3 Stellen die Zahlen 0,3010 und 0,4771. Diese Zahlen werden nun addiert zu 0,7781 und nach umgekehrter Suche findet man als Ergebnis die Zahl, die diesem Logarithmus zugeordnet ist, die Zahl 6. Der Rechenschieber nimmt einem nun das Nachschlagen und Addieren ab, in dem die Skalen C und D logarithmisch aufgetragen sind und die Addition durch das Verschieben der Zunge erfolgt. Die gleiche Rechnung kann man auch mit den Skalen A und B durchführen, die gleich zwei Dekaden von 1-100 abdecken, wenn sie auf dem Schieber zur Verfügung stehen. Rechnet man kombiniert zwischen A und C oder B und D, so kann man gleichzeitig Wurzelziehen oder Quadrieren, muss aber den Läufer verwenden, um die Skalen genau ausrichten zu können. Die Erfindung des Läufers wird Sir Isaac Newton zugeschrieben. Die verschiedenen Skalen ermöglichen die Abbildung fast beliebiger Funktionen, auf fast allen Rechenschieber sind beispielsweise die trigonometrischen Funktionen enthalten, jedoch nur auf eingeschränkten Skalen. Hier muss man entweder die Symmetrieeigenschaften der jeweiligen Funktionen kennen, oder für tiefe Werte besondere Techniken oder Approximationen wie Taylorreihenentwicklungen kennen. Eine Nutzung des Rechenschiebers setzt auch immer die Fähigkeit zur Überschlagsrechnung voraus, bei der man vorab eine Abschätzung zum erwarteten Ergebnis bestimmt. Das bietet einen gewissen Schutz vor Fehlbedienungen, ist aber auch bei der Verwendung von Computern sinnvoll, da es immer wieder zu Fehlern in der Hardware kam, wie beispielsweise beim Pentium-FDIV-Bug, wo Rechnungen schlicht falsch ausgeführt wurden. Nicht nur vermeintlich korrekte Rechenergebnisse können zu Irrtum führen, auch ein blindes Verlassen auf Signifikanztests ist ebenso nicht zielführend, in dem Artikel Why Most Published Research Findings Are False schreibt John P. A. Ioannidis, wieso man sogar beweisen kann, dass inzwischen die meissten solcher Arbeiten auf begrenzten Arbeitsgebieten falsch sein müssen, da sie ihre Abhängigkeit von früheren Arbeiten nicht berücksichtigen. Einen Einblick in die Komplexität der Abschätzung des Treibstoffsverbrauchs bei Flugrouten bekommt man bei Folge 262 und Folge 263 im OmegaTau-Podcast beim Flug nach Hong Kong und zurück. Auch in Folge 291 zum Buschfliegen wird das Thema der Flugplanung berührt. Lange waren runde Rechenschieber zur Berechnung des Treibstoff-Verbrauchs im Flugzeug im Einsatz. Bei der langen Nacht der Mathematik gab es auch eine Ausstellung von Rechenmaschinen, die durch ihre mechanische Bauweise einen sonst verborgenen Einblick in die Rechentechnik liefern. Der angesprochene MegaProzessor zur Visualisierung der Rechentechnik aktueller Prozessoren wurde in FreakShow 222 besprochen und wird im Video zum MegaProzessor vorgestellt. Es gibt regelmäßige Treffen der deutschsprachigen Rechenschieberfreunde, die Rechenschieber-Sammler-Treffen (RST), zuletzt nach Publikation dieser Folge am 20. Oktober 2018 in Bruchsal. Eine interessanter Rechentrick ist die Berechnung von Additionen mit Hilfe von Division und Multiplikation auf dem Rechenschieber. Hier wird der Zusammenhang genutzt. Zur Addition wird damit der Quotient von x und y berechnet, um 1 addiert und wieder mit y multipliziert. Beim Rechnen mit dem logarithmischen Rechenschieber ist eher der relative gegenüber dem absoluten Fehler im Fokus. Genau das gilt auch für die Rechnung in Fließkommazahlen im Computer, wo das logarithmische Rechenstab-Prinzip durch den Exponentialteil zum Teil ebenfalls zu Anwendung kommt. Neben dem dekadischen Logarithmus zur Basis 10, der bei Logarithmentafeln und Rechenschieber zum Einsatz kommt, oder dem Logarithmus Dualis zur Basis 2 aus der Musik oder im Computer, gibt es auch einen natürlichen Logarithmus. Was bedeutet hier natürlich? Der natürliche Logarithmus ist die Umkehrfunktion der Exponentialfunktion, der Potenzfunktion zur Basis e. Diese Funktion hat die Eigenschaft, dass sie als einzige Funktion unter Differenziation, also z.B. der Berechnung von Geschwindigkeit aus Positionen, und Integration, also z.B. der Berechnung von Positionen aus Geschwindigkeiten, unverändert bleibt. Dies kann man sich auch an der Potenzreihenentwicklung der Exponentialfunktion veranschaulichen: Dann ist die Ableitung: Dadurch ist hat die Exponentialfunktion eine große Bedeutung für Modelle und Differenzialgleichungen. Darüber hinaus ist die Exponentialfunktion auch mit den trigonometrischen Funktionen in den komplexen Zahlen direkt miteinander verknüpft: Entsprechend beinhaltet auch der natürliche Logarithmus den Zusammenhang mit Analysis, Numerik und Trigonometrie und kann auf den komplexen Zahlen auch als ewige Spirale dargestellt werden. CC BY-SA 3.0: Leonid 2 In der Kryptographie spielen diskrete Logarithmen eine besondere Rolle, da Potenzfunktionen Kern des RSA-Verfahrens und der elliptischen Kryptographie sind: Im RSA-Verfahren werden Nachrichten auf endlichen Ringen mit einem Schlüssel potenziert, meisst 65537 beim öffentlichen Schlüssel, in der elliptischen Kryptographie wird die Nachricht abschnittsweise in den Exponenten geschrieben und auf einer speziellen elliptischen Kurve berechnet. Auch wenn es zum aktuellen Zeitpunkt noch keine grundsätzliche Lücken in den beiden Verfahren gibt, so ist es wichtig, diese auch korrekt umzusetzen. Ein berüchtigtes Beispiel ist die Perfect Forward Secrecy, die durch fahrlässige Implementationen zur LogJam-Attack führte. Ralph Pollandt hatte in der Polytechnischen Oberschule (POS) in den Klassenstufen 1-8 noch keine Vertiefung in die Mathematik vor Augen. Seine Faszination für Mathematik entstand aus Interesse an Knobelaufgaben in der Erweiterten Oberstufe (EOS) in den Klassen 9-12, wo er die Hochschulreife erlangte, und neben den Optionen zu Naturwissenschaften oder dem Lehramt, sich für das Studium und Promotion in der Mathematik entschied. Nach mehrjähriger ingenieurstechnischer Tätigkeit im Bauwesen, erlangte ihn der Ruf zur Mathematik-Professur an der Hochschule für angewandte Wissenschaften in Karlsruhe, wo er nun reich mit der Erfahrung aus der Anwendung zur Mathematik im Bauingenieurwesen lehrt. Literatur und weiterführende Informationen R. Pollandt: Bastelanleitung Rechenschieber R. Pollandt: Bedienungsanleitung zum Rechenschieber Seite der deutschsprachigen Rechenschieber-Sammler Rechenschieber im Rechnerlexikon, der Enzyklopädie des mechanischen Rechnens Podcasts K. Landzettel, T. Pritlove: Old School Computing, CRE: Technik, Kultur, Gesellschaft, Episode 193, Metaebene Personal Media, 2012. B. Ullmann, M. Völker: Analog Computers, Omega Tau Podcast, Episode 159, Nora Ludewig und Markus Völker, 2014. R. Pollandt, S. Ajuvo, S. Ritterbusch: Rechenschieber, damalsTM Podcast, Episode 58, 2018. J. Müller, S. Ajuvo: Büromaschinen damals, damalsTM Podcast, Episode 50, 2017. K. Leinweber, S. Ajuvo: Taschenrechner, damalsTM Podcast, Episode 37, 2017.
Gudrun talks to Zaheer Ahamed about the influence of an increasing number of Electric vehicles (EV) to the electrical grid. Zaheer just finished the ENTECH Master's program. He started it with his first year at the Karlsruhe Institute for Technology (KIT) and continued in Uppsala University for the second year.Gudrun was part of the grading process of Zaheer's master thesis "Estimating Balancing Capacities of Electric Vehicles on the German and Swedish grids in 2030". The rising awareness of pollution from transport is leading to innovations within the transport sector. At the moment EVs are the leading technology. With many countries Germany and Sweden joined the so-called EV30@30 campaign, aiming for 30% of new vehicles sales to be electric by 2030. These ambitions alongside an ever increasing capacity of variable renewable energy sources (RES) in our power systems, pose a concerning challenge for Transmission systems operators (TSO) to maintain proper power system operation. Imbalances between supply and demand are undesirable in any electrical power system and with the rising popularity of EVs and RES such events are only expected to continue or increase.Fortunately, with the recent development of Vehicle to grid (V2G) concepts as well as extensive studies into the load-shifting potential of EVs, EVs presents an interesting solution for power system balancing distributed energy storage system. Zaheer's study showed that EV are capable of balancing the grid for approximately 60% of the time providing 55-60% of the total balancing energy required. However, the operation also took heavy toll on the EV’s battery performance as it could potentially reduce its life to a 1/7th of its original lifetime. References Commission Regulation (EU) 2017/1485 of 2 August 2017 on establishing a guideline on electricity transmission system operation, 2017. S. Weitemeyer e.a.: Integration of Renewable Energy Sources in future power systems: The role of storage. Renewable Energy, 75 pp.14-20, 2015. D.M.Greenwood e.a.: Frequency response services designed for energy storage. Applied Energy, 203 pp.115-127, 2017. Eurostat Database J. Schäuble e.a.: Generating electric vehicle load profiles from empirical data of three EV fleets in Southwest Germany. Journal of Cleaner Production, 150 pp.253-266, 2017. Podcasts Volker Quaschning, Tim Pritlove: Energiewende, Forschergeist 053, Stifterverband / Metaebene, 2018. V. Auinger, G. Thäter: Optimale Akkuladung, Gespräch im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. http://modellansatz.de/optimale-akkuladung M. Lösch, S. Ritterbusch: Smart Meter Gateway, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. http://modellansatz.de/smart-meter M. Maier, G. Thäter: Akkumulatoren, Gespräch im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. http://modellansatz.de/akkumulatoren D. Schumann, M. Voelter: Elektromobilität, Omega Tau Podcast 163, Makus Völter und Nora Ludewig, 2015. J. Dickmann, S. Ritterbusch: Pumpspeicherkraftwerke, Gespräch im Modellansatz Podcast, Folge 5, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2013.
Gudrun talks to Zaheer Ahamed about the influence of an increasing number of Electric vehicles (EV) to the electrical grid. Zaheer just finished the ENTECH Master's program. He started it with his first year at the Karlsruhe Institute for Technology (KIT) and continued in Uppsala University for the second year.Gudrun was part of the grading process of Zaheer's master thesis "Estimating Balancing Capacities of Electric Vehicles on the German and Swedish grids in 2030". The rising awareness of pollution from transport is leading to innovations within the transport sector. At the moment EVs are the leading technology. With many countries Germany and Sweden joined the so-called EV30@30 campaign, aiming for 30% of new vehicles sales to be electric by 2030. These ambitions alongside an ever increasing capacity of variable renewable energy sources (RES) in our power systems, pose a concerning challenge for Transmission systems operators (TSO) to maintain proper power system operation. Imbalances between supply and demand are undesirable in any electrical power system and with the rising popularity of EVs and RES such events are only expected to continue or increase.Fortunately, with the recent development of Vehicle to grid (V2G) concepts as well as extensive studies into the load-shifting potential of EVs, EVs presents an interesting solution for power system balancing distributed energy storage system. Zaheer's study showed that EV are capable of balancing the grid for approximately 60% of the time providing 55-60% of the total balancing energy required. However, the operation also took heavy toll on the EV’s battery performance as it could potentially reduce its life to a 1/7th of its original lifetime. References Commission Regulation (EU) 2017/1485 of 2 August 2017 on establishing a guideline on electricity transmission system operation, 2017. S. Weitemeyer e.a.: Integration of Renewable Energy Sources in future power systems: The role of storage. Renewable Energy, 75 pp.14-20, 2015. D.M.Greenwood e.a.: Frequency response services designed for energy storage. Applied Energy, 203 pp.115-127, 2017. Eurostat Database J. Schäuble e.a.: Generating electric vehicle load profiles from empirical data of three EV fleets in Southwest Germany. Journal of Cleaner Production, 150 pp.253-266, 2017. Podcasts Volker Quaschning, Tim Pritlove: Energiewende, Forschergeist 053, Stifterverband / Metaebene, 2018. V. Auinger, G. Thäter: Optimale Akkuladung, Gespräch im Modellansatz Podcast, Folge 160, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2018. http://modellansatz.de/optimale-akkuladung M. Lösch, S. Ritterbusch: Smart Meter Gateway, Gespräch im Modellansatz Podcast, Folge 135, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. http://modellansatz.de/smart-meter M. Maier, G. Thäter: Akkumulatoren, Gespräch im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. http://modellansatz.de/akkumulatoren D. Schumann, M. Voelter: Elektromobilität, Omega Tau Podcast 163, Makus Völter und Nora Ludewig, 2015. J. Dickmann, S. Ritterbusch: Pumpspeicherkraftwerke, Gespräch im Modellansatz Podcast, Folge 5, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2013.
In March 2018 Gudrun visited University College London and recorded three conversations with mathematicians working there. Her first partner was Karen Page. She works in Mathematical Biology and is interested in mathematical models for pattern formation. An example would be the question why (and how) a human embryo develops five fingers on each hand. The basic information for that is coded into the DNA but how the pattern develops over time is a very complicated process which we understand only partly. Another example is the patterning of neurons within the vertebrate nervous system. The neurons are specified by levels of proteins. Binding of other proteins at the enhancer region of DNA decides whether a gene produces protein or not. This type of work needs a strong collaboration with biologists who observe certain behaviours and do experiments. Ideally they are interested in the mathematical tools as well. One focus of Karen's work is the development of the nervous system in its embryonic form as the neural tube. She models it with the help of dynamical systems. At the moment they contain three ordinary differential equations for the temporal changes in levels of three proteins. Since they influence each other the system is coupled. Moreover a fourth protein enters the system as an external parameter. It is called sonic hedgehog (Shh). It plays a key role in regulating the growth of digits on limbs and organization of the brain. It has different effects on the cells of the developing embryo depending on its concentration. Concerning the mathematical theory the Poincaré Bendixson theorem completely characterizes the long-time behaviour of two-dimensional dynamical systems. Working with three equations there is room for more interesting long-term scenarios. For example it is possible to observe chaotic behaviour. Karen was introduced to questions of Mathematical Biology when starting to work on her DPhil. Her topic was Turing patterns. These are possible solutions to systems of Partial differential equations that are thermodynamically non-equilibrium. They develop from random perturbations about a homogeneous state, with the help of an input of energy. Prof. Page studied mathematics and physics in Cambridge and did her DPhil in Oxford in 1999. After that she spent two years at the Institute for Advanced Study in Princeton and has been working at UCL since 2001. References A. Turing: The Chemical Basis of Morphogenesis Philosophical Transactions of the Royal Society of London B. 237 (641): 37–72.1952 J.D. Murray: Mathematical Biology. Springer Science & Business Media, 2013. ISBN 978-3-662-08539-4 M. Cohen, K.M. Page e.a: A theoretical framework for the regulation of Shh morphogen-controlled gene expression. Development, 141(20), 3868-3878, 2014. N. Balaskas e.a.: Gene regulatory logic for reading the Sonic Hedgehog signaling gradient in the vertebrate neural tube. Cell. 148, 273-284, 2012. J. Panovska-Griffiths e.a.: A gene regulatory motif that generates oscillatory or multiway switch outputs. J. Roy. Soc. Interface. 10.79, 2013. Podcasts L. Adlung: Systembiologie, Gespräch mit G. Thäter und S. Ritterbusch im Modellansatz Podcast, Folge 39, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. Omega Tau-Podcast 069: Grundlagen der Zellbiologie Omega Tau-Podcast 072: Forschung in der Zellbiologie Konscience-Podcast 024, Kapitel 5: Das Hochlandgen aus "Wie kam das bloß durch die Ethikkommission?"
In March 2018 Gudrun visited University College London and recorded three conversations with mathematicians working there. Her first partner was Karen Page. She works in Mathematical Biology and is interested in mathematical models for pattern formation. An example would be the question why (and how) a human embryo develops five fingers on each hand. The basic information for that is coded into the DNA but how the pattern develops over time is a very complicated process which we understand only partly. Another example is the patterning of neurons within the vertebrate nervous system. The neurons are specified by levels of proteins. Binding of other proteins at the enhancer region of DNA decides whether a gene produces protein or not. This type of work needs a strong collaboration with biologists who observe certain behaviours and do experiments. Ideally they are interested in the mathematical tools as well. One focus of Karen's work is the development of the nervous system in its embryonic form as the neural tube. She models it with the help of dynamical systems. At the moment they contain three ordinary differential equations for the temporal changes in levels of three proteins. Since they influence each other the system is coupled. Moreover a fourth protein enters the system as an external parameter. It is called sonic hedgehog (Shh). It plays a key role in regulating the growth of digits on limbs and organization of the brain. It has different effects on the cells of the developing embryo depending on its concentration. Concerning the mathematical theory the Poincaré Bendixson theorem completely characterizes the long-time behaviour of two-dimensional dynamical systems. Working with three equations there is room for more interesting long-term scenarios. For example it is possible to observe chaotic behaviour. Karen was introduced to questions of Mathematical Biology when starting to work on her DPhil. Her topic was Turing patterns. These are possible solutions to systems of Partial differential equations that are thermodynamically non-equilibrium. They develop from random perturbations about a homogeneous state, with the help of an input of energy. Prof. Page studied mathematics and physics in Cambridge and did her DPhil in Oxford in 1999. After that she spent two years at the Institute for Advanced Study in Princeton and has been working at UCL since 2001. References A. Turing: The Chemical Basis of Morphogenesis Philosophical Transactions of the Royal Society of London B. 237 (641): 37–72.1952 J.D. Murray: Mathematical Biology. Springer Science & Business Media, 2013. ISBN 978-3-662-08539-4 M. Cohen, K.M. Page e.a: A theoretical framework for the regulation of Shh morphogen-controlled gene expression. Development, 141(20), 3868-3878, 2014. N. Balaskas e.a.: Gene regulatory logic for reading the Sonic Hedgehog signaling gradient in the vertebrate neural tube. Cell. 148, 273-284, 2012. J. Panovska-Griffiths e.a.: A gene regulatory motif that generates oscillatory or multiway switch outputs. J. Roy. Soc. Interface. 10.79, 2013. Podcasts L. Adlung: Systembiologie, Gespräch mit G. Thäter und S. Ritterbusch im Modellansatz Podcast, Folge 39, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2016. Omega Tau-Podcast 069: Grundlagen der Zellbiologie Omega Tau-Podcast 072: Forschung in der Zellbiologie Konscience-Podcast 024, Kapitel 5: Das Hochlandgen aus "Wie kam das bloß durch die Ethikkommission?"
Gudrun sprach mit Veronika Auinger, die in ihrer Masterarbeit Ladevorgänge für Akkumulatoren (Akkus) optimal regelt. Die Arbeit entstand in enger Zusammenarbeit mit Christian Fleck und Andrea Flexeder von der Firma BOSCH (Abt. Control Theory). In einer Zeit, in der klar wird, das Erdöl als Energielieferant sehr bald ersetzt werden muss, ist die Suche nach alternativen Antriebsarten im Transport von hoher Priorität. Die populärste ist das Elektrofahrzeug, auch wenn es noch immer darum kämpft, sich in den Köpfen der Menschen zu etablieren. Ein wesentlicher Grund dafür ist die sehr begrenzte Speicherkapazität und die lange Ladezeit der in diesen Fahrzeugen eingebauten Akkumulatoren (*). Wir sind von Verbrennungsmotoren an eine große Reichweite und große Flexibilität gewöhnt. Wenn Elektroautos dieselben Anforderungen erfüllen sollen wie Benzinautos, spielen die Akkus und deren Laderegime(s) eine zentrale Rolle. Automobilzulieferer wie BOSCH oder MAHLE entwickeln schon jetzt einen beträchtlichen Teil der Technologie und Software, die in modernen Fahrzeugen steckt. Nun kommt die Entwicklung von zukunftsträchtigen Akkus als neues Thema und Produkt hinzu. Das Ziel der Masterarbeit von Frau Auinger war es, eine intelligente Ladestrategie zu finden, die zwei Aspekte des Batteriesystems minimiert: die Zeit, die benötigt wird, um die Batterie vollständig aufzuladen, und den Kapazitätsverlust des Akkus, der durch die Ladung verursacht wird. Eine gleichzeitige Minimierung ist jedoch problematisch, da beide Ziele im Allgemeinen nicht gemeinsam erreicht werden können: Eine minimale Ladezeit führt in der Regel zu einem hohen Kapazitätsverlust und umgekehrt. Der Grund hierfür ist, dass zur Verkürzung der Ladezeit mit höheren Strömen aufgeladen werden muss, was wiederum zu einer kürzeren Lebensdauer der Akkus führt. So gewinnen intelligente Ladestrategien an Bedeutung, bei denen der Ladestrom einem vorgegebenen Profil folgt, der den Verlust der Lebensdauer minimiert und die Ladezeit akzeptabel kurz hält. Diese Protokolle lassen sich als Lösungen für optimale Steuerungsprobleme bestimmen. In der Praxis erfordert dies Algorithmen, die Lösungen in Echtzeit liefern, was das Ziel dieser Masterarbeit war. Zu Beginn dieses Projektes lag eine Formulierung des Steuerungsproblem von Carolin Eckhard vor, das von ihr durch eine einfache Implementierung in Matlab gelöst worden war. Das Modell der Lithium-Ionen-Batterie besteht darin aus drei Teilen: Ein Zellspannungsmodell, ein Zelltemperaturmodell und ein Alterungsmodell, das den Kapazitätsverlust in der Zelle beschreibt. Da der Code nicht für Echtzeitzwecke taugte, wurde er von Adrian Tardieu beschleunigt, indem er Gradientenprojektionsmethoden einsetzte. In der Arbeit von Frau Auinger wurde ein vereinfachtes optimales Ladeproblem hergeleitet für das eine analytische Lösung mit Hilfe von Pontrjagin's Satz berechnet werden kann. Diese dient als erste Trajektorie im iterativen Algorithmus, was das Verfahren in der Regel beschleunigt. Die analytisch abgeleiteten Trajektorien haben sich als sehr nahe an den numerisch berechneten Lösungen des ursprünglichen Problems erwiesen und wurden daher als Ausgangsbasis für den existierenden Algorithmus verwendet. (*) Man spricht - eigentlich unzutreffend - auch gern von Batterien, weil es im englischen battery heißt. Literatur und weiterführende Informationen L.S. Pontrjagin, W.Boltjanski, R.V. Gamkrelidze, E.F. Mishchenko: Mathematische Theorie optimaler Prozesse. Oldenbourg 1967. N. Tauchnitz. Das Pontrjaginsche Maximumprinzip für eine Klasse hybrider Steuerungsprobleme mit Zustandsbeschränkungen und seine Anwendung. Doktorarbeit, Brandenburgische Technische Universität Cottbus-Senftenberg, 2010. J. Yan e.a.: Model Predictive Control-Based Fast Charging for Vehicular Batteries. Energies 2011, 4, 1178-1196; doi:10.3390/en4081178. A. Barré, B. Deguilhem, S. Grolleau, M. Gérard, F. Suard, and D. Riu. A review on lithium-ion battery ageing mechanisms and estimations for automotive applications. Journal of Power Sources, 241:680 689, 2013. J. Sabatier, J. M. Francisco, F. Guillemard, L. Lavigne, M. Moze, and M. Merveillaut. Lithium-ion batteries modeling: A simple fractional differentiation based model and its associated parameters estimation method. Signal Processing, 107 290 301, 2015. C. Eckard. Model predictive control for intelligent charging strategies of high-voltage batteries. Master's thesis, Universität Stuttgart, May 2016. Podcasts M. Maier: Akkumulatoren, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 123, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2017. http://modellansatz.de/akkumulatoren A. Jossen: Batterien, Gespräch mit Markus Völter im Omega Tau Podcast, Folge 222, 2016. D. Schumann: Elektromobilität, Gespräch mit Markus Voelter im Omega Tau Podcast, Folge 163, 2015. J. Holthaus: Batterien für morgen und übermorgen, KIT.Audio Podcast, Folge 2, 2016. D. Breitenbach, U. Gebhardt, S. Gaedtke: Elektrochemie, Laser, Radio, Proton Podcast, Folge 15, 2016. Cleanelectric - Der Podcast rund um das Thema Elektromobilität
Markus Völter spricht mit Prof. Dr. Armin Grunwald vom Institut für Technikfolgenabschätzung am KIT in Karlsruhe. Wir unterhalten uns über die gesellschaftliche Relevanz von Technik und deren Folgen, erfolgversprechende Methoden der Bürgerbeteiligung, sowie die Rolle von Modellen bei der Abschätzung der Folgen der Entwicklung oder Einführung von Technologien. Dabei gehen wir auf aktuelle und historische Beispiele ein. Quelle: http://omegataupodcast.net/275-technikfolgenabschatzung/, CC-BY-NC-ND 3.0 (http://creativecommons.org/licenses/by-nc-nd/3.0/de/)
Mit unserem Gehör können wir Geräusche unmittelbar orten und identifizieren. Um diese Fähigkeit sinnvoll im Projekt nutzen zu können, gibt uns Dr. Paul Modler einen Einblick in Raumklang. Die Abteilung Medienkunst Akustik (MK Akustik) der Staatlichen Hochschule für Gestaltung (HfG) in Karlsruhe befasst sich mit elektronischer und elektroakustischer Musik, Klanginstallation und Sonifikation. Sie wird von Dr. Paul Modler geleitet, der uns in diesem Gespräch einen Einblick in Raumakustik und Techniken für räumliches Hörempfinden über Kopfhörer geben konnte. Paul Modler ist gerade von einem Besuch der Ars Electronica in Linz zurückgekehrt. Ein hervorgehobenes Event des Festivals der elektronischen Künsten war die Klangwolke einer Story mit Feuerwerk, Maschinen, Jets und Booten auf der Donau. Der Wettbewerb Prix Ars Electronica gab einen Einblick, welche aktuellen Richtungen die durchaus diskutierte Medienkunst darbietet. Nach seinem Diplom in den Ingenieurwissenschaften an der ehemaligen Universität Karlsruhe (jetzt Karlsruher Institut für Technologie (KIT)) zur Signalverarbeitung und Filterentwurf des Waveterm Synthesizer der Palm Products GmbH (PPG), gelangte Paul Modler an die University of York, wo er im Bereich der Music Technology promovierte und von dort an die Hochschule für Gestaltung in die Medienkunst geworben wurde. Seine Forschungsinteressen gehen auch in Richtung des Mehrkanaltons, insbesondere im Verfahren der Ambisonics, das nach langer Durststrecke inzwischen sogar als Raumklangformat bei YouTube Einzug gehalten hat. Die MK Sound setzt sich mit der Frage der Musikerstellung, der Definition und möglichen Instrumenten sowie der Technik, Installation und Performance in einem sehr breiten Spektrum interdisziplinär auseinander. Es gibt Lehrveranstaltungen zur analogen Tonerzeugung, wie auch die Auseinandersetzung mit neuen digitalen Einflüssen und die Abbildung analoger Synthesizern auf mobilen Geräten wie bei Korg. Die Gruppe wird auch von besuchenden Künstlern wie John Richards in Richtung Circuit Bending inspiriert. Dies führt zu faszinierenden Abschlussarbeiten wie den Atmospheric Disturbances von Lorenz Schwarz, wo Raumklang mit Plasmalautprechern künstlerisch umgesetzt wurde. Interessante Impulse entstehen auch aus der Zusammenarbeit mit weiteren Instituten und Hochschulen: So beteiligen sich auch oft Studierende des KIT an Projekten. Die Aufnahme fand im Studio 311 der MK Sound statt, wo die Gruppe einen mobilen Klangdom installiert hat, um an ambisonischen Verfahren zu arbeiten und ihn musikalisch zu nutzen. Zur Ansteuerung kommt hier die Software Zirkonium wie auch die Software des Institut de Recherche et Coordination Acoustique/Musique (IRCAM) „Spat“ zum Einsatz, sowie andere verfügbare Verräumlichungstools. Ein Aspekt ist dabei auch der Wandel der Sicht auf den Lautsprecher vom Mittel zum Zweck hin zu einem eigenständigen Musikinstrument. Die Hochschule für Gestaltung in Karlsruhe ist eingerahmt und im gleichen Haus wie das Museum für neue Kunst und das ZKM – Zentrum für Kunst und Medien und Medienmuseum. So arbeitet die MK Sound natürlich eng mit dem von Prof. Ludger Brümmer geleiteten Institut für Musik und Akustik am ZKM zusammen. Das Institut bietet insbesondere auch der Diskussion musikalisch digitalen elektroakustischen Bereich eine Plattform und hat mit dem Klangdom im ZKM Kubus eine etablierte Referenzplattform für Raumklang. Zusammen mit der HfG wurde dazu auch 2015 das inSonic Festival zu Raumklang ausgerichtet, das sich im inSonic Festival Dezember 2017 wiederholt. Die große Bandbreite des Instituts zeigt sich auch in häufigen Kraftwerk-Konzerten bis hin zu häufigen Linux Audio Konferenzen. Der ehemalige Kraftwerk-Musiker Florian Schneider-Esleben war auch 1998 als Professor für Medienkunst und Performance an die HfG berufen. Ende letzten Jahres fand am Institut auch das Strömungen Symposium zu künstlerischer Sonifikation statt. Durch unser Gehör und Körper nehmen wir Schallwellen wahr, soweit sich diese etwa im Hörbereich von etwa 20-20kHz und einem davon abhängigen Pegel befindet. Assoziieren wir einen Sinn oder gewisse Ästhetik in ein Geräusch, so mögen wir es als Klang bezeichnen, der Teil einer Musik sein kann. Ein Teil der Akustikempfindung wird in der Psychoakustik beschrieben, die auch sehr exakt mit der Hörbarkeit von Geräuschen und Auswirkung von Wahrnehmungen auf den Menschen analysiert. Diese Analyse hat erst den Erfolgszug der verlustbehafteten Audiokompression möglich gemacht. Für die Aufnahme von Raumklang spielt die Positionierung der Mikrofone eine besondere Rolle: Da eine Aufnahme aus allen Richtungen an einem Punkt nicht möglich ist, müssen Mikrofone mit gewissen Abstand von einander positioniert werden, wodurch der Raum diskretisiert wird. Besonders beispielhaft für die Auswirkung der Diskretisierung sind Werke von John Chowning, der die Frequenzmodulations-Synthese aus der Raumklangforschung heraus für Synthesizer patentierte. Hier erhält man an leicht unterschiedlichen Positionen mit klassischem Soundfeld Mikrofon oder mit Ambeo VR Mikrofon ein völlig anderes Konzerterlebnis. Im Rahmen einer Stereoaufnahme und -reproduktion durch Lautsprecher entstehen Phantomschallquellen um die Lautsprecher, soweit man sich exakt im Sweet Spot des Stereodreiecks befindet. Empirisch zeigt sich, dass die Verwendung von zusätzlich an die Wand gedrehten Treibern, wie beim Acoustimass-System ein immersiveres Stereoempfinden erzeugt wird. Das räumliche Empfinden im Kopf entsteht zunächst durch Intensitäts- oder Pegelunterschiede und Laufzeitunterschieden zwischen den Ohren, die vom Gehirn rekonstruiert und die virtuelle Position der Schallquellen rekonstruiert wird. Sehr individuell spielt aber auch die Kopf- und Körperform eine große Rolle, denn je nach Kopfgröße sind die Ohren unterschiedlich weit voneinander entfernt, die Ohrmuschel unterschiedlich geformt und die Schultern unterschiedlich weit entfernt. Dadurch ergeben sich eine durch frequenzabhängige Intensitäts- und Laufzeitsunterschiede resultierende Filterung, die als Head-Related Transfer Function (HRTF) bzw. Kopfübertragungsfunktion bezeichnet wird. Die Berücksichtigung dieser Abbildung führt zur binauralen Aufnahme und Reproduktion. Eine weitere Wahrnehmungsmöglichkeit ist der Raumschall, wo eine räumliche Wahrnehmung durch die Beziehung zum Raum ermöglicht wird. Daher muss man in der Stereofonie deutlich zwischen Lautsprecheraufnahmen und Kopfhöreraufnahmen unterscheiden, da die Reproduktion über Kopfhörer die Berücksichtigung der Kopfübertragungsfunktion erforderlich ist. Der Weg zu Mehrkanal-Tonsystemen führte von der Stereofonie zunächst zur Quadrofonie für Systeme mit vier Lautsprechern, die im Vergleich zum Aufwand einen begrenzten Gewinn des Raumklangs unter Einführung weiterer unerwünschter Effekte bewirkte. Da sich keine Aufzeichnungssysteme für dieses Tonsystem wirklich kommerziell durchsetzen konnten, war das System wenig verbreitet. Die sehr verwandten Dolby Surround oder 5.1-Systeme haben sich durch leichte Veränderung des Systems im Film- und Kinobereich dagegen sehr durchgesetzt. Für den Film war es sehr wichtig, dass Einführung des zentralen Center-Lautsprechers die räumliche Positionierung der Schauspieler deutlich verbessert hat, und die Verwendung von Subwoofer bzw. des LFE-Kanals auch preiswertere immersive Installationen durch Satelliten-Lautsprecher ermöglicht hat. Als großer Kritiker der Quadrofonie entwickelte Michael Gerzon 1973 mathematisch-physikalisch fundierte Ambisonics-Verfahren, um auf einer beliebigen Anzahl von Lautsprechern einen Raumklang aufnehmen, aufzeichnen und wiedergeben zu können. Während ein System nullter Ordnung mit einem einzigen Kugelmikrofon und Kugellautsprecher realisiert werden kann, sind ab erster Ordnung schon mindestens acht Lautsprecher für eine sinnvolle Reproduktion erforderlich. Leider müssten sehr viele Mikrofone für das Verfahren alle koinzident in einem Punkt positioniert werden, was mit herkömmlicher Aufnahmetechnik nicht optimal realisierbar ist, und dafür von Gerzon besondere Mikrofonkonfigurationen entwickelt wurden, die das koinzidente Signal rekonstruieren können. Im Bereich der Meteorologie gibt es Ultraschallanemometer, die tatsächlich die Luftbewegung im Raum in einem einzelnen Messraum bestimmen können, nur ist dies aktuell nur im Aufnahmebereich räumlich gemittelt bis zu 200mal pro Sekunde bis maximal in den Infraschallbereich möglich. Eine frühe berühmte und umstrittene Raumklang-Installation war der Philips Pavilion bzw. Poème électronique auf der Weltausstellung Expo 58 in Brüssel, wo die an hyperbolischen Trajektorien aufgestellten Lautsprecher als diskrete wandernde Tonquellen benutzt wurden. Zur Weltausstellung Expo 70 in Osaka entwarf Karlheinz Stockhausen für den deutschen Pavillon das Kugelauditorium, in dem die Ansteuerung der Lautsprecher durch einen Drehhebel erreicht werden konnte. Ein ähnliches Verfahren ist das Vector Based Amplitude Panning (VBAP)-Prinzip, das von Ville Pulkii 1997 wissenschaftlich ausgearbeitet wurde. Im Gegensatz zu den früheren Installationen verlangen ambisonische Verfahren sehr regelmäßige Lautsprecherpositionen, da das Verfahren ideal als Fourier-Synthese auf einer Sphäre interpretiert werden kann. Praktisch gibt es auf einer Kugeloberfläche nur wenige exakt equidistante Punktmengen auf Basis der platonischen Körper, dazu sind volle Sphären eine architektonische Herausforderung und aufgrund unseres geringen Lokalisationsfähigkeit im Vertikalen nur von begrenztem Nutzen. Daher werden die Lautsprecher nur in einer oberen Halbsphäre mit nach oben abnehmender Anzahl pro Lautsprechern im Radius installiert. Die ambisonische Raumklang-Demonstration ist ein Teil aus dem Stück „Parallel“ von Paul Modler, das bei einer Aufführung zusätzlich bewegliche Hörner und ein Wellenfeld-Array anspricht. Im Gegensatz zu Mehrkanal-Tonsystemen berücksichtigt der binaurale Raumklang die Kopfübertragungsfunktion und ist nur für die Erfahrung über Kopfhörer gedacht. Zur Erzeugung von binauralen Signalen kann man auf Kunstkopf– oder In-Ear oder Orginal-Kopf-Mikrofone (OKM) zurückgreifen. Alternativ kann man Schallquellen synthetisch über die HRTF auf die Wirkung auf die Ohren berechnen. Zur Erfassung der individuellen HRTF werden Mikrofone in die Ohren installiert und robotergesteuert Lautsprecher an verschiedene Positionen um die Versuchsperson gefahren. Die Lautsprecher spielen dann jeweils Klicks oder Chirps, um die Impulsantwort des Signals, die Head-Related Impulse Response zu bestimmen. Die HRTF ergibt sich dann als Fourier-Transformite der Impulsantwort. Alternativ können auf niedrigerem Niveau auch halbsphärische Lautsprecher wie im Klangdrom statt einer langsamen Robotersteuerung verwendet werden. Impulsantworten existieren grundsätzlich nur auf einer begrenzten Anzahl von Filterpunkten, zwischen denen nach VBAP-Prinzip auch Zwischenpunkte berechnet werden und Klänge aus beliebigen Richtungen im zwischen Punkten im Diskretisierungsgitter abgebildet werden. Eine Herausforderung bleibt die Kopfbewegung, die mit Head-Trackern für einen immersiven Eindruck berücksichtigt werden muss, man sich also zum Klang hindrehen können muss. Das ist eine entsprechende Herausforderung der Virtual Reality, wo die Bewegung des Kopfes auch unmittelbar in die Darstellung berücksichtigt werden muss. Die räumliche Abbildung von Tönen ergibt auch neue Möglichkeiten in der Sonifikation, um Informationen nicht nur klanglich unterscheidbar sondern auch räumlich lokalisiert abgebildet werden kann. Dabei ist zu berücksichtigen, dass visuelle Eindrücke akustische Ereignisse verfälschen können. Bei steigender Komplexität der verwendeten Modelle, muss das Verständnis für Sonifikation auch erlernt werden. Literatur und weiterführende Informationen S. Carlile: Psychoacoustics, Signification Handbook, Logos Publishing House, 2011. B. N. Walker, M. A. Nees: Theory of Sonification, Sonification Handbook, Logos Publishing House, 2011. A. Hunt, T. Hermann: Interactive Sonfication, Sonification Handbook, Logos Publishing House, 2011.M. A. Gerzon: Periphony: With-height sound reproduction, Journal of the Audio Engineering Society 21.1: 2-10, 1973. V. Pulkki: Virtual sound source positioning using vector base amplitude panning, Journal of the audio engineering society 45.6: 456-466, 1977. M. Noisternig, T. Musil, A. Sontacci, R. Holdrich: 3D binaural sound reproduction using a virtual ambisonic approach, Virtual Environments, VECIMS ’03. 2003 IEEE International Symposium on Human-Computer Interfaces and Measurement Systems, 2003. Podcasts M. Völter, R. Vlek: Synthesizers, Omega Tau Podcast, Episode 237, 2017. T. Pritlove, U. Schöneberg: CRE238 – Neuronale Netze, CRE Podcast, Metaebene Personal Media, 2015. M. Völter, C. Osendorfer, J. Bayer: Maschinelles Lernen und Neuronale Netze, Omega Tau Podcast, Episode 259, 2017 S. Trauth: Klangdom, Funkenstrahlen Podcast, Episode 85, 2016 P. Gräbel: Der Schall, Nussschale Podcast, Episode 16, 2017. T. Pritlove, S. Brill: CRE206 – Das Ohr, CRE Podcast, Metaebene Personal Media, 2014. S. Plahl: Der Klang einer Armbewegung, SWR2 Wissen, 2013.
Am 4. April fand in Berlin die Fachtagung „Mobilität im Wandel – Praxisbeispiele und neue Impulse zur BMBF Forschungsagenda“ statt. Sebastian Ritterbusch von der iXpoint Informationssysteme GmbH war dort, stellte das Terrain Projekt vor und spricht mit Gerhard Jaworek vom Studienzentrum für Blinde und Sehbehinderte (SZS) am Karlsruher Institut für Technologie (KIT) über die Veranstaltung im InterContinental Hotel in Berlin. Fachtagung Mobilität im Wandel (1:53:57, 50MB) Zum Start der Bekanntmachungen Mensch-Technik-Interaktion für eine intelligente Mobilität (IMO), Elektroniksysteme für das vollautomatisierte Fahren (ELEVATE) und weiterer Projekte aus dem Themenfeld Kommunikationssysteme & IT-Sicherheit lud das Bundesministerium für Bildung und Forschung (BMBF) die geförderten Projekte und Interessierte zum Austausch nach Berlin ein. Zur Bekanntmachung ELEVATE lag ein Schwerpunkt auf Projekten zu Radartechnologien, wie beispielsweise das Projekt KameRad zu kombinierten Kamera-Radar-Modulen, das Projekt KoRRund zu konformen multistatischen Radarkonfigurationen zur Rundumsicht oder das Projekt radar4FAD zu universellen Radarmodulen für das vollautomatisierte Fahren, die in einem eigenem Workshop später ihren Cluster auf der Tagung initiierten. In der Linie ELEVATE gab es aber auch weitere Themen wie das Projekt AutoKonf zu automatisch rekonfigurierbaren Aktoriksteuerungen für ausfallsichere automatisierte Fahrfunktionen oder HiBord zu hoch zuverlässigen und intelligenten Bordnetztopologien. Informationen zur Nutzung von Radar-Technologien in der Erdbeobachtung gibt es in der Folge 244 SAR Satelliten und Satellitendatenarchivierung am EOC im Omega Tau Podcast. Die Veranstaltung wurde durch eine Begrüßung von Frau Gabriele Albrecht-Lohmar und Herrn Andreas Kirchner für BMBF und einer Einführungskeynote von Herrn Dr.-Ing. Sven Bugiel zu sicheren autonomen Fahrzeugen in der Zukunft eröffnet. Daran schloss sich ein „Project-Slam“ an, in dem sich die rund 20 Projekte jeweils mit etwa 3 Folien in 3 Minuten vorstellen konnten und von Frau Dr. Julia Seebode und Herrn Dr. Marcel Kappel der VDI/VDE Innovation + Technik GmbH moderiert wurden. Die Vorträge waren sehr intensiv, jedoch von der Form natürlich nicht wie Science-Slams, wie sie auch in Karlsruhe oft ausgetragen werden und jungen Forscherinnen und Forschern eine Bühne bieten, ihr Gebiet in 10 Minuten sehr unterhaltsam vorzutragen. Auch aus der Ferne konnte man über Social Media der Fachtagung folgen. Auf die Slams folgten drei parallele Workshops, einmal zum Start des Radar-Clusters in ELEVATE, dann ein Workshop zu Projekten aus der Bekanntmachtung Intelligente Mobilität und einem Workshop zur neue Bekanntmachung Elektronom zur Elektronik für autonomes elektrisches Fahren. Die Tagung endete mit einem Abschlussvortrag von Prof. Dr. Andreas Knie zu vernetzten multimodalen Mobilitätslösungen der Zukunft und Ausklang bei einer Abendveranstaltung. In einigen Projekten stellten sich interessante Verbindungen zum Terrain Projekt heraus: Das Projekt KoFFI zur kooperativen Fahrer-Fahrzeug-Interaktion will Systeme entwickeln, die durch neue Interaktionskonzepte zu mehr Sicherheit, Komfort und Sicherheit bei teilautomatisierten Fahrzeugen führen soll. Dabei geht es auch um Fragen der Akzeptanz und natürlicher Sprachkommunikation, wie es mit dem Wunderautos Dudu oder K.I.T.T. in Filmen und Serien vorgedacht wurde. Im Projekt KomfoPilot zu personalisierter Fahrstilmodellierung im automatisierten Fahrzeug soll sich das Auto an den vom Menschen gewünschten Fahrstil anpassen. Das Projekt PAKoS befasst sich personalisierte, adaptive kooperative Systeme für automatisierte Fahrzeuge, das vom Karlsruher Institut für Technologie (KIT) koordiniert wird. Hier wird auch ein Nutzerprofil mit der Erfassung des Fahrerzustands kombiniert, um das Leistungsvermögen des Fahrers zu beurteilen und darauf angepasst zu reagieren. Zum Projekt Safety4Bikes, einem Assistenzsystem für mehr Sicherheit von fahrradfahrenden Kindern, waren deren Verbundkoordinator Jochen Meis von der GeoMobile GmbH und Annika Johnsen vom Institut für empirische Soziologie an der Friedrich-Alexander-Universität in Erlangen-Nürnberg dankenswerter Weise zu einem Gespräch bereit. Mit Sensoren an Helm, Fahrrad und weiteren Schnittstellen wird hier die Umgebung erfasst und aufbereitet, um Kindern vor Gefahren zu warnen und für eine sichere Teilnahme am Straßenverkehr zu trainieren. Schwerpunkte sind hier neben der technischen Entwicklung des Systems auch die Identifikation der kritischen Gefahrenstellen und der geeigneten Kommunikation zu den Kindern. Bei der Erstellung von Anforderungsanalysen werden Ergebnisse früherer Projekte einbezogen, wie beispielsweise dem Projekt OIWOB für zum Orientieren, Informieren, Warnen in einer Orientierungshilfe für Blinde, welches von der HFC Human-Factors-Consult GmbH koordiniert wurde. Eine Entwicklung von guten Mensch-Maschine-Interaktionen (MTI) ist ein Weg in vielen Schritten: So gab es früher Digital-Mäuse, bei denen sich ein gesteuerter Mauszeiger immer in der gleichen Geschwindigkeit wie von einem digitalen Joystick gesteuert in acht mögliche Richtungen bewegt, und nicht wie wir es jetzt kennen proportional oder überproportional zur physischen Bewegung des Eingabegeräts. Die Entwicklung neuer Sensoren ermöglicht heute eine Bedienung auf Berührung oder durch Bewegung und Drehung des Geräts durch miniaturisierte Inertialsensoren, die Einzug in Smartphone und Tablets gehalten haben. Ein Beispiel für eine Bedienung über Inertialsensoren ist die Anwendung Universe2Go mit der Blinde wie auch sehende Menschen den Sternhimmel wie durch ein Smartphone-Fenster erfahren und hören können. In der MTI ist es auch wichtig kurz und prägnant den aktuellen Kontext darzustellen. Visuell werden für solche Identifikationshinweise oft Icons benutzt und diese haben ein akustischen Pendant, die so genannten Earcons: So kann durch einen kurzen und prägnanten Laut den Nutzenden sehr schnell eine wichtige Information oder ein Bezug hergestellt werden. In der Gestaltung solcher Earcons ist neben der Unterscheidbarkeit untereinander auch Distanz zu reellen Geräuschen zu berücksichtigen, damit ein eingesetztes System nicht mit Informationen aus der Realität verwechselt werden kann. Das hapto-akustische Spiel Bob it hat auch einen Spielmodus mit Geräuschen, wodurch gegenüber Sprachausgabe die Spielinformation schneller vermittelt wird. Mit Lenkgesten teilautomatisierte Fahrzeuge steuern wie der Reiter das Pferd; das ist das Ziel des Projekts Vorreiter. Auch hier waren Yigiterkut Canpolat vom Institut für Arbeitswissenschaft an der RWTH Aachen und Prof. Dr. Clemens Arzt, Direktor des Forschungsinstituts für öffentliche und private Sicherheit (FÖPS Berlin) an der Hochschule für Wirtschaft und Recht Berlin bereit über ihr Projekt zu sprechen. Hier sollen intuitive Steuerungen entwickelt werden, die Menschen mit körperlichen Einschränkungen die Nutzung von teilautomatisierten Fahrzeugen ermöglichen sollen. Dabei ist nicht nur die technische Entwicklung wichtig, sondern besonders auch die rechtswissenschaftliche Begleitforschung, da die gesetzlichen Voraussetzungen analysiert werden müssen, die bei der Umsetzung Berücksichtigung finden müssen und wo eventuell auch in rechtlicher oder gesetzlicher Sicht Handlungsbedarf besteht. Ein sehr überzeugendes Beispiel für eine gelungene Umsetzung ist das Sam Car Project des industriellen Partners Paravan im Vorreiter-Projekt, wo dem ehemaliger Indy-car Fahrer und seit einem schweren Rennunfall querschnittgelähmten Sam Schmidt mit einer Spezialanfertigung wieder die Steuerung eines Autos ermöglicht wurde. Pferde sind jedoch nicht nur einfache Fortbewegungsmittel, sondern können in besonderem Maße Menschen mit Einschränkungen in ihrer Mobilität unterstützen. Ein sehr außergewöhnliches Beispiel bietet hier Sabriye Tenberken, die zu Pferd durch Tibet reiste und als Blinde die Blindenschule Braille without Borders in Tibet eröffnete und darüber auch das Buch Mein Weg führt nach Tibet veröffentlichte. Die Fachtagung endete mit dem Fachvortrag von Prof. Dr. Andreas Knie zu vernetzten multimodale Mobilitätslösungen der Zukunft und einer Abendveranstaltung zum Austausch mit den weiteren Teilnehmern der Tagung.
Markus Maier hat 2016 in der Arbeitsgruppe des Instituts für Angewandte und Numerische Mathematik am KIT promoviert, in der auch Gudrun arbeitet. Sein Thema war The Mathematical Analysis of a Micro Scale Model for Lithium-Ion Batteries. Wie der Name der Arbeit suggeriert, betrachtet er Modelle für Lithium-Ionen-Akkumulatoren (die englische Übersetzung ist für uns Deutsche etwas irreführend Batteries), die auf mikroskopischer Ebene die Stromabgabe über die elektrochemischen Eigenschaften vorhersagen können. Ausgangspunkt des Themas war der Wunsch Degradationsmechanismen - also die Alterung der Akkus - besser zu verstehen. Das Thema Strom speichern ist sehr wichtig und wird in Zukunft noch wichtiger werden. Simulationen sind hier nötig, da jedwedes Messen auf der Mikroskala unmöglich ist - es geht um Objekte von der Größe einiger Mikrometer. Das Ausweichen auf die besser durch Messungen begleitbare makroskopische Ebene im Modell ist nicht möglich, weil man nur auf der Ebene der Ionen die Abläufe nachbilden kann, die zur Alterung führen. Ein Beispiel für so einen Prozess ist, dass die Lithium Ionen nach der Wanderung durch das Elektrolyt in der Kathode auf Platzproblem treffen, die dazu führen können, dass die Katode beschädigt wird, wenn sich die Ionen den nötigen Platz verschaffen. Diese Beschädigungen führen zu Reduzierung der Kapazität. Leider ist die modellhafte Auflösung der ganzen Mikrostruktur einer Batterie numerisch noch unmöglich - weshalb die Untersuchung der Arbeit im Moment nur lokale Ergebnisse enthält. Die kristalline Struktur in der Kathode kann es auch ermöglichen, dass sich eine zweite Phase bildet, in der sich mehr Lithium-Partikel anlagern als ursprünglich Platz in der Kathode ist. Das führt auf ein 2-Phasen-Problem mit einem Phasenübergang. Der Rand zwischen den Phasen ist dann Teil der gesuchten Lösung des Problems. Dieser Teil ist im Moment noch nicht im Modell enthalten. Schließlich hat sich Markus darauf konzentriert, ein Kompromiss-Modell der Ingenieure zu untersuchen, das im Wesentlichen auf Erhaltungseigenschaften beruht. Es hat die Form eines Systems von zwei gekoppelten partiellen Differentialgleichungen für das elektrische Potential und die Lithium-Ionen-Verteilung, welche in den zwei aneinander grenzenden Gebieten gelten. Am Grenzübergang zwischen Elekrolyt und Lithium-Partikeln gilt eine nichtlinearen Gleichung. Die erste Frage ist: Wie sichert man die Existenz und Eindeutigkeit der Lösung? Die Struktur des Beweises erweist sich als hilfreich für das anschließend gewählte numerische Verfahren. Es nutzt die Monotonie des elektrischen Potentials aus. Die Argumente gelten allerdings nur für ein klein genug gewähltes Zeitintervall, weil ein konstanter Strom als Entaldungs-Randbedingung gewählt wurde (nur für kurze Zeiten realistisch). Für Modelle, die Degradation simulieren können, wären andere Randbedingungen nötig wie beispielsweise ein konstanter Widerstand. Ein Masterstudent hat mit dem Open Source Finite-Elemente-Solver deal.II das vorgeschlagene Verfahren im Rahmen seiner Abschlussarbeit programmiert und nachgewiesen, dass es funktioniert und die Resultate überzeugen können. Literatur und weiterführende Informationen A. Latz & J. Zausch: Thermodynamic consistent transport theory of Li-ion batteries, Journal of Power Sources 196 3296--3302, 2011. T. Seger: Elliptic-Parabolic Systems with Applications to Lithium-Ion Battery Models, Doktorarbeit Universität Konstanz, 2013. M. Kespe & H. Nirschl: Numerical simulation of lithium-ion battery performance considering electrode microstructure, International Journal of Energy Research 39 2062-2074, 2015. J.-M. Tarascon & M. Armand: Issues and challenges facing rechargeable lithium batteries, Nature 414 359-367, 2001. Podcasts A. Jossen: Batterien, Gespräch mit Markus Völter im Omega Tau Podcast, Folge 222, 2016. J. Holthaus: Batterien für morgen und übermorgen, KIT.Audio Podcast, Folge 2, 2016. D. Breitenbach, U. Gebhardt, S. Gaedtke: Elektrochemie, Laser, Radio, Proton Podcast, Folge 15, 2016.
Zur 100. Folge haben sich Gudrun und Sebastian bei Gudrun getroffen, um sich zum Jubiläum einfach mal in Ruhe über den Podcast, den Ursprung, was wir so erlebten und was vor uns liegt. Für Sebastian öffnete die Raumzeit-Folge zu Tandem-X die Augen, wieviel wissenschaftlicher Inhalt in einem Podcast übertragen werden kann. Schnell war Gudrun begeistert und nahm mit Sebastian die erste Folge zu ihrer Vorlesung über mathematische Modellbildung auf. Nach zwei weiteren Aufnahmen zur Aorta-Challenge und zur Unsichtbarkeit machten wir unsere ersten Versuche öffentlich. Schon früh stellte sich heraus, dass uns die Themen zur Mathematik nicht schnell ausgehen, da es so viele Abschlussarbeiten, Forschungsthemen und Vorlesungen gibt, die jeweils auch noch unter unterschiedlichen Sichtweisen betrachtet werden können. Im Storify sieht man, wie wir schon früh vielseitig unterstützt wurden und unsere Hörerzahl stieg schnell an: Ein besonderer Unterstützer war dabei Henning Krause, der uns eine Grußbotschaft sendete und ganz besonders die Qwirkle-Folge schätzt. Einen weiteren Gruß sandte uns Katrin Leinweber vom KonScience Podcast. Weitere Grüße erreichten uns aus Kanada von Anja Randecker aus unserer Folge zu Wilden Singularitäten, die nun in Toronto als Post-Doc weiter zu Translationsflächen forscht. Sehr haben wir uns auch über die Grüße aus dem Grünen von Martin Rützler gefreut, der selbst im Radio Mono Podcast, im DKG-Podcast und im Sendegarten regelmäßig zu hören ist, die deutschen GanzOhr-Wissenschaftspodcast-Treffen initiierte und die Wissenschaftspodcasts-Seite mit begründete. Neben Gesprächen über Vorlesungen, wie zur Analysis, Höhere Mathematik oder Digitale Währungen, hat nun Gudrun auch eine Vorlesung aufgenommen: Den Schnupperkurs zur Verkehrsmodellierung, der jeweils auf viele Gespräche im Podcast verweist. Bei Konscience gibt es interessante Konzepte zur Verknüpfung von Vortrag und Podcast, die auch auf Vorlesungen angewendet werden könnten. Ganz besondere Grüße erreichten uns von Lorenz Adlung, den wir in der Folge 39 zur Systembiologie im Podcast hatten. Lorenz ist auch ein begnadeter Science-Slammer, wie auch Anastasia August aus unserer Folge 37 zum Metallschaum. Sie ist weiterhin als Mathematikerin am Institut für Angewandte Materialien, wo sie aktuell an Gradierten Schäumen und Magischen Schäumen forscht und ein Graduiertenkolleg vorbereitet. Sebastian hat die Folge 98 zu Primzahlen und Gruppen sehr gefallen, wo Rebecca Waldecker den Einstieg in die Algebra und Zahlentheorie sehr anschaulich beschrieben hat. Besonders spannend sind auch Themen, die inzwischen zu Ausgründungen geführt haben: Markus Dahlem in M-Sense mit dem Thema Migräne, Tobias Hahn mit der Chromatographie, sowie Carlos Falquez, Iris Pantle und Balazs Pritz zu Strömungslärm. Im Zuge des SFB zu Wellenphänomenen haben wir auch ein Special zum Cooking Math Projekt durchgeführt, wo durch Gespräche die vielseitigen Kunstobjekte zur Mathematik dargestellt werden. Ein persönliches Special war für uns aber auch die Nullnummer in Folge 73, die wir mit Nele Heise aufnehmen konnten. Ebenso haben wir uns sehr über die Grüße von Melanie Bartos gefreut, die mit ihrem Podcast Zeit für Wissenschaft immer wieder über spannende wissenschaftliche Themen aus der Uni Insbruck berichtet. Natürlich haben uns auch Annika Brockschmidt und Dennis Schulz vom Science Pie Podcast aus Heidelberg einen wunderschönen Gruß gesendet, und auch Nora Ludewig und Markus Völter vom Omega Tau Podcast schlossen sich mit einer lieben Botschaft an. Und wir freuen uns die beiden im Oktober beim GanzOhr2016-Treffen der Wissenschaftspodcasts wieder zu sehen. Unsere Audiodaten laufen inzwischen durch die Open Source Podcast Audio Chain (OSPAC). Einen Einblick kann man im Vortrag zu OSPAC auf der Subscribe7 oder dem erweiterten Vortrag zu OSPAC auf der GPN16 erhalten, und auch LIGO-Rohdaten auswerten. Informationen zum Aufnehmen von Podcasts mit dem iPhone habe ich auf dem Sendegate hinterlegt. Spannend waren auch die Podcast Nachbarschafts-Graphen, die nun auch eine neue Fortsetzung auf dem FYYD Podcast-Verzeichnis. Wir haben einige Überraschungen in den bisher beliebtesten Folgen und am längesten gehörten Folgen im Modellansatz- welches dies sind, muss man sich beim Interesse im Podcast anhören.
In den Räumen des Entropia e.V. traf sich Joachim Breitner mit Sebastian Ritterbusch, um ihm von Computerbeweisen und der Incredible Proof Machine (http://incredible.pm/) zu erzählen. Diese hatte er mit Unterstützung von Kollegen und Freunden für einen dreitägigen Workshop im Oktober 2015 am Science College Jülich mit Schülerinnen und Schülern im Start-Stipendium für motivierte und neu zugewanderte Jugendliche in Mittel- und Oberstufe unter Unterstützung der Deutsche Telekom Stiftung entworfen. Der mathematische Beweis ist grundlegender Bestandteil der Mathematik und die Technik des Beweisen wird im Mathematik- oder Informatikstudium vielfach geübt, wie es auch im Modell036 Podcast zur Analysis beschrieben wurde. Dennoch wird das wichtige Thema nur selten in der Schule angesprochen, da korrekte Beweise sehr formal und abstrakt sind. Mit einem spielerischen Zugang wird der Einstieg in die exakte Beweistheorie für Schüler und Mathematik-Interessierte nicht nur möglich, sondern ermöglicht auch neue Formen der Lehre wie den Modell051 Flipped Classroom. Beweise gehen von bestehenden Aussagen und festgelegten Axiomen aus, um neue Aussagen oder Erkenntnisse zu belegen. Von der Aussage "es regnet" kann man beispielsweise mit einem fiktiven Axiom "wenn es regnet, werden Straßen nass" schließen, dass gilt: "die Straße ist nass". Und man kann daraus mit der Technik des Widerspruch-Beweis zeigen, dass aus der Aussage "die Straße ist trocken" folgt, dass "es regnet nicht" gilt. Denn (und das ist der Beweis), würde es regnen, so wäre die Straße nass, also nicht trocken. Wann ist aber nun ein Beweis richtig? Diese Frage kann sich jeder selbst beantworten, in dem man einen vorliegenden Beweis versucht nachzuvollziehen. Eine Alternative ist die Beweisprüfung mit dem Computer, wie beispielsweise mit Isabelle. Diese Art von Software richtet sich allerdings in erster Linie an fortgeschrittene Nutzer und setzt Kentnisse in sowohl in der Logik als auch in der (funktionalen) Programmierung voraus, und so suchte Joachim nach einer einfachereren Methode, beweisen zu lernen und die Ergebnisse maschinell zu prüfen. Mit der von ihm kreierten Incredible Proof Machine werden Beweise durch Ziehen und Setzen bildlich erstellt, in der Form eines Graphen. So wird das Beweisen zu einem Puzzle-Spiel mit Erfolgserlebnis, das man nach und nach lösen kann, ohne dabei die exakte Mathematik zu verlassen. In dem Spiel gibt es viele Aufgaben, die zu lösen sind. In der Übersicht sind diese in Lektionen geordnet und zeigen jeweils durch einen breiten Strich, dem Inferenzstrich getrennt, von welchen Aussagen oben man welche Aussagen unten beweisen soll. Wählt man eine Aufgabe aus, so sieht man die gegebenen Aussagen, die oberhalb des Striches waren, als Quellen auf einem Arbeitsblatt. Die zu beweisenden Aussagen erscheinen als Senken. Von den Quellen kann man nun per Maus Verbindungen zu den Senken ziehen- entweder direkt, oder mit Hilfe zusätzlicher Blöcke, bzw. gegebener Beweisregeln, aus einer Toolbox links, die ebenfalls zur Verfügung stehen und weitere gegebene Axiome darstellen. Sind alle offenen Senken bewiesen, so leuchtet unten eine Zeile grün auf, als Bestätigung für einen geschafften Level- eine positive Bestärkung, die nicht ganz so spektakulär ist, wie bei Populous. Während man auf dem Arbeitsblatt spielt, gibt die Incredible Proof Machine unmittelbar Rückmeldung, falls eine Verbindung so keinen Sinn macht: Will man die Aussage B mit Aussage A beweisen, so wird die Linie zwischen den beiden sofort rot, und gibt dem Spielenden die Hilfestellung, wo mindestens ein Fehler steckt. Die logischen Aussagen und die gegebenen Beweisregeln verwenden eine gängige Notation zur Beschreibung logischer Verknüpfungen. Ein ∨ (sieht wie der kleine Buchstabe v aus), steht für die logische Oder-Verknüpfung und die Notation stammt vom lateinischen Wort vel. Das umgekehrte Symbol ∧ steht für die logische Und-Verknüpfung. In der ersten Lektion gibt es zwei Blöcke bzw. Beweisregeln für die Und-Verknüpfung: Einmal ein Block mit zwei Eingängen X und Y und einem Ausgang X∧Y, sowie einem Block mit einem Eingang X∧Y und zwei Ausgängen X und Y. Die Lektion 1 behandelt damit den grundlegenden Umgang mit dem System und die Konjugation. Die Lektion 2 führt die Implikation ein. Eine Implikation, oder auch Folge, beschreibt die Aussage, dass aus einer Aussage eine zweite zwingend folgt. Zur Anwendung einer Implikation gibt es in dieser Lektion eine Beweisregel, die eine Implikation anwendet. Ein weiterer Block ermöglicht eine Implikation zu erzeugen, in dem die Vorbedingung in einem Einschub angenommen bzw. angeboten wird, und man daraus das Zielereignis dann herleiten muss. Die Prüfung der Beweise in der Incredible Proof Machine erfolgt durch einen Beweisprüfer in Haskell, einer funktionalen Programmiersprache, die auch schon im Modell047 Podcast zum Tiptoi zur Sprache kam. Der Beweisprüfer wurde mit ghcjs nach JavaScript kompiliert und läuft damit komplett im Browser. Über einen Compiler von Haskell zu Redstone wie in dem Modell056 Podcast zu Minecraft ist leider noch nichts bekannt. Ein lehrreicher Zusammenhang ist hier, dass aus logischer Sicht Implikationen vollkommen korrekt sind, wenn die rechte Seite wahr ist – ohne dass ein ursächlicher Zusammenhang bestehen muss. Wenn also jemand nach Einnahme von offensichtlich unwirksamen Mitteln gesund geworden ist, so ist der logische Schluss, dass nach der Einnahme die Person gesund ist, korrekt. Doch darf man daraus keinesfalls schließen, dass die unwirksamen Mittel dafür der Grund gewesen wären. Das ist ein ähnlicher Fehlschluss wie Cum hoc ergo propter hoc – aus Korrelation folgt keine Kausalität. Die Lektion 3 führt die Disjunktion bzw. Oder-Verknüpfung mit drei neuen Beweisregeln-Blöcken ein, zwei zur Erzeugung einer Aussage mit einer Disjunktion, eine zur Zerlegung einer Disjunktion. Interessant ist dabei besonders die Zerlegung der Disjunktion, da sie auf eine Fallunterscheidung führt. Man kann auch frei weitere Aufgaben innerhalb der Incredible Proof Machine für sich selbst hinzufügen, neue Vorschläge aber auch auf Github einreichen. Die Lektion 4 behandelt die abstrakte falsche Aussage ⊥. Aus dieser kann man alles folgern, ex falso quodlibet, was dann auch in der ersten Aufgabe zu zeigen ist. Eine besondere Notation ist dabei, dass aus einer Aussage falsch folgt, wie A→⊥. Dies bedeutet einfach nur, dass A nicht gilt, also falsch ist – die Negation von A. In Lektion 5 verlassen wir dann die intuitionistische Logik, die von einer konstruktiven Mathematik ausgeht, hinein in die allgemeinere klassische Logik. Hier wird die Beweisregel vom ausgeschlossenen Dritten (tertium non datur) eingeführt. Dabei sind konstruktive Beweise, die also ohne tertium non datur auskommen, leichter automatisiert zu führen. Für die Aussage "Es gibt eine irrationale Zahl, die mit einer irrationalen Zahl potenziert rational ist" gibt es als Beispiel einen nicht-konstruktiven Beweis: Entweder ist Quadratwurzel von 2 mit sich selbst potenziert rational, oder spätestens das Ergebnis potenziert mit der Quadratwurzel von zwei ist rational, denn das ist 2. Es ist nicht klar, welche Basis die Lösung ist, sondern hier nur, dass es eine der beiden ist. Einen Zusammenhang von der konstruktiven Logik zur Programmierung liefert die Theorie der Curry-Howard-Korrespondenz – man kann Programmieren auch als eine Art Beweisen sehen, und daher sind auch ähnliche graphische Darstellungen als Flussdiagramm möglich. In Lektion 6 werden Quantoren und Prädikate eingeführt. Man kann hier beispielsweise zeigen, wann der Existenzquantor und der Allquantor vertauscht werden dürfen: Die Lektion 7 behandelt zwei weitergehende Beispiele, die auch umgangssprachlich verständlich sind: Die erste Aufgabe behandelt das Bar-Paradox: Hier gilt es zu beweisen, dass es in jeder nicht-leeren Bar immer eine Person gibt, dass wenn sie trinkt, alle in der Bar trinken. Die zweite Aussage lautet: Wenn jeder Mann einen reichen Vater hat, dann gibt es einen reichen Mann mit einem reichen Großvater. Die klassische Aussagenlogik kann aber auch über andere Kalküle definiert werden: So demonstriert die Incredible Proof Machine die Verwendung des Hilbert-Kalküls und das NAND-Kalküls. Während das Hilbert-Kalkül besonders theoretisch verwendet wird, liefert das NAND-Gatter als einfacher Logikbaustein Anwendungen bis hin zum Volladierer aus NAND-Gattern. Man kann auch jederzeit neue Beweisregeln oder Lemmas definieren, in dem man alle Bausteine logischer Diagramme mit offenen Ein- und Ausgängen mit gedrückter Shift-Taste anwählt und links zu einem neuen Baustein zusammenführt. Das folgende Bild zeigt die Definition des Beweis durch Widerspruch, und die anschließende Verwendung zu Lösung einer Aufgabe in Lektion 5: Im Gegensatz zur Incredible Proof Machine soll die Software Isabelle nicht vom Nutzer verlangen, alle Beweise selbst zu führen, sondern unterstützt dabei, Beweise auf einem hohen Abstraktionsgrad zu formulieren und zu beweisen. Ein kleines Beispiel für die Nutzung von Isabelle ist der humorvolle Versuch das allgemeine Dreieck zu definieren – und letzlich die eindeutige Existenz zu beweisen. Eine wichtige Anwendungen für Computerbeweise ist die formale Prüfung und der Beweis von Computersoftware, wie sie beispielsweise durch die Launchbury Semantik möglich wird. Sehr bekannt ist die Nutzung von rechnerunterstützten Beweisen für das Vier-Farben-Problem, das Hermann Minkowski in einer Topologie-Anfängervorlesung vergeblich versuchte nebenbei zu lösen. Der erste Beweis war noch sehr umstritten, da die Korrektheit der verwendeten Software nicht gesichert war. Erst mit einer formalen Prüfung in Coq wurde der Beweis 2005 allgemein akzeptiert. Eine andere gängige Methode ist auch die Verwendung spezialisierter Verifikationsnumerik, um die Existenz von Lösungen zu beweisen, wie dies auch im Modell019 Podcast zum computerunterstützten Beweisen behandelt wird. Auch die dichteste Kugelpackung, bzw. die Keplersche Vermutung, wurde erst 1998 mit Computerhilfe bewiesen, der zunächst ebenso umstritten war. Erst mit dem Projekt Flyspec konnte 2014 die Korrektheit des Beweises formal bewiesen werden. Im Hintergrund der Aufnahme hört man den Freifunk Karlsruhe, der parallel zu unserem Gespräch ein Treffen in den Räumen des Entropia e.V. hatte. Kinder und Jugendliche, die sich für Programmieren interessieren, sollten sich ein CoderDojo, wie das CoderDojo in Karlsruhe, genauer ansehen. Literatur und Zusatzinformationen Einführender Blog-Eintrag zur Incredible Proof Machine mit einer Sammlung von ähnlichen Projekten. J. Breitner: The Correctness of Launchbury's Natural Semantics for Lazy Evaluation, arXiv preprint arXiv:1405.3099, 2014. J. Breitner: The Safety of Call Arity, Archive of Formal Proofs, 2015. J. Breitner: Formally Proving a Compiler Transformation Safe, Haskell '15 Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, Pages 35-46, ACM New York, NY, USA, 2015. T. Nipkow, L. Paulson, M. Wenzel: Isabelle HOL- A Proof Assistant for Higher-Order Logic, Springer-Verlag, 2015. Podcasts T. Schwentick: Logik, Gespräch mit N. Ludewig im Omega Tau Podcast, Folge 101, Omega Tau, 2012. http://omegataupodcast.net/2012/08/101-logik/ D. Rütters: Computerunterstütztes Beweisen, Gespräch mit G. Thäter im Modellansatz Podcast, Folge 19, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. http://modellansatz.de/beweisen J. Eilinghoff: Analysis, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 36, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2014. http://modellansatz.de/analysis J. Breitner: Papierrechner, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 47, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/papierrechner C. Spannagel: Flipped Classroom, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 51, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/flipped-classroom F. Gilges: Spielcomputer, Gespräch mit S. Ritterbusch im Modellansatz Podcast, Folge 56, Fakultät für Mathematik, Karlsruher Institut für Technologie (KIT), 2015. http://modellansatz.de/spielcomputer
Michaela war mal wieder bei Jeanette in der Schweiz und beide haben sich über zu Beginn über das Wetter unterhalten, daß uns die letzten Tage ziemlich mitgenommen hat. Letzte Woche war der 2. Podcast Meute Bodensee und dort haben wir eine Empfehlung für einen Podcast erhalten, die wir als sehr gut empfinden. Jeanette, hat schon einige Folgen von dem Podcast gehört und er gefällt ihr sehr gut. Es ist dies, der Omega Tau Podcast. Angeregt durch ein paar Folgen des Omega Tau Podcasts, schweifen wir ab in Richtung Fliegen und Militärflugzeuge und gelangen dann noch beim Berliner Flughafen und dem Staatshaushalt. Jeanette erklärt kurz, wieso unser Podcast etwas verspätet erscheint und weißt darauf hin, daß wir nach der Aufnahme dieser Folge Freischnauze Podcast noch eine neue Folge unseres Podcasts Women in Tech (http://www.women-in-tech.de) aufnehmen werden. Jeanette hat einen neuen Staubsauger, einen Dirt Devil. Michaelas Auto bekommt nächste Woche Sommerreifen und sie hofft, daß es ab dann nicht mehr schneit. Michaela hat sich diese Woche die "Pinguine aus Madagaskar - Der Film" angeschaut. Jeanette meint, daß der Film eine Mischung aus "Pinky und der Brain" und "Ab durch die Hecke" . Jeanette vergleicht King Julien aus der Serie "Die Pinguine aus Madagaskar" mit Jaja Bings und findet, daß Jar Jar Bings nervig ist. Michaela mag den Charakter von Jar Jar Bings und kann gar nicht verstehen, daß so viele Leute den Charakter ablehnen. Nach Star Wars, geht es weiter mit Filmen, die man nach Jeanettes Meinung gesehen haben muß und von den Filmen ausgehend kommen Jeanette und Michaela auf Serien, die sie ganz gut finden Zum Schluß erklärt Michaela, weshalb ihr Astronomie und Kosmologie interessiert und was das mit Mathematik zu tun hat.
Quick Episode Summary: Intro and housekeeping Promo: B2B Marketing Greg Elwell What's on the Libsyn blog Promo: iMake with Martine Ellis Podcasting workflow with Markus from The Omega Tau Podcast 11min Dr. Ginger Campbell Thank You Feedback Rob and Elsie Podcasting Conversation Our new Feedback number + follow up on SpeakPipe Leave your podcast name + URL when sending in your promos… David Dear Feedback on Ep 3 Can you use your city's name in your show? - what do you do if you get a cease and desist letter from the city? Feedburner Feed issues (smartcast problem) How to have two media players in one Libsyn account Libsyn4 Release and how to get access - SEND US YOUR FEEDBACK! Promo: Torg Stories William Torgerson Wrap-up Featured Podcast Promos + Audio B2B Marketing with Greg Elwell iMake with Martine Ellis Torg Stories with William Torgerson Markus Völter from The Omega Tau Podcast Dr. Ginger Campbell from The Brain Science Podcast Podcasting articles and media about podcasting Newest Articles on the Libsyn Blog and Podcasting Links Rockin' Libsyn Podcasts: iMake Rockin' Libsyn Podcasts: The Mouse Castle Lounge Get the 411 on the NFL Network and Podcasting via Rich Eisen! Markus's podcasting workflow Podcasting Articles and Links mentioned by Rob and Elsie Our SpeakPipe Feedback page! Leave us feedback :) Despite Being Oh-So 2005, Podcasting Is Drawing Listeners and Advertisers Alike A Great Response To A Cease and Desist Letter 2013 Parsec Awards Winners & Finalists Rob on Podcast Squared talking about Apps [Rob on A Mediocre Time with Tom and Dan talking all about podcasting][link6] Rob on The Lifestyle Academy Podcast on how to market and monetize your podcast Hey all, thank you and welcome to Episode 5 of The Feed: The official Libsyn Podcast, the podcast that takes it beyond how to podcast into keeping you podcasting, with podcasting tips for the everyday podcaster + taking you inside Libsyn the largest podcast host and distribution network since 2004! First things! We have a voice feedback number! 412 573 1934 AND we have a SpeakPipe account! You can leave us audio feedback over on this page. Submit your Podcasting segment! Since we had our first listener submitted contribution to the show, I'd love to encourage you guys to join in! If you have a segment that you would like to submit to me, something that will benefit the podcasting community as a whole, either something you learned or something that has worked for you, please send it along. It can be hardware, software reviews, your podcasting workflow or possibly promotional ideas that have really helped you grow your audience that you feel would help all of us. Email your contributions to thefeed(at)libsyn(dot)com If you are a Libsyn podcaster and want to be featured in our Rockin' Libsyn Podcasts blog series all you have to do is email thefeed(at)libsyn(dot)com. I schedule those on a first come first serve basis, so when you get all the info to me that you need to get to me, I'll schedule you on the next available date. The Rockin' Libsyn Podcasts are blog posts that usually go live on Mondays. As of the writing of this post I'm scheduled up to mid November 2013. Send in your 30 second or less podcast promo! Share your message in 30 seconds or less! Not only is this a great exercise for you to distill the essence of your podcast, but it also helps the greater podcasting community get to know each other better! Send them into thefeed(at)libsyn(dot)com! Some Elsie feedback about sending in your promos Leave your podcast name and URL when sending in your promos…or any communication for that matter! Make sure when you send in your show promo, your name and your show are prominently shown in the email, as well as a link back to your website or any other social media properties that you'd like to share with us. This makes it super easy for me to connect with you and PROMOTE you. I do my best to link back to you in as many I've been getting people that have been sending me promos that have no URL anywhere, no email signature and the email address that it comes from doesn't help PLUS the name they've named the promo in no way helps to tell me what the podcast is either. It would make my life easier if you could simply offer that information Libsyn Power Tips How to get two different Media players from your one libsyn account Rob has 2 media players on Podcast411 and today in iOS. If you go to Podcast411.com right now you will see a big player top center - with the artwork for Rich Eisens Podcast (at the time of this writing) - that is his show level player - it has in the artwork and it keeps up to date whenever he publishes a new episode. He doesn't do anything to update it. If you scroll down you will see the episode level players - those stay fixed per the episode they are assigned. How you get both is the following. First you set up the player you want for the episode level. You do that by checking out this support article. Get the size and type you want - then copy the embed code and paste to your site. Next - Set up the player you want for the per episode posts. And leave it set there. Then when you publish your next episode at the end after you hit publish you will get the embed code for just that episode - per the size / type you set up. But wherever you previously embedded the Show level player - it will continue to update to show the most recent episode. URL's To Use when Direct Linking Sometime on websites or twitter we will see people linking to their files but with the wrong URL. They will be using the URL - where their file redirects to. For example it may be - http://ec.libsyn.com/…. or http://hwcdn.libsyn.com…. Those are the wrong URL's to use - they are temp URL's - and can and WILL break in the future. The URL you want to use for direct links to your media files is http://traffic.libsyn.com/YOURSLUG/FILENAME If you check your links and it is not traffic after the http:// - you are doing it wrong. It also can effect your stats - as in not getting counted. The real issue is anything other than the traffic link is a temp URL - and will in the future break - not that it may break - it WILL BREAK. Will using your city's name in your podcast episode get you in trouble? Per Rob's email below: “Hi Rob, this evening I went to a community meeting in Inglewood I go to every month. They love the concept of my radio show. But the block club president suggests I should call the councilman in the city or speak to the city legal lawyer to find out if it's OK to use Inglewood in my title. Only word I know is registered is Realtor(r) what do you suggest I do to verify its OK. thank you for your time” Read this article. The second letter in the article sums it up nicely. In other words - just use Inglewood in your show's name. And if anyone gives you grief - send them the link above. Feed not updating in iTunes This next one is an issue regarding those using Feedburner and a problem with the Podcasts App. A Libsyn user was having problems when listeners tapped to download an episode in the Podcasts App - It streamed fine - but it would not download into the app. It would give an error and time out. We figured out it was not the Libsyn feed - as putting that in direct to the Podcasts App worked fine. It wound up being the person was using Smartcast and Stats for Feedburner. When they turned those items off - Then the downloads started up fine. So if you are using Feedburner - check your show in the Podcasts App and see if you can get it to download, if not make sure to deselect all the smartcast and stats options in Feedburner - which you really don't need anyway if you have Libsyn as your source feed. That issue would be for anyone using Feedburner regardless of where you host or what your source feed is - there is something going on with the Podcasts App - that does not like smartcast and stats options in Feedburner. Parsec Awards Winners & Finalists Congrats to the Parsec Award winners! Jimmy Mac and Jason Swank at RebleForce Radio for their win in Best Speculative Fiction Fan or News Podcast - Specific Ash Farbrother Host of Nights at the Round Table - for winning the Best Speculative Fan or News Podcast - General. Mark Soloff - Host of Blastropodcast for winning the Best Speculative Fiction Comedy / Parody Podcast award. David Cumming with the NoSleep Podcast for winning the Best New Speculative Fiction Podcaster / Team. Mike Bennett for his wins in the Best Speculative Fiction Story - Small Cast long Form for Underwood and Flinch Rick Kennett - from the Road to Utopia Plain for winning the Best Speculative Fiction Story - Large Cast. Tony Raymond and Daniel McIntosh with Star Trek Outpost for their win in the Best Speculative fiction audio drama Long form. HELP US SPREAD THE WORD! We'd love it if you could please share #TheFeed with your twitter followers. Click here to post a tweet! If you dug this episode head on over to iTunes and kindly leave us a rating, a review and subscribe! Ways to subscribe to The Feed: The Official Libsyn Podcast Click here to subscribe via iTunes Click here to subscribe via RSS You can also subscribe via Stitcher FREE SMARTPHONE APPS FOR THE FEED! iOS App Google Play Amazon [social-bio]
Quick Episode Summary: Intro and housekeeping Promo: B2B Marketing Greg Elwell What's on the Libsyn blog Promo: iMake with Martine Ellis Podcasting workflow with Markus from The Omega Tau Podcast 11min Dr. Ginger Campbell Thank You Feedback Rob and Elsie Podcasting Conversation Our new Feedback number + follow up on SpeakPipe Leave your podcast name + URL when sending in your promos… David Dear Feedback on Ep 3 Can you use your city's name in your show? - what do you do if you get a cease and desist letter from the city? Feedburner Feed issues (smartcast problem) How to have two media players in one Libsyn account Libsyn4 Release and how to get access - SEND US YOUR FEEDBACK! Promo: Torg Stories William Torgerson Wrap-up Featured Podcast Promos + Audio B2B Marketing with Greg Elwell iMake with Martine Ellis Torg Stories with William Torgerson Markus Völter from The Omega Tau Podcast Dr. Ginger Campbell from The Brain Science Podcast Podcasting articles and media about podcasting Newest Articles on the Libsyn Blog and Podcasting Links Rockin' Libsyn Podcasts: iMake Rockin' Libsyn Podcasts: The Mouse Castle Lounge Get the 411 on the NFL Network and Podcasting via Rich Eisen! Markus's podcasting workflow Podcasting Articles and Links mentioned by Rob and Elsie Our SpeakPipe Feedback page! Leave us feedback :) Despite Being Oh-So 2005, Podcasting Is Drawing Listeners and Advertisers Alike A Great Response To A Cease and Desist Letter 2013 Parsec Awards Winners & Finalists Rob on Podcast Squared talking about Apps [Rob on A Mediocre Time with Tom and Dan talking all about podcasting][link6] Rob on The Lifestyle Academy Podcast on how to market and monetize your podcast Hey all, thank you and welcome to Episode 5 of The Feed: The official Libsyn Podcast, the podcast that takes it beyond how to podcast into keeping you podcasting, with podcasting tips for the everyday podcaster + taking you inside Libsyn the largest podcast host and distribution network since 2004! First things! We have a voice feedback number! 412 573 1934 AND we have a SpeakPipe account! You can leave us audio feedback over on this page. Submit your Podcasting segment! Since we had our first listener submitted contribution to the show, I'd love to encourage you guys to join in! If you have a segment that you would like to submit to me, something that will benefit the podcasting community as a whole, either something you learned or something that has worked for you, please send it along. It can be hardware, software reviews, your podcasting workflow or possibly promotional ideas that have really helped you grow your audience that you feel would help all of us. Email your contributions to thefeed(at)libsyn(dot)com If you are a Libsyn podcaster and want to be featured in our Rockin' Libsyn Podcasts blog series all you have to do is email thefeed(at)libsyn(dot)com. I schedule those on a first come first serve basis, so when you get all the info to me that you need to get to me, I'll schedule you on the next available date. The Rockin' Libsyn Podcasts are blog posts that usually go live on Mondays. As of the writing of this post I'm scheduled up to mid November 2013. Send in your 30 second or less podcast promo! Share your message in 30 seconds or less! Not only is this a great exercise for you to distill the essence of your podcast, but it also helps the greater podcasting community get to know each other better! Send them into thefeed(at)libsyn(dot)com! Some Elsie feedback about sending in your promos Leave your podcast name and URL when sending in your promos…or any communication for that matter! Make sure when you send in your show promo, your name and your show are prominently shown in the email, as well as a link back to your website or any other social media properties that you'd like to share with us. This makes it super easy for me to connect with you and PROMOTE you. I do my best to link back to you in as many I've been getting people that have been sending me promos that have no URL anywhere, no email signature and the email address that it comes from doesn't help PLUS the name they've named the promo in no way helps to tell me what the podcast is either. It would make my life easier if you could simply offer that information Libsyn Power Tips How to get two different Media players from your one libsyn account Rob has 2 media players on Podcast411 and today in iOS. If you go to Podcast411.com right now you will see a big player top center - with the artwork for Rich Eisens Podcast (at the time of this writing) - that is his show level player - it has in the artwork and it keeps up to date whenever he publishes a new episode. He doesn't do anything to update it. If you scroll down you will see the episode level players - those stay fixed per the episode they are assigned. How you get both is the following. First you set up the player you want for the episode level. You do that by checking out this support article. Get the size and type you want - then copy the embed code and paste to your site. Next - Set up the player you want for the per episode posts. And leave it set there. Then when you publish your next episode at the end after you hit publish you will get the embed code for just that episode - per the size / type you set up. But wherever you previously embedded the Show level player - it will continue to update to show the most recent episode. URL's To Use when Direct Linking Sometime on websites or twitter we will see people linking to their files but with the wrong URL. They will be using the URL - where their file redirects to. For example it may be - http://ec.libsyn.com/…. or http://hwcdn.libsyn.com…. Those are the wrong URL's to use - they are temp URL's - and can and WILL break in the future. The URL you want to use for direct links to your media files is http://traffic.libsyn.com/YOURSLUG/FILENAME If you check your links and it is not traffic after the http:// - you are doing it wrong. It also can effect your stats - as in not getting counted. The real issue is anything other than the traffic link is a temp URL - and will in the future break - not that it may break - it WILL BREAK. Will using your city's name in your podcast episode get you in trouble? Per Rob's email below: “Hi Rob, this evening I went to a community meeting in Inglewood I go to every month. They love the concept of my radio show. But the block club president suggests I should call the councilman in the city or speak to the city legal lawyer to find out if it's OK to use Inglewood in my title. Only word I know is registered is Realtor(r) what do you suggest I do to verify its OK. thank you for your time” Read this article. The second letter in the article sums it up nicely. In other words - just use Inglewood in your show's name. And if anyone gives you grief - send them the link above. Feed not updating in iTunes This next one is an issue regarding those using Feedburner and a problem with the Podcasts App. A Libsyn user was having problems when listeners tapped to download an episode in the Podcasts App - It streamed fine - but it would not download into the app. It would give an error and time out. We figured out it was not the Libsyn feed - as putting that in direct to the Podcasts App worked fine. It wound up being the person was using Smartcast and Stats for Feedburner. When they turned those items off - Then the downloads started up fine. So if you are using Feedburner - check your show in the Podcasts App and see if you can get it to download, if not make sure to deselect all the smartcast and stats options in Feedburner - which you really don't need anyway if you have Libsyn as your source feed. That issue would be for anyone using Feedburner regardless of where you host or what your source feed is - there is something going on with the Podcasts App - that does not like smartcast and stats options in Feedburner. Parsec Awards Winners & Finalists Congrats to the Parsec Award winners! Jimmy Mac and Jason Swank at RebleForce Radio for their win in Best Speculative Fiction Fan or News Podcast - Specific Ash Farbrother Host of Nights at the Round Table - for winning the Best Speculative Fan or News Podcast - General. Mark Soloff - Host of Blastropodcast for winning the Best Speculative Fiction Comedy / Parody Podcast award. David Cumming with the NoSleep Podcast for winning the Best New Speculative Fiction Podcaster / Team. Mike Bennett for his wins in the Best Speculative Fiction Story - Small Cast long Form for Underwood and Flinch Rick Kennett - from the Road to Utopia Plain for winning the Best Speculative Fiction Story - Large Cast. Tony Raymond and Daniel McIntosh with Star Trek Outpost for their win in the Best Speculative fiction audio drama Long form. HELP US SPREAD THE WORD! We'd love it if you could please share #TheFeed with your twitter followers. Click here to post a tweet! If you dug this episode head on over to iTunes and kindly leave us a rating, a review and subscribe! Ways to subscribe to The Feed: The Official Libsyn Podcast Click here to subscribe via iTunes Click here to subscribe via RSS You can also subscribe via Stitcher FREE SMARTPHONE APPS FOR THE FEED! iOS App Google Play Amazon [social-bio]