Meri Lisi, Silvia Totaro (2009)
Bollettino dell'Unione Matematica Italiana
Similarity:
In this paper, we study a one-dimensional mathematical model for a contracting interstellar cloud, with a star inside. Existence and uniqueness of a positive solution are proved by means of the fixed point theorem. A time discretization procedure is given and the case of an expanding interstellar cloud is also considered.
Akito Tsuboi (2009)
Colloquium Mathematicae
Similarity:
Let p(x) be a nonprincipal type. We give a sufficient condition for a model M to have a proper elementary extension omitting p(x). As a corollary, we obtain a generalization of Steinhorn's omitting types theorem to the supersimple case.
Jakub Szotek (2015)
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
Similarity:
In the paper we give a mathematical overview of the CreditRisk+ model as a tool used for calculating credit risk in a portfolio of debts and suggest some other applications of the same method of analysis.
Saharon Shelah (2012)
Colloquium Mathematicae
Similarity:
We sort out to a large extent when a (first order complete theory) T has a superlimit model in a cardinal λ. Also we deal with related notions of being limit.
Branzov, Todor (2016)
Serdica Journal of Computing
Similarity:
The paper studies the approaches to development of goods with active participation of virtual community members. The concept of community-sourcing is presented as an alternative to the open source model and crowdsourcing. On that foundation a conceptual model of resource management system that use some current good practices of the IT industry is proposed. Results obtained in a virtual community implementing the model are presented as a validation attempt. ACM Computing Classification...
Přívratská, Jana, Jirsák, Oldřich, Bharanitharan, R.
Similarity:
Compression behaviour and elastic recovery of highloft materials are described by the Maxwell-Kelvin rheological model. We present an algorithm how to determine input parameters for this rheological model using experimental data.
A. Zięba (1969)
Applicationes Mathematicae
Similarity:
F. Castiglione, S. Motta, F. Pappalardo, M. Pennisi (2012)
Mathematical Modelling of Natural Phenomena
Similarity:
About twenty five years ago the first discrete mathematical model of the immune system was proposed. It was very simple and stylized. Later, many other computational models have been proposed each one adding a certain level of sophistication and detail to the description of the system. One of these, the Celada-Seiden model published back in 1992, was already mature at its birth, setting apart from the topic-specific nature of the other ...
J. Grabowski (1976)
Applicationes Mathematicae
Similarity:
Paul D. Bacsich (1972)
Colloquium Mathematicae
Similarity:
R. Bartoszyński (1972)
Applicationes Mathematicae
Similarity:
Paola D'Aquino, Julia F. Knight (2007)
Fundamenta Mathematicae
Similarity:
McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that...
W. Klonecki (1976)
Applicationes Mathematicae
Similarity:
Paolo Lipparini (1982)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
Si dà, mediante condizioni per l'amalgamabilità di tre modelli, una caratterizzazione completa delle teorie localmente finite con model-compagno. Si introduce inoltre un concetto intermedio tra quelli di model-compagno e model-completamento.
Germaná, Clara, Guerrini, Luca (2005)
APPS. Applied Sciences
Similarity: