MathematicalTheoremMachineProvingSystemBasedonCoq-MachineProvingoftheFactorizationTheoremofPrincipalIdealDomain
Coq
Mathematical Theorem
Machine Proving

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

MatrixProductStatesforTopologicalPhaseswithParafermions
Matrix Product States
Topological Phases
Parafermions

0 浏览量2025-07-20上传pdf0.43MB共20页暂未评分

Measuringnationaleconomicprogress
Economic indicators
GDP growth
National welfare

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

Mechanicalpropertiesofcementedsandandgravelmaterialsbasedonartificialneuralnetwork
Cemented sand and gravel
Mechanical properties
Artificial neural network

0 浏览量2025-07-20上传pdf3.83MB共52页暂未评分

MechanismofMultinucleonTransferReactionBasedonGRAZINGandDNSModel
Multinucleon transfer reaction
GRAZING model
DNS model

0 浏览量2025-07-20上传pdf1.99MB共22页暂未评分

MechanicalRobustandSelf-healableSupramolecularHydrogelwithChitosanMicrospheresasCross-linkingCenters
Supramolecular hydrogel
Self-healing
Chitosan microspheres

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

MedicalKnowledgeAttentionEnhancedNeuralModelforNamedEntityRecognitioninChineseEMR
Medical Knowledge
Attention Mechanism
Neural Network Model

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

MemoryAugmentedAttentionModelforChineseImplicitDiscourseRelationRecognition
Memory-Augmented Attention Model
Chinese Implicit Discourse Relations
Discourse

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

Microstructureandmechanicalpropertiesofmulti-carbides(AlSi)compositesderivedfromporousB4Cpreformsbyreactivemeltinfiltration
Multi-carbides composites
AlSi matrix
B4C preforms

0 浏览量2025-07-20上传pdf3.53MB共16页暂未评分

MeteorologicalVariablesandBacillaryDysenteryCasesinChangshaCityChina
Meteorological variables
Bacillary dysentery
Changsha City

0 浏览量2025-07-20上传pdf3.59MB共8页暂未评分

上一页 55 56 57 58 59 60 61 62 63 64 下一页