Process calculi

Stochastic probe

In process calculus a stochastic probe is a measurement device that measures the time between arbitrary start and end events over a stochastic process algebra model. (Wikipedia).

Video thumbnail

Early Stomper Tests

Enjoy a small collection of explosions from our preliminary tests of the prototype of what is to become Project Stomper.

From playlist Project Stomper Videos

Video thumbnail

Intrusion Detection: Part 1

Fundamental concepts of intrusion detection are discussed. Various types of intrusion are analyzed. Password management is explained.

From playlist Network Security

Video thumbnail

Intrusion Detection: Part 2

Fundamental concepts of intrusion detection are discussed. Various types of intrusion are analyzed. Password management is explained.

From playlist Network Security

Video thumbnail

Amazing railway track laying machine

I want one of these.

From playlist Science

Video thumbnail

AMAZING physics experiment Standing wave and stroboscope!!!

Physics (la physique) demonstrations

From playlist physics

Video thumbnail

exploratorium: an exhibition with strobo

exploratorium: an exhibition with strobo

From playlist Exploratorium through your eyes

Video thumbnail

EnCase Computer Forensics Demo

This is a short demo of EnCase I worked up. If you are interested in some of what professional computer forensics software can do then this is for you.

From playlist digital forensics

Video thumbnail

Sigmoid functions for population growth and A.I.

Some elaborations on sigmoid functions. https://en.wikipedia.org/wiki/Sigmoid_function https://www.learnopencv.com/understanding-activation-functions-in-deep-learning/ If you have any questions of want to contribute to code or videos, feel free to write me a message on youtube or get my co

From playlist Analysis

Video thumbnail

Steganography Tutorial - Hide Messages In Images

Steganography is the hiding of a secret message within an ordinary message and the extraction of it at its destination. Steganography takes cryptography a step further by hiding an encrypted message so that no one suspects it exists. Ideally, anyone scanning your data will fail to know it

From playlist Ethical Hacking & Penetration Testing - Complete Course

Video thumbnail

Smoking gun signal of primordial black holes from gravitational wave observat..by Suvodip Mukherjee

PROGRAM LESS TRAVELLED PATH TO THE DARK UNIVERSE ORGANIZERS: Arka Banerjee (IISER Pune), Subinoy Das (IIA, Bangalore), Koushik Dutta (IISER, Kolkata), Raghavan Rangarajan (Ahmedabad University) and Vikram Rentala (IIT Bombay) DATE & TIME: 13 March 2023 to 24 March 2023 VENUE: Ramanujan

From playlist LESS TRAVELLED PATH TO THE DARK UNIVERSE

Video thumbnail

Stochastic Gravitational Waves Windows to the Unknowns by Sanjit Mitra

Discussion Meeting The Future of Gravitational-Wave Astronomy ORGANIZERS: Parameswaran Ajith, K. G. Arun, B. S. Sathyaprakash, Tarun Souradeep and G. Srinivasan DATE: 19 August 2019 to 22 August 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore This discussion meeting, organized in c

From playlist The Future of Gravitational-wave Astronomy 2019

Video thumbnail

Counting Statistics in onset of Zeno Dynamics by Varun Dubey

ICTS In-house 2022 Organizers: Chandramouli, Omkar, Priyadarshi, Tuneer Date and Time: 20th to 22nd April, 2022 Venue: Ramanujan Hall inhouse@icts.res.in An exclusive three-day event to exchange ideas and research topics amongst members of ICTS.

From playlist ICTS In-house 2022

Video thumbnail

Primordial Black Holes from Quantum Diffusion during Cosmic Inflation by Vincent Vennin

PROGRAM: PHYSICS OF THE EARLY UNIVERSE - AN ONLINE PRECURSOR ORGANIZERS: Robert Brandenberger (McGill University, Montreal, Canada), Jerome Martin (Institut d'Astrophysique de Paris, France), Subodh Patil (Instituut-Lorentz for Theoretical Physics, Leiden, Netherlands) and L Sriramkumar (

From playlist Physics of The Early Universe - An Online Precursor

Video thumbnail

Lecture 5: Limits of Technologies

MIT HST.512 Genomic Medicine, Spring 2004 Instructor: Dr. Zoltan Szallasi View the complete course: https://ocw.mit.edu/courses/hst-512-genomic-medicine-spring-2004/ YouTube Playlist: https://www.youtube.com/watch?v=_-gQchCLmXk&list=PLUl4u3cNGP613PJMNmRjAIdBr76goU1V5 Limitations of massi

From playlist MIT HST.512 Genomic Medicine, Spring 2004

Video thumbnail

Signal correlation functions for parameter estimation - A. Tilloy - Workshop 1 - CEB T2 2018

Antoine Tilloy (Max Plank Institut für Quantenoptik, Garching) / 17.05.2018 Signal correlation functions for parameter estimation When continuously measuring a quantum system, one is typically interested in reconstructing the quantum state in real time as a function of the measured signa

From playlist 2018 - T2 - Measurement and Control of Quantum Systems: Theory and Experiments

Video thumbnail

Sarah Vigeland - Supermassive Black Holes and Merging Galaxies - IPAM at UCLA

Recorded 15 November 2021. Sarah Vigeland of the University of Wisconsin-Milwaukee presents "Supermassive Black Holes and Merging Galaxies: Low-Frequency Gravitational Wave Detection with Pulsar Timing Arrays" at IPAM's Workshop III: Source inference and parameter estimation in Gravitation

From playlist Workshop: Source inference and parameter estimation in Gravitational Wave Astronomy

Video thumbnail

Introduction to Primordial Black Hole Dark Matter (Lecture 2) by Ely D. Kovetz

PROGRAM LESS TRAVELLED PATH OF DARK MATTER: AXIONS AND PRIMORDIAL BLACK HOLES (ONLINE) ORGANIZERS: Subinoy Das (IIA, Bangalore), Koushik Dutta (IISER, Kolkata / SINP, Kolkata), Raghavan Rangarajan (Ahmedabad University) and Vikram Rentala (IIT Bombay) DATE: 09 November 2020 to 13 Novemb

From playlist Less Travelled Path of Dark Matter: Axions and Primordial Black Holes (Online)

Video thumbnail

Arianna Renzini - Stochastic background searches in GW experiments - IPAM at UCLA

Recorded 15 November 2021. Arianna Renzini of the California Institute of Technology presents "Stochastic background searches in GW experiments" at IPAM's Workshop III: Source inference and parameter estimation in Gravitational Wave Astronomy. Abstract: The collection of individually resol

From playlist Workshop: Source inference and parameter estimation in Gravitational Wave Astronomy

Video thumbnail

Totient Function - Applied Cryptography

This video is part of an online course, Applied Cryptography. Check out the course here: https://www.udacity.com/course/cs387.

From playlist Applied Cryptography

Video thumbnail

AQC 2016 - Testing Adiabatic Quantum Computers Using Simple Quantum Simulation

A Google TechTalk, June 29, 2016, presented by Peter Love (Tufts University) ABSTRACT: Validation of Adiabatic Quantum computers is a significant problem. One of the advantages of the Adiabatic model is that it does not require the rapid pulsed controls necessary in the gate model of quan

From playlist Adiabatic Quantum Computing Conference 2016

Related pages

Process calculus