Models of computation

Counter-machine model

Although some authors use the name "register machine" synonymously with "counter machine", this article will give details and examples of only of the most primitive species – the "counter machine" – of the genus "register machine." Within the species "counter machine" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). These models will be described in more detail in the following. (Wikipedia).

Video thumbnail

Marble Machine Spoon Elevator 3D Model

Just for fun. It was based on several videos from Youtube about marble machines, and some of my own ideas. Modeled with Solidworks 2015. Rendered with Simlab Composer 6 Mechanical Edition. Gifs made with Photoscape. Renders edited with IrfanView.

From playlist Marble Machines

Video thumbnail

A Question Of Balance Wooden Toy 3D Model

Modeled and rendered with Solidworks.

From playlist Marble Machines

Video thumbnail

Marble automata

I found the plans for this model on this site (http://scrollsawworkshop.blogspot.com.br/2008/10/marble-automation-machine.html). Free 3D model at https://skfb.ly/o6vRE.

From playlist Marble Machines

Video thumbnail

Walking Gears

A simple gears mechanism moving a frame structure. Used in robot toys. Free 3D model at https://skfb.ly/o6X7q.

From playlist Walking Machines

Video thumbnail

Simple Machines (1 of 7) Pulleys; Defining Forces, Distances and MA

For the pulley simple machine this video defines the terms input and output force, input and output distance and mechanical advantage. A simple machine is a mechanical device that changes the direction and the magnitude of a force. In general, they can be defined as the simplest mechanis

From playlist Mechanics

Video thumbnail

Walking Robot Mechanism 3D Model

A simple walking machine, used to teach kinematics. It uses 4-bars mechanisms to create the movements. Free 3D model at https://skfb.ly/onQMo.

From playlist Walking Machines

Video thumbnail

Hand punch machine 1

Combination of gear drive and slider-crank mechanism. Inventor files of this video: http://www.mediafire.com/file/g440tz6eu1brn9c/HandPunch1Inv.zip/file

From playlist Mechanisms

Video thumbnail

Simple Machines (4 of 7) Pulleys; Calculating the Amount of Work Done

For the pulley simple machine shows how to calculate the amount of work done when raising an object and why simple machines do not make your work easier! A simple machine is a mechanical device that changes the direction and the magnitude of a force. In general, they can be defined as th

From playlist Mechanics

Video thumbnail

Peaucelier Marble Machine

The main idea was taken from a Youtube video I saw long ago, but the mechanism is very different. Modeled with Solidworks 2016. Rendered with Simlab Composer 8 Mechanical Edition. Gifs made with PhotoScape. Renders edited with IrfanView.

From playlist Marble Machines

Video thumbnail

Rocky Mountain Ruby 2012 - Let's talk concurrency by Jose Valim

For a long time, the de facto way of doing multi-core concurrency was using threads. However, the complexity of manipulating threads and state affected negatively how developers perceive concurrency. Fortunately, languages like Clojure and Erlang implement new paradigms that aim to make co

From playlist Rocky Mountain Ruby 2012

Video thumbnail

Live CEOing Ep 87: Natural Language Processing in Wolfram Language

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Natural Language Processing in the Wolfram Language.

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

TMCF workshop - Theory and methods challenges in counterfactual prediction, Karla Diaz-Ordaz

Prediction algorithms in AI use machine learning and statistics to make predictions about an event, given what we know now. Examples include whether a covid-19 patient will require ventilation, or whether a person seeking insurance will make a claim. These predictions can be used for plann

From playlist Theory and Methods Challenge Fortnights

Video thumbnail

Stanford Seminar -Drinking from the Firehose: How the Mill CPU Decodes 30+ Instructions per Cycle

"Drinking from the Firehose: How the Mill CPU Decodes 30+ Instructions per Cycle" -Ivan Godard, Out-of-the-Box Computing Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from

From playlist Engineering

Video thumbnail

Data - Deep Learning and Neural Networks with Python and Pytorch p.2

So now that you know the basics of what Pytorch is, let's apply it using a basic neural network example. The very first thing we have to consider is our data. Text-based tutorials and sample code: https://pythonprogramming.net/data-deep-learning-neural-network-pytorch/ Linode Cloud GPUs

From playlist Pytorch - Deep learning w/ Python

Video thumbnail

Brunsviga Model B Review / HowTo

The Brunsviga Model B adding machine, from the 1900s. It's a pinwheel calculator. More expensive than a Comptometer, cheaper than a Curta. This is episode 40 of my series about antique calculating devices! Original Curta photo by Rama, CC-BY-SA 3.0. Arithmometer photo by Wikipedia User:

From playlist Calculating Devices Review / HowTos

Video thumbnail

MACHINE SHOP TIPS #93 Checking the RPMs on Shop Machines tubalcain

Tubalcain demonstrates the use of 6 different revolution counters.

From playlist #1 MACHINE SHOP TIPS tubalcain playlist #1 thru #100

Video thumbnail

Nexus Trimester - Paul Beame (University of Washington) - 1

Branching Programs 1/3 Paul Beame (University of Washington) February 26,2016 Abstract: Branching programs are clean and simple non-uniform models of computation that capture both time and space simultaneously. We present the best methods known for obtaining lower bounds on the size of (l

From playlist Nexus Trimester - 2016 - Fundamental Inequalities and Lower Bounds Theme

Video thumbnail

Stanford Seminar - Sista: Speculative Inlining, Smalltalk-Stye

"Sista: Speculative inlining, Smalltalk-style" - Eliot Miranda of Cadence Design Systems and Clément Béra of INRIA, Lille, France About the talk: Sista is an adaptive optimizer using speculative inlining that is implemented entirely in Smalltalk, and is "live" in the system, meaning that

From playlist Engineering

Video thumbnail

Mechanical Dragonfly Automata Kit Build and Review!

Time for a model kit build! This steampunk-inspired mechanical dragonfly is something we've seen advertised on social media, and Norm assembles it to show you how the kit comes together, its motorized kinetic movement, and what hiccups he encountered along the way. It's an aesthetically be

From playlist Toys, Models and Collectibles

Video thumbnail

Simulating A Real-World System (Coffee Shop) In Go

Go's concurrency model makes it easy to develop scalable servers and data pipelines. Many of the patterns we use in developing concurrent code mirror structures in real-world systems. In this talk, Sameer presents a simulation of a small real world system and shows how variations in the de

From playlist Golang

Related pages

Rózsa Péter | Joachim Lambek | Diophantine equation | Primitive recursive function | Counter machine | Hao Wang (academic) | Turing machine | David Hilbert | Tag system | Post–Turing machine | Register machine | Time hierarchy theorem | Random-access machine | Wang B-machine | Space hierarchy theorem | Pointer machine | George Boolos | Hans Hermes