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!
 
Mehr Wissen über die digitale Welt. Experten des Hasso-Plattner-Instituts sprechen verständlich über digitale Entwicklungen und Trends, über Chancen und Risiken der Digitalisierung. Jede Sendung widmet sich einem gesellschaftlich relevanten Thema: Von der Macht der Künstlichen Intelligenz über die Blockchain bis zu Hetze in den sozialen Medien.
 
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
 
Das Berner Informatikunternehmen Bedag AG ist ein ganz besonderes Unternehmen. Es fokussiert seine Dienstleistungen auf den öffentlich-rechtlichen Bereich, vornehmlich im Kanton Bern. 80 Prozent seiner Dienstleistungen erbringt es für den Kanton und somit für die Bernerinnen und Berner. Kein Wunder, ist die Bedag so etwas wie der digitale Herzschlag von Bern. Bei der Bedag können Tekkies aber auch besonderes unternehmen. Hier werden keine Fancy-Apps gebaut, sondern nützliche Anwendungen und ...
 
Digitalisierung der Medizin ist eine Podcastreihe, die Einblicke in innovative Konzepte und Projekte an der Schnittstelle zwischen Medizin und Informatik für alle bietet, die an den Themen Gesundheit und Digitalisierung interessiert sind. Unsere Gesprächspartnerinnen und Expertinnen geben Einblick in ihre Forschung und Arbeit und bieten neue Denkanstöße sowie Ideen für die Medizin von Morgen.
 
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 ...
 
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
 
Im Digitec-Podcast sprechen die Redakteure der FAZ über neue Entwicklungen in der digitalen Wirtschaft, in der Industrie 4.0 - und in der Technik. Wir diskutieren miteinander und auch mit Gästen – dabei ordnen wir die aktuellen Themen rund um Digitalisierung und Technologie ein. Dabei geht es nicht nur um Bits und Bytes, sondern auch um einen größeren gesellschaftlichen Kontext. Zur App für iOS und Android: https://app.adjust.com/8sasetq_gxy4985 Mehr erfahren: https://fazdigitec.de
 
Loading …
show series
 
Alan Turing und die Informatik: Nur ein Schatten dessen, was kommen wirdEr war Ausnahmemathematiker, er beschrieb die Grundlagen eines durch Software gesteuerten Allzweckcomputers. Der Brite Alan Turing dachte früh über Künstliche Intelligenz nach - und half im Zweiten Weltkrieg die Funksprüche deutscher U-Boote zu entschlüsseln. Der britische Staa…
 
Das Klischee des einsamen Nerds vor dem Computer stimmt schon lange nicht mehr. Warum Informatikstudierende kreative IT-Superhelden sind, darüber sprechen HPI-Studiendekan Prof. Tobias Friedrich und die Studierenden Laura Meister und Finn Klein.Von Experten des Hasso-Plattner-Instituts und Moderator Leon Stebe
 
In der heutigen Episode spricht Dennis über die Vorteile von “Infrastructure as Code” (IaC) sowie die zugehörigen Tools, wie AWS CloudFormation und das AWS Cloud Development Kit (AWS CDK). Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Develo…
 
Ziel eines Hackathons ist es, gemeinsam nützliche, kreative oder unterhaltsame Softwareprodukte herzustellen – sagt die Wikipedia. Doch dass alle Teilnehmer*innen Spaß haben, neue Techniken lernen und Kontakte knüpfen, wiegt die Nachteile häufig nicht auf. Es entsteht nur selten ein marktfähiges Produkt und häufig nicht einmal ein funktionierender …
 
Marika Lulay führt das deutsche IT-Unternehmen GFT Technologies. Sie sagt, was sich hierzulande ändern muss.Die Pandemie hat Schwächen in Deutschland offengelegt. Der Staat, aber auch viele Unternehmen sind bislang zu langsam gewesen, wenn es darum geht, das eigene Geschäftsmodell ins Informationszeitalter zu überführen. Und nein, Homeoffice allein…
 
Heute hat Dennis fünf kurze Security-Tipps für Amazon Simple Storage Service (S3), die ihr in wenigen Schritten umsetzen könnt, um eure Daten vor unberechtigtem Zugriff oder versehentlichem Verlust zu schützen. 1: Block Public Access - https://aws.amazon.com/s3/features/block-public-access/ 2: Encryption at Rest - https://docs.aws.amazon.com/Amazon…
 
Wolfgang Kellerer soll den Mobilfunk weiterentwickeln. Er sagt, wohin das führt.Eigentlich etablieren Unternehmen gerade erst den neuen Mobilfunkstandard 5G, der die Vernetzung auf ein neues Niveau heben wird und eine Reihe Applikationen in Industrie und für jedermann ermöglicht, die bislang undenkbar waren. Zugleich ist die Entwicklung damit alles…
 
Heute spricht Dennis über Zeitzonen, die Umstellung zwischen Sommerzeit und Winterzeit, und wie eine Neuerung im Amazon EC2 Auto-Scaling-Service uns in Zukunft eine Menge Kopfzerbrechen beim Hin- und Herrechnen zwischen Zeitzonen ersparen kann. Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteig…
 
Europas größter Autokonzern kündigt sechs "Gigafabriken" an, die Börse ist begeistert.VW-Vorstandschef Herbert Diess trumpft auf - mit einem Batteriezellen-Netzwerk quer durch Europa und besseren Geschäftsergebnissen: Die Anleger jubeln und machen Volkswagen zum wertvollsten börsennotierten Unternehmen Deutschlands, noch vor SAP. Doch wie weit sind…
 
In dieser Woche haben wir ein interessantes Interview mit Luisa Jacinto Fragata und Will Gathings von AWS Training & Certification Team, in dem wir über kostenlose Schulungsangebote für Einsteiger aber auch über die Unterstützung der Schulungsplanung für Unternehmen durch AWS sprechen. Ihr findet Luisa auf Twitter https://twitter.com/fragataluisa u…
 
Ein Vielzahl von Angreifern attackiert mittlerweile Zigtausende Exchange-Server.Cyberkriminelle haben Lücken in einer häufig verwendeten Microsoft-Software entdeckt. Wie hoch der Schaden ist, kann noch nicht abgeschätzt werden. Aber rund um den Globus sind Unternehmen betroffen - auch in Deutschland. Was steckt dahinter? Wer steckt dahinter? Wer od…
 
In dieser Episode spricht Dennis über das Well-Architected Framework und seine fünf Säulen - Security, Reliability, Performance, Operational Excellence und Cost-Optimization. Außerdem stellt er das Well-Archtected Tool vor, mit dem ihr eure eigenen Reviews durchführen und dokumentieren könnt. Der offizielle deutschsprachige Podcast rund um Amazon W…
 
Wenige Überwachungsmaßnahmen bedrohen Freiheitsrechte und Demokratie so sehr wie automatische Gesichtserkennung: Sie macht Fehler, sie diskriminiert Frauen und People of Colour und gefährdet die anonyme Teilnahme an Demonstrationen. Über die technischen Grundlagen der Gesichtserkennung, die Kampagne reclaimyourface.eu und ihre Forderung, die automa…
 
Was die EU tun muss für einen fairen digitalen Binnenmarkt - und was die Unternehmer leisten sollten.Die EU-Kommission hat mit dem DMA und dem DSA große Gesetzespakete vorgelegt, die das Internet neu regeln sollen. Reicht das, damit auch deutsche Mittelständler künftig mit den führenden Tech-Unternehmen konkurrieren können? Und müssen die Unternehm…
 
Für eine Milliarde Euro hat SAP im Januar 2021 das HPI Alumni Startup Signavio übernommen. Wie aus Studierenden erfolgreiche Unternehmensgründer werden, darüber sprechen Dr. Gero Decker und Dr. Frank Pawlitschek.Von Experten des Hasso-Plattner-Instituts und Moderator Leon Stebe
 
In dieser Epsiode spricht Dennis über das Principle of Least Privilege und wie es (nicht nur) bei AWS umgesetzt werden kann. Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet…
 
Mittels leicht bedienbarer Apps etabliert sich eine neue Anleger-Klasse. Zockerei oder mehr?Gerade ist der Aktienkurs der Videospiele-Kette Gamestop an einem Tag um 100 Prozent gestiegen. Was steckt dahinter? Fechten Hedgefonds hier einen Wettstreit mit einem Schwarm von Börsenneulingen aus? Und was verbirgt sich überhaupt hinter Neobrokern, Short-…
 
In dieser Episode spricht Dennis über das Block Public Access-Feature im Amazon Simple Storage Service (S3), mit dem man sicherstellen kann, dass Daten in S3 nicht - auch nicht aus Versehen - öffentlich zugänglich gemacht werden können. Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und A…
 
Auch deutsche Autohersteller schränken ihre Produktion ein, weil ihnen Halbleiter fehlen.Die hochwertigen Computerchips der Welt kommen aus Taiwan und Südkorea. Die Hersteller produzieren am Rande ihrer Kapazitäten - sie kommen mit der durch die Pandemie gestiegenen Nachfrage dennoch nicht mit. Was tun? Thomas Mikolajick ist Professor für Nanoelekt…
 
In dieser Episode haben wir Martin Oerder zu Gast. Martin ist Engineering Director bei AWS und leitet das Amazon Monitron Team. Wir sprechen über intelligente Maschinenüberwachung, Predictive Maintenance, die Anwendung von ML/AI in der Industrie und was mit einem Monitron-Sensor passiert, wenn man in ihn Schwefelsäure versenkt! Links zum Thema: - A…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Ralf Wintergerst, Geschäftsführer von Giesecke+Devrient, über die Zukunft des Bezahlens.Ein deutsches Familienunternehmen bietet Dienstleistungen an, um das Geldsystem zu organisieren. Giesecke+Devrient hat sich seit Gründung im Jahr 1852 mehrfach gewandelt und an neue Technologien angepasst. Geschäftsführer Ralf Wintergerst erzählt, wie das funkti…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode haben wir Gernot Gla…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode entwirrt Dennis ein …
 
Der legendäre Amazon-Gründer hört als CEO des Onlinehändlers auf: Ein Rückblick und AusblickAls Jeff Bezos in den neunziger Jahren Amazon gründete, ahnte kaum jemand, dass hier einer der größten kommerziellen Erfolge des Webs entstanden war. Am selbst gezimmerten Schreibtisch verpackte er die ersten Bücher, dann wuchs sei Unternehmen. Heute ist dar…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Viele Menschen haben das vergangene Jahr genutzt, um sich privat und online weiterzubilden – trotz oder gerade wegen der Pandemie. Wie man den sozialen Faktor in die digitale Welt holt, erklärt Prof. Dr. Christoph Meinel.Von Experten des Hasso-Plattner-Instituts und Moderator Leon Stebe
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Als im Herbst 2020 fest stand, dass der Congress nicht wie gewohnt in Leipzig stattfinden würde, begannen die Planungen für einen Online-Congress, die rC3. Die Projektleitung hatte bei diesem Online-Congress besondere Herausforderungen zu bewältigen. Ein Teil der „remote Chaos Experience“ war die rC3world, eine interaktive 2D-Welt, die Congress-Tei…
 
Xi, Merkel, Macron und von der Leyen: Wie sich Geopolitik und Technologie vermängt.Das Jahrestreffen des Weltwirtschaftsforums ist nicht ausgefallen, aber infolge der Pandemie zu einer virtuellen Veranstaltung geworden. Der chinesische Staatschef war da, die mächtigsten Politiker Europas ebenfalls - mit klaren Botschaften über ein schwieriges inter…
 
Der CEO der Bedag Informatik AG über die Zukunft des Unternehmens. Auf die Frage von Podcaster Marc Jäggi, woher er auch nach 10 Bedag-Jahren seine Motivation und seine Energie hernimmt, verrät Fred Wenger sein verblüffend einfaches Rezept: „Bei der beruflichen Weichenstellung auch auf sein Herz hören.“ Ein Ratschlag, den er auch heute noch jungen …
 
Der IT-Fachkräftemangel ist eine große Herausforderung für das Gesundheitswesen. Die digitale Medizin braucht Expert*innen aus der medizinischen Informatik und Ärzt*innen mit digitalen Kompetenzen. Aus- und Weiterbildung sind der Schlüssel dazu. Der IT-Fachkräftemangel ist eine große Herausforderung, auch für das Gesundheitswesen. Denn eine digital…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode hat Dennis drei Tipp…
 
Ein deutscher IT-Vorstand spricht Klartext über die Macht in der Cloud und das Internet in der Industrie.Amazon, Google und Microsoft verdienen Milliarden und haben längst eine gewaltige IT-Infrastruktur rund um den Globus etabliert. Wo ist im Konzert der Großen eigentlich der Platz für ein Unternehmen wie die in Darmstadt ansässige Software AG? Ch…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis darüb…
 
Was ändert sich für die Internet-Konzerne und was wird aus dem Netz selbst?Militante Anhänger des scheidenden amerikanischen Präsidenten organisieren sich auf sozialen Medien. Zugleich lösten die gesperrten Accounts von Donald Trump eine neue Diskussion darüber aus, was im Internet gesagt werden soll und darf. Neue Regeln hat wiederum nicht nur Joe…
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode spricht Dennis über …
 
Über schnellere Prozessoren, Nano-Antikörper, Fitness-Programme und mehr.Welche technologischen Durchbrüche bringt das neue Jahr? Wir diskutieren, wie sich Smartphones und Laptops weiterentwickeln, das Universum weiter erforscht wird, zukünftig Medikamente entstehen und mehr. Und welche Veränderungen gerade durch die Pandemie beschleunigt werden - …
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode stellt Dennis den AW…
 
Der Frauenanteil stagniert seit Jahren, trotz vieler Initiativen. Warum so wenig Frauen in der IT-Branche arbeiten und wieso sich die Inhalte des Informatikunterrichts ändern müssen, darüber sprechen Prof. Dr. Katharina Hölzle und Lucia Hartig.Von Experten des Hasso-Plattner-Instituts und Moderator Leon Stebe
 
Der offizielle deutschsprachige Podcast rund um Amazon Web Services (AWS), für Neugierige, Cloud-Einsteiger und AWS-Experten, produziert von Dennis Traub, Developer Advocate bei AWS. Bei Fragen, Anregungen und Feedback wendet euch gerne direkt an Dennis auf Twitter (@dtraub) oder per Mail an traubd@amazon.com. In dieser Episode stellt Dennis AWS Bu…
 
Loading …

Kurzanleitung

Google login Twitter login Classic login