We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Spark Session | September 24

00:00

Formal Metadata

Title
Spark Session | September 24
Title of Series
Number of Parts
11
Author
Contributors
License
No Open Access License:
German copyright law applies. This film may be used for your own use but it may not be distributed via the internet or passed on to external parties.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Spark sessions are blocks that include several short plenary "Spark Talks" (15-20 minutes) by laureates. Here they give insights into their current research projects, discuss their work and spark inspiration for new ideas and problem-solving approaches. Moderator: Tom Crawford Martin Hairer: Taming Infinities Andrei Okounkov: Partitions Robert Endre Tarjan: Sorting Using Partial Information Ken Thompson: A Technical Solution to an Everyday Problem The 11th Heidelberg Laureate Forum took place from September 22–27, 2024. #HLF24
InformationPartial derivativeNetwork switching subsystemMusical ensembleInfinityGame theoryLevel (video gaming)TheoryQuicksortStochasticFields MedalYouTubeBitMathematical structureControl flowMultiplication signPartial differential equationComputer animationLecture/ConferenceMeeting/Interview
Field (computer science)MereologyParameter (computer programming)Thermal expansionQuantumSymplectic manifoldClassical electromagnetismData structureSeries (mathematics)Formal grammarTheoryRenormalizationMathematicsLatent heatPlanningBitQuicksortRight angleQuantum mechanicsField (computer science)Particle systemPhysicistDerivation (linguistics)Parameter (computer programming)Endliche ModelltheorieSpacetime1 (number)PhysicalismFamilySpektrum <Mathematik>MassQuantum field theoryForm (programming)Logical constantPoint (geometry)TelecommunicationHyperflächeConstraint (mathematics)Lecture/ConferenceMeeting/InterviewXML
Thermal expansionMereologyParameter (computer programming)QuantumSymplectic manifoldClassical electromagnetismFormal grammarData structureSeries (mathematics)RenormalizationTheoryConstraint (mathematics)PredictabilityEndliche ModelltheorieLogical constantMessage passingParameter (computer programming)BitINTEGRALDivergenceTheoryType theoryGastropod shellSet (mathematics)Order (biology)Metropolitan area networkScaling (geometry)Term (mathematics)QuicksortFunction (mathematics)Physical systemProcedural programmingFilm editingExecution unitInfinityLimit of a functionRight anglePhysicalismCASE <Informatik>Descriptive statisticsNumberMultiplication signQuantum electrodynamicsoutputPower seriesRandomizationPhysical constantProcess (computing)Thermal expansionData structureControl flowInheritance (object-oriented programming)WordFigurate numberCoefficientGame theoryMathematicsFinitismusFine-structure constantSmoothing2 (number)Taylor seriesArithmetic meanSystem callLecture/ConferenceMeeting/InterviewXML
Endliche ModelltheorieParameter (computer programming)Data modelLocal GroupAsynchronous Transfer ModeInfinityInterface (computing)Mechanism designScale (map)Personal digital assistantLimit (category theory)Random numberInvariant (mathematics)System programmingChromosomal crossoverSpacetimeIndependence (probability theory)Variable (mathematics)Term (mathematics)NormalgleichungEndliche ModelltheorieRandomizationQuicksortMereologyRight angleDiffusionsgleichungNichtlineares GleichungssystemMultiplication signLine (geometry)InfinityFinitismusLimit (category theory)Probability theoryBitLaserPoint (geometry)RenormalizationVertex (graph theory)Variable (mathematics)TheoryStandard ModelException handlingTerm (mathematics)Square numberSpacetimeThermal fluctuationsTrailParameter (computer programming)Graph coloringNoise (electronics)Interface (computing)Function (mathematics)Phase transitionScaling (geometry)DialectSimilarity (geometry)Classical physicsQuantum field theoryNumberProcedural programmingGravitationInterpreter (computing)Type theoryLimit of a functionArithmetic meanCalculusMathematicsLogical constantIdeal (ethics)Nonlinear systemForcing (mathematics)Flow separationXMLComputer animation
Internet forumMultiplication signSocial classControl flowAlgebraGeometryPartition (number theory)Fields MedalRepresentation theoryLevel (video gaming)Computer animationLecture/Conference
Internet forumField (computer science)Partition (number theory)Natural languageMathematicsLocal GroupGraph (mathematics)Formal grammarData structureIntegerSign (mathematics)Computer-generated imageryVisual systemEuler, LeonhardInstance (computer science)Product (business)Identity managementWell-formed formulaTheoremPentagonJacobi methodRow (database)Social classFamilyWordPoint (geometry)NumberPartition (number theory)TouchscreenMathematicsInternet forumCorrespondence (mathematics)Web pageNoise (electronics)Pointer (computer programming)Function (mathematics)Computer scienceNatural numberSeries (mathematics)CoefficientWell-formed formulaGraph (mathematics)Group action1 (number)Object (grammar)Surjective functionIntegerNatural languagePosition operatorMathematicianMathematical objectSummierbarkeitResultantQuicksortManifoldAlgebraVideo gameMultiplication signInstance (computer science)Orientation (vector space)Product (business)WindowRight angleAdditionBeta functionInfinityMoment (mathematics)SpacetimeControl flowData structurePattern languageNeuroinformatikTheoryPoisson-KlammerProgrammer (hardware)Factory (trading post)Interactive televisionRegular graphShape (magazine)Field (computer science)AnalogyTerm (mathematics)System callCountingTheory of relativityDifferentiable manifoldPlanningLecture/ConferenceMeeting/InterviewComputer animationEngineering drawing
Identity managementPartition (number theory)Product (business)Well-formed formulaJacobi methodTheoremPentagonWater vaporNeuroinformatikPower (physics)Term (mathematics)Group actionFactory (trading post)Partition (number theory)NumberFunction (mathematics)Squeeze theoremCASE <Informatik>Point (geometry)Identical particlesManifoldNumbering schemeCuboidWell-formed formulaSlide ruleObject (grammar)Series (mathematics)TheoremShape (magazine)CircleAnalogyPotenz <Mathematik>BitCodeElementare FunktionAlgebraCase moddingDistanceReal numberHarmonic analysisGreatest elementMathematicsSocial classSpecial functionsSymmetric groupGroup representationFraction (mathematics)Basis <Mathematik>Representation (politics)Type theoryFrequencyRecursionGeometryAreaDiagramAdditionMultiplication signMathematical analysisHypercubeInheritance (object-oriented programming)Numeral (linguistics)ThumbnailOpen setWeightNoise (electronics)TrailTangentContext awarenessFamilyRule of inferenceRight angleReliefSimultaneous localization and mappingSummierbarkeitGeneral linear groupExpressionIntegerCellular automatonDigital photographyVariable (mathematics)CoefficientPosition operatorReduction of orderTaylor seriesINTEGRALCodierung <Programmierung>LogarithmComputer animation
Partition (number theory)NeuroinformatikNoise (electronics)Successive over-relaxationGoodness of fitExploit (computer security)NumberWeb pageSoftware developerMultiplication signRhombusLevel (video gaming)Different (Kate Ryan album)Video gameLaserWordBitSource codeAlgorithmInformationData structureMathematical analysisTuring testPartial derivativeComputer animationLecture/ConferenceMeeting/Interview
Internet forumBit rateComputerAlgorithmData structureSpacetimeSocial classoutputBound stateProof theoryPairwise comparisonQuicksortAverageBinary fileDirected graphVertex (graph theory)Data modelArc (geometry)LaserCycle (graph theory)Graph (mathematics)Pairwise comparisonAxiom of choiceArrow of timeNumberEndliche ModelltheorieFactory (trading post)Coma BerenicesOrder (biology)InformationAlgorithmSpacetimeCharacteristic polynomialNeuroinformatikProof theoryOpen setPhysicalismMultiplication signGroup actionData structureString (computer science)Computer scienceField (computer science)Control flowClassical physicsMathematical analysisState observerPoint (geometry)Graph theoryMerge-SortGoodness of fitQuicksortBest, worst and average caseOperator (mathematics)CombinatoricsCASE <Informatik>SoftwareQuery languageMathematicsProcess (computing)PermutationRight angleMathematicianKolmogorov complexitySemiconductor memoryBinary codeMusical ensembleRoundness (object)Memory managementArithmetic meanAverageLecture/ConferenceMeeting/InterviewComputer animation
Bound statePairwise comparisonPolynomialPermutationSubsetAlgorithmEllipsoidmethodeComputational complexity theoryPairwise comparisonInformationstheorieSet (mathematics)InformationOrder (biology)Revision controlStudent's t-testNetwork topologyGradientAlgorithmVertex (graph theory)LoginBinary codeNumberLinearizationMultiplication signDampingPoint (geometry)ResultantDivisorHeegaard splittingGraph (mathematics)Total S.A.Potenz <Mathematik>BitFunction (mathematics)Constructor (object-oriented programming)ConsistencyData miningLogarithmArc (geometry)Inheritance (object-oriented programming)TheoremTerm (mathematics)CASE <Informatik>Fundamental theorem of algebraInstance (computer science)Cycle (graph theory)PermutationCategory of beingEllipsoidLatent heatPolynomialComputer animation
AlgorithmPolynomialPairwise comparisonVolumeTopologySource codeTrailOrder (biology)Arc (geometry)Vertex (graph theory)Memory managementTotal S.A.Extension (kinesiology)Computer scienceAlgorithmOrder (biology)ImplementationNumberComputer programmingData structureSource codeCycle (graph theory)Set (mathematics)Projective planeMultiplication signCategory of beingMathematical optimizationLoginRight angleClassical physicsPairwise comparisonOcean currentArc (geometry)Line (geometry)Memory managementCartesian coordinate systemElement (mathematics)QuicksortCountingProcess (computing)Degree (graph theory)Vertex (graph theory)Network topologyPlug-in (computing)Term (mathematics)Adaptive behaviorCASE <Informatik>Standard deviationBitElectronic mailing listMaxima and minimaMatching (graph theory)Volume (thermodynamics)Latent heat1 (number)Student's t-testQueue (abstract data type)System callPriority queueAdditionRoyal NavyForcing (mathematics)Computer animation
PressureMultiplication signControl flowOperating systemBeta functionProgrammer (hardware)ImplementationGeneric programmingSoftware developerLecture/ConferenceMeeting/Interview
Internet forumSet (mathematics)Raw image formatWeb pageInteractive televisionPoint (geometry)MathematicsOpen setMultiplication signComputer scienceVideo gameWindowTouchscreenLecture/ConferenceComputer animation
Multiplication signCountingSqueeze theoremDistance
Open setMultiplication signTrailComputer animation
NeuroinformatikSimultaneous localization and mappingDifferent (Kate Ryan album)Video gameTransmissionskoeffizient
Internet forumPoint (geometry)Lecture/ConferenceComputer animation
Form (programming)Total S.A.Internet forumRoundness (object)Lecture/ConferenceComputer animation
Transcript: English(auto-generated)