Formal methods tools | Petri nets
CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It provides the ability to specify the behavior of a distributed system—and to evaluate properties such as invariants (preservation of resources), absence of deadlocks, liveness, or temporal logic properties (relations between events in the system). CPN-AMI relies on AMI-Nets, that are well-formed Petri nets with syntactic facilities. Well Formed Petri nets were jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. This Petri net class supports symbolic techniques for model checking, and thus provides a very compressed way to store all states of a system. Since 2016 CPN-AMI has been listed by the owners as "still available but not maintained any more" (Lib6/MoVe Software at the Wayback Machine (archived May 5, 2016)). (Wikipedia).
NOTACON 9: Collaboration. You keep using that word... (EN) | Enh. audio
Speaker: Angela Harms Sure. You collaborate every day at work, right? Except you don't. Because collaboration is not the same as cooperation. Cooperation is where everybody does their part. Collaboration creates a solution that's more than the sum of those parts. Cooperation helps us cho
From playlist Notacon 9
A.I. Just Designed An Enzyme That Eats Plastic
» Podcast I Co-host: https://www.youtube.com/channel/UC6jKUaNXSnuW52CxexLcOJg » ColdFusion Discord: https://discord.gg/coldfusion » Twitter | @ColdFusion_TV » Instagram | coldfusiontv --- About ColdFusion --- ColdFusion is an Australian based online media company independently run by Dag
From playlist Technology
Dimitri Zvonkine - Generalized Airy Functions...
Generalized Airy Functions and Givental's R-matrices for Projective Spaces and Witten's Class We call generalized Airy functions particular solutions of the differential equations f(n)(x)=xaf(x). We show that asymptotic expansions of generalized Airy functions contain coefficients of Giv
From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory
An general explanation of the underactive thyroid.
From playlist For Patients
Dehn Twists Exact Sequences Through Lagrangian Cobordism - Weiwei Wu
Weiwei Wu University of Montreal October 23, 2015 https://www.math.ias.edu/seminars/abstract?event=85044 In this talk we first introduce a new "singularity-free" approach to the proof of Seidel's long exact sequence, including the fixed-point version. This conveniently generalizes to Deh
From playlist PU/IAS Symplectic Geometry Seminar
Symplectic Vortices And The Quantum Kirwan Map (Lecture 3 online) by Chris Woodward
PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie
From playlist Vortex Moduli - 2023
Path products in projective space - Nancy Hingston
Nancy Hingston The College of New Jersey February 6, 2015 We compute the mod 2 homology of the space of paths in ℂPnCPn with endpoints in ℝPnRPn, and its algebra structure with respect to the Pontryagin-Chas-Sullivan product. Our method combines Morse theory with geometry. Joint work with
From playlist Mathematics
Disk counting via family Floer theory - Hang Yuan
Joint IAS/Princeton/Montreal/Paris/Tel-Aviv Symplectic Geometry Topic: Disk counting via family Floer theory Speaker: Hang Yuan Affiliation: Stony Brook University Date: May 28, 2021 Given a family of Lagrangian tori with full quantum corrections, the non-archimedean SYZ mirror construc
From playlist Mathematics
A simple Qubit Regularization Scheme for SU(N) Lattice Gauge Theories by Shailesh Chandrasekharan
PROGRAM NONPERTURBATIVE AND NUMERICAL APPROACHES TO QUANTUM GRAVITY, STRING THEORY AND HOLOGRAPHY (HYBRID) ORGANIZERS: David Berenstein (University of California, Santa Barbara, USA), Simon Catterall (Syracuse University, USA), Masanori Hanada (University of Surrey, UK), Anosh Joseph (II
From playlist NUMSTRING 2022
Machine- Learning the Landscape (Lecture 1) by Yang-Hui He
PROGRAM KAVLI ASIAN WINTER SCHOOL (KAWS) ON STRINGS, PARTICLES AND COSMOLOGY (ONLINE) ORGANIZERS Francesco Benini (SISSA, Italy), Bartek Czech (Tsinghua University, China), Dongmin Gang (Seoul National University, South Korea), Sungjay Lee (Korea Institute for Advanced Study, South Korea
From playlist Kavli Asian Winter School (KAWS) on Strings, Particles and Cosmology (ONLINE) - 2022
Shrinking Gradient Kahler-Ricci Solitons and Toric Geometry
Speaker: Charles Cifarelli (UC Berkeley) - Abstract: In this talk, I will present some recent work on the uniqueness of shrinking gradient K\"ahler-Ricci solitons on non-compact toric manifolds. In particular, the familiar Delzant classification holds in this context, and this allows one t
From playlist Informal Geometric Analysis Seminar
Rational Homotopy Groups (Lecture 3) By Somnath Basu
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Karen Strung: Positive Line Bundles Over the Irreducible Quantum Flag Manifolds
Talk by Karen Strung in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on May 12, 2021
From playlist Global Noncommutative Geometry Seminar (Europe)
VPN - Virtual Private Networking
Follow the Insanity at: https://www.FailedNormal.com Downloadable Podcasts at: https://failednormal.podbean.com iTunes: https://itunes.apple.com/us/podcast/failed-normal/id1349818284?mt=2
From playlist Information theory and Coding