搜索结果: 1-8 共查到“数学 the Foundations”相关记录8条 . 查询时间(0.015 秒)
In Dhar’s model of abelian distributed processors, finite automata occupy the vertices of a graph and communicate via the edges. A local commutativity condition ensures that the final output does not ...
In this paper we carefully study the analysis involved with Volterra series. We address system-theoretic issues ranging from bounds on the gain and incremental gain of Volterra series operators to the...
On Foundations of Newtonian Mechanics
classical mechanics continuum mechanics constitutive equations measures
2011/2/21
Being based on V. Konoplev’s axiomatic approach to continuum mechanics, the paper broadens
its frontiers in order to bring together continuum mechanics with classical mechanics in a new
theory of me...
Concrete Foundations for Categorical Quantum Physics
Concrete Foundations Categorical Quantum Physics
2011/3/4
An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke [10], tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assu...
The research group on Mathematical Foundations of Computer Science at Rwthaachen Universtity
Mathematical 数学 computer science 计算机科学
2007/12/19
The main research areas of the research group on Mathematical Foundations of Computer Science at Rwthaachen are logic, the theory of infinite games, and complexity, with particular emphasis on logic f...
The Mathematical Foundations Group is an informal group composed mainly of people working in the Computer Science department at the University of Manchester.This course is also suitable for new resear...
The next Foundations of Computational Mathematics conference will take place at the City University of Hong Kong at Hong Kong, China, on 16-26 June 2008.
The conference, organised by the Society for...
Foundations of Computational Mathematics (FoCM) is a nonprofit organization that supports and promotes research on foundations of computational mathematics. It fosters interaction among mathematics, c...