Shear stress driven grain boundary (GB) migration was found to be a ubiquitous phenomenon in small grained polycrystalline materials. Here we show that the GB displacement shift complete (DSC) dislocation mechanism for GB shear coupled migration is still functioning even if the geometry orientation of the GBs deviates a few degrees from the appropriate coincidence site lattice (CSL) GBs. It mea...

The Computer Systems Laboratory (CSL), National Institute of Standards and Technology, hosted the eighteenth North American ISDN Users' Forum (NIUF) at its Gaithersburg, Maryland, site on June 22-25, 1993. About 230 users, implementors, and service providers of ISDN technology attended the meeting. CSL collaborated with industry in 1988 to establish the NIUF to ensure that emerging ISDN applica...

Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixedsignal integrated systems. In mixed-signal application the analog functionality can be affected by this digital switching noise and therefore resolution is degraded. The Curre...

We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary notions to achieve the goal. One uses a denotational semantics (based on traces). The other is based on SOS, but was obtained only for a fragment of the logic — the Disjoint CSL — which disallows modifying shared varia...

The logic CSL of the comparative concept similarity has been introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison between concepts and/or objects. In this logic we can formulate assertions of the form “objects A are more similar to B than to C”. This kind of assertions can be added to an ontology to express qualitative comparisons b...

This paper proposes an innovative approach to represent the Pictogram Chinese Characters. The advantage of this representation is using an extraordinary representation to represent the pictogram Chinese character. This extraordinary representation is created accordingly to the original pictogram Chinese characters revolution or transition. The purpose of this innovative creation is to assist th...

The random walk procedure has been applied on some typical relaxed CSL twist grain boundaries. The relaxation has been achieved by means of the Molecular Dynamics method, applied on the CSL computational cells. Some of the random walk parameters are discussed and the information dimension is examined as a function of the rotation anqle 8. The remarkable anisotropy observed in the parameters bet...

This paper introduces strong bisimulation for continuous-timeMarkov decision processes (CTMDPs), a stochastic model which allows for a nondeterministic choice between exponential distributions, and shows that bisimulation preserves the validity of CSL. To that end, we interpret the semantics of CSL—a stochastic variant of CTL for continuous-time Markov chains—on CTMDPs and show its measure-theo...

[1] Two characteristics that distinguish canopy sublayer (CSL) turbulence from its atmospheric surface layer (ASL) counterpart are short-circuiting of the energy cascade and formation of Kelvin-Helmholtz (KH) vortices near the canopy top. These two phenomena lead to nonlinear and poorly understood interactions between small and large scale eddies within the CSL absent from classical ASL turbule...

Collapse models explain the absence of quantum superpositions at the macroscopic scale, while giving practically the same predictions as quantum mechanics for microscopic systems. The Continuous Spontaneous Localization (CSL) model is the most refined and studied among collapse models. A well-known problem of this model, and of similar ones, is the steady and unlimited increase of the energy in...