A typed functional extension of logic programming

A logic language is suitable for specification if it is equipped with features for data abstraction and modularization. In this paper, an effective mechanism to incorporate function and type into logic programming is presented as the means to embed data abstraction mechanism into logic programming. This incorporation is essentially based on Horn clause logic with equality and a polymorphic type system that is an extension of Mycroft and O’Keefe’s system. This paper also presents an implementation based on Warren Abstract Machine (WAM) and shows the performance, along with a comparison with WAM.     

Synthesis and characterization of poly(siloxane-urethane)s

A series of polyurethane block copolymers based on hydroxy-terminated polydimethylsiloxane and poly(propylene glycol) soft segments of molecular weights 1818 and 2000, respectively, were synthesized. The hard segments consisted of 4,4′-diphenylnethane diisocyanate and 1,4-butanediol as the chain extender. Samples with different molar ratios were prepared. We tried to synthesize polydimethylsiloxane-based polyurethanes (PDMS-PU) containing a hard block as major fraction and a soft block as minor fraction for preparing toughened rigid systems. After a study of the pure polydimethylsiloxane-based polyurethane and poly(propylene glycol)-based polyurethane (PPG-PU), (mixed polyol)-based block copolymers and blends of PDMS-PU and PPG-PU were synthesized, and characterized by means of differential scanning calorimetry, tensile testing and scanning electron microscopy. In (mixed polyol)-based copolymers and lower hard-segment content blends, macro-phase separation occurred, but blends with higher hard-segment contents showed significant reduction in amounts of phase separation.     

Effect of nabumetone on hemostasis during arthroscopic knee surgery

The known effects of commonly used nonsteroidal anti-inflammatory drugs (NSAIDs) on hemostatic parameters have led to concern over their use in the perioperative period. Nabumetone, unlike other NSAIDs, has little effect on collagen-induced platelet aggregation. To evaluate the effect of nabumetone 2000 mg daily on other hemostatic parameters (e.g., bleeding time, prothrombin time, and partial thromboplastin time) in the clinical setting, this double-masked study was conducted in patients with osteoarthritis undergoing arthroscopic knee surgery. After a 1-week placebo washout period, 58 patients were randomized to receive nabumetone and 53 were randomized to receive placebo. They were assessed before surgery (after 1 to 2 weeks of treatment) and again after surgery (after an additional 3 weeks of treatment). The study was designed to have 90% power to show equivalence in bleeding time to within 1.5 minutes, a difference assumed to be of no clinical importance. No meaningful differences were observed between the groups in any of the measured hemostatic parameters. Before surgery, the bleeding time increased by only 0.3 minutes with nabumetone and decreased by 0.2 minutes with placebo. The mean (+/- SD) difference between the groups in change from baseline was 0.5 +/- 0.3 minutes. After surgery, the changes were 0.1 minutes and 0.0 minutes, respectively, and the difference between groups was 0.2 +/- 0.3 minutes. These differences were neither statistically nor clinically significant, and maximum individual increases were similar in each group. Furthermore, there were no reports of abnormal bleeding in the operative knees. The results of this study show that nabumetone had little or no effect on hemostasis and suggest that this drug can be used safely in the perioperative period.     

The anabolic effects of parathyroid hormone on cortical bone mass, dimensions and strength--assessed in a sexually mature, ovariectomized rat model

We examined the effect of the pineal neurohormone melatonin (MLT) on protection from viral encephalitis. The antiviral activity of MLT was evaluated in normal mice inoculated with Semliki Forest virus (SFV) and in stressed mice injected with the attenuated non-invasive West Nile virus (WN-25). Administration of MLT (s.c.) daily from 3 days before through 10 days after virus inoculation reduced viremia and significantly postponed the onset of disease and death by 7 to 10 days. Moreover, MLT injection reduced mortality of SFV (10 PFU) inoculated mice from 100% to 44%. In mice inoculated with high dose of SFV (100 PFU), MLT postponed death and reduced mortality by 20%. In all of the surviving mice anti-SFV antibodies were detected 22 days after virus inoculation. Infection of mice stressed by either isolation or dexamethasone injection with WN-25 induced mortality of 75% and 50% respectively, which was reduced by MLT administration to 31% and 25%, respectively. The efficiency of MLT in protecting from lethal viral infections warrants further investigations on its mechanisms of action.