Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features such as dynamic method calls and dynamic type casts can contribute substantially to the performance of a program. Loop-invariant type is a concept relating to an object whose dynamic type never changes inside a loop. In t...

System-size dependence of the ground-state energy E is investigated for N-site onedimensional (1D) quantum systems with open boundary condition, where the interaction strength decreases towards the both ends of the system. For the spinless Fermions on the 1D lattice we have considered, it is shown that the finite-size correction to the energy per site, which is defined as E/N − limN→∞ E /N , is...

We propose a method to produce a definite number of ground-state atoms by adiabatic reduction of the depth of a potential well that confines a degenerate Bose gas with repulsive interactions. Using a variety of methods, we map out the maximum number of particles that can be supported by the well as a function of the well depth and interaction strength, covering the limiting case of a Tonks gas ...

One of the most dramatic causes of damage of structures during earthquakes has been the development of liquefaction in saturated cohesionless deposits. These deposits have tendency to densify when subjected to earthquake loading. However, when saturated, the tendency to densify causes the excess pore water pressure to increase. This, in turn, results in the effective stress of soil to decrease....

In this study, constant-ductility optimization algorithm under a family of earthquake ground motions is utilized to achieve uniform damage distribution over the height of steel moment resisting frames (SMRFs). SMRF structures with stiffness-degrading hysteric behavior are modeled as single-bay generic frame in which the plastic hinge is confined only at the beam ends and the bottom of the first...

as regards if curing stops for some time and then resumes again, then strength gain will also stop and reactive, in this study with choose suitable curing conditions after improper first curing (recurring) for normal and silica-fume concrete, effect of this curing conditions on strength and permeability was investigated. the results from tests such as compressive strength, capillary water absor...

The formulation of a reliability-based strength-reduction ($)factor for developed and spliced bars is described. Conventional and high relative rib area bars, both with and without confining reinforcement, are considered. The $factor is determined using statistically-based expressions for development/splice strength and Monte Carlo simulations of a range of beams. The overall approach is applic...

PURPOSE Grinding with less stress on 3Y-TZP through proper selection of methods and instruments can lead to a long-term success of prosthesis. The purpose of this study was to compare the phase transformation and physical properties after zirconia surface grinding with 3 different grinding burs. MATERIALS AND METHODS Forty disc-shaped zirconia specimens were fabricated. Each Ten specimens wer...

Calculation of the specific charge and specific drilling before a blasting operation plays a significant role in the design of a blasting pattern and the reduction of the final extraction cost of minerals. In this work, the information from the Sungun, Miduk and Chah-Firouzeh copper mines in Iran was assessed, and it was found that there was a significant relationship between the specific charg...