In this paper, we propose a verification method for pipelined microprocessors with out-of-order execution. We define a class of pipelined microprocessors with out-of-order execution and give a sufficient condition that guarantees the correctness of implementation. Each microprocessor in this class has a pipeline stg 1 ; : : : ; stg n such that the stages stg c ; : : : ; stg n are so-called “ino...

Sterigmatocystin (STG), a biosynthesis precursor of aflatoxin B1, is well known for its toxic and carcinogenic effects in humans and animals. STG derivatives and protein conjugates are needed for generation of monoclonal antibodies (mAbs). This work describes a reliable and fast synthesis of novel STG derivatives, based on which novel STG bovine serum albumin conjugates were prepared. With the ...

Salmonella enteritidis and Salmonella typhimurium are important food-borne bacterial pathogens, which are responsible for diarrhea and gastroenteritis in humans and animals. In this study, S. typhimurium bacterial ghost (STG) was generated based on minimum inhibitory concentration (MIC) of sodium hydroxide (NaOH). Experimental studies performed using in vitro and in vivo experimental model syst...

Disturbances in corticothalamic circuitry can lead to absence epilepsy. The reticular thalamic nucleus (RTN) plays a pivotal role in that it receives excitation from cortex and thalamus and, when strongly activated, can generate excessive inhibitory output and epileptic thalamocortical oscillations that depend on postinhibitory rebound. Stargazer (stg) mice have prominent absence seizures resul...

Sensory neurons provide important feedback to pattern-generating motor systems. In the crustacean stomatogastric nervous system (STNS), feedback from the anterior gastric receptor (AGR), a muscle receptor neuron, shapes the activity of motor circuits in the stomatogastric ganglion (STG) via polysynaptic pathways involving anterior ganglia. The AGR soma is located in the dorsal ventricular nerve...

BACKGROUND To determine the predictive value of the baseline stimulated thyroglobulin (STg) level for ablation outcome in patients undergoing adjuvant remnant radioiodine ablation (RRA) for differentiated thyroid carcinoma (DTC). MATERIALS AND METHODS This retrospective study accrued 64 patients (23 male and 41 female; mean age of 40±14 years) who had total thyroidectomy followed by RRA for D...

aim :  this study aimed to compare the recurrence rate, mortality, and morbidity of curative resection of distal adenocarcinoma of the stomach between total gastrectomy (tg) and subtotal gastrectomy (stg). background : the choice between tg and stg for adenocarcinoma of the lower third of the stomach is still a matter of debate and controversy among surgeons. patients and methods : hospital rec...

The security of supply becomes a key variable the electrical system. Due to discontinuity solar irradiance, PV generators are essentially not dispatchable and they operate only when there is resource but cannot ensure their availability energy needed, so systems considered having null capacity credit. Energy storage for power sector its sustainability different options need be exploited. object...

One of the formalisms used for specifying the control dominated circuits' behavior is Signal Transition Graph (STG) an interpreted Petri Net where events represent the transitions of circuit signals. There is a number of properties the speci cation must satisfy for being implementable by speed-independent (SI) circuit composed of logic gates. These are widely investigated in a number of works. ...

Background. The measurement of stimulated thyroglobulin (sTg) after total thyroidectomy and remnant radioactive iodine (RAI) ablation is the gold standard for monitoring disease status in patients with papillary thyroid carcinomas (PTCs). The aim of this study was to determine whether sTg measurement during follow-up can be avoided in intermediate- and high-risk PTC patients. Methods. A total o...