搜索结果: 1-5 共查到“数理逻辑与数学基础 Computational”相关记录5条 . 查询时间(0.078 秒)
Associate Professor Diane Wilcox，School of Computational & Applied Mathematics at South Africa's Wits University（图）
Associate Professor Diane Wilcox School of Computational & Applied Mathematics at South Africa's Wits University
2014/12/31
Associate Professor Diane Wilcox，School of Computational & Applied Mathematics at South Africa's Wits University,Special Interests
My research and teaching portfolios include focus on Risk Measuremen...
The School of Computational & Applied Mathematics at South Africa's Wits University
The School of Computational & Applied Mathematics at South Africa's Wits University Applied Mathematics
2014/12/31
The School currently has 23 full time members of staff and has permission to appoint the new Chair and fill two posts at Lecturer/Senior Lecturer level. The School has benefited from an Honours Progra...
Workshop on Mathematical and Computational Methods for Transport Equations
Mathematical Computational Methods Transport Equations
2014/11/3
The Workshop on Mathematical and Computational Methods for Transport Equations will be held from Nov 8 to Nov 9, in the Department of Mathematics, Shanghai Jiao University, Shanghai, China.
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility
algorithmic information theory algorithmic randomness weak truth-table reducibility
2011/9/14
Abstract: The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use functi...
A note on computational complexities of polynomial type
computational complexities polynomial type
2010/11/18
We introduce a notion of a polynomial type complexity of a multivariate polynomial. We provide examples of polynomial type complexities, including the determinantal complexity. We present two algorit...