Background Human speech is the wonderful gift given to human being by God for communicating their ideas, needs and feelings. But an inability to speak, no matter temporary can be catastrophic for the patients in tertiary care. Some patients in tertiary care units may be communication compromised due to various reasons. A quasi experimental study was conducted to evaluate the effectiveness of vi...

In 3 experiments, the authors investigated factors that influence accessibility of backgrounded goal information. Participants read texts consisting of 2 episodes. In the 1st episode, the goal was satisfied or unsatisfied. Following a statement of goal satisfaction or goal postponement, there was a 2nd unrelated episode. After completion of the 2nd episode, target sentences were presented that ...

The first convincing demonstration that local search could be used to solve challenging satisfiability problems was provided by the GSAT algorithm [9]. GSAT performs gradient descent search in the space of complete truth assignments, where adjacent assignments differ on a single variable and the objective function is the number of clauses not satisfied by the assignment. Like all local search r...

With the advent of drug-design experiments where the interaction between a protein and a ligand is determined using X-ray crystallography, the use of automated methods for modelling the ligand into electron density represents a powerful tool. Once the protein structure has been determined by crystallography it is normal that subsequent ligand-complex structures are isomorphous, or nearly so, wi...

Over-constrained problems can be solved with the help of soft constraints. Weighted constraints are a typical representation of soft constraints used to minimize weights of unsatisfied constraints. A natural extension of the CLP(FD) approach is presented which allows handling of weighted soft constraints. To achieve this goal, the costs associated with unsatisfied constraints is accumulated for...

Evidence from proteins and peptides supports the conclusion that intrapeptide hydrogen bonds stabilize the folded form of proteins. Paradoxically, evidence from small molecules supports the opposite conclusion, that intrapeptide hydrogen bonds are less favorable than peptide-water hydrogen bonds. A related issue-often lost in this debate about comparing peptide-peptide to peptide- water hydroge...

Limits on the number of satisfying assignments for CNS instances with n variables and m clauses are derived from various inequalities. Some bounds can be calculated in polynomial time, sharper bounds demand information about the distribution of the number of unsatisfied clauses, u. Quite generally, the number of satisfying assignments turns out to be limited by 2 2 2 2 / ( ( ) ) u u E u   wh...

conclusions our method provided good results and performing evacuation under the guide of bedside ultrasonography is recommended. results we treated 173 patients, including 164 females (94.8%), with the mean (sd) age of 43.75 (10.62) years. according to vas, 95.4% of patients reported complete satisfaction while 2 (1.2%) were unsatisfied with the results. patients reported no complication of th...