Concurrency control | Transaction processing

Modular concurrency control

No description. (Wikipedia).

Video thumbnail

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

Video thumbnail

Modular forms: Introduction

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

Video thumbnail

Modular Arithmetic: In Motion

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

The Power of Abstraction

(April 20, 2009) Barbara Liskov

From playlist Engineering

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

6. Multicore Programming

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Concurrency control