搜索结果: 1-15 共查到“数理逻辑与数学基础 Model”相关记录78条 . 查询时间(0.257 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Minimal model program for generalized pairs
广义对 最小 模型程序
2023/4/23
Generalized pairs are a natural structure in birational geometry that first appeared in Kodaira’s canonical bundle formula for elliptic fibrations. They were formally introduced by Birkar and Zhang in...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Dynamics of a Nutrient-Phytoplankton Model with Random Phytoplankton Mortality
随机浮游植物死亡率 营养-浮游植物 模型动力学
2023/4/28
In this talk, we investigate a stochastic nutrient-phytoplankton model which incorporates the effect of white noise on phytoplankton growth. The global existence and uniqueness of a positive solution,...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：A Social-Network-Inspired Breast Cancer Risk Assessment Model
社交网络启发 乳腺癌 风险评估 模型
2023/5/5
The pathogenesis of breast cancer is not the same in all countries and regions; therefore, some existing breast cancer risk assessment models are not well adapted to all countries and regions, includi...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：On the Derrida-Retaux recursive model
Derrida-Retaux 递归模型 递归论
2023/5/16
In order to study the depinning transition in presence of strong disorder, Derrida and Retaux (J. Stat. Phys. (2014)) introduced a discrete-time max-type recursive model. It is believed that for a lar...
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...
Characterizing model completeness among mutually algebraic structures
algebraic structures model completeness
2015/9/28
We characterize when the elementary diagram of a mutually algebraic
structure has a model complete theory, and give an explicit
description of a set of existential formulas to which every formula
i...
The elementary diagram of a trivial, weakly minimal structure is near model complete
elementary diagram model complete
2015/9/28
We prove that if M is any model of a trivial, weakly minimal theory,
then the elementary diagram T(M) eliminates quantifiers down
to Boolean combinations of certain existential formulas.
Model completeness for trivial, uncountably categorical theories of Morley rank one
uncountably categorical theories Model completeness
2015/9/28
The present paper is a direct continuation of [2], where it is shown that any strongly
minimal trivial theory is model complete after naming constants for a model. In this
paper we show that this re...
Trivial, strongly minimal theories are model complete after naming constants
model complete naming constants
2015/9/25
We prove that if M is any model of a trivial, strongly
minimal theory, then the elementary diagram Th(MM ) is a model
complete LM -theory. We conclude that all countable models of
a trivial, strong...
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
2015/9/25
In the early days of the development of model theory it was considered
natural and was certainly beneficial to assume that the theories under investigation
were in a countable language. The primary ...
MULTISCALE MAXIMUM LIKELIHOOD ANALYSIS OF A SEMIPARAMETRIC MODEL, WITH APPLICATIONS
LIKELIHOOD ANALYSIS SEMIPARAMETRIC MODEL WITH APPLICATIONS
2015/8/20
A special semiparametric model for a univariate density is introduced
that allows analyzing a number of problems via appropriate transformations. Two problems treated in some detail are testing for t...
TIME TO REACH STATIONARITY IN THE BERNOULLI-LAPLACE DIFFUSION MODEL
Markov chains eigenvalues Gelfand pairs Hahn polynomials
2015/7/14
TIME TO REACH STATIONARITY IN THE BERNOULLI-LAPLACE DIFFUSION MODEL.
Does the theory of tracial von Neumann algebras have a model companion?
the theory of tracial von Neumann algebras model companion Logic
2012/7/11
In this note, we show that, assuming a positive solution to the Connes Embedding Problem (CEP), the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fa...
Aging through hierarchical coalescence in the East model
kinetically constrainedmodels non-equilibrium dynamics coalescence metastability
2011/2/25
We rigorously analyze the low temperature non-equilibrium dynamics of the East model, a special example of a one dimensional oriented kinetically constrained particle model, when the initial distribut...
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...