show episodes
 
Ich studiere Informatik im Master am KIT, Karlsruhe - Und das schon seit 6 Jahren. Zeit genug, um über meine Erfahrungen zu sprechen. Wie geht Studieren? Wie viel Mathe braucht man wirklich? Wie viele Programmiersprachen lernt man? Und warum sind das ziemlich doofe Fragen? Mehr dazu in meinem ersten Podcast!
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Videomitschnitte zur Vorlesung Medientechnik I der Htw Berlin im Sommersemester 2007. In der Veranstaltung werden Theorie und praktische Beispiele zu den Themen Farblehre, Digitale Bilder und elementare Bildmanipulationsverfahren (Bildpunktoperatoren, Filter und geometrische Transformationen) behandelt. Viele Beispiele werden mit Photoshop demonstriert, entsprechende Algorithmen werden anhand der Programmiersprache Java mit dem Programm ImageJ vorgestellt. Technische Realisierung des Podcast ...
 
Der Podcast für Young Professionals, die nicht nur wissen möchten welche Theorie hinter Machine Learning steckt, sondern auch welche Möglichkeiten daraus entstehen und vor allem wie damit gearbeitet wird. The Erium Podcast räumt mit Mythen auf, gibt Einblicke in die Welt der Data Scientists und zeigt euch die Power von Machine Learning. Master the Complexity!
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Aussagenlogik: Syntax und Semantik Automatisches Schließen: Resolution Formale Deduktion: Korrektheit, Vollständigkeit Prädikatenlogik erster Stufe: Syntax und Semantik Automatisches Schließen: Unifikation, Resolution Quantorenelimination Anwendung automatischer Beweiser Formale Deduktion: Korrektheit, Vollständigkeit
 
Loading …
show series
 
Jede Großstadt hat mindestens Einen: Hack- und Makespaces, bei denen man in Technik versinken und viel lernen kann. Doch so etwas auf dem Land aufzubauen hat seine ganz eigene Herausforderungen und Dynamiken. Wir haben Mitgründer Daniel Domscheit-Berg im Verstehbahnhof in Fürstenberg an der Havel besucht, der uns mit auf eine Tour genommen und viel…
 
Wie sollte man Werkstudenten in seinem Unternehmen miteinbeziehen? Und welchen Herausforderungen sollte sich jeder Data Scientist bewusst sein? Head of AI bei inovex, Hans-Peter Zorn, erzählt es uns in der neuen Folge von The Erium Podcast. Der Beitrag Hans-Peter Zorn – Big Data Scientist und Head of AI erschien zuerst auf The Erium Podcast.…
 
Durch die Digitalisierung der Medizin besteht die Möglichkeit riesige Datenmengen im Behandlungs- und Forschungskontext zu erfassen und zu verwalten. Die Sensibilität der medizinischen Daten ist dabei, je nach Teilbereich, sehr unterschiedlich. Es geht u. a. um sehr persönliche Daten, wie molekulare Daten aus Genomanalysen, also Analysen des mensch…
 
It’s Feedback-Time! In den letzten 14 Wochen haben wir einige spannende Persönlichkeiten aus der Welt der Data Science und digitalen Transformation getroffen. Gemeinsam durften wir den Alltag von KI Beratern, Machine Learning Developern, Data Science Professoren, Software Engineers, CEOs in rasch wachsenden Märkten und Data Scientists mit spannende…
 
How does Machine Learning influence agriculture? And how does this lead to more sustainability? Patricia Goldberg, Data Scientist at Agrando, talks about it in the new episode of ‚The Erium Podcast‘. Here ist the episode with Chatroulette’s CEO Andrew Done: Der Beitrag Patricia Goldberg – Machine Learning for Farmers erschien zuerst auf The Erium P…
 
Wie wird die Soziologie von Data Science und Machine Learning beeinflusst und umgekehrt? Müssen sich Soziologiestudenten darauf gefasst machen in der Zukunft Data Science lernen zu müssen? Diese Fragen beantwortet uns Computational Social Scientist Prof. Dr. Ingo Scholtes in der neuen Ausgabe von The Erium Podcast. Hier geht’s zur Folge über Politi…
 
Welche Tools gibt es um den Einstieg in Data Science zu erleichtern und den Workflow dabei zu verbessern? Software Developer Florian Wetschoreck erzählt von bamboolib in dieser neuen Folge von ‚The Erium Podcast‘. Hier geht’s zur Folge über BAYESIAN METHODS: Der Beitrag Florian Wetschoreck – Data Scientists das Leben leichter machen erschien zuerst…
 
Wie beeinflusst Data Science und Machine Learning die Medizin? Und wie reagieren Mediziner auf den digitalen und technologischen Wandel? Der Head of Software Development von Medability, Felix Achilles, erzählt es uns in dieser neuen Folge von ‚The Erium Podcast‘. Hier geht’s zur Folge über Missing Values, aus unserer ersten Staffel: Der Beitrag Fel…
 
How does Machine Learning and Data Science reshape the way we tackle inappropriate content on the internet? What does inappropriate even mean? Chatroulette’s CEO Andrew Done tells us in the new episode of ‚The Erium Podcast‘. If you want to know how Data Science and Machine Learning influences Political Sciences listen to this episode: Der Beitrag …
 
In Zeiten von Corona heißt es, trotzdem vernetzt zu bleiben. Die etablierten Anbieter von Videokonferenz-Lösungen konnten in den ersten Monaten der Pandemie große Zuwächse ihrer Nutzerzahlen verzeichnen. Schulen und andere Bildungseinrichtungen sind oft geneigt, fertige Lösungen einzukaufen. Aber es gibt auch Alternativen, die sich nicht verstecken…
 
How does Social Media reshape a political landscape? This weeks episode features the political data scientist Juan Carlos Medina Serrano. He tells us what Social Bots are, what they are used for and what political data science is all about. Der Beitrag Juan Carlos Medina Serrano – Political Data Scientist and Social Media Miner erschien zuerst auf …
 
Die Corona-Pandemie hat in vielen Bereichen deutlich gemacht, wie die Digitalisierung unseren Alltag in kritischen Zeiten unterstützen kann. Ein guter Zeitpunkt, um zu schauen, wie die Digitalisierung der Medizin helfen kann, die Coronakrise zu bewältigen. Eingeladen sind zu dem Thema Frau Prof. Simone Scheithauer und Frau Prof. Dagmar Krefting von…
 
Wie verändert Machine Learning die Forschung in der Lasermanufaktur? Was genau ist Intelligent Joining System Technology? Und wie kommt man von der Mechatronik in die Welt von Machine Learning? Christian Stadter erzählt es uns in dieser neuen Folge von ‚The Erium Podcast‘. Hier geht’s zur Folge DATA VISUALIZATIONS aus unserer ersten Staffel: Der Be…
 
Wie kommt man von einer Biotechfirma wie PRIAXON zur Arbeit bei DRÄXLMAIER in der Automobilindustrie? Und wie kann Data Science die Anzahl an Tierversuchen reduzieren? Warum ist Deutschland ein sehr guter Nährboden für Data Scientists? Tobias Girschick erzählt es uns in der neuen Folge von ‚The Erium Podcast‘. Hier geht’s zur Folge DIMENSIONALITY R…
 
Wissenschaftskommunikation und Wissenschaftsjournalismus im Wettbewerb um die Öffentlichkeit und Deutungshoheit Stefanie Molthagen-Schnöring Als die Corona-Pandemie ihren Lauf nahm, schlug die Stunde der Wissenschaftskommunikation. Virologen und Epidemiologen standen auf einmal im Rampenlicht der Öffentlichkeit. Und ihr Wort hatte Gewicht in der Po…
 
Wie gestaltet sich Forschung innerhalb einer Firma? Und wie akklimatisiert man sich richtig in einer neuen beruflichen Umgebung? Environmental Data Scientist Julia Gottfriedsen erzählt uns von ihrer Arbeit bei Siemens und ihrem Weg zur Promotion an der LMU. Außerdem erfahrt ihr wie sie auf die Idee gekommen ist einen Hackathon zu gründen. Das Thema…
 
Verschwörungserzählungen, landläufig als Verschwörungstheorien bekannt, haben in der Corona-Krise Konjunktur. Doch schon seit vielen Jahren werden Geschichten und Mythen im Netz verbreitet und Menschen durch Lügen radikalisiert. Wie weit geht die Radikalisierung? Wie wirken manipulierte Fakten auf Einzelne, auf Gruppen und die Gesellschaft? Ist uns…
 
Auf was achtet ein Head of Data Science wenn er neue Leute einstellt? Und wie kommt man von Politikwissenschaften zur Data Science? Fabian Müller von STATWORX erzählt es uns in dieser neuen Folge von ‚The Erium Podcast‘. Wie vernetzt man sich mit Leuten aus den verschiedensten Bereichen? Hier erfahrt ihr es: Link zur Folge ‚NETWORKING‘. Der Beitrag…
 
Im Rahmen des HiGHmed Use Cases Kardiologie werden an verschiedenen Standorten medizinische Daten von Patient*innen mit Herzinsuffizienz gesammelt und in medizinischen Datenintegrationszentren (MeDICs) zusammengeführt. Durch die Analyse dieser Daten soll es langfristig möglich sein, bei Patient*innen mit einem hohen Risiko für einen schweren Krankh…
 
Über das Aufkommen der Sozialen Medien, ihre Koexistenz mit klassischen Massenmedien und das heutige Gesamtgefüge der Meinungsbildung im Online-Zeitalter Jan-Hinrik Schmidt Doch, doch, es gab ein Internet vor Facebook, Twitter und YouTube. In den 2000er Jahren blühte die Blogosphäre auf. Statt nur passiv zu konsumieren begannen Webnutzer mit eigene…
 
„Lasst uns doch mal was machen, was auch im echten Leben was bringt!“ Dr. Frederik Beaujean erzählt uns in der neuen Ausgabe von ‚The Erium Podcast‘ wie es ist aus der Wissenschaft in die Industrie zu wechseln und von einem ausgezeichneten Physiker zu einem noch ausgezeichneteren Software Engineer für Autonomes Fahren zu werden. Ihr interessiert eu…
 
In der neuen Folge von ‚The Erium Podcast‘ erzählt uns Silvia Gramling wann es sinnvoll ist seine Masterarbeit bei einem Unternehmen zu schreiben und was ihr in der Uni nicht beigebracht wurde. In der Folge ‚DIMENSIONALITY REDUCTION‘ aus der 1. Staffel erzählen wir euch wie man mit höherdimensionalen Datensätzen umgeht. Der Beitrag Silvia Gramling …
 
Diese Woche ist Prof. Dr. Patrick Glauner zu Gast in ‚The Erium Podcast‘. Er erklärt uns wie man Lehre im Bereich Data Science und Machine Learning gestalten sollte, wie ihn seine Promotion zu seiner Beratungsfirma gebracht hat und was ihn während seines Studiums besonders geprägt hat. Hier geht’s zum Buch „Innovative Technologies for Market Leader…
 
Als Bluetooth in den späten 1980er Jahren spezifiziert wurde, konnte man noch nicht damit rechnen, dass es sich zum De-Facto-Standard für Nahbereichskommunikation entwickeln würde. Jedes Jahr gelangen tausende neue Geräte mit Bluetooth-Chip in den Handel. Mittlerweile hat jedes Telefon Bluetooth eingebaut. Ein Mitglied dieser Protokollfamilie, Blue…
 
Weitere Einblicke in die verborgene Welt der Wüsten Stefan Kröpelin Seit vielen Jahren zieht es Stefan Kröpelin in die Wüste. Denn sie ist nicht nur eine faszinierende Landschaft, sondern auch ein einzigartiges Forschungslabor: Der Geoarchäologe und Klimawissenschaftler von der Universität zu Köln untersucht dort, welche Spuren die Natur und der Me…
 
Loading …

Kurzanleitung

Google login Twitter login Classic login