Models of computation

Interaction nets

Interaction nets are a graphical model of computation devised by in 1990 as a generalisation of the proof structures of linear logic. An interaction net system is specified by a set of agent types and a set of interaction rules. Interaction nets are an inherently distributed model of computation in the sense that computations can take place simultaneously in many parts of an interaction net, and no synchronisation is needed. The latter is guaranteed by the strong confluence property of reduction in this model of computation. Thus interaction nets provide a natural language for massive parallelism. Interaction nets are at the heart of many implementations of the lambda calculus, such as efficient closed reduction and optimal, in Lévy's sense, Lambdascope. (Wikipedia).

Interaction nets
Video thumbnail

Networking

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist Networking

Video thumbnail

10 Relations (still with the not-so-exciting-stuff)

This video introduces relations between pairs of elements.

From playlist Abstract algebra

Video thumbnail

What Is Interaction Design?: Understanding Design

Interaction design is a new field of design originated by Bill Moggridge and Bill Verplank. Interaction design focuses on the ways people interact with objects, such as the range of new electronic devices you use today. Join Prasad Boradkar, a professor emeritus of industrial design at A

From playlist Understanding Design

Video thumbnail

the Internet (part 2)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

What Are Interspecific & Intraspecific Interactions | Ecology & Environment | Biology | FuseSchool

What Are Interspecific & Intraspecific Interactions | Ecology & Environment | Biology | FuseSchool From this video you should know the difference between interspecific and intraspecific, and that interactions can be positive, negative or neutral. Interspecific interactions are between d

From playlist BIOLOGY: Ecology & Environment

Video thumbnail

Adding Connections on LinkedIn

In this video, you’ll learn how to add connections on LinkedIn. Visit https://edu.gcfglobal.org/en/linkedin/adding-connections-on-linkedin/1/ for our text-based lesson. We hope you enjoy!

From playlist LinkedIn

Video thumbnail

Koko Muroya: Program semantics with token passing

HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Equivalence Relations Definition and Examples

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Equivalence Relations Definition and Examples. This video starts by defining a relation, reflexive relation, symmetric relation, transitive relation, and then an equivalence relation. Several examples are given.

From playlist Abstract Algebra

Video thumbnail

Will Troiani - Proofs as permutations (Geometry of Interaction 0)

In the third of Will's talks on linear logic and proof nets, he introduces cut-elimination for multiplicative proof nets and shows how to associate permutations to a proof-net and its normal form, with the two permutations related by an interesting identity that is the starting point for G

From playlist Computation, Geometry, Logic seminar

Video thumbnail

Professor Gesine Reinert, University of Oxford

Prof. Gesine Reinert is a University Lecturer at the Department of Statistics, Oxford, and Fellow at Keble College, Oxford (2000 – present). Her current and main research interests are in network statistics and to investigate such networks in a statistically rigorous fashion. Often this w

From playlist Short Talks

Video thumbnail

Dipole Dipole Forces of Attraction - Intermolecular Forces

This chemistry video tutorial provides a basic introduction into dipole dipole forces of attraction. A dipole is a molecule that contains a permanent separation of charge. One side of the molecule may have a partial positive charge while the other side may contain a partial negative char

From playlist New AP & General Chemistry Video Playlist

Video thumbnail

Interaction Forces

040 - Interaction Forces In this video Paul Andersen explains how forces on an object always require another object. An object cannot exert a force on itself. If net forces on an object are balanced the object will remain at rest or move with a constant velocity. However if the net fo

From playlist AP Physics 2 Videos

Video thumbnail

MS .Net: An Intellisence Way for Web Development | Webinar -1 | Edureka

Watch Sample Class recording: http://goo.gl/TpsYPq Edureka's Microsoft .NET course is a 30 hours course, which covers all the concepts that made .NET probably the most popular Microsoft Framework. Starting from the basics i.e. Framework Architecture, create the first and basic application

From playlist Webinars by Edureka!

Video thumbnail

Stanford Seminar - Security and the Software Defined Network

"Security and the Software Defined Network" - Phil Porras of SRI International Colloquium on Computer Systems Seminar Series (EE380) presents the current research in design, implementation, analysis, and use of computer systems. Topics range from integrated circuits to operating systems a

From playlist Engineering

Video thumbnail

Courses - R. SUN "Brownian web, Brownian net, and their universality"

The Brownian web is the collection of one-dimensional coalescing Brownian motions starting from every point in space-time. Originally conceived by Arratia in the context of the one-dimensional voter model and its dual coalescing random walks, the Brownian web has since been shown to arise

From playlist T1-2015 : Disordered systems, random spatial processes and some applications

Video thumbnail

Yanjun Qi: "Making Deep Learning Interpretable for Analyzing Sequential Data about Gene Regulation"

Computational Genomics Winter Institute 2018 "Making Deep Learning Interpretable for Analyzing Sequential Data about Gene Regulation" Yanjun Qi, University of Virginia Institute for Pure and Applied Mathematics, UCLA March 1, 2018 For more information: http://computationalgenomics.bioin

From playlist Computational Genomics Winter Institute 2018

Video thumbnail

LinkedIn

If you are interested in learning more about this topic, please visit http://www.gcflearnfree.org/ to view the entire tutorial on our website. It includes instructional text, informational graphics, examples, and even interactives for you to practice and apply what you've learned.

From playlist LinkedIn

Video thumbnail

23. Diamagnetic Anisotropy and Spin-Spin Splitting

Freshman Organic Chemistry II (CHEM 125B) Through-space interaction between magnets of fixed strength and orientation averages to zero during random molecular tumbling, suggesting that the local field about a proton should be sensitive only to electrons that orbit about itself. The che

From playlist Freshman Organic Chemistry II with Michael McBride

Related pages

Linear graph grammar | Lambda calculus | Graph rewriting | Model of computation | Linear logic | Proof net | Geometry of interaction