The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

The aversiveness of specific emotional states associated with binge-eating in obese subjects

Objective: The aim of this study was to examine the hypothesis that non-purge-related binge-eating in obesity is maintained by a 'trade-off' in which a highly aversive emotional state is exchanged for a less aversive state. Method: Ninety-eight obese binge-eaters meeting the DSM-IV criteria for binge-eating disorder [1] were contrasted with 65 non-binge-eating controls on their perceived distress associated with negative mood states usually experienced before and after binges. Results: Binge-eaters reported significantly greater distress and lower tolerance of negative mood compared to controls. Furthermore, when compared with controls, binge-eaters reported that emotions typically reported before binges (e.g. anger) were more aversive than those reported after (e.g. guilt). Conclusions: These results were interpreted as supporting the 'trade-off' theory and have implications for the treatment of binge-eating disorder.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Accent accommodation in the job interview - Impact of interviewer accent and gender

Using the framework of Communication Accommodation Theory, this study investigated the extent to which job applicants objectively and subjectively altered their accents to converge to or diverge from the speech style of the interviewer Forty-eight male and 48 female job applicants participated in two interviews for a casual research assistant position. In one interview, the interviewer had a broad Australian English accent, and in the other one, the interviewer had a cultivated accent. Applicants showed broader accents with broad-accented interviewers than with cultivated-accented interviewers. Applicants did not converge to the cultivated-accented interviewers, however and male job applicants were more likely than mere females to diverge from the cultivated-accented interviewers. There were also discrepancies between objectively rated changes to applicants' accents and their subjective judgments about the extent of accent accommodation.

Discrete and continuous models for dry masonry columns

The dynamic response of dry masonry columns can be approximated with finite-difference equations. Continuum models follow by replacing the difference quotients of the discrete model by corresponding differential expressions. The mathematically simplest of these models is a one-dimensional Cosserat theory. Within the presented homogenization context, the Cosserat theory is obtained by making ad hoc assumptions regarding the relative importance of certain terms in the differential expansions. The quality of approximation of the various theories is tested by comparison of the dispersion relations for bending waves with the dispersion relation of the discrete theory. All theories coincide with differences of less than 1% for wave-length-block-height (L/h) ratios bigger than 2 pi. The theory based on systematic differential approximation remains accurate up to L/h = 3 and then diverges rapidly. The Cosserat model becomes increasingly inaccurate for L/h < 2 pi. However, in contrast to the systematic approximation, the wave speed remains finite. In conclusion, considering its relative simplicity, the Cosserat model appears to be the natural starting point for the development of continuum models for blocky structures.

Two estimates concerning asymptotics of the minimizations of a Ginzburg-Landau functional

We prove two asymptotical estimates for minimizers of a Ginzburg-Landau functional of the form integral(Omega) [1/2 \del u\(2) + 1/4 epsilon(2) (1 - \u\(2))(2) W (x)] dx.

Tubal sterilisation, hysterectomy and decreased risk of ovarian cancer

We have examined the effect of tubal sterilisation and hysterectomy on risk of ovarian cancer in a large case-control study in eastern Australia involving 824 women aged 18-79 years, diagnosed with epithelial ovarian cancer between 1990 and 1993, and 855 controls randomly selected from the electoral roll. Relative risks for ovarian cancer were estimated using multiple categorical regression to adjust for age, parity, oral contraceptive use and other risk factors. Tubal sterilisation was associated with a 39% reduction in risk of ovarian cancer (RR 0.61, 95% Cl 0.46-0.85) and hysterectomy with a 36% reduction (RR 0.64, 95% Cl 0.48-0.85). Risk remained low 25 years after surgery and was reduced irrespective of sterilisation technique, and estimates were similar among various types of epithelial ovarian cancer. The greatest reduction (74%) was observed among women with primary peritoneal tumours. Pelvic infection and use of vaginal sprays or contraceptive foams were not related to ovarian cancer, while use of talc in the perineal region slightly but significantly increased risk among women with patent fallopian tubes. Reportedly heavy or painful menses, perhaps associated with retrograde flow, were associated with ovarian cancer, and reduction in risk of disease after hysterectomy was greatest among women who had heavy periods. Our findings support the theory that contaminants from the vagina, such as talc, and from the uterus, such as endometrium, gain access to the peritoneal cavity through patent fallopian tubes and may enhance the malignant transformation of ovarian surface epithelium. Surgical tubal occlusion may reduce the risk of ovarian cancer by preventing the access of such agents. (C) 1997 Wiley-Liss, Inc.

Social rules and attributions in the personnel selection interview

The study investigated the social rules applicable to selection interviews, and the attributions ions made by interviewers in response to rule-breaking behaviours by candidates. Sixty personnel specialists (31 males and 29 females) participated in the main study which examined their perceptions of social rules and attributions about rule breaking in their work experience. They listened to audiotapes of actual selection interviews, and made judgments about hireability communication competence, and specific social rules. Results indicated that interview rules could be categorized into two groups: specific interview presentation skills and general interpersonal competence. While situational attributions were more salient in explaining the breaking of general interpersonal competence rules, internal attributions (ability, effort) were more salient explanations for the breaking of more specific interview rules (with the exception of the preparation rule where lack of effort was the most likely explanation for rule breaking). Candidates previously judged as competent communicators were rated more favourably on both global and specific measures of rule-following competence, as well as on hireability. The theoretical and practical implications of combining social rules and attribution theory in the study of selection interviews are discussed.

A continuum model for periodic two-dimensional block structures

A continuum model for regular block structures is derived by replacing the difference quotients of the discrete equations by corresponding differential quotients. The homogenization procedure leads to an anisotropic Cosserat Continuum. For elastic block interactions the dispersion relations of the discrete and the continuous models are derived and compared. Yield criteria for block tilting and sliding are formulated. An extension of the theory for large deformation is proposed. (C) 1997 by John Wiley & Sons, Ltd.

Classical and quantum signatures of competing chi((2)) nonlinearities

We report the observation of the quantum effects of competing chi((2)) nonlinearities. We also report classical signatures of competition, namely, clamping of the second-harmonic power and production of nondegenerate frequencies in the visible. Theory is presented that describes the observations as resulting from competition between various chi((2)) up-conversion and down-conversion processes. We show that competition imposes hitherto unsuspected limits to both power generation and squeezing. The observed signatures are expected to be significant effects in practical systems.

Quantum noise limits to terabaud communications

From a general model of fiber optics, we investigate the physical limits of soliton-based terabaud communication systems. In particular we consider Raman and initial quantum noise effects which are often neglected in fiber communications. Simulations of the position diffusion in dark and bright solitons show that these effects become increasingly important at short pulse durations, even over kilometer-scale distances. We also obtain an approximate analytic theory in agreement with numerical simulations, which shows that the Raman effects exceed the Gordon-Haus jitter for sub-picosecond pulses. (C) 1997 Elsevier Science B.V.

Optimal quantum measurements for phase-shift estimation in optical interferometry

Quantum information theory, applied to optical interferometry, yields a 1/n scaling of phase uncertainty Delta phi independent of the applied phase shift phi, where n is the number of photons in the interferometer. This 1/n scaling is achieved provided that the output state is subjected to an optimal phase measurement. We establish this scaling law for both passive (linear) and active (nonlinear) interferometers and identify the coefficient of proportionality. Whereas a highly nonclassical state is required to achieve optimal scaling for passive interferometry, a classical input state yields a 1/n scaling of phase uncertainty for active interferometry.

Models of alcohol use by young adults: An examination of various attitude-behavior theories

Objective: The aim of this study was to test the effectiveness of various attitude-behavior theories in explaining alcohol use among young adults. The theory of reasoned action (TRA), the theory of planned behavior and an extension of the TRA that incorporates past behavior were compared by the method of maximum-likelihood estimation, as implemented in LISREL for Windows 8.12. Method: Respondents consisted of 122 university students (82 female) who were questioned about their attitudes, subjective norms, perceived behavioral control, past behavior and intentions relating to drinking behavior. Students received course credit for their participation in the research. Results: Overall, the results suggest that the extension of the theory of reasoned action which incorporates past behavior provides the best fit to the data. For these young adults, their intentions to drink alcohol were predicted by their past behavior as well as their perceptions of what important others think they should do (subjective norm). Conclusions: The main conclusions drawn from the research concern the importance of focusing on normative influences and past behavior in explaining young adult alcohol use. Issues regarding the relative merit of various alternative models and the need for greater clarity in the measure of attitudes are also discussed.

Structure optimization combining soft-core interaction functions, the diffusion equation method, and molecular dynamics

Smoothing the potential energy surface for structure optimization is a general and commonly applied strategy. We propose a combination of soft-core potential energy functions and a variation of the diffusion equation method to smooth potential energy surfaces, which is applicable to complex systems such as protein structures; The performance of the method was demonstrated by comparison with simulated annealing using the refinement of the undecapeptide Cyclosporin A as a test case. Simulations were repeated many times using different initial conditions and structures since the methods are heuristic and results are only meaningful in a statistical sense.

Self-defocusing effects in an ethanol solution of chlorophyll

The thermally induced optical nonlinearity in a chlorophyll ethanol solution is examined. A theory is presented which shows good agreement with experiment. The theory models an optically thick but physically thin medium whose only heat transport mechanism is conduction. An average nz was found for the medium which corresponds well with previous results but the thermal medium is shown to be fundamentally different from a Kerr medium.