搜索结果: 1-15 共查到“数理逻辑与数学基础 t-J models”相关记录61条 . 查询时间(0.109 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Analysis of score-based generative models
分数 生成 模型分析
2023/4/21
Score-based generative modeling (SGM) is a highly successful approach for learning a probability distribution from data and generating further samples, based on learning the score function (gradient o...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Peakon Models II: Weak-kink, interactions with peakon, and Remedies
Peakon模型 弱扭结 相互作用 补救措施
2023/5/8
In the 2nd part of the series talks, I will introduce the new phenomena of weak-kink and its interaction with regular peakons which we recently developed. Such models include cubic Camassa-Holm (CH) t...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Peakon Models I: Scalar Form
标量形式 Peakon模型 标量峰值模型
2023/5/8
In this talk, I will majorly focus on the scalar peakon models developed in the last 30 years. Most integrable peakon equations come from the negative order flow in the hierarchy. I will take some exa...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Group-Orthogonal Subsampling for Big Data Linear Mixed Models
大数据 线性混合模型 群正交 子采样
2023/5/10
Linear mixed model is a popular and common modeling method in statistical analysis. It is computationally difficult to obtain parameter estimates in linear mixed model for big data. The current subsam...
On the computability-theoretic complexity of trivial, strongly minimal models
computability-theoretic strongly minimal models
2015/9/28
We show the existence of a trivial, strongly minimal (and thus
uncountably categorical) theory for which the prime model is computable and
each of the other countable models computes 0
00. This res...
The rise and fall of uncountable models.
P-NDOP and P-decompositions of aleph_epsilon saturated models of superstable theories
P-NDOP P-decompositions
2015/9/25
Given a complete, superstable theory, we distinguish a class P of
regular types, typically closed under automorphisms of C and non-
orthogonality. We define the notion of P-NDOP, which is a weakenin...
An old friend revisited: Countable models of ω-stable theories
Countable models ω-stable theories
2015/9/25
We work in the context of ω-stable theories. We obtain a natural,
algebraic equivalent of ENI-NDOP and discuss recent joint proofs with
S. Shelah that if an ω-stable theory has either ENI-DOP or is ...
We characterize the stable theories T for which the saturated
models of T admit decompositions. In particular, we show that
countable, shallow, stable theories with NDOP have this property.
As has been known since at least [?] and is carefully spelled out in Chapter 6 of [?], for
every complete sentence ψ of Lω1,ω (in a countable vocabulary τ ) there is a complete,
first order theory T...
The Schr鰀er-Bernstein property for a-saturated models
Schr鰀er-Bernstein property a-saturated models
2015/9/25
A first-order theory T has the Schr╫der-Bernstein (SB) property
if any pair of elementarily bi-embeddable models are isomorphic. We prove
that T has an expansion by constants with the SB property if...
LOCALLY D-OPTIMAL DESIGNS BASED ON A CLASS OF MODELS COMBINING AN EMAX AND ONE-COMPARTMENT MODELS∗
MODELS COMBINING AN EMAX ONE-COMPARTMENT MODELS∗
2015/3/18
A class of models combining a pharmacokinetic compartmental
model and a pharmacodynamic Emax model is introduced. One 4-
parameter and another 5-parameter models in this class are studied.
These mo...
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...
Forcing is a methodology for building models of Set Theory satisfying certain properties. Since its inception by Paul Cohen, in the early 1960s, it has been applied to several areas in Mathematical Lo...
The Schroder-Bernstein property for a-saturated models
Schroder-Bernstein property a-saturated models Logic
2012/3/1
A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB propert...