Concurrency control | Transaction processing
No description. (Wikipedia).
Modular Functions | Modular Forms; Section 1.1
In this video we introduce the notion of modular functions. My Twitter: https://twitter.com/KristapsBalodi3 Intro (0:00) Weakly Modular Functions (2:10) Factor of Automorphy (8:58) Checking the Generators (15:04) The Nome Map (16:35) Modular Functions (22:10)
From playlist Modular Forms
This lecture is part of an online graduate course on modular forms. We introduce modular forms, and give several examples of how they were used to solve problems in apparently unrelated areas of mathematics. I will not be following any particular book, but if anyone wants a suggestion
From playlist Modular forms
Modular arithmetic visually! We use a visualization tool called a "dynamical portrait." We explore addition and multiplication modulo n, and discover and prove the portrait is made of cycles if and only if the function (f(z) = z+a mod n or f(z) = az mod n) is bijective. This treatment
From playlist Modular Arithmetic Visually
Fuzzy control of inverted pendulum
Fuzzy control of inverted pendulum, State-feedback controller is designed based on T-S fuzzy model with the consideration of system stability and performance.
From playlist Demonstrations
Modular Forms | Modular Forms; Section 1 2
We define modular forms, and borrow an idea from representation theory to construct some examples. My Twitter: https://twitter.com/KristapsBalodi3 Fourier Theory (0:00) Definition of Modular Forms (8:02) In Search of Modularity (11:38) The Eisenstein Series (18:25)
From playlist Modular Forms
Modular Arithmetic: Under the Hood
Modular arithmetic visually! For aspiring mathematicians already familiar with modular arithmetic, this video describes how to formalize the concept mathematically: to define the integers modulo n, to define the operations of addition and multiplication, and check that these are well-def
From playlist Modular Arithmetic Visually
Modular Exponentiation Quiz - 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
Introduction to a Unified Model of Cellular Automata
This is an introduction to a unified model of Cellular Automata in which a rule is represented not by a single function but by a vector of functions we call genes. These functions can be ordered so that they maintain the same order regardless of the rule space where they are realized. This
From playlist Wolfram Technology Conference 2022
Modular Arithmetic: Multiplication in Motion
Modular arithmetic visually! We explore multiplication modulo n, and discover and prove that the multiplication-by-a map f(z) = az mod n is bijective if and only if a and n are coprime. We use a visualization tool called a "dynamical portrait." This treatment is inspired by Martin H. We
From playlist Modular Arithmetic Visually
WebAssembly: The Path to Components
In 2019, the WASI standardization effort was started in the WebAssembly CG as a way to bootstrap an ecosystem of safe, portable WebAssembly modules running outside (or inside) the browser. The starting point of the design, captured in WASI "Preview1", included tried-and-true POSIX concepts
From playlist WebAssembly
New Directions in Multiprocessor Synchronization
May 2, 2007 lecture by Maurice Herlihy for the Stanford University Computer Systems Colloquium (EE 380). Maurice talks about transactional memory, a computational model in which threads synchronize by optimistic, lock-free transactions -- this synchronization model promises to alleviate ma
From playlist Course | Computer Systems Laboratory Colloquium (2006-2007)
Is Software Development The Most Difficult Job ITW
Software development is difficult, why is that? If you are wondering “is software development right for me”, “is software development a good career”, or if a software development career is an easy one it probably depends on how you think about problems. You don’t need to be a genius to be
From playlist Teamwork and Leadership
Analysis and topology on locally symmetric spaces - Akshay Venkatesh
Members' Seminar Topic: Analysis and topology on locally symmetric spaces Speaker: Akshay Venkatesh Affiliation: Stanford University; Distinguished Visiting Professor, School of Mathematics Date: October 9, 2017 For more videos, please visit http://video.ias.edu
From playlist Mathematics
RubyConf 2018 - Parallel programming in Ruby3 with Guild by Koichi Sasada
RubyConf 2018 - Parallel programming in Ruby3 with Guild by Koichi Sasada Do you want to write the parallel program with Ruby? Ruby 3 will offer new concurrent abstraction: Guild (code name) which enable to run Ruby programs in parallel without difficulties. This presentation will share o
From playlist RubyConf 2018
MIT 6.172 Performance Engineering of Software Systems, Fall 2018 Instructor: Julian Shun View the complete course: https://ocw.mit.edu/6-172F18 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP63VIBQVWguXxZZi0566y7Wf This lecture covers modern multi-core processors, the
From playlist MIT 6.172 Performance Engineering of Software Systems, Fall 2018
Learning from Big Public Software Failures | Kevlin Henney In The Engineering Room Ep. 6
In this episode of “The Engineering Room” Dave Farley chats with renowned author, speaker and expert software developer Kevlin Henney. In fact "The one and only Kevlin Henney" - literally! He has a google-unique name: try it! Kevlin is a member of the ACCU and IEEE Software Advisory Boar
From playlist The Engineering Room
RubyConf 2021 - Drones Galore: controlling multiple drones using mruby/ruby by Shashank Daté
mruby is a lightweight implementation of the Ruby language. This talk focuses on how mruby differs from ruby, how its build system works, how to optimize its configuration for controlling a certain category (Tello) of programmable drones. It will include - flight control using UDP sockets
From playlist RubyConf 2021
Legacy Code, OOP vs Functional Programming & MORE | Michael Feathers In The Engineering Room Ep. 10
When Michael Feathers talks it’s usually worth listening. Michael is thoughtful about software and software design, for example Michael is the person who invented the term SOLID as an approach to software design. Michael is also the author of a book that is on the “must read” list of nearl
From playlist The Engineering Room
Counting points on the E8 lattice with modular forms (theta functions) | #SoME2
In this video, I show a use of modular forms to answer a question about the E8 lattice. This video is meant to serve as an introduction to theta functions of lattices and to modular forms for those with some knowledge of vector spaces and series. -------------- References: (Paper on MIT
From playlist Summer of Math Exposition 2 videos