The stress distribution and dislocation forces for screw dislocations near cavities and straight boundaries are examined, depending on the selected cut used to impose a displacement discontinuity and create a dislocation. The location of the equilibrium dislocation position is determined in each considered case. The slip-induced stress amplification in thin ligaments between a cavity and a stra...

This paper describes a tableau-based higher-order theorem prover Hot and an application to natural language semantics. In this application, Hot is used to prove equivalences using world knowledge during higher-order uniication (HOU). This extended form of HOU is used to compute the licensing conditions for corrections.

EriLex is a software tool for generating support code for embedded domain speci c languages (EDSL). EriLex supports de ning the syntax, static semantics, and dynamic semantics of EDSLs desigined in the method chaining style, the functional nesting style, or both. EriLex supports various features of EDSLs that are commonly used in manually written EDSL libraries, in addition to other less freque...

The Kolmogorov-Smirnov test determines the consistency of empirical data with a particular probability distribution. Often, parameters in the distribution are unknown, and have to be estimated from the data. In this case, the Kolmogorov-Smirnov test depends on the form of the particular probability distribution under consideration, even when the estimated parameter-values are used within the di...

Several consensus protocols have been proposed in the literature and their convergence properties studied via a variety of methods. In all these methods, the communication topologies play a key role in the convergence of consensus processes. The goal of this paper is two fold. First, we explore communication topologies, as implied by the communication assumptions, that lead to consensus among a...

In this paper we propose a general method for testing the Granger noncausality hypothesis in stationary nonlinear models of unknown functional form. These tests are based on a Taylor expansion of the nonlinear model around a given point in the sample space. We study the performance of our tests by a Monte Carlo experiment and compare these to the most widely used linear test. Our tests appear t...

In a preceding paper [Comput. Phys. Commun. 184 (1): 51–59, 2013], we revisited the problem of calculating Coulomb Green’s function and image potential near a planar diffuse interface within which the dielectric permittivity of the inhomogeneous medium changes continuously along one Cartesian direction in a transition layer between two dissimilar dielectric materials. In the present paper, we c...

The kernel function plays a central role in kernel methods. Existing methods typically fix the functional form of the kernel in advance and then only adapt the associated kernel parameters based on empirical data. In this paper, we consider the problem of adapting the kernel so that it becomes more similar to the so-called ideal kernel. We formulate this as a distance metric learning problem th...