we study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. we discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. this first part introduces the main conceps and philosophies anddiscu...

In this paper, the continuous optimal control theory is used to model and solve the maximum entropy problem for a continuous random variable. The maximum entropy principle provides a method to obtain least-biased probability density function (Pdf) estimation. In this paper, to find a closed form solution for the maximum entropy problem with any number of moment constraints, the entropy is consi...

Finite element formulations based generally on classical beam theories such as Euler-Bernoulli or Timoshenko. Sometimes, these two formulations could be problematic expressed in terms of restrictions of Euler-Bernoulli beam theory, in case of thicker beams due to non-consideration of transverse shear; phenomenon that is known as shear locking characterized the Timoshenko beam theory, in case of...

background: determining the optimal and effective scheme for administrating the chemotherapy agents in breast cancer is the main goal of this scientific research. the most important issue here is the amount of drug or radiation administrated in chemotherapy and radiotherapy for increasing patient's survival. this is because in these cases, the therapy not only kills the tumor cells, but also ki...

We consider an integro-differential model for evolutionary game theory which describes the evolution of a population adopting mixed strategies. Using a reformulation based on the first moments of the solution, we prove some analytical properties of the model and global estimates. The asymptotic behavior and the stability of solutions in the case of two strategies is analyzed in details. Numeric...

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of Lukasiewicz logic) and continuous logic, and prove effective versions of some related theorems in model theory. We show how to reduce continuous logic to rational Pavelka logic. We also define notions of computability and decidability of a model for logics with computable, but uncount...

We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...

A generalization of the known results in fusion frames and $g$-frames theory to continuous fusion frames which defined by M. H. Faroughi and R. Ahmadi, is presented in this study. Continuous resolution of the identity (CRI) is introduced, a new family of CRI is constructed, and a number of reconstruction formulas are obtained. Also, new results are given on the duality of continuous fusion fram...

A two dimensional generalized thermoelastic problem of a thick circular plate of finite thickness and infinite extent subjected to continuous axisymmetric heat supply and an internal heat generation is studied within the context of generalized thermoelasticity. Unified system of equations for classical coupled thermoelasticity, Lord-Shulman and Green-Lindsay theory is considered. An exact solut...