TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets developed at Department of Computer Science at Aalborg University in Denmark and it is available for Linux, Windows and Mac OS X platforms. Timed-Arc Petri Net (TAPN) is a time extension of the classical Petri net model (a commonly used graphical model of distributed computations introduced by Carl Adam Petri in his dissertation in 1962). The time extension considered in TAPN allows for explicit treatment of real-time, which is associated with the tokens in the net (each tokens has its own age) and arcs from places to transitions are labelled by time intervals that restrict the age of tokens that can be used in order to fire the respective transition. In TAPAAL tool a further extension of this model with age invariants with transport arcs (which are more expressive than for example previously considered read-arcs) and with inhibitor arcs is implemented. The TAPAAL tool offers a graphical editor for drawing TAPN models, simulator for experimenting with the designed nets and a verification environment that automatically answers logical queries formulated in a subset of CTL logic (essentially EF, EG, AF, AG formulae without nesting). It also allows the user to check whether a given net is k-bounded for a given number k. TAPAAL is equipped with its own verification engines distributed together with TAPAAL (one for continuous time and one for discrete time ). Optionally, the user can automatically translate TAPAAL models into UPPAAL and rely on the UPPAAL verification engine. (Wikipedia).
TapGlo Light-Up Ping Pong Table!
We play TapGlo, a custom-built ping pong table that's like the intersection of table tennis and the videogame Breakout. The maker of this striking light-up table explains how TapGlo is able to detect where ping pong balls land, and how the panels light up and animate in spectacular fashion
From playlist Maker Faire
Blender - New feature test: Smoke
For more information about the 3d software Blender please visit www.blender.org. www.kaikostack.com
From playlist Random Blender Tests
Stirring the Mandelbrot Set: a checkerboard
http://code.google.com/p/mandelstir/
From playlist mandelstir
This test was based on NightHawkinLight's formula of Starlite.
From playlist NightHawkInLight Community Video Responses!
Show and Tell: Manual Disk Sander for Modelmaking
We check out a mini disk sander designed for scale modelmaking, which separates itself from other small disk sanders by being manually crank powered. Ultimation's Sander may be ideal for precision sanding work that doesn't need high RPM speeds, and Norm uses it to clean up the excess flash
From playlist Show and Tell
Multimeter Review / DMM Review / buyers guide / tutorial
A list of my multimeters can be purchased here: http://astore.amazon.com/m0711-20?_encoding=UTF8&node=5 In this video I do a review of several digital multimeters. I compare features and functionality. I explain safety features, number of digits, display count, accuracy and resolution. Th
From playlist Multimeter reviews, buyers guide and comparisons.
Here is a demonstration of the doppler effect.
From playlist All Demonstrations
Test done with Blender 2.5. http://www.kostackstudio.de
From playlist Random Blender Tests
Modelling With Trigonometry AS Level Maths Exam Question
AS Level Maths ppast paper exam question on modelling using trigonometry! Trigonometry is great to model anything periodic or cyclic. In this question we see a trigonometric model used to model the hours of daylight through the year. DOWNLOAD THE QUESTIONS PDF HERE: https://drive.goo
From playlist TRIGONOMETRY AS Level Maths Exam Questions
CERIAS Security: Mace: Systems and Language for Building Networked Services 4/5
Clip 4/5 Speaker: Charles Killian · Purdue University Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. This asynchrony makes verifying the correctness of systems implementations
From playlist The CERIAS Security Seminars 2009
Take a 15 minutes journey from scratch into how to create your full-blown NLP Pipeline with Spark NLP.
From playlist John Snow Labs - Spark NLP
OWASP AppSec EU 2013: The SPaCIoS Tool: property-driven and vulnerability-driven security testing
For more information and to download the video visit: http://bit.ly/appseceu13 Playlist OWASP AppSec EU 2013: http://bit.ly/plappseceu13 Speakers: Luca Compagna | Luca Viganò In this talk, we present how the SPaCIoS Tool supports security analysts and developers in the security assessmen
From playlist OWASP AppSec EU 2013
CERIAS Security: Mace: Systems and Language for Building Networked Services 3/5
Clip 3/5 Speaker: Charles Killian · Purdue University Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. This asynchrony makes verifying the correctness of systems implementations
From playlist The CERIAS Security Seminars 2009
In 1920s Chicago, catching a cab was more dangerous than you might expect. Competition for cab fares in one of the world's most notoriously dangerous cities exploded into street warfare between rivals Yellow Cab and Checkered Cab. It is history that deserves to be remembered. The History
From playlist Extraordinary people and personalities
Semi Automatic Code Review by Richard Huang
Rails is so popular to be used to fast build a website, at the beginning we sometimes write codes too fast without considering code quality, but after your company grows fast, you have to pay more attentions on code review to make your website more robust and more maintainable. In this ta
From playlist Rails Conf 2012
(May 16, 2012) David Dill discusses how a continuing improvement of computing technology is making it possible to digitally model some biological systems. Stanford University: http://www.stanford.edu/ Stanford School of Engineering: http://soe.stanford.edu/ Stanford Computer Systems Co
From playlist Engineering
Stanford Seminar - Runway: A New Tool for Distributed Systems Design
EE380: Colloquium on Computer Systems Runway: A New Tool for Distributed Systems Design Speaker: Diego Ongaro, Salesforce Distributed systems are notoriously difficult to get right. We're constantly improving the frameworks we use and the way we test production code, yet we rarely inves
From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series
Get to Know Rust: Fun, Fast, Efficient Programming
Rust is a programming language that empowers developers to build reliable and efficient software. It is fun to write, easy to read, and high performing. If you have been curious about the Rust programming language, or if you are simply looking for a memory-safe, fast, general-purpose way t
From playlist Rust Reactor
CERIAS Security: Mace: Systems and Language for Building Networked Services 5/5
Clip 5/5 Speaker: Charles Killian · Purdue University Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systems must run. This asynchrony makes verifying the correctness of systems implementations
From playlist The CERIAS Security Seminars 2009
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