A conservative method of level set type for moving interfaces in divergence free velocity fields is presented. The interface is represented implicitly by the 0.5 level set of a function U being a smeared out Heaviside function, i.e., a function being zero on one side of the interface and one on the other. In a transition layer of finite, constant thickness U goes smoothly from zero to one. The ...

a new approach for analyzing cracked problems in 2d orthotropic materials using the well-known element free galerkin method and orthotropic enrichment functions is proposed. the element free galerkin method is a meshfree method which enables discontinuous problems to be modeled efficiently. in this study, element free galerkin is extrinsically enriched by the recently developed crack-tip orthot...

Abstract We study the extremal properties of a stochastic process x t defined by Langevin equation x ̇ t <m...

We define pure intuitionistic differential proof nets, extending Ehrhard and Regnier’s differential interaction nets with the exponential box of Linear Logic. Normalization of the exponential reduction and confluence of the full one is proved. These results are directed and adjusted to give a translation of Boudol’s untyped λ-calculus with resources extended with a linear-non linear reduction à...

In this paper, we show a general way to interpret the infrastructure of a global field of arbitrary unit rank. This interpretation generalizes the prior concepts of the giant-step operation and f -representations, and makes it possible to relate the infrastructure to the (Arakelov) divisor class group of the global field. In the case of global function fields, we present results that establish ...

We discuss the observations leading to the Faint Blue Galaxy problem and the uncertainties upon which faint galaxy models are based. Using deep Hubble Space Telescope (HST) imaging with the Wide Field Planetary Camera (WFPC2), we show how morphological information has been used to shed new light on the problem. Initial results indicate that the giant galaxies (ellipticals and early-type spirals...