搜索结果: 1-3 共查到“数学 Database”相关记录3条 . 查询时间(0.062 秒)
Improving accuracy and power with transfer learning using a meta-analytic database
Meta-analysis,fMRI,multiple comparison,machine learning
font style='font-size:12px;'>
2012/11/23
Typical cohorts in brain imaging studies are not large enough for systematic testing of all the information contained in the images. To build testable working hypotheses, investigators thus rely on an...
Zentralblatt MATH Database
Zentralblatt MATH Database
font style='font-size:12px;'>
2008/1/11
The present edition contains the information of those documents the reviews of which were printed in Zentralblatt für Mathematik and in addition the bibliographic information from those journals, seri...
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
deductive database automated geometry theorem proving and discovering search strategies redundant deduction Skolemization structured database
font style='font-size:12px;'>
2013/9/9
We report our effort to build a geometry deductive database, which can be used to find thefixpointfor a geometric configuration. The system can find all the properties of the configuration that can be...