MathematicalTheoremMachineProvingSystemBasedonCoq-MachineProvingoftheFactorizationTheoremofPrincipalIdealDomain
Coq
Mathematical Theorem
Machine Proving

1 浏览量2025-07-20上传pdf0.86MB共8页暂未评分

AnalysisofBoostingSystemReliability
Boosting
System
Reliability

1 浏览量2025-07-19上传pdf1.31MB共11页暂未评分

Asafeeyeontheroad
Safety
Driving
Monitoring

1 浏览量2025-07-19上传pdf3.88MB共30页暂未评分

DevelopmentandExperimentofAutomaticEmergencyWellShut-inControlSystem
Automatic
Emergency
Well

0 浏览量2025-07-19上传pdf0.61MB共4页暂未评分

End-to-endTask-OrientedDialogueSystemwithDistantlySupervisedKnowledgeBaseRetriever
End-to-end
Task-Oriented Dialogue
System

1 浏览量2025-07-19上传pdf0.5MMB共12页暂未评分

MudPulseSystemSignalProcessandAnalyze
Mud Pulse
Signal Processing
Analyze

0 浏览量2025-07-19上传pdf2.48MB共8页暂未评分

ResearchofIgnitionEnergyClosed-LoopControlforNaturalGasEngine
Ignition
Energy
Control

2 浏览量2025-07-19上传pdf3.19MB共7页暂未评分

ResearchofVehicleAutomaticDiagnosticSystemBasedonCANoe
Vehicle
Automatic
Diagnostic

1 浏览量2025-07-19上传pdf2.99MB共5页暂未评分

SubaruPrimeFocusSpectrographMetrologyCameraSystem
Subaru
Prime Focus Spectrograph
Metrology Camera

0 浏览量2025-07-19上传pdf2.98MB共26页暂未评分

TheTestandEvaluationforCoachElectronicStabilityControlSystem
Test
Evaluation
Coach

0 浏览量2025-07-19上传pdf1.03MB共5页暂未评分

UAVunmannedphotoelectricwarningsystem
UAV
unmanned
photoelectric

0 浏览量2025-07-19上传pdf0.46MB共9页暂未评分

UpdatableHashProofSystemandItsApplications
Updatable
Hash
Proof

2 浏览量2025-07-19上传pdf1.05MB共20页暂未评分