The Ada Numerics Model
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 287 | |
| Author | ||
| Contributors | ||
| License | CC Attribution 2.0 Belgium: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/57028 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | ||
| Genre | ||
| Abstract |
|
00:00
Mathematical analysisRational numberInfinitySubsetComputer hardwareFile formatBinary fileDecimalStandard deviationExtension (kinesiology)Real numberPortable communications deviceArchitectureData modelApproximationLogical constantType theoryNumerical digitAbsolute valueVoltmeterMaxima and minimaCompilerMeasurementReal numberPhysicistCircleEndliche ModelltheorieDecimalPoint (geometry)VoltmeterRange (statistics)Covering spaceFormal languageType theoryNeuroinformatikPrice indexMultiplication signPortable communications deviceNumerical analysisStandard deviationSet (mathematics)Programming languageFile formatJava appletRational numberResultantApproximationPhysicalismLine (geometry)InfinityLink (knot theory)AreaNumeral (linguistics)CASE <Informatik>DigitizingVirtual machineBitSubsetNumberRepresentation (politics)Goodness of fitCompilerComputer hardwareSurfaceLengthComputerMetreExponentiationPlastikkartePresentation of a groupResolvent formalismOvalPrisoner's dilemmaGame theoryNatural numberComputer architectureCodeSemiconductor memoryProcedural programmingCAN busWeb pageRevision controlDifferent (Kate Ryan album)Product (business)Logic gateExtension (kinesiology)Compilation albumCone penetration testNoise (electronics)MedianBeat (acoustics)BuildingPrincipal idealDataflowVotingHand fanDiagramComputer animation
08:15
Performance appraisalFluid staticsRegulärer Ausdruck <Textverarbeitung>Extension (kinesiology)CompilerRational numberData modelCompilerAsynchronous Transfer ModeOperations researchAdditionLibrary (computing)Linear mapElectric generatorAlgebraImplementationReal numberProduct (business)CompilerEndliche ModelltheorieResultantNeuroinformatikProcess (computing)Virtual machineOperator (mathematics)Logical constantMaxima and minimaDivisorRun time (program lifecycle phase)CASE <Informatik>ExpressionComputer architectureApproximationNumberRange (statistics)Different (Kate Ryan album)AdditionError messageNumeral (linguistics)Scaling (geometry)Elementare FunktionImplementationAsynchronous Transfer ModeComputer configurationTheory of relativitySound effectReal numberRule of inferenceGoodness of fitLibrary (computing)Formal languageSign (mathematics)WavePoint (geometry)TunisExtension (kinesiology)Bounded variationUsabilityLattice (order)Roundness (object)Network topologyOvalMultiplication signComputerPhysicalismBuffer overflowCovering spaceMathematicsResolvent formalismFunctional (mathematics)MultiplicationAreaComputer animation
16:23
ImplementationIndependence (probability theory)Real numberComputer hardwarePoint (geometry)Floating pointScale (map)Coefficient of determinationAttribute grammarNumerical digitCurvatureType theoryPower (physics)Point (geometry)Endliche ModelltheorieSystem callWater vaporOptical disc driveNeuroinformatikMultiplication signResultantPrisoner's dilemmaCASE <Informatik>Maxima and minimaTwitterComputer hardwareMeasurementNumberMachine visionMessage passingGoodness of fitMetreHome pageDifferent (Kate Ryan album)DataflowProtein foldingPeripheralCompilerApproximationScaling (geometry)Metropolitan area networkWeb pageStress (mechanics)InformationAdditionRow (database)Virtual machineProcess (computing)Portable communications deviceComputer programmingType theoryDampingClosed setPhysicalismExploratory data analysisPhysical lawAngleNumerical analysisDigitizingLevel (video gaming)Axiom of choiceBound stateBitImplementationRepresentation (politics)Computer animation
24:32
CASE <Informatik>NumberComputer animationMeeting/Interview
25:02
NumberReal numberMereologyLibrary (computing)Formal languageIntegerMeeting/InterviewComputer animation
25:48
ResultantMeeting/InterviewComputer animation
26:13
Graphical user interfaceBitFormal languageReal numberInternet service providerMultiplication signIntegerLibrary (computing)Type theoryWindowMeeting/InterviewComputer animation
27:01
Power (physics)CalculationData conversionPoint (geometry)Different (Kate Ryan album)Domain nameMessage passingOntologyData miningBoss CorporationNeuroinformatikPiDimensional analysisTerm (mathematics)OvalNumerical analysisType theoryPosition operatorPhysicalismMathematicsMeeting/InterviewComputer animation
28:35
Position operatorImplementationEndliche ModelltheorieIntervallalgebraNeuroinformatikVirtual machineType theoryShift operatorPoint (geometry)Computer hardwareComputer animation
29:34
Type theoryPoint (geometry)CASE <Informatik>Mathematical analysisWordLatent heatNP-hardDifferent (Kate Ryan album)Formal languageRange (statistics)Computer hardwareAxiom of choiceDampingMultiplicationGame controllerMultiplication signPhysical lawResultantForcing (mathematics)Network topologyMeeting/InterviewComputer animation
31:44
Mathematical analysisLatent heatSet (mathematics)Numeral (linguistics)Vector potentialBuffer overflowCAN busNumberNeuroinformatikDisk read-and-write headMeeting/InterviewComputer animation
32:53
VotingDataflowResultantStudent's t-testEndliche ModelltheorieArithmetic meanPhysical systemMeeting/InterviewComputer animation
33:27
Meeting/InterviewComputer animation
Transcript: English(auto-generated)