"Materials in the Flatland," KS (Kostya) Novoselov, University of Manchester
When one writes with a pencil, thin flakes of graphite are left on the surface. Some of them are only one angstrom thick and can be viewed as individual atomic ...
Aspen Physics
Second NeuroMat Young Researchers Workshop - Part I
The Research, Innovation and Dissemination Center for Neuromathematics (NeuroMat) will hold the “Second NeuroMat Young Researchers Workshop” in São ...
NeuroMat
Mod-07 Lec-02 Homomorphism
Formal Languages and Automata Theory by Dr. Diganta Goswami & Dr. K.V. Krishna,Department of Mathematics,IIT Guwahati.For more details on NPTEL visit ...
nptelhrd
Physics ∩ ML Workshop (Day 1): Short Talks
The goal of Physics ∩ ML is to bring together researchers from machine learning and physics to learn from each other and push research forward together.
Microsoft Research
Professor Rens Bod: How the humanities have changed the world
Humanities are increasingly viewed as a luxury pastime, useless for economy. Most reactions are defensive such as “Humanities lead to a critical mind”, ...
Carlsbergfondet
Using unsupervised machine learning to uncover hidden scientific knowledge | AISC
Speaker(s): Vahe Tshitoyan Facilitator(s): Shahrzad Hosseini Find the recording, slides, and more info at ...
ML Explained - Aggregate Intellect - AI.SCIENCE
Programming by Sketching
(October 9, 2009) Ras Bodik, from UC Berkeley Computer Science, discusses how partial programs can communicate programmer insight, how suitable ...
Stanford
Group actions on 1-manifolds: A list of very concrete open questions – Andrés Navas – ICM2018
Dynamical Systems and Ordinary Differential Equations Invited Lecture 9.8 Group actions on 1-manifolds: A list of very concrete open questions Andrés Navas ...
Rio ICM2018
Larry Wall (TimToady) - Perl 6
Let's learn about Perl 6 With Larry Wall!
Conference in the Cloud! A Perl and Raku Conf
Hugo Larochelle, Google Brain: Autoregressive Generative Models with Deep Learning
Preserve Knowledge
Bart Janssens: Building finite-element matrix expressions with Boost Proto and the Eigen library
tutorial will show how to tackle two problems encountered during the development of our domain specific language: the use of an external expression template ...
CppNow
[PURDUE MLSS] Introduction to Machine Learning by Dale Schuurmans Part 6/6
Lecture slides: http://learning.stat.purdue.edu/mlss/_media/mlss/schuurmans.pdf Abstract of the talk: This course will provide a simple unified introduction to ...
Purdue University
Compile time regular expressions - Hana Dusíková - Meeting C++ 2018
Compile time regular expressions Hana Dusíková Meeting C++ 2018 Web: https://compile-time.re Slides: https://meetingcpp.com/mcpp/slides.
Meeting Cpp
Colloquium | Einstein-Rosen Gravitational Waves & Faces of Physical Reality | Prof. Abhay Ashtekar
Speaker: Abhay Ashtekar Institute for Gravitation & the Cosmos and Physics Department The Pennsylvania State University, University Park, PA 16802 ...
IIT Gandhinagar
Keynote
Raymond Hettinger Raymond Hettinger is a freelance programmer with experience in cloud computing, high frequency trading, genomics, and optimization.
Next Day Video
Module 2: Software Specifications
Mayur Naik
Session 3: Deep Learning Neural Network Architectures
Watch this video with AI-generated Table of Content (ToC), Phrase Cloud and In-video Search here: ...
ICML IJCAI ECAI 2018 Conference Videos
NCASO Lecture 38, Keynote slides with voiceover
Lecture 38 "What We Didn't Cover: The Present and Future" in course: Natural Computation and Self-Organization: The Physics of Information Processing in ...
YoDrChaos
Laura Ioana Ciobanu Radomirovic: Equations in groups, formal languages and complexity
The lecture was held within the framework of the Hausdorff Trimester Program: Logic and Algorithms in Group Theory. Abstract: For a group G, solving equations ...
Hausdorff Center for Mathematics
Mapping the Future of Research Assessment at Imperial College London
Imperial College has signed the Declaration on Research Assessment (DORA). What does that mean for academic career progression and for research in ...
Imperial College London
"Unraveling Elusive Cosmic Particle Mysteries with High-Energy Neutrinos" Kohta Murase (Penn State)
Unraveling Elusive Cosmic Particle Mysteries with High-Energy Neutrinos New frontiers of astroparticle physics have been opened by IceCube's discovery of ...
Brown University Department of Physics
Talks # 15: Shubhadeep Roychowdhury; Applying Machine Learning on Source Code
In recent times, Machine Learning, especially deep learning, has shown enormous potential to learn latent patterns from data and is practically breaking one ...
Abhishek Thakur
Symbolic Automata for Static Specification Mining
In a world where programming is largely based on using APIs, semantic code search emerges as a way to effectively learn how such APIs should be used.
Microsoft Research
Monoidal Parsing - Boston Haskell Meetup
October Boston Haskell Meetup @ ThoughBot Well known Haskell guru Edward Kmett speaking about parsing programs (with Haskell-like syntax) in parallel ...
Boston Haskell
"Entity-Based Task Completion and its Natural Language Interface in Alexa," by Xiaodong Fan
A significant portion of user requests in Alexa is about task completion, in particular, fulfilled by taking actions on entities such as listening to music and ordering ...
Association for Computing Machinery (ACM)
Ch. 8.5 Creating the Spot Class and Saving Data to Cloud Firestore
IMPORTANT NOTE: Click "Cloud Firestore" NOT "Real Time Database". Google changed the interface since this video was recorded. In the video when I click ...
John Gallaugher
Hypothesis: Property-Based Testing for Python - Rae Knowler
We all know we should be writing tests, but coming up with tests for every edge case is hard work and you will inevitably miss some. In this talk, I'll show you how ...
PyCon Thailand
03 Keyword searching and indexing
Keyword searching and indexing. Speakers: - Roger Labahn (Universität Rostock) - Alejandro Toselli (Universitat Politècnica de València) Chair: Louise ...
READ COOP SCE
Graham Leigh: On the computational content of classical sequent calculus
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Computational interpretations of ...
Hausdorff Center for Mathematics
11 Sequential Data: Markov Models, Word Embeddings and LSTMs
In the last lectures, we will discuss various deviations from the standard offline machine learning recipe we've discussed so far. Today: learning sequences.
MLVU
Prolog 2-7: A rolling term gathers no constraints
Constraint logic programming extends the computational capabilities of Prolog programs for combinatorial problems with integer solutions. Instead of being ...
Ilkka Kokkarinen
RubyConf 2017: What If... ?: Ruby 3 by Eric Weinstein
What If... ?: Ruby 3 by Eric Weinstein What if Professor X and Magneto formed the X-Men together? What if Jessica Jones had joined the Avengers? What if Tony ...
Confreaks
Peter Pagin – Indexicals, Time, and Compositionality
Peter Pagin (Stockholm) Indexicals, Time, and Compositionality Kaplan's official argument in “Demonstratives” for Temporalism, the view that some English ...
UConn Logic Group
Michael Dunn: "Logic, Information, and Computation"
Presented Oct. 9, 2013, in the Info-Metrics Seminar Series at American University in Washington, DC. http://www.american.edu/cas/economics/info-metrics/ ...
AUcollege
Crossing the Language Divide in Open Source Projects - GitHub Universe 2016
In The Hitchhikers's Guide to the Galaxy, the Babel Fish is a universal translator. By allowing all beings to communicate regardless of language, it 'neatly crosses ...
GitHub
Invariants of manifolds from 6 dimensions 2
Invariants of manifolds from 6 dimensions 2 Speaker: Pavel PUTROV (ICTP) School and Workshop on Gauge Theories and Differential Invariants | (smr 3326) ...
ICTP Mathematics
Mini Course Medical Artificial Intelligence Part 2
In part 2 of the Mini-Course Medical AI, after a short reflection on part 1, we introduce the students to the underlying physics of data, starting from white noise, the ...
Andreas Holzinger
Computers versus Common Sense [1/5]
It's way past 2001 now, where the heck is HAL?  For several decades now we've had high hopes for computers amplifying our mental abilities -- not just ...
Microsoft Research
Part 02: Tutorial on lex/yacc.
This is part 2 in our tutorial on lex / yacc. In this tutorial, we take a look at yacc, and see how it can be used together with lex to create a simple language ...
Jonathan Engelsma
Haskell Live-Coding, Session 2.2, Q&A
A live Q&A session about all things Haskell. -- Watch live at https://www.twitch.tv/ekmett.
Edward Kmett
Data Hub Sessions: Introduction to Vector Embedding
Vector embedding is a powerful technique for learning quantitative representations from qualitative data. It has applications in traditional machine learning ...
Communitech
6th Session of Turing100 | Life & Work of Jim Gray | Dr.Anand Deshpande
Watch Dr. Anand Deshpande, Chairman, Managing Director & CEO, Persistent systems Ltd talk about Life and Work of Jim Gray ( 1998 Turing Award Recipient) ...
Persistent Systems