STANDARDS FOR USER-DRIVEN APPLICATIONS DEVELOPMENT

Users may now be more proficient in developing their own applications, but they aren't equally knowledgeable about the importance of using and following computer standards. Creating these standards is still the job of IS staff members, who should keep in mind that users are willing to use standards if they meet the particular needs of the various user departments.     

Solving #SAT using vertex covers

We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form. Our algorithm is based on the detection of strong backdoor sets of bounded size; each instantiation of the variables of a strong backdoor set puts the given formula into a class of formulas for which models can be counted in polynomial time. For the backdoor set detection we utilize an efficient vertex cover algorithm applied to a certain “obstruction graph” that we associate with the given formula. This approach gives rise to a new hardness index for formulas, the clustering-width. Our algorithm runs in uniform polynomial time on formulas with bounded clustering-width. It is known that the number of models of formulas with bounded clique-width, bounded treewidth, or bounded branchwidth can be computed in polynomial time; these graph parameters are applied to formulas via certain (hyper)graphs associated with formulas. We show that clustering-width and the other parameters mentioned are incomparable: there are formulas with bounded clustering-width and arbitrarily large clique-width, treewidth, and branchwidth. Conversely, there are formulas with arbitrarily large clustering-width and bounded clique-width, treewidth, and branchwidth.     

The relation between platelet aggregation and constitutional and lifestyle variables in two Japanese communities

To investigate the contribution of the platelet aggregation in the development of cardiovascular diseases, we examined the relation of constitutional and lifestyle variables with platelet aggregation for a total of 306 males aged 50 to 70 in Ikawa town, Akita prefecture (n = 163) and Noichi town, Kochi prefecture (n = 143). The examination of platelet aggregation was completed within 3 hours of obtaining blood samples. We used ADP (Adenosine 5'-diphosphate) as an agonist and obtained PATI (the platelet aggregatory threshold index) by nephelometry. Platelet count, mean platelet volume, white blood cell count, serum fatty acid compositions were also examined and dietary intake of fish, seafood and soy bean foods were inquired using one-week dietary records. PATI indicated a logarithmic normal distribution in both Ikawa and Noichi. The mean of logarithmic transformed PATI (log PATI) was higher in Ikawa than in Noichi. Thus platelet aggregation was lower in Ikawa than in Noichi. According to multiple regression analysis, age, platelet count in platelet rich plasma, mean platelet volume in platelet rich plasma, and white blood cell count were inversely associated with log PATI. Serum arachidonic acid composition tended to be inversely related with log PATI. Serum n3-polyunsaturated fatty acid composition was positively related with log PATI, and log gamma-GTP tended to be positively associated with log PATI. Soy protein intake and cigarette smoking showed no consistent associations with log PATI. This cross-sectional study suggests that serum n3-polyunsaturated fatty acid, and gamma-GTP, as an index of alcohol intake, reduce platelet aggregation while age, white blood cell count, platelet count, mean platelet volume, and serum arachidonic acid raise platelet aggregation.     

Interferon therapy after ablation of Kent bundle for a patient with chronic hepatitis type B complicated with WPW syndrome

Cardiotoxicity of interferon-alpha or gamma, such as fatal arrhythmia and myocardial infarction, has been reported. Therefore cardiotoxicity of interferon should be seriously considered before administration for patients with a pre-existing heart disease. We treated a patient with chronic active hepatitis type B, coexisted with Wolff-Parkinson-White syndrome, who has had frequent attacks of paroxysmal atrial fibrillation. To prevent the occurrence of fatal arrhythmia with an interferon therapy in this patient, we performed radiofrequency catheter ablation of the Kent bundle. After the successful ablation, we could safely administered recombinant interferon alpha-2b for chronic hepatitis type B.     

High performance 35 nm gate length CMOS with NO oxynitride gate dielectric and Ni salicide

The 35 nm gate length CMOS devices with oxynitride gate dielectric and Ni salicide have been fabricated to study the feasibility of higher performance operation. Nitrogen concentration in gate oxynitride was optimized to reduce gate current I/sub g/ and to prevent boron penetration in the pFET. The thermal budget in the middle of the line (MOL) process was reduced enough to realize shallower junction depth in the S/D extension regions and to suppress gate poly-Si depletion. Finally, the current drives of 676 /spl mu/A//spl mu/m in nFET and 272 /spl mu/A//spl mu/m in pFET at V/sub dd/=0.85 V (at I/sub off/=100 nA//spl mu/m) were achieved and they are the best values for 35 nm gate length CMOS reported to date.     

The Gmicro/500 superscalar microprocessor with branch buffers

The Gmicro/500, which features a RISC-like dual-pipeline structure for high-speed execution of basic instructions and represents a significant advance for the TRON architecture, is presented. Upwardly-object-compatible with earlier members of the Gmicro series, this microprocessor uses resident dedicated branch buffers to greatly enhance branch instruction execution speed. Its microprograms simultaneously use dual execution blocks to execute high-level language instructions effectively. Fabricated with a 0.6-μm CMOS technology on a 10.9-mm×16-mm die, the chip operates at 50/66 MHz and achieves a processing rate of 100/132 MIPS     

Photocatalytic H2 evolution under visible light irradiation on Zn1-x Cu x S solid solution

The H₂ evolution reaction from an aqueous Na₂SO₃ solution proceeded with 3.7% quantum yield under visible light irradiation (λ > 420 nm) on a Zn_0.957Cu_0.043S solid solution photocatalyst without co‐catalysts such as Pt. This revised version was published online in July 2006 with corrections to the Cover Date.     

Antitumor activity of synthetic alkylphospholipids with or without PAF activity

1-O-Octadecyl-2-O-methyl-sn-glycero-3-phosphocholine (ET-18-OMe) has been reported to possess definite antitumor activity in vivo. Twenty-two alkyl lysophospholipid analogs were chemically synthesized, and their antitumor activity against mouse experimental tumors (Sarcoma 180, MM46, P388) was examined. Among them, 1-O-octadecyl-2-O-acetoacetyl-rac-glycerol-3-phosphocholine was found to show antitumor activity similar to ET-18-OMe with less acute toxicity. Intravenous injection of the ET-18-OMe withsn-3 configuration retarded the subcutaneous growth of Sarcoma 180 cells effectively, while the growth inhibition by thesn-1 isomer was much less effective. This stereospecificity was similar to that observed in their activities as platelet-activating factor (PAF) agonists. The acetoacetyl compound, another PAF agonist, showed similar stereospecific antitumor action in vivo. These findings suggest that some alkyl lysophospholipids may activate host cells to a cytostatic stage against tumor cells in vivo through binding to a PAF receptor. Our preliminary results indicated that the responsible cells under these conditions might be primarily immature macrophages present in the bone marrow. No appreciable or even adverse stereospecificity was observed in the different sets of experiments where the activity of ET-18-OMe against MM46 tumor cells in vivo or the direct cytotoxicity against human promyelocytic leukemia HL-60 cells in vitro was examined. Under, some conditions, the antitumor activity of ET-18-OMe in vivo may be revealed through direct cytotoxicity and/or modulation of the host defense system by “nonspecific” mechanisms. Some alkylphospholipids without PAF activity may also show antitumor activity through similar, “nonspecific” mechanisms.