Using Sat solvers for synchronization issues in partial deterministic automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.Comment: 15 pages, 3 figure

Catharanthus roseus flower extract has wound-healing activity in Sprague Dawley rats

BACKGROUND: Catharanthus roseus L (C. roseus) has been used to treat a wide assortment of diseases including diabetes. The objective of our study was to evaluate the antimicrobial and wound healing activity of the flower extract of Catharanthus in rats. METHODS: Wound healing activity was determined in rats, after administration (100 mg kg(-1 )day(-1)) of the ethanol extract of C. roseus flower, using excision, incision and dead space wounds models. The animals were divided into two groups of 6 each in all the models. In the excision model, group 1 animals were topically treated with carboxymethyl cellulose as placebo control and group 2 received topical application of the ethanol extract of C. roseus at a dose of 100 mg/kg body weight/day. In an incision and dead space model group 1 animals were given normal saline and group 2 received the extract orally at a dose of 100 mg kg(-1 )day(-1). Healing was assessed by the rate of wound contraction, period of epithelization, tensile strength (skin breaking strength), granulation tissue weight, and hydoxyproline content. Antimicrobial activity of the flower extract against four microorganisms was also assessed RESULTS: The extract of C. roseus significantly increased the wound breaking strength in the incision wound model compared with controls (P < 0.001). The extract-treated wounds were found to epithelialize faster, and the rate of wound contraction was significantly increased in comparison to control wounds (P < 0.001), Wet and dry granulation tissue weights, and hydroxyproline content in a dead space wound model increased significantly (p < 0.05). Pseudomonas aeruginosa and Staphylococcus aureus demonstrated sensitivity to C. roseus CONCLUSION: Increased wound contraction and tensile strength, augmented hydroxyproline content along with antimicrobial activity support the use of C. roseus in the topical management of wound healing

Effect of Recombinant Cytokines on the Expression of Natural Killer Cell Receptors from Patients with TB or/and HIV Infection

BACKGROUND: NK cells express several specialized receptors through which they recognize and discriminate virally-infected/tumor cells efficiently from healthy cells and kill them. This ability to lyse is regulated by an array of inhibitory or activating receptors. The present study investigated the frequency of various NK receptors expressed by NK cell subsets from HIV-infected TB patients. The effect of IL-15+IL-12 stimulation on the expression of NK receptors was also studied. METHODOLOGY/PRINCIPAL FINDINGS: The study included 15 individuals each from normal healthy subjects, pulmonary tuberculosis patients, HIV-infected individuals and patients with HIV and tuberculosis co-infection. The expression of NK cell receptors was analyzed on two NK cell subsets within the peripheral blood: CD16+CD3- and CD56+CD3- using flow cytometry. The expression of inhibitory receptors (CD158a, CD158b, KIRp70, CD85j and NKG2A) on NK subsets was increased in HIV, when compared to NHS. But the response in HIV-TB was not uniform. Stimulation with IL-15+IL-12 dropped (p<0.05) the expression of CD85j and NKG2A in HIV. The basal expression of natural cytotoxicity receptors (NKp30 and NKp46) on NK cell subsets was lowered (p<0.05) in HIV and HIV-TB as compared to NHS. However, the expression of NKp44 and NKG2D was elevated in HIV. Enhanced NKp46 and NKG2D expression was observed in HIV with IL-15+IL-12 stimulation. The coreceptor NKp80 was found to be expressed in higher numbers on NK subsets from HIV compared to NHS, which elevated with IL-15+IL-12 stimulation. The expression of NK receptors and response to stimulation was primarily on CD56+CD3- subset. CONCLUSIONS/SIGNIFICANCE: IL-15+IL-12 has an immunomodulatory effect on NK cell subsets from HIV-infected individuals viz down-regulation of iNKRs, elevation of activatory receptors NKp46 and NKG2D, and induction of coreceptor NKp80. IL-15+IL-12 is not likely to be of value when co-infected with TB probably due to the influence of tuberculosis

Shape-Controlled Synthesis of ZnS Nanostructures: A Simple and Rapid Method for One-Dimensional Materials by Plasma

In this paper, ZnS one-dimensional (1D) nanostructures including tetrapods, nanorods, nanobelts, and nanoslices were selectively synthesized by using RF thermal plasma in a wall-free way. The feeding rate and the cooling flow rate were the critical experimental parameters for defining the morphology of the final products. The detailed structures of synthesized ZnS nanostructures were studied through transmission electron microscope, X-ray diffraction, and high-resolution transmission electron microscope. A collision-controlled growth mechanism was proposed to explain the growth process that occurred exclusively in the gas current by a flowing way, and the whole process was completed in several seconds. In conclusion, the present synthetic route provides a facile way to synthesize ZnS and other hexagonal-structured 1D nanostructures in a rapid and scalable way

Intracellular S1P Generation Is Essential for S1P-Induced Motility of Human Lung Endothelial Cells: Role of Sphingosine Kinase 1 and S1P Lyase

Earlier we have shown that extracellular sphingosine-1-phosphate (S1P) induces migration of human pulmonary artery endothelial cells (HPAECs) through the activation of S1P(1) receptor, PKCε, and PLD2-PKCζ-Rac1 signaling cascade. As endothelial cells generate intracellular S1P, here we have investigated the role of sphingosine kinases (SphKs) and S1P lyase (S1PL), that regulate intracellular S1P accumulation, in HPAEC motility

Gravitational Lensing in Astronomy

Deflection of light by gravity was predicted by General Relativity and observationaly confirmed in 1919. In the following decades various aspects of the gravitational lens effect were explored theoretically, among them the possibility of multiple or ring-like images of background sources, the use of lensing as a gravitational telescope on very faint and distant objects, and the possibility to determine Hubble's constant with lensing. Only relatively recently gravitational lensing became an observational science after the discovery of the first doubly imaged quasar in 1979. Today lensing is a booming part of astrophysics. In addition to multiply-imaged quasars, a number of other aspects of lensing have been discovered since, e.g. giant luminous arcs, quasar microlensing, Einstein rings, galactic microlensing events, arclets, or weak gravitational lensing. By now literally hundreds of individual gravitational lens phenomena are known. Although still in its childhood, lensing has established itself as a very useful astrophysical tool with some remarkable successes. It has contributed significant new results in areas as different as the cosmological distance scale, the large scale matter distribution in the universe, mass and mass distribution of galaxy clusters, physics of quasars, dark matter in galaxy halos, or galaxy structure.Comment: Review article for "Living Reviews in Relativity", see http://www.livingreviews.org . 41 pages, latex, 22 figures (partly in GIF format due to size constraints). High quality postscript files can be obtained electronically at http://www.aip.de:8080/~jkw/review_figures.htm

Novel inhibitors of the calcineurin/NFATc hub - alternatives to CsA and FK506?

The drugs cyclosporine A (CsA) and tacrolimus (FK506) revolutionized organ transplantation. Both compounds are still widely used in the clinic as well as for basic research, even though they have dramatic side effects and modulate other pathways than calcineurin-NFATc, too. To answer the major open question - whether the adverse side effects are secondary to the actions of the drugs on the calcineurin-NFATc pathway - alternative inhibitors were developed. Ideal inhibitors should discriminate between the inhibition of (i) calcineurin and peptidyl-prolyl cis-trans isomerases (PPIases; the matchmaker proteins of CsA and FK506), (ii) calcineurin and the other Ser/Thr protein phosphatases, and (iii) NFATc and other transcription factors. In this review we summarize the current knowledge about novel inhibitors, synthesized or identified in the last decades, and focus on their mode of action, specificity, and biological effects

Canagliflozin and Cardiovascular and Renal Outcomes in Type 2 Diabetes Mellitus and Chronic Kidney Disease in Primary and Secondary Cardiovascular Prevention Groups

Background: Canagliflozin reduces the risk of kidney failure in patients with type 2 diabetes mellitus and chronic kidney disease, but effects on specific cardiovascular outcomes are uncertain, as are effects in people without previous cardiovascular disease (primary prevention). Methods: In CREDENCE (Canagliflozin and Renal Events in Diabetes With Established Nephropathy Clinical Evaluation), 4401 participants with type 2 diabetes mellitus and chronic kidney disease were randomly assigned to canagliflozin or placebo on a background of optimized standard of care. Results: Primary prevention participants (n=2181, 49.6%) were younger (61 versus 65 years), were more often female (37% versus 31%), and had shorter duration of diabetes mellitus (15 years versus 16 years) compared with secondary prevention participants (n=2220, 50.4%). Canagliflozin reduced the risk of major cardiovascular events overall (hazard ratio [HR], 0.80 [95% CI, 0.67-0.95]; P=0.01), with consistent reductions in both the primary (HR, 0.68 [95% CI, 0.49-0.94]) and secondary (HR, 0.85 [95% CI, 0.69-1.06]) prevention groups (P for interaction=0.25). Effects were also similar for the components of the composite including cardiovascular death (HR, 0.78 [95% CI, 0.61-1.00]), nonfatal myocardial infarction (HR, 0.81 [95% CI, 0.59-1.10]), and nonfatal stroke (HR, 0.80 [95% CI, 0.56-1.15]). The risk of the primary composite renal outcome and the composite of cardiovascular death or hospitalization for heart failure were also consistently reduced in both the primary and secondary prevention groups (P for interaction &gt;0.5 for each outcome). Conclusions: Canagliflozin significantly reduced major cardiovascular events and kidney failure in patients with type 2 diabetes mellitus and chronic kidney disease, including in participants who did not have previous cardiovascular disease

ICAR: endoscopic skull‐base surgery

n/