Process calculi

Temporal Process Language

In theoretical computer science, Temporal Process Language (TPL) is a process calculus which extends Robin Milner's CCS with the notion of multi-party synchronization, which allows multiple process to synchronize on a global 'clock'. This clock measures time, though not concretely, but rather as an abstract signal which defines when the entire process can step onward. (Wikipedia).

Video thumbnail

Live CEOing Ep 223: Temporal Logic in Wolfram Language

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

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

Machine Learning in the Wolfram Language: JSSAC 2016 Seminar

Learn more about machine learning in the Wolfram Language: http://reference.wolfram.com/language/guide/MachineLearning.html In this presentation, Etienne Bernard, Lead Architect in the Advanced Research Group at Wolfram Research, shows functions of machine learning in the Wolfram Language

From playlist Wolfram Language

Video thumbnail

Stephen Wolfram's Introduction to the Wolfram Language

Stephen Wolfram introduces the Wolfram Language in this video that shows how the symbolic programming language enables powerful functional programming, querying of large databases, flexible interactivity, easy deployment, and much, much more. To learn more about the Wolfram Language, visi

From playlist Wolfram Language

Video thumbnail

Financial Time Series Processing

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technologyconference/ Speaker: Anmol Bajracharya Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices,

From playlist Wolfram Technology Conference 2017

Video thumbnail

The Essence of Functional Programming

This talk dives into the origins of functional programming, going all the way back to where the term was first introduced, to see how it evolved over time into our modern understanding of what FP essentially involves. PUBLICATION PERMISSIONS: Original video was published with the Creative

From playlist Functional Programming

Video thumbnail

Probabilistic logic programming and its applications - Luc De Raedt, Leuven

Probabilistic programs combine the power of programming languages with that of probabilistic graphical models. There has been a lot of progress in this paradigm over the past twenty years. This talk will introduce probabilistic logic programming languages, which are based on Sato's distrib

From playlist Logic and learning workshop

Video thumbnail

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

Video thumbnail

Language (Part 2) || Cognitive Neuroscience (PSY315W)

This is a recorded version of a livestream distance learning lecture, recorded during the coronavirus pandemic of 2020. Topics include: Language understanding, semantic and syntactical processing in the brain, and the ventral/dorsal streams of speech processing/production. I claim no own

From playlist Cognitive Neuroscience Lectures

Video thumbnail

Introduction to Signal Processing

http://AllSignalProcessing.com for free e-book on frequency relationships and more great signal processing content, including concept/screenshot files, quizzes, MATLAB and data files. Introductory overview of the field of signal processing: signals, signal processing and applications, phi

From playlist Introduction and Background

Video thumbnail

Detecting semantic shift in large corpora by exploiting temporal random indexing

During the last decade, the surge in available data spanning different epochs has inspired a new analysis of cultural, social, and linguistic phenomena from a temporal perspective. In this talk, I will describe Temporal Random Indexing (TRI) a method that enables the analysis of the time e

From playlist Turing Seminars

Video thumbnail

Working with Time Series

To learn more about Wolfram Technology Conference, please visit: https://www.wolfram.com/events/technology-conference/ Speaker: Gosia Konwerska Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, a

From playlist Wolfram Technology Conference 2018

Video thumbnail

How Language Enters Perception - John Campbell (2017)

John Campbell gives a series of four lectures on "How Language Enters Perception" as part of a 2017 Jean-Nicod conference. The introduction to the speaker has been edited out. 00:00 Space & Language 56:51 Questions 1 1:26:30 Time 2:36:23 Questions 2 3:15:33 Tool Use 4:17:37 Questions 3 4:

From playlist Philosophy of Mind

Video thumbnail

O'Reilly Webcast: How to Develop Language Annotations for Machine Learning Algorithms

Text-based data mining and information extraction systems that make use of machine learning techniques require annotated datasets for training the algorithms. In this webcast presented by James Pustejovsky and Amber Stubbs, we will discuss the steps involved in creating your own training c

From playlist O'Reilly Webcasts 2

Video thumbnail

AI Weekly Update #11 - November 4th, 2019

https://deepmind.com/blog/article/AlphaStar-Grandmaster-level-in-StarCraft-II-using-multi-agent-reinforcement-learning https://www.microsoft.com/en-us/research/blog/pipedream-a-more-effective-way-to-train-deep-neural-networks-using-pipeline-parallelism/ https://ai.googleblog.com/2019/10/le

From playlist AI Research Weekly Updates

Video thumbnail

Time Series Processing

For the latest information, please visit: http://www.wolfram.com Speaker: Gosia Konwerska Wolfram developers and colleagues discussed the latest in innovative technologies for cloud computing, interactive deployment, mobile devices, and more.

From playlist Wolfram Technology Conference 2016

Video thumbnail

Spotlight: This Is My Brain On...

Strip away the trimmings of a traditional science presentation, add cocktails, and you have WSF Spotlight. Here, cognitive neuroscientist Jamshed Bharucha presents scans of his own brain and teases apart the deeply rooted interplay between the brain, dance, music, and emotion. Original Pr

From playlist SPOTLIGHT: Innovation from Unexpected Places

Video thumbnail

The Wolfram Compiler

The Wolfram Compiler converts Wolfram Language code into native machine instructions that run directly on the machine hardware. It offers a powerful way to speed up programs and provides many opportunities for innovative programming features such as building connections to external librari

From playlist Wolfram Technology Conference 2022

Related pages

Process calculus | Theoretical computer science | Calculus of communicating systems