Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16

The article deals with computer graphics tasks related to the activities of the future informatics teacher in conditions of fundamentalization of education. Training of future informatics teachers in the context of the fundamentalization of education requires them to know the range of tasks related to computer graphics and the skills to solve them. In order to enhance the fundamental component of computer graphics, methods are proposed that rely on interprandial communications, as well as on in-depth training of computer graphics. In the course of reasoning, the authors come to the conclusion that the content of computer graphics should be enriched with mathematical foundations of computer graphics and as a result update the content of the computer graphics course with machine graphics algorithms. The basic principle of selecting the content of the course offered is the principle of the fundamentalization of education. Since the scope of application of computer graphics is extensive, in our opinion, the system of tasks and tasks on computer graphics is the most interesting. A feature of this system is the orientation towards solving fundamental problems of computer graphics. It was also revealed during the study that it is possible to reduce the tasks of the proposed system to a certain sequence of stages. The application of stages for a certain type of tasks affects the methods of solving them. Thus, the fundamental training of future informatics teachers in computer graphics requires them to know these stages and methods of solving fundamental computer graphics tasks.

Download Full-text

Mathematical Foundations of Biomechanics

Critical Reviews in Biomedical Engineering ◽

10.1615/critrevbiomedeng.v38.i6.30 ◽

2010 ◽

Vol 38 (6) ◽

pp. 533-577 ◽

Cited By ~ 4

Author(s):

Peter F. Niederer

Keyword(s):

Mathematical Foundations

Download Full-text

Degenerate Diffusion Operators Arising in Population Biology (AM-185)

10.23943/princeton/9780691157122.001.0001 ◽

2017 ◽

Author(s):

Charles L. Epstein ◽

Rafe Mazzeo

Keyword(s):

Adjoint Operator ◽

Integral Kernel ◽

Mathematical Finance ◽

Elliptic Operators ◽

Complete Analysis ◽

Time Behavior ◽

Degenerate Elliptic Operators ◽

Regularity Properties ◽

Degenerate Elliptic ◽

Mathematical Foundations

This book provides the mathematical foundations for the analysis of a class of degenerate elliptic operators defined on manifolds with corners, which arise in a variety of applications such as population genetics, mathematical finance, and economics. The results discussed in this book prove the uniqueness of the solution to the martingale problem and therefore the existence of the associated Markov process. The book uses an “integral kernel method” to develop mathematical foundations for the study of such degenerate elliptic operators and the stochastic processes they define. The precise nature of the degeneracies of the principal symbol for these operators leads to solutions of the parabolic and elliptic problems that display novel regularity properties. Dually, the adjoint operator allows for rather dramatic singularities, such as measures supported on high codimensional strata of the boundary. The book establishes the uniqueness, existence, and sharp regularity properties for solutions to the homogeneous and inhomogeneous heat equations, as well as a complete analysis of the resolvent operator acting on Hölder spaces. It shows that the semigroups defined by these operators have holomorphic extensions to the right half plane. The book also demonstrates precise asymptotic results for the long-time behavior of solutions to both the forward and backward Kolmogorov equations.

Download Full-text