What Can Viral Dynamics Teach Us About Modeling Immunotherapies?
Explore mathematical modeling approaches from viral dynamics and their applications in understanding immunotherapy responses and tumor-immune system interactions.
Overcoming Immune Evasion in Glioblastoma by Targeting Tumour-Associated Macrophages
Explore groundbreaking research on targeting macrophages to combat immune evasion mechanisms in glioblastoma treatment, featuring mathematical oncology approaches and therapeutic strategies.
Automatic Sequences from the Point of View of Higher Order Fourier Analysis
Delve into advanced mathematical concepts exploring automatic sequences through higher order Fourier analysis, featuring insights on nilpotent structures and topological dynamics.
The Semantics of Plurals in Expression Languages - SLE
Explore the semantics of plurals in software languages, examining bunch theory and its integration with relations for seamless modeling and programming.
Fast Deep Learning with Categories
Explore GPU-accelerated deep learning using Haskell, ConCat, and Accelerate for high-performance industrial applications.
A Type System for Elixir
Explore progress in adding static and gradual typing to Elixir, including set-theoretic types, bug detection, and mixing typed/untyped code. Learn about potential benefits and future challenges.
Toward Programming Languages for Reasoning - Humans, Symbolic Systems, and AI Agents
Explore the future of programming languages focused on reasoning, integrating human developers, symbolic systems, and AI agents. Learn about the Bosque platform's radical simplification approach.
Additive Cellular Automata Graded-Monadically
Explore cellular automata through graded comonadic and monadic perspectives, focusing on additive variants and their computational implications.
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
Explore formal probabilistic methods for combinatorial structures, focusing on the Lovász Local Lemma and its application to hypergraph coloring in Isabelle/HOL.
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture
Explore the formalization of Giles Gardam's disproof of Kaplansky's Unit Conjecture using Lean 4, combining deductive proving and verified computation.
Compositional Development of Certified System Software
Explore compositional development of certified system software, focusing on CertiKOS project's approach to specifying, programming, and compiling large-scale heterogeneous systems.
Uncomputable Functions - Exploring the Limits of Computation
Explore the fascinating world of uncomputable functions, their implications for lambda calculus, and the limits of computation in this thought-provoking presentation.
Pushing RabbitMQ to the Limit - Performance Testing with PerfTest
Explore RabbitMQ performance factors and learn to use PerfTest for simulating workloads across different topologies. Gain practical insights into optimizing RabbitMQ throughput.
Bringing Elixir to Life - ElixirConf EU 2023
Explore Elixir's latest features, set theoretic types, and improved developer experience with creator José Valim in this comprehensive keynote from ElixirConf EU 2023.
Using LiveView to Eliminate Constraints on Your Team
Explore how LiveView can eliminate team constraints through theory of constraints, team topologies, and queueing theory insights.
When Testing Just Doesn't Cut It - Formal Verification in Mission-Critical Software
Explore formal verification techniques for mission-critical software, using a financial application example to demonstrate mathematical proofs beyond standard unit testing.
Performance Matters: New Tricks for Old Dogs - Lecture 1
Explore performance-oriented C++ techniques, including faster erasure methods, cache-friendly linked lists, and efficient random-access containers. Suitable for both newcomers and experienced developers.
Fourier Phase Index for Extracting Signatures of Determinism and Nonlinear Features in Time Series
Explore a novel method for analyzing time series data, extracting deterministic signatures and nonlinear features using the Fourier Phase Index.
Quantum-Inspired Annealing: The State of Play
Explore quantum-inspired annealing's current state, comparing quantum and classical approaches, and examining benchmarks for various optimization problems.
Computational Deconvolution of Cancer Genomes and Transcriptomes - CGSI 2022
Explore computational methods for deconvoluting cancer genomes and transcriptomes. Learn advanced techniques to analyze tumor heterogeneity and uncover molecular phenotypes shaping clinical outcomes in cancer research.
Alignment, Integration, and Modeling of Spatial Transcriptomics Data
Explore alignment, integration, and modeling techniques for spatial transcriptomics data, focusing on innovative approaches to analyze gene expression patterns in tissue samples.