Search results for "Computer"

On the local and global regularity of tug-of-war games

2018

This thesis studies local and global regularity properties of a stochastic two-player zero-sum game called tug-of-war. In particular, we study value functions of the game locally as well as globally, that is, close to the boundaries of the game domains. Furthermore, we formulate a continuous time stochastic differential game and discuss, among other things, the equicontinuity of the families of value functions. The main motivation is to understand the properties of the games on their own right. As applications, we obtain an existence and a regularity result for a nonlinear elliptic p-Laplace type partial differential equation and a characterization of the solution to a parabolic p-Laplace typ…

Limiting Carleman weights and conformally transversally anisotropic manifolds

2020

We analyze the structure of the set of limiting Carleman weights in all conformally flat manifolds, 3 3 -manifolds, and 4 4 -manifolds. In particular we give a new proof of the classification of Euclidean limiting Carleman weights, and show that there are only three basic such weights up to the action of the conformal group. In dimension three we show that if the manifold is not conformally flat, there could be one or two limiting Carleman weights. We also characterize the metrics that have more than one limiting Carleman weight. In dimension four we obtain a complete spectrum of examples according to the structure of the Weyl tensor. In particular, we construct unimodular Lie groups whose …

Functional a posteriori error estimates for boundary element methods

2019

Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results.

Asymptotic Lipschitz regularity for tug-of-war games with varying probabilities

2018

We prove an asymptotic Lipschitz estimate for value functions of tug-of-war games with varying probabilities defined in $\Omega\subset \mathbb R^n$. The method of the proof is based on a game-theoretic idea to estimate the value of a related game defined in $\Omega\times \Omega$ via couplings.

Increasing stability in the linearized inverse Schrödinger potential problem with power type nonlinearities

2022

We consider increasing stability in the inverse Schr\"{o}dinger potential problem with power type nonlinearities at a large wavenumber. Two linearization approaches, with respect to small boundary data and small potential function, are proposed and their performance on the inverse Schr\"{o}dinger potential problem is investigated. It can be observed that higher order linearization for small boundary data can provide an increasing stability for an arbitrary power type nonlinearity term if the wavenumber is chosen large. Meanwhile, linearization with respect to the potential function leads to increasing stability for a quadratic nonlinearity term, which highlights the advantage of nonlinearit…

Shape optimization utilizing consistent sensitivities

2010

Systematic implementation of higher order Whitney forms in methods based on discrete exterior calculus

2022

AbstractWe present a systematic way to implement higher order Whitney forms in numerical methods based on discrete exterior calculus. Given a simplicial mesh, we first refine the mesh into smaller simplices which can be used to define higher order Whitney forms. Cochains on this refined mesh can then be interpolated using higher order Whitney forms. Hence, when the refined mesh is used with methods based on discrete exterior calculus, the solution can be expressed as a higher order Whitney form. We present algorithms for the three required steps: refining the mesh, solving the coefficients of the interpolant, and evaluating the interpolant at a given point. With our algorithms, the order of…

Functional Type Error Control for Stabilised Space-Time IgA Approximations to Parabolic Problems

2018

The paper is concerned with reliable space-time IgA schemes for parabolic initial-boundary value problems. We deduce a posteriori error estimates and investigate their applicability to space-time IgA approximations. Since the derivation is based on purely functional arguments, the estimates do not contain mesh dependent constants and are valid for any approximation from the admissible (energy) class. In particular, they imply estimates for discrete norms associated with stabilised space-time IgA approximations. Finally, we illustrate the reliability and efficiency of presented error estimates for the approximate solutions recovered with IgA techniques on a model example. peerReviewed

Kryptologia a prawo – wybrane zagadnienia: idea kryptowaluty i jej wpływu na ewolucję oszustw w internecie

2016

Rozwój cyberprzestrzeni i jej narzędzi kreuje nowe zagadnienia zarówno w świecie wirtualnym, jak i realnym. Pojawienie się nowego elementu, tzn. waluty cyfrowej w postaci monet kryptograficznych spowodowało szereg zmian w funkcjonowaniu użytkowników w Sieci. Wraz ze zmianami ewoluowały również metody stosowane przez cyberprzestępców. Celem artykułu jest ukazanie, jaki wpływ wywarły monety typu bitcoin na powstanie nowych form oszustw występujących w Internecie

Accélérer la recherche d'informations grâce aux dispositifs d'interaction : Système de navigation pour les documents numériques

2005

International audience; Cet article présente une démarche qui vise à doter les outils d'interaction tactiles usuels (souris informatique, pavé tactile) d'une commande de prévisualisation des objets désignés. Nous décrivons la genèse du dispositif ainsi que les bénéfices attendus en termes d'agrément d'usage et d'accélération des recherches d'information dans certains contextes (retrouver une page qui a déjà été consultée par exemple). Nous limiterons notre description dans le cadre de cet article aux apports du dispositif à la consultation de documents numériques et en particulier aux sites Internet.