A method for efficiently executing horn clause programs using multiple processors

Previous investigations have suggested the use of multiple communicating processors for executing logic programs. However, this strategy lacks efficiency due to competition for memory and communication bandwidth, and this is a problem that has been largely neglected. In this paper we propose a realistic model for executing logic programs with low overhead on multiple processors. Our proposal does not involve shared memory or copying computation state between processors. The model organises computations over the nondeterministic proof tree so that different processors explore unique deterministic computation paths independently, in order to exploit the “OR-parallelism” present in a program. We discuss the advantages of this approach over previous ones, and suggest control strategies for making it effective in practice.     

Approximation of sleep duration and sleep efficiency using actography

The actography is a cost-effective semiobjective method to measure sleep/wake-cycles. This is the reason why the actography should be used first. The actography is after the cost-intensive polysomnography the best method in diagnosis of sleep disorders and monitoring of sleep disorder therapy. Actography over several days allows a precise estimation of total sleep time and sleep efficiency and makes possible an analysis of sleep/wake in natural conditions. The estimation is better if the patient is in high wake body activity and the recording time is longer. The mean values of total sleep time and sleep efficiency from polysomnography and actography are congruent.     

A PRACTICAL CLASSIFICATION OF KEROGENS RELATED TO HYDROCARBON GENERATION

The present classification systems of kerogens have many shortcomings, especially in respect of amorphous kerogens which have, so far, remained undifferentiated in relation to hydrocarbon generation. Hence, a practical classification method based on density separation, elemental composition and optical characteristics, which discriminatingly identifies kerogens with indications of their hydrocarbon potential, has been developed. The method first divides the whole range of kerogens into liptinite and humic groups. The liptinitic kerogens are subdivided into Hyperliptinites (prolific oil sources); Mesoliptinites (which are oil-prone); Metaliptinites (gas-prone); and Hypoliptinites (having no potential for hydrocarbons). The humic kerogens are similarly divided into subgroups consisting of Hyperhumics (with some gas potential); Mesohumics (mainly gas sources); and Hypohumics (organic materials with no potential for hydrocarbon generation).     

Structure formation of hard alloys (Ti,W)C-WC-Co upon interaction with metallic melts of the iron group

Translated from Poroshkovaya Metallurgiya, No. 6(306), pp. 40–44, June, 1988.     

Infection and antibiotic therapy in 4000 burned patients treated in Milan, Italy, between 1976 and 1988

The pathogenic flora, isolated from burn wounds of patients admitted to a burn care unit during the years between 1976 and 1988 were typed and the in vitro susceptibility to antibacterial agents was recorded. Between 1976 and 1988 the general therapeutic approach was changed three times, in congruence with the prevalent nosocomial bacterial resistance. The most frequent isolates were: Pseud. aeruginosa, Staphylococcus aureus, Enterococcus spp., Proteus mirabilis, Escherichia coli, Enterobacter cloacae, Klebsiella spp. and other Enterobacteriaceae, such as Acinetobacter, Citrobacter. The most striking finding was the increase in antibiotic-resistant Enterococcus isolates. Staph. aureus, Klebsiella and E. cloacae showed susceptibility to cephalosporins, imipenem, pefloxacin, vancomycin; Enterococcus susceptibility to pefloxacin and vancomycin, and Pseud. aeruginosa sensitivity to piperacillin, amikacin, tobramycin was generally good. E. coli showed a satisfactory susceptibility on average, and P. mirabilis showed a good sensitivity to piperacillin, cephalosporins, amikacin, tobramycin, aztreonam and imipenem. Thus, the general bacterial flora and susceptibility have remained mostly unchanged over the years, with the conspicuous exception of Enterococcus spp. and E. cloacae, which demonstrated a marked increase in incidence, with a concomitant dramatic decrease in the sensitivity of Enterococcus spp. to antibiotics.     

The therapeutic relationship as the foundation for treatment with adult survivors of sexual abuse.

Survivors of sexual abuse enter psychotherapy with special needs that challenge some of the traditional therapeutic assumptions. The therapeutic relationship, which is the foundation for treatment with abuse survivors, often must shift in nature and quality to address these needs. The main goal of treatment is the integration of self and affective experience. To facilitate this process the authors discuss the establishment and maintenance of an "affective edge" that allows for direct attention to and intervention with the trauma memories and the accompanying affect. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Group therapy for adult women survivors of child sexual abuse: Differentiation of completers versus dropouts.

Examined intake profiles of 54 depressed women survivors of child sexual abuse presenting for a specialized group therapy program at a community mental health center. The 32 therapy completers were compared with the 22 dropouts. Both groups possessed extensive and severe childhood and adult abuse histories. Both were extremely socially disadvantaged and clinically impaired as measured on the Millon Clinical Multiaxial Inventory (MCMI). Dropouts were more likely to have been battered as children and to have been sexually abused only within the family. Completers were more likely to have been multiply offended both by intrafamilial and extrafamilial perpetrators. The groups differed in terms of marital status and extent of economic dependence on spouse. Dropouts appeared to be more actively enmeshed in the abuse cycle at the time of therapy. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Study by SEM-EDS of the in situ dynamic leaching of mercury ores

The present work studies the surface evolution of cinnabar, when it is leached with HBr acid for different conditions. The dynamicin situ test has been studied by scanning electron microscopy and EDS techniques. According to the acid condition, time, and temperature, the HgS presents different mechanisms of dissolution, and the results prove that the cinnabar does not present “memory effect”, as proposed by other authors.¹⁶