Formal methods tools | Static program analysis tools
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA-List) and Inria. It has also received funding from the Core Infrastructure Initiative. Frama-C, as a static analyzer, inspects programs without executing them. Despite its name, the software is not related to the French project Framasoft. (Wikipedia).
mandelbrot fractal animation 5
another mandelbrot/julia fractal animation/morph.
From playlist Fractal
You’ve heard of fracking, and you’re pretty sure lots of people don’t like it, but do you know how it actually works? Learn more at HowStuffWorks.com: http://science.howstuffworks.com/environmental/energy/hydraulic-fracking.htm Share on Facebook: http://goo.gl/M5kx1i Share on Twitter: ht
From playlist Visually-Striking Episodes From the 2010s
Art Trip: Marfa | The Art Assignment | PBS Digital Studios
The epicenter of the art world is in Marfa, Texas? We visit this small town where Minimalist artist Donald Judd settled in the 70s, and sowed the seeds for its glorious present, worthy of a pilgrimage. To support our channel, visit: http://www.patreon.com/artassignment. Thanks to our Gra
From playlist Art Trip
Broadcasted live on Twitch -- Watch live at https://www.twitch.tv/leioslabs
From playlist research
Summer of math exposition submission- fractal calculus
Fractal Calculus
From playlist Summer of Math Exposition Youtube Videos
Vitamin C: Oral vs. Intravenous, Immune Effects, Cancer, Exercise Adaptation & More
In this video Dr. Rhonda Patrick discuss all things vitamin C. This episode covers oral bioavailability, intravenous vitamin C bioavailability, immune cell function, common cold and other viral infections, lung function, sepsis, pneumonia, inflammation, intravenous vitamin C and cancer, r
From playlist Just Me
C++ vs C# :What Should I Learn? | Difference Between C++ And C# | C++ & C# Comparision | Simplilearn
This video on C++ vs C# will acquaint you with a clear understanding of the difference between C++ And C#. In this C++ vs C# Tutorial, you will start with an introduction to C# and an introduction to C++. Finally, we will cover the differences on various features of programming in C++ & C#
From playlist C++ Tutorial Videos
Lecture 15: The Continuity of Sine and Cosine and the Many Discontinuities of Dirichlet's Function
MIT 18.100A Real Analysis, Fall 2020 Instructor: Dr. Casey Rodriguez View the complete course: http://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61O7HkcF7UImpM0cR_L2gSw We wrap up our discussion of cluster points
From playlist MIT 18.100A Real Analysis, Fall 2020
Mod-01 Lec-29 Shrinking core Ash Diffusion Model & Combination of Resistances
Advanced Chemical Reaction Engineering (PG) by Prof. H.S.Shankar,Department of Chemical Engineering,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in
From playlist IIT Bombay: Advanced Chemical Reaction Engineering | CosmoLearning.org
Lecture 19: Differentiation Rules, Rolle's Theorem, and the Mean Value Theorem
MIT 18.100A Real Analysis, Fall 2020 Instructor: Dr. Casey Rodriguez View the complete course: http://ocw.mit.edu/courses/18-100a-real-analysis-fall-2020/ YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP61O7HkcF7UImpM0cR_L2gSw We begin proving key properties of derivati
From playlist MIT 18.100A Real Analysis, Fall 2020
What Is C#? | What Is C# Programming Language? | C# Tutorial For Beginners | Simplilearn
🔥Post Graduate Program In Full Stack Web Development: https://www.simplilearn.com/pgp-full-stack-web-development-certification-training-course?utm_campaign=WhatisCSharp-BcMQavJd-tY&utm_medium=DescriptionFF&utm_source=youtube 🔥Caltech Coding Bootcamp (US Only): https://www.simplilearn.com/c
From playlist C++ Tutorial Videos
Mod-03 Lec-17 Different Aspects of Bertrand Model
Game Theory and Economics by Dr. Debarshi Das, Department of Humanities and Social Sciences, IIT Guwahati. For more details on NPTEL visit http://nptel.iitm.ac.in
From playlist IIT Guwahati: Game Theory and Economics | CosmoLearning.org Economics
Physics - Test Your Knowledge: Vectors (16 of 30) Find Direction Cosine (Dot Product)
Visit http://ilectureonline.com for more math and science lectures! In this video I will find the direction cosines of a vector perpendicular to vector A and B using the dot product. Given C is perpendicular to A and C is perpendicular to B and A=2i+3j-k and B=i+2j+k. To donate: http://w
From playlist PHYSICS 1A TEST YOUR KNOWLEDGE : VECTORS
Proof: Differentiability implies continuity | Derivative rules | AP Calculus AB | Khan Academy
Sal shows that if a function is differentiable at a point, it is also continuous at that point. Watch the next lesson: https://www.khanacademy.org/math/ap-calculus-ab/ab-derivative-rules/ab-derivtive-rules-opt-vids/v/change-in-continuous-function-approaches-0?utm_source=YT&utm_medium=Desc
From playlist Derivatives introduction | AP Calculus AB | Khan Academy
Dimensions (1 of 3: The Traditional Definition - Directions)
More resources available at www.misterwootube.com
From playlist Exploring Mathematics: Fractals