Splitting Spanner Atoms: A Tool for Acyclic Core Spanners
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 13 | |
| 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/57485 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
Relationale DatenbankPhysikalisches SystemTabelleAlgebraisches ModellResultanteRelativitätstheorieEinsAbstimmung <Frequenz>Ausdruck <Logik>Algebraisches ModellSystemaufrufRahmenproblemTouchscreenRelationale DatenbankRegulärer Ausdruck <Textverarbeitung>Relation <Informatik>Information ExtractionVariableSpeicherabzugTabelleHeegaard-ZerlegungMereologieFramework <Informatik>Prozess <Informatik>Computeranimation
00:56
Nichtlinearer OperatorSpeicherabzugZeichenketteRegulärer GraphE-FunktionTupelModel CheckingDatenstrukturMathematische LogikNichtlineares GleichungssystemVariableRelationale DatenbankQuadratzahlZeichenketteAbfrageRelativitätstheorieEin-AusgabeModel CheckingUngleichungAusdruck <Logik>Nichtlinearer OperatorVariableEndliche ModelltheoriePolynomialzeitalgorithmusRegulärer Ausdruck <Textverarbeitung>Regulärer GraphWort <Informatik>Nichtlineares GleichungssystemKlasse <Mathematik>InterpretiererFokalpunktTeilbarkeitAlgorithmusDifferenzkernMathematische LogikEinfach zusammenhängender RaumAutomat <Automatentheorie>HomomorphismusZahlenbereichKomplex <Algebra>SchnittmengeOrdinalzahlDifferenteSelbstrepräsentationDatenstrukturPrädikatenlogik erster StufeSpeicherabzugNatürliche ZahlTupelVollständiger VerbandÄhnlichkeitsgeometrieAuswahlaxiomMereologiePotenz <Mathematik>QuadratzahlObjekt <Kategorie>Installation <Informatik>Trennschärfe <Statistik>Prozess <Informatik>DialektWorkstation <Musikinstrument>KraftHilfesystemART-NetzRegistrierung <Bildverarbeitung>TopologieMinimalgradGruppenoperationAggregatzustandWeg <Topologie>Generator <Informatik>SoftwaretestComputeranimation
04:40
E-FunktionNichtlineares GleichungssystemModel CheckingBinärdatenRelation <Informatik>PolynomKubischer GraphHelmholtz-ZerlegungMusterspracheAlgorithmusDerivation <Algebra>StellenringFreewareGarbentheorieVerband <Mathematik>AbfrageHelmholtz-ZerlegungRechter WinkelCASE <Informatik>OrtsoperatorExtreme programmingZahlenbereichEndliche ModelltheoriePhysikalisches SystemAlgorithmusGarbentheorieGruppenoperationSprachsyntheseResultanteBildschirmmaskeSondierungBitrateRelativitätstheorieVariableGamecontrollerForcingDialektTopologieRationale ZahlBinärcodeWort <Informatik>PolynomMusterspracheDerivation <Algebra>MultiplikationsoperatorNichtlineares GleichungssystemOrdinalzahlMereologieProzess <Informatik>Poisson-KlammerVererbungshierarchieModel CheckingPotenz <Mathematik>Computeranimation
10:11
BinärdatenHelmholtz-ZerlegungPolynomVariableRegulärer AusdruckRegulärer GraphRelation <Informatik>Nichtlineares GleichungssystemPrädikat <Logik>RelativitätstheoriePolynomKonditionszahlAbfrageFormale SpracheVariableTopologieGammafunktionMapping <Computergraphik>Element <Gruppentheorie>OrdinalzahlInterpretiererNebenbedingungHomomorphismusMathematische LogikLeistung <Physik>Regulärer GraphDifferenteTypentheorieRegulärer Ausdruck <Textverarbeitung>BinärcodeHelmholtz-ZerlegungAusdruck <Logik>MultiplikationsoperatorZahlenbereichBildschirmmaskeDigitaltechnikModel CheckingDatenstrukturAbzählenVollständiger VerbandExakte SequenzKnotenpunktMAPSpieltheorieQuellcodeRichtungSchlüsselverwaltungXMLComputeranimation
14:02
Nichtlineares GleichungssystemNebenbedingungAlgorithmusBinärdatenRekursiv aufzählbare MengeÄhnlichkeitsgeometrieBinder <Informatik>Helmholtz-ZerlegungBinärcodeNichtlineares GleichungssystemSchlüsselverwaltungAbfrageAdditionRegulärer GraphKonditionszahlRichtungRelativitätstheorieCASE <Informatik>GruppenoperationOrtsoperatorMinkowski-MetrikAlgorithmusCliquenweiteWort <Informatik>PolynomialzeitalgorithmusKlasse <Mathematik>Prozess <Informatik>OrdinalzahlPolynomGebundener ZustandTopologieMultiplikationsoperatorNebenbedingungComputeranimation
15:34
Computeranimation
Transkript: Englisch(automatisch erzeugt)