Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | ||
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55062 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
StichprobeGewicht <Ausgleichsrechnung>BestimmtheitsmaßMereologieProgrammLambda-KalkülKalkülFormale SemantikAlgorithmusImplementierungLogischer SchlussFolge <Mathematik>OrtsoperatorDistributionenraumVarianzNormalvektorZufallszahlenÄhnlichkeitsgeometrieSchnittmengeSchlüsselverwaltungGeschwindigkeitAlgorithmische LerntheorieEndliche ModelltheorieProgrammierspracheLuenberger-BeobachterEinflussgrößeApproximationMAPAbstandVersionsverwaltungBitMereologieMultiplikationsoperatorPerspektiveResultanteTypentheorieStandardabweichungOrtsoperatorBeweistheorieVarianzGesetz der großen ZahlenResamplingArithmetisches MittelOrdnung <Mathematik>StichprobenumfangLambda-KalkülGleichverteilungGewicht <Ausgleichsrechnung>NormalverteilungLogischer SchlussDistributionenraumFolge <Mathematik>KonditionszahlInverser LimesZahlenbereichKlassische PhysikFormale SpracheTheoremSchätzfunktionDifferenteKalkülProgrammierungSystemaufrufAdditionCompilerTVD-VerfahrenKette <Mathematik>Konstruktor <Informatik>Mailing-ListeLeistungsbewertungEinsLikelihood-FunktionFundamentalsatz der AlgebraAlgorithmusRechenschieberTermPunktFormale SemantikWahrscheinlichkeitsverteilungZufallsvariableFlächeninhaltInformationReelle ZahlNichtlinearer OperatorPseudozufallszahlenBootstrap-AggregationInstantiierungAutomatische IndexierungGenerizitätBestimmtheitsmaßKontextbezogenes SystemRelativitätstheorieBridge <Kommunikationstechnik>MaßerweiterungBildschirmmaskeNeuronales NetzImplementierungStrategisches SpielPartikelsystemGlobale OptimierungURLKategorie <Mathematik>t-TestGüte der AnpassungMultifunktionBORIS <Programm>LaufzeitfehlerComputeranimation
Transkript: English(automatisch erzeugt)