Inductive logic programming

Golem (ILP)

Golem is an inductive logic programming algorithm developed by Stephen Muggleton and Feng. It uses the technique proposed by Gordon Plotkin. Therefore, only positive examples are used and the search is bottom-up.Negative examples can be used to reduce the size of the hypothesis by deleting useless literals from the body clause. * v * t * e (Wikipedia).

Video thumbnail

Creating Gollum

This month sees the release of the second film in The Hobbit trilogy: The Desolation of Smaug. Perhaps the most well-known of its characters is Gollum, a mysterious cave-dwelling creature corrupted by the power of the ring. His digital character was created by New Zealand-based visual ef

From playlist Technology

Video thumbnail

GopherCon 2014 Gobot: Go Powered Robotics and Physical Computing by Ron Evans and Adrian Zankich

The robotics revolution has already begun. You can buy drones and robotic devices at local retail stores. Unfortunately, it's hard to develop code for robots, and nearly impossible to create solutions that integrate multiple different kind of devices. Introducing Gobot, a set of robotics l

From playlist GopherCon 2014

Video thumbnail

0192 [ C++/React/Redux ] Golem: Game/Twitch integration

This is #192 in my series of live (Twitch) coding streams. This stream I added general command/response templates to the Golem, made a Golem control panel, and deployed the latest updates to my game platform. Notebook page: https://tinyurl.com/yxacgoet -- Watch live at https://www.tw

From playlist Excalibur

Video thumbnail

0191 [ C++/React/Redux ] Golem: Game/Twitch integration

This is #191 in my series of live (Twitch) coding streams. This stream I started integrating my game with Twitch chat, in order to track points earned by viewers helping me out in the stream. Notebook page: https://tinyurl.com/y6m5a6wo -- Watch live at https://www.twitch.tv/rhymu8354

From playlist Excalibur

Video thumbnail

Poop-O-Meter | Crowd Control

An experiment used to encourage people to scoop their dogs poop is turned into a game. ➡ Subscribe: http://bit.ly/NatGeoSubscribe About National Geographic: National Geographic is the world's premium destination for science, exploration, and adventure. Through their world-class scientis

From playlist Crowd Control | National Geographic

Video thumbnail

Foxes - Youth (Adventure Club Remix)

Download the Original: http://apple.co/1q2pluH YES!!! Adventure Club never disappoints. That is a fact! Adventure Club https://www.facebook.com/adventureclub https://www.soundcloud.com/adventureclub Foxes: https://www.facebook.com/iamfoxes Picture: http://OmeN2501.deviantart.com/art/Ra

From playlist dubstep

Video thumbnail

Game of Life: Gosper glider gun

The Gosper glider gun is a pattern in the Game of Life. The Game of Life is a cellular automaton invented by John Conway in the late 1960s. I write about it in my book Alex Through the Looking-Glass: How Life Reflects Numbers and Numbers Reflect Life: http://www.amazon.co.uk/dp/14088177

From playlist The Game of Life

Video thumbnail

Balloons for Planetary Exploration (AEROBOTS - 2010)

Development of a prototype ballon based Mars exploration platform. Aerial platforms can become an integral part of surface exploration missions on planets or moons with an atmosphere, like Venus, Mars or Titan. One of the most immediate applications for aerobots isultra-high resolution ima

From playlist Mars Aircraft

Video thumbnail

Learning Explanatory Rules from Noisy Data - Richard Evans, DeepMind

Artificial Neural Networks are powerful function approximators capable of modelling solutions to a wide variety of problems, both supervised and unsupervised. As their size and expressivity increases, so too does the variance of the model, yielding a nearly ubiquitous overfitting problem.

From playlist Logic and learning workshop

Video thumbnail

Michal Pilipczuk: Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints

We show that verifying feasibility of ILP instances of the form fAx = b; x 0g where A has m rows (constraints) and coecients in f􀀀1; 0; 1g cannot be done in time 2 to the power of o(m log m) * n to the power of O(1) assuming the Exponential Time Hypothesis. This shows that the running tim

From playlist Workshop: Parametrized complexity and discrete optimization

Video thumbnail

Michal􏰀 Pilipczuk: Introduction to parameterized algorithms and applications, lecture IV

The mini-course will provide a gentle introduction to the area of parameterized complexity, with a particular focus on methods connected to (integer) linear programming. We will start with basic techniques for the design of parameterized algorithms, such as branching, color coding, kerneli

From playlist Summer School on modern directions in discrete optimization

Video thumbnail

IEEE ICBC Tutorial - 4 190514

[Title] Interledger: theory and practice [Presenter] Santeri Paavolainen, Aalto University, Finland Pekka Nikander, Aalto University, Finland [Abstract] With the spread of pragmatic approaches to blockchains and distributed ledger technologies (DLTs), the need to operate securely across

From playlist IEEE ICBC Tutorial

Video thumbnail

NIPS 2011 Domain Adaptation Workshop: Adaptation without Retraining

Domain Adaptation Workshop: Theory and Application at NIPS 2011 Invited Speaker: Adaptation without Retraining by Dan Roth Dan Roth is a Professor in the Department of Computer Science and the Beckman Institute at the University of Illinois at Urbana-Champaign and a University of Illi

From playlist NIPS 2011 Domain Adaptation Workshop

Video thumbnail

21.2.1 Instruction-level Parallelism

MIT 6.004 Computation Structures, Spring 2017 Instructor: Chris Terman View the complete course: https://ocw.mit.edu/6-004S17 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP62WVs95MNq3dQBqY2vGOtQ2 21.2.1 Instruction-level Parallelism License: Creative Commons BY-NC-SA

From playlist MIT 6.004 Computation Structures, Spring 2017

Video thumbnail

GopherCon 2014 Inside the Gophers Studio with Blake Mizerany

Presented with the realization that his thunder for his original talk had been covered by the presenters from the previous day Blake switched it up and conducts an insightful panel with the Go team, instead of his original presentation: Go's stdlib is filled with interesting solutions to

From playlist GopherCon 2014

Video thumbnail

Samitha Samaranayake: "Vehicle routing in transit centric mobility-on-demand systems"

Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop III: Large Scale Autonomy: Connectivity and Mobility Networks "Vehicle routing in transit centric mobility-on-demand systems" Samitha Samaranayake - Cornell University Institute for Pure and Applied Mathemati

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

Hippos Eating Watermelon | Magic of Disney's Animal Kingdom

Tequila the Hippo enjoys a watermelon snack on a summer day. The Magic of Disney's Animal Kingdom hands viewers an Access All Areas pass to two stunning animal parks— Disney's Animal Kingdom and Epcot’s The Seas with Nemo & Friends. Meet their incredible animals and passionate keepers and

From playlist Magic of Disney's Animal Kingdom

Video thumbnail

Go Lesson 1: The flow of the game | Playing Go | N J Wildberger

A first lesson on how to play Go, from an advanced amateur player, with an emphasis on the overall strategical flow of the game. Go is an ancient board game, originally from China, and played widely also in Japan, Korea, Taiwan, and indeed throughout the world. It has seen considerable p

From playlist Playing Go

Video thumbnail

Alberto Del Pia: Proximity in concave integer quadratic programming

A classic result by Cook, Gerards, Schrijver, and Tardos provides an upper bound of n∆ on the proximity of optimal solutions of an Integer Linear Programming problem and its standard linear relaxation. In this bound, n is the number of variables and ∆ denotes the maximum of the absolute va

From playlist Workshop: Tropical geometry and the geometry of linear programming

Related pages

Inductive logic programming