Formal Aspects of Computing

Quantum Computer in a Nutshell (Documentary)

The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr

From playlist Quantum computing

Computer Science Basics: Hardware and Software

We use computers every day, but how often do we stop and think, “How do they do what they do?” This video series explains some of the core concepts behind computer science. To view the entire playlist, visit https://www.youtube.com/playlist?list=PLpQQipWcxwt-Q9izCl0mm-QZ4seuBdUtr. We hop

From playlist Computer Science Basics

Computer Basics: What Is a Computer?

Computers are all around us, and they play an important role in our lives. But what exactly is a computer? We're going to answer that question and give you an overview of some of the different types of computers you might use. 0:00 Intro 0:22 Ones and zeros 0:39 Hardware and software 1:0

From playlist Starting out with Technology

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

CqJhnANHFgQ

From playlist Princeton: COS 226: Algorithms and Data Structures (Fall 2016) | CosmoLearning CS

Eva Darulova : Programming with numerical uncertainties

Abstract : Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. Finite-precision arithmetic, such as fixed-point or floating-point, is a common and efficient choice, but introd

From playlist Mathematical Aspects of Computer Science

Computer Fundamentals - Basics for Beginners

A computer is an electronic machine that accepts data, stores and processes data into information. The computer is able to work because there are instructions in its memory directing it. The parts of the computer that you can see and touch, such as the keyboard, monitor and the mouse are

From playlist Computer

Hardware Basics

Essential concepts of computer hardware. Part of a larger series teaching programming. Visit http://codeschool.org

From playlist Hardware Basics

Mathematical Knowledge Management software survey (paper review)

In this video I talk about the paper "The Space of Mathematical Software Systems — A Survey of Paradigmatic Systems" found here: https://arxiv.org/abs/2002.04955 My notes on the text and all links shown on in the video can be found here: https://gist.github.com/Nikolaj-K/87371836d1dd1abfba

From playlist Reviews

Quantum Mechanics -- a Primer for Mathematicians

Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w

From playlist Mathematics

Talkrunde: Formalisierung der Mathematik - Wann führen Computer die Beweise?

Im Rahmen der 5. Bonner Mathenacht am 29.04.2022,, organisiert vom Hausdorff Center for Mathematics, fand eine Talkrunde zum Thema "Formalisierung der Mathematik - Wann führen Computer die Beweise?" statt. Teilnehmer*innen waren: Prof. Dr. Erika Abraham (RWTH Aachen), Prof. Dr. Peter Koep

From playlist Hausdorff Center goes public

The Mathematical Truth | Enrico Bombieri

Enrico Bombieri, Professor Emeritus, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/bombieri October 29, 2010 In this lecture, Professor Enrico Bombieri attempts to give an idea of the numerous different notions of truth in mathematics.

From playlist Mathematics

Burning Bridges: Questioning Practice, Part 1

Over the two past decades, digital drawing has irrevocably transformed architectural education and practice alike. This panel assembled leading figures in digital visualization who articulate the history, opportunities, and the too often underdeveloped theoretical underpinning of this rev

From playlist 'Is Drawing Dead?' YSoA Symposium

6.2 Execution Tracing

From playlist Automated Visual Software Analytics by Prof. Dr. Jürgen Döllner

EMBERCONF 2015 - DYNAMIC GRAPHIC COMPOSITION IN EMBER

BY: CHRIS HENN Ember's declarative object model and data-binding make it an excellent fit for building data visualizations that respond to change. This talk presents two ways to think about building dynamic SVG visualizations in Ember in the context of Hadley Wickham's The Grammar of Grap

From playlist EmberConf 2015

Michael Herty: "Novel Control Concepts for Heterogenous Systems"

Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop IV: Social Dynamics beyond Vehicle Autonomy "Novel Control Concepts for Heterogenous Systems" Michael Herty - RWTH Aachen University Institute for Pure and Applied Mathematics, UCLA December 2, 2020 For more

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Andreas E. Feldmann: A (1+ε)-embedding of low highway dimension graphs into bounded treewidth graphs

Andreas Emil Feldmann: A (1+ε)-embedding of low highway dimension graphs into bounded treewidth graphs Graphs with bounded highway dimension were introduced in [Abraham et al., SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distributio

From playlist HIM Lectures 2015

Lecture 46 — Opinion Mining and Sentiment Analysis Latent Aspect Rating Analysis - Part 1 | UIUC

From playlist Text Mining and Analytics [FULL COURSE] | UIUC

Computer Literacy - (unit 4) - the internet - 2 of 4

Forth unit of a series for newbie computer users. See http://proglit.com/computer-skills/ for additional information and material.

From playlist Computer Literacy - (unit 4) - the internet

Minds, Brains, & Science - John Searle (1984 Reith Lectures)

In this series of lectures, John Searle, former Professor of Philosophy at Berkeley, examines the connections between minds, brains, and science. These lectures were given as part of the 1984 BBC Reith Lectures, but are still just as relevant today. Some of the topics discussed include fre

From playlist Philosophy of Mind