搜索结果: 1-3 共查到“数学 database”相关记录3条 . 查询时间(0.077 秒)
Improving accuracy and power with transfer learning using a meta-analytic database
Meta-analysis,fMRI,multiple comparison,machine learning
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
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
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...