Context uniication is a variant of second order uniication and also a generalization of string uniication. Currently it is not known whether context uniication is decidable. A specialization of context uniication is stratiied context uniication. Recently, it turned out that stratiied context uniication and one-step rewrite constraints are equivalent. This paper contains a description of a decis...

In this paper, we consider the case of an Optical Burst Switching (OBS) network where the Switch Control Units (SCU) do not work at the peak rate. As a consequence, some Burst Control Packets (BCPs) will have to wait in queue to be processed, and then the BCP sojourn time will be variable. On the contrary, the optical burst does not leave the optical domain and the delay suffered is close to th...

Summertime upwelling off the southern Vietnamese coast is one of most essential oceanographic features in South China Sea. Based on analyzing 38-year (1982–2019) sea surface temperature (SST) images, locations summertime centers are found to be classified into three sub-regions: Southern Coastal Upwelling (SCU; south 12.5°N), Northern (NCU; north and Offshore (OU; east 110°E). Variations intens...

in order to increase grain yield, nitrogen use efficiency (nue) and nitrogen apparent recovery fraction (narf) in wheat (triticum aestivum l.), this experiment was carried out with 5 or 6 treatments and 3 or 4 replications in 14 locations at 22 different sites in iran during the 2004-05 growing season. the experiment was designed as a completely randomized block. the effect of n sources and tim...

This paper introduces open-source computational fluid dynamics software named open dynamic code for scientific computation with graphics processing unit (GPU) system (OpenCFD-SCU), developed by the authors direct numerical simulation of compressible wall-bounded turbulence. is based on finite difference method and accelerated use a GPU, which provides an acceleration factor more than 200 compar...

Abstract The characteristics of peat soil with high organic and moisture content, also compressibility can cause structural failure due to excessive settlement. Improvement settlement parameters be conducted using calcite precipitation method soybean as bio-catalyst, namely Soybean Crude Urease-Calcite Precipitation (SCU-CP). SCU-CP is one the grouting methods improve consistency so that bearin...

TWO PHYSIOLOGIC plasminogen activators, tissue-type plasminogen activator (t-PA) and single-chain uro-kinase-type plasminogen activator (scu-PA, prouro-kinase),' are presently under clinical investigation as fibrin-specific thrombolytic agents. Although recom-binant t-PA has been shown to be more effective and clot specific for coronary arterial thrombolysis than streptokinase, 2 3its risk/bene...

Highly accurate small-arms gunfire detection systems on individual soldiers are vital requirement for added battlefield situational awareness and threat assessment. Today, several acoustic shooter localization systems are commercially available [2, 7, 29]; an overview of such systems can be found in [26]. A few examples of soldier-wearable shooter localization systems include the Shoulder-Worn ...

Dedicated electron cloud diagnostics developed at the Advanced Photon Source (APS) enabled for the first time detailed characterization of the electron cloud (EC) properties in a highintensity positron and electron storage ring. From in situ measurements of the electron flux and energy distribution at the vacuum chamber wall, electron cloud production mechanisms and details of the beam-cloud in...

OBJECTIVES A small proportion of pediatric sport- and recreation-related injuries are serious enough to be considered "major trauma." However, the immediate and long-term consequences in cases of pediatric major trauma are significant and potentially life-threatening. The objective of this study was to describe the incidence and outcomes of pediatric major traumas related to sport and recreatio...