搜索结果: 1-13 共查到“数理逻辑与数学基础 Mathematical”相关记录13条 . 查询时间(0.046 秒)
Gender Differences in Growth in Mathematical Skills During Secondary Grades: A Growth Model Analysis
Mathematical Skills Growth
2015/9/28
The purpose of this study was to examine differences in the rate at which males and females acquired mathematical skills during secondary grades and to determine the relationship between their rates o...
On mathematical foundation of the Brownian motor theory
Brownian motors diffusion effective drift effective diffusivity Bloch decomposition
2015/9/25
The paper contains mathematical justification of basic facts concerning the Brownian motor theory. The homogenization theorems are proved for the Brownian motion in periodic tubes with a constant drif...
Joint International Workshop of National University of Singapore Institute for Mathematical Sciences and Yong Siew Toh Conservatory of Music
Mathematics Computation in Music Performance Composition
2014/11/3
Mathemusical Conversations is an international workshop bringing together world experts and emerging scholars in and across mathematics and music, with a special focus on mathematical and computationa...
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.
PROVIDENCE, R.I. [Brown University] — Mathematicians from Brown University have introduced a new element of uncertainty into an equation used to describe the behavior of fluid flows. While being as ce...
A MATHEMATICAL THEORY OF EVIDENCE FOR G.L.S. SHACKLE
MATHEMATICAL THEORY EVIDENCE FOR G.L.S. SHACKLE
2014/6/27
Evidence Theory is a branch of mathematics that concerns the combination of empirical evidence in an individual's mind in order to construct a coherent picture of reality. Designed to deal with unex...
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library
Mizar Mathematical Library mizar-items Digital Libraries
2011/10/9
Abstract: The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see this http URL). Owing to its large size (it contains more than 1100 "articles" summing to nearl...
On the mathematical synthesis of equational logics
Equational logic algebraic theories soundness and completeness rewriting
2011/10/8
Abstract: We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational recons...
A mathematical model for networks with structures in the mesoscale
mathematical model networks structures
2011/3/2
The new concept of multilevel network is introduced in order to em-body some topological properties of complex systems with structures in the mesoscale which are not completely captured by the classic...
Glow discharge in low pressure plasma PVD: mathematical model and numerical simulations
Glow discharge low pressure plasma PVD mathematical model numerical simulations
2011/3/2
In this paper we analyze the problem of glow discharge in low pressure plasma in industrial plant, for chambers of different shapes and various working parameters, like pressure and electric potential...
Mafia (also called Werewolf) is a party game. The participants are divided into two competing
groups: citizens and a mafia. The objective is to eliminate the opponent group. The game consists of two ...
The Department of Mathematical Sciences at the Lakehead University
Algebra 代数学 Logic 逻辑 Statistics 统计学
2007/12/21
The Department of Mathematical Sciences at the Lakehead University offers programs leading to Bachelor’s and Master’s degrees in both Arts and Sciences.The Department of Mathematical Sciences offeres ...
Functional self-similarity and renormalization group symmetry in mathematical physics
Functional self-similarity renormalization group symmetry mathematical physics
2010/11/1
The result from developing and applying the notions of functional self-similarity and the Bogoliubov renormalization group to boundary-value problems in mathematical physics during the last decade are...