Rozliczać? Tak, ale…

Navier - Stokes ALE free

Droplet impact onto a solid surface is modeled and numerically simulated using an ALE formulation of the Navier-Stokes free surface equations. The triple line dynamics aspect is modeled implicitely through the Shikhmurzaev theory. Those equations involve a generalized Navier slip boundary conditions with the variation of the surface tension near the triple line (thus a local Marangoni effect). ...

Stiglitz 1 (Ale).qxd

ALE Defeasible Description Logic

One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend ALC− Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing effici...

ALE: Awesome Likeable Enclaves

Our goal is to formally verify work begun by Gollamudi and Chong, who introduce ImpE, a security-typed calculus that models low-level imperative programs that can directly use enclaves (a sort of private memory region), and provide a translation from a higher-level, enclave-agnostic calculus, ImpS, to ImpE [1]. Our project naturally falls into two parts: proving that every well-typed program in...

D1-D5 on ALE Space

We construct a two-dimensional N = (0, 4) quiver gauge theory on D1-brane probing D5-branes on ALE space, and study its IR behavior. This can be thought of as a gauged linear sigma model for the NS5-branes on ALE space.