The Tale of Math and Scalability - Predicting System Performance
Explore how mathematical principles can predict and enhance software system scalability, uncovering the hidden math behind efficient engineering practices.
Automated Scalable Bayesian Inference via Data Summarization - 2018
Explore scalable Bayesian inference techniques using data summarization. Learn about coresets, theoretical guarantees, and practical applications in large-scale data settings.
A Bayesian View of Inductive Learning in Humans and Machines - 2004
Explore how humans make successful generalizations from limited evidence through Bayesian inferences constrained by implicit domain theories, with applications to machine learning.
Causal AI for Web and Healthcare
Explore causal AI applications in web and healthcare using knowledge graphs for intervention and counterfactual reasoning, model-based explainability, and domain-specific insights.
The Signal and the Noise by Nate Silver - Part 2
Explore Nate Silver's insights on data analysis and prediction in "The Signal and the Noise" through an expert review of key concepts and applications.
Some Approaches for Solving the Discretely-Constrained Mixed Complementarity Problem (DC-MCP)
Explore approaches for solving discretely-constrained mixed complementarity problems in energy and transportation, combining integer restrictions with MCP systems and considering equity aspects.
Fast Evaluation of Real and Complex Polynomials
Explore efficient techniques for evaluating real and complex polynomials, enhancing computational skills in mathematical analysis and numerical methods.
The Bounded Pathwidth of Control-Flow Graphs
Explore bounded pathwidth in control-flow graphs, its advantages over treewidth, and its applications in static analysis and compiler optimization. Gain insights into more efficient algorithms for program analysis.
Numerical Integration for Forensic DNA Evidence Evaluation
Explore numerical integration for forensic DNA evidence evaluation, focusing on a novel approach to multi-variable integration that addresses shortcomings in existing methods.
Monadic and Comonadic Aspects of Dependency Analysis
Explore monadic and comonadic aspects of dependency analysis, unifying calculi into a framework that addresses limitations of existing approaches and provides novel correctness proofs.
The Work Done by Something Else - Exploring Declarative Programming
Explore declarative programming through everyday and exotic examples. Gain insights into abstraction, automation, and the philosophy of programming for practical knowledge.
Convergence Analysis and Parameter Choice for the Iterated Arnoldi-Tikhonov Method
Explore convergence analysis and parameter selection for the iterated Arnoldi-Tikhonov method in this mathematical conference talk by Lothar Reichel.
The Linear Algebra of Large Language Models
Explorez les fondements mathématiques des modèles de langage à grande échelle et leur lien avec l'algèbre linéaire avancée.
Hodge Theory for Non-Archimedean Analytic Spaces
Explore Hodge theory for non-Archimedean analytic spaces, extending Deligne's work and generalizing complex analytic constructions. Gain insights into K-analytic spaces and their cohomology groups.
Combinatorial Inequalities and Combinatorial Interpretations - Part I
Explore classical inequalities in enumerative and algebraic combinatorics, their combinatorial interpretations, and their impact on the field. Gain insights into complexity theoretic aspects.
Subgroup Tests and the Aldous-Lyons Conjecture
Explore the refutation of the Aldous-Lyons conjecture through novel interactive proof systems and subgroup tests, connecting complexity theory to probability theory and group theory.
Understanding the Role of Causality in AI for Healthcare
Explore causality's crucial role in AI for healthcare, focusing on improving patient care, addressing self-fulfilling prophecies, and enhancing treatment outcome predictions.
Examples of MM Algorithms - CGSI 2024
Explore MM algorithms through practical examples, enhancing understanding of their applications in statistics, signal processing, and machine learning.
The Prime Constant
Explore the fascinating prime constant with mathematician Matt Parker, uncovering its unique properties and significance in number theory. Gain insights into this hidden mathematical gem.
What's New in Domain Decomposition
Explore recent advancements in domain decomposition methods for solving large-scale mathematical problems efficiently and accurately.
PDEs and Stencils - SPARSE 2024
Explore PDEs and stencils in computational science, focusing on efficient numerical methods for solving partial differential equations.