Courses

Explore unification and matching algorithms for languages with binding operators and equational axioms in this 59-minute conference talk presented by Maribel Fernandez at LOPSTR23. Delve into the complexities of solving equations between terms, a crucial process in logic programming languages, theorem provers, and type inference algorithms for functional languages. Examine how equational axioms like associativity and commutativity affect the unification and matching processes, and learn about the challenges posed by alpha-equivalence in expressions with binding operators. Gain insights into advanced algorithms designed to handle these complex scenarios, essential for analyzing rewrite-based specifications and implementing sophisticated programming language features.

Dive into the world of Kubernetes Operators and the Operator Framework in this comprehensive 1 hour 50 minute tutorial presented by Matt Dorn and Michael Hrivnak from Red Hat. Gain a solid understanding of these powerful tools for automating and managing complex applications on Kubernetes clusters. Learn how to leverage Operators to streamline deployment, scaling, and maintenance of containerized applications, while exploring the Operator Framework's capabilities for developing and managing custom Operators efficiently.

Explore the fundamentals of the Operator SDK in this 48-minute tutorial from Rawkode Academy. Learn about the Operator Framework, an open-source toolkit for managing Kubernetes native applications, and discover how the Operator SDK simplifies the process of building, testing, and packaging Operators. Dive into creating a new operator, adding custom resource definitions, implementing business logic, and deploying operators on a Kubernetes cluster. Gain insights into high-level APIs, code generation tools, and extensions for common Operator use cases. Follow along as the instructor demonstrates practical examples and shares valuable resources for further learning.

Learn essential programming concepts including bitwise operators, for loops, operator precedence, associativity, and variable scoping in this comprehensive video tutorial. Explore practical applications through LeetCode problem-solving sessions. Gain hands-on experience with bitwise AND, OR, NOT, and XOR operations, as well as left and right shift operators. Master for loop syntax and usage, tackling problems like calculating sums, generating Fibonacci sequences, and identifying prime numbers. Understand variable scope intricacies and operator precedence rules to write more efficient code. Apply newly acquired knowledge to solve two LeetCode challenges, reinforcing learning through real-world coding scenarios.

Explore the Fourier Neural Operator (FNO) in this 18-minute video lecture on Physics Informed Machine Learning. Delve into concepts such as operators as images, Fourier as convolution, and zero-shot super resolution. Examine the generalization of neural operators, conditions and operator kernels, and mesh invariance. Understand the advantages of neural operators over other methods and discover their applications in Green's Function and Laplace Neural Operators. Produced at the University of Washington with funding support from the Boeing Company, this comprehensive overview provides valuable insights into advanced machine learning techniques for physics-based problems.

Explore a recorded lab session from the 2024 Machine Learning for Drug Discovery Summer School hosted at Mila, focusing on binding affinity prediction using machine learning-based docking techniques. Learn from speakers Stephan Thaler and Cristian Gabellini as they guide you through the intricacies of this cutting-edge approach in drug discovery. Gain insights into how machine learning algorithms can be applied to predict the binding affinity between molecules, a crucial step in the drug development process. Discover the potential of ML-based docking in revolutionizing the field of computational chemistry and its applications in pharmaceutical research. Connect with the speakers and engage with the content through the Valence Labs portal for a more interactive experience.

Explore the intersection of machine learning operations (MLOps) and software operators in this 14-minute conference talk from Operator Day Europe 2023. Discover how MLOps, a set of practices for operating ML workloads, addresses challenges in machine learning deployment and management. Learn about the logical connection between software operators and implementing MLOps best practices. Gain insights into how these operators can improve the performance of ML workloads and tackle issues such as infrastructure costs. Delve into the world of Charmed Operators and their role in enhancing MLOps practices, with links provided for further exploration of Juju and the Charmed Operator ecosystem.

Explore the concept of Deep Operator Networks (DeepONet) in the context of Physics Informed Machine Learning through this 17-minute video lecture. Delve into the central idea behind DeepONets, understand the solution operator, and examine a practical example application with results. Learn about this innovative approach to machine learning in physics, produced at the University of Washington with funding support from the Boeing Company.

Explore a comprehensive session from Operator Day Europe 2023 focusing on data management in Kubernetes using MySQL Charmed Operators. Delve into the essential properties of robust database operators on Kubernetes, demonstrated through practical examples with MySQL. Learn about implementing high availability through MySQL group replication and MySQL Router, enhancing security with encryption in transit via TLS operator integration, and mastering backup and restore processes using Percona's XtraBackup tool. Gain valuable insights into Charmed Operators, including an introduction to Juju, accessing operator collections on Charmhub.io, understanding the Juju Charmed Operator Lifecycle Manager, and utilizing the Juju Charmed Operator SDK. Discover how to leverage these tools and technologies to optimize your Kubernetes data management strategies.

Learn about anion binding selectivity through detailed examples including phosphate binding mechanisms and hydride sponge applications in this 34-minute lecture from NPTEL-NOC IITM, exploring how different molecular systems achieve selective recognition and binding of negatively charged species.

Explore exponential expression rates for neural operator approximation to the solution operator of certain Forward-Backward Stochastic Differential Equations (FBSDEs) in this 25-minute conference talk by Anastasis Kratsios from McMaster University. Delivered at the Eastern Conference on Mathematical Finance, hosted by the Fields Institute on September 26th, 2024, delve into advanced mathematical concepts at the intersection of neural networks, stochastic processes, and financial modeling. Gain insights into cutting-edge research that bridges machine learning techniques with complex mathematical finance problems, potentially revolutionizing approaches to solving FBSDEs in various applications.

Explore a presentation from Eurocrypt 2016 by Dominique Unruh on computationally binding quantum commitments. Delve into the scope of commitments, classical definitions, and why classical-style binding is inadequate in the quantum realm. Discover new definitions needed for quantum cryptography, examine existing binding definitions, and their properties. Learn about collapsing hash functions and their continued relevance. Conclude by considering open questions in this field of quantum cryptography.

Discover the benefits of data binding for Android apps. Learn how to work with binding expressions, bind to observable data sources, and more.

Explore Koopman operator theory and its applications in machine learning for dynamical systems in this lecture by Igor Mezic from the University of California. Delivered as part of the Third Symposium on Machine Learning and Dynamical Systems at the Fields Institute, delve into advanced concepts at the intersection of operator theory and data-driven modeling. Gain insights into how Koopman operators can enhance understanding and prediction of complex dynamical systems, with potential applications across various scientific and engineering domains.

Binding data to views in Android can be an exercise in redundancy. We have typed the methods 'findViewById' and 'setText' many times and have consigned ourselves to the monotony. At Google I/O 2015, a new data binding library was announced that promises to free us from much of the boilerplate code we write for our views. Even in its beta release, the library is powerful and useful. The Data Binding Guide provided by Google teases the capabilities of this library. This course will explore the details of the data-binding library mixing both theory and practice. After finishing the course, you will have a solid foundation on how to use the data binding library to reduce your development time and increase your code clarity.

Writing data-driven Xamarin.Forms mobile applications using a traditional code-behind approach can be tedious and error-prone. On top of that, this approach is hard to test and maintain. In this course, you will learn all there is to know about data binding in Xamarin.Forms, which allows us to link data in the view with data in the model. First, you will delve into data binding, its syntax, the BindingContext and binding modes. Next, you will discover how to use data binding in several real-life application screens. Finally, you will explore how to use data binding for list screens. When you are finished with this course, you will have the skills and knowledge of data binding needed to data-driven Xamarin.Forms applications. After watching this course, you’ll be on your way to create much cleaner code for your mobile line-of-business applications.

Binding views with an app’s logic has been a problem for Android developers for a long time. In this course, Android Fundamentals: View Binding, you’ll learn to use View Binding library in your Android project. First, you’ll explore how to integrate View Binding into an Android project. Next, you’ll discover how to use View Binding in different components of an Android app. Finally, you’ll learn how to migrate from other solutions to the View Binding library. When you’re finished with this course, you’ll have the skills and knowledge of how to use View Binding library needed to make your codebase safe with less boilerplate code.

Explore the cutting-edge application of Koopman Operator Theory (KOT) to machine learning for dynamical systems in this informative lecture. Delve into the challenges faced by traditional machine learning approaches when dealing with complex process dynamics, and discover how KOT offers a solution inspired by human intelligence. Learn about the mathematical foundations of KOT and its ability to create generative, predictive, and context-aware models adaptable to feedback control applications. Gain insights into computational methods that enable efficient processing, and examine real-world applications in fluid dynamics, power grid dynamics, network security, soft robotics, and game dynamics. This talk, presented by Igor Mezic from the University of California, Santa Barbara, provides a comprehensive overview of KOT-based machine learning and its potential to revolutionize our understanding and control of complex dynamical systems.

Explore the process of building state-machine-based Operators in Rust using Krator in this conference talk. Learn about the development of a simple Operator with Krator through a live demonstration, and delve into the API's design decisions and their alignment with Kubernetes philosophies. Discover new Operator functionalities introduced beyond Krustlet's requirements, and gain insights into the Krator crate's roadmap. Understand how state machines can be leveraged to enhance Operator development in Rust, with a focus on the Pod lifecycle implementation and its broader applications in Kubernetes ecosystems.

Explore the new Point Operators (POPs) family in TouchDesigner through this comprehensive 23-minute video tutorial. Dive into the core concepts of this GPU-based operator family, designed for creating and modifying 3D data. Learn about different types of 3D data POPs can contain, supported primitive types, and their applications in 3D rendering and instancing. Discover the performance benefits POPs offer compared to the SOP family. Gain insights into POP attributes, popViewer, point, vertex, and primitive lists, as well as POP generators and filters. Note that POPs are currently in alpha stage, so information may change before the stable release. Follow along with timestamps for easy navigation through specific topics, from basic concepts to real-time performance considerations.