University of South Florida
College of Arts and Sciences
Search
Menu
Give Now
Title: Developmental Computing Speaker: Przemyslaw Prusinkiewicz, Department of Computer Science University of Calgary Canada Time: 3:00pm‐4:00pm Place: PHY 120
L-systems, introduced by Lindenmayer in 1968, provide a useful mathematical and programming framework for modeling the development of plants. Formally, (parametric) L-systems offer a means for defining growing active cell complexes, which represent the topology and geometry of the simulated structures, but also act as a dynamic domain for self-configuring systems of equations that represent functional aspects of the models. This close coupling of topology, geometry and computation can be viewed as a paradigm for computing, pioneered by, but not restricted to, biological applications of L-systems. In my presentation, I will analyze the distinctive features of this paradigm and survey selected applications of developmental computing outside the realm of biology, with an emphasis on geometric modeling.
Title: On non-local generalizations of the celebrated symmetry principle Speaker: Tatiana Savin, Ohio University Athens, OH Time: 3:00pm‐4:00pm Place: PHY 120
This talk is devoted to generalizations of the Schwarz symmetry principle holding for harmonic functions subject to the Dirichlet or Neumann conditions on a real-analytic curve in the plane. This celebrated point-to-point reflection almost always fails for solutions to more general elliptic equations. We will consider reflection as an integro-differential operator. In this generalized form symmetry principle holds for different elliptic equations subject to different boundary conditions.
Title: Quantum integrable models and Heine-Stieltjes polynomials Speaker: Vitaly Tarasov, Indiana University Time: 3:00pm‐4:00pm Place: PHY 120
The history of Heine-Stieltjes polynomials is 120 years long. The history of quantum integrable models is slightly shorter, only over 80 years. And these two subjects has met more than 30 years ago. The relation of two subjects is provided by separation of variables in quantum integrable models. In the talk, I will explain this relation describing a vocabulary between two areas, and will formulate some generalizations of Heine-Stieltjes polynomials motivated by the theory of quantum integrable models.
Title: Loops, Quasigroups and Automated Reasoning or How I Learned To Stop Worrying and Start Letting Computers Prove Theorems Speaker: Michael Kinyon, University of Denver Denver, CO Time: 3:00pm‐4:00pm Place: PHY 120
In the past few years, automated reasoning tools have proven to be very effective in resolving open problems in the theory of quasigroups and loops. In this talk I will survey some of these results. No background in quasigroup or loop theory is needed; what is necessary will be developed in the course of the talk.
Title: Differential Equations on Time Scales Speaker: Yepeng Xing, Shanghai Normal University China Time: 3:00pm‐4:00pm Place: PHY 120
Differential equations on time scales were first introduced by S. Hilger in 1990 to unify differential and difference calculus. In the past ten years, it has received a great deal of attention and hundreds of papers have been published in this area. In this talk, I will briefly summarize the idea of differential equations on time scales at first and then introduce my work on this topic.
Title: The existence and convergence of uniform attractors for \(3\)D Brinkman-Forchheimer equations Speaker: Caidi Zhao, Wenzhou University China Time: 3:00pm‐4:00pm Place: PHY 120
This paper discusses the three dimensional (\(3\)D) Brinkman-Forchheimer equations. The authors first prove the existence of uniform attractors for the \(3\)D Brinkman-Forchheimer equations in \(\mathbb{H}^1(\Omega)\), and then show that the uniform attractors converges to the uniform attractor of the \(3\)D Brinkman equations as the Forchheimer coefficients tend to zero.