搜索结果: 1-6 共查到“数学 Automatic”相关记录6条 . 查询时间(0.078 秒)
Mutually algebraic structures and `automatic' quantifier elimination
Mutually algebraic structures `automatic' quantifier elimination
2015/9/28
Mutually algebraic structures and `automatic' quantifier elimination.
Computing Periodic Orbits and their Bifurcations with Automatic Differentiation
Automatic Differentiation Computing Periodic Orbits
2015/8/25
This paper examines algorithms for computing periodic orbits of dynamical systems. Our
goal is to explore the limits of accuracy that are attainable for these calculations within
the pragmatic conte...
Design of DOE-based Automatic Process Controller with Consideration of Model Uncertainties
Automatic Process Controller Model Uncertainties
2015/3/18
This paper developed a DOE-based
automatic process control scheme considering both
observation and modeling uncertainties. The
simulation demonstrates that considering the
uncertainties, automatic...
Automatic Classification of Early Parkinson’s Disease with Multi-Modal MR Imaging
Automatic Classification Early Parkinson’s Disease Multi-Modal MR Imaging
2018/4/19
Background: In recent years, neuroimaging has been increasingly used as an objective method for the diagnosis of Parkinson’s disease (PD). Most previous studies were based on invasive imaging modaliti...
From automatic structures to automatic groups
automatic structures automatic groups Group Theory
2011/9/14
Abstract: In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the...
S. Gersten and H. Short have proved that if a group has a presen-tation which satises the algebraic C(4)&T(4) small-cancellation con-dition then the group is automatic.