In this article we explain two different operational interpretations of functional programs by two different logics. The programs are simply typed λ-terms with pairs, projections, if-then-else, and least fixed point recursion. A logic for call-by-value evaluation and a logic for call-byname evaluation are obtained as as extensions of a system which we call the basic logic of partial terms (BPT)...

The asymmetric unit of the title compound, [Zn(C(12)H(10)N(6))(2)(H(2)O)(2)](NO(3))(2), contains one-half of the complex molecule and one NO(3) (-) anion. The Zn(II) ion displays a distorted tetra-gonal-pyramidal geometry with four N atoms from two chelating 4-amino-3,5-di-2-pyridyl-1,2,4-triazole (2-bpt) lig-ands in the basal plane and one water mol-ecule occupying the apical site. Another wat...

OBJECTIVES Psychotherapy provides a means of helping participants to resolve emotional threats and play an active role in their lives. Consequently, psychotherapy is increasingly used within dementia care. This paper reviews the existing evidence base for individual and group psychotherapy with people affected by dementia. DESIGN The protocol was registered. We searched electronic databases, ...

Reorientational dynamics of 4H-l-benzopyrane-4-thione (BPT) in the S2 state, in hydrocarbon solution, is studied from the anisotropy decay of fluorescence upconversion and pump-probe absorption transients with femtosecond time resolution. The anisotropy decay is found to be monoexponential in n-hexane, «-heptane, «-octane, «-decane, «-dodecane and cyclohexane. The dependence of the rotational t...

The University of Minnesota Biocatalysis/Biodegradation Database (UM-BBD, http://umbbd.msi.umn.edu/) began in 1995 and now contains information on almost 1200 compounds, over 800 enzymes, almost 1300 reactions and almost 500 microorganism entries. Besides these data, it includes a Biochemical Periodic Table (UM-BPT) and a rule-based Pathway Prediction System (UM-PPS) (http://umbbd.msi.umn.edu/p...

This study compared the effectiveness of hypnobehavioral therapy (HypBe) and HypBe enhanced by elements of energetic psychotherapy (hypnoenergetic therapy, HypEn) for obese women. Sixty clients were randomized to either HypBe or HypEn. Body weight, BMI, eating behavior, and body concept were assessed at baseline, posttreatment, and at a follow-up. Mixed ANOVA models and effect sizes were used f...

This paper proposes a novel semi-supervised method on object recognition. First, based on Boost Picking (Fuqiang Liu, 2016), a universal algorithm, Boost Picking Teaching (BPT), is proposed to train an effective binary-classifier just using a few labeled data and amounts of unlabeled data. Then, an ensemble strategy is detailed to synthesize multiple BPT-trained binary-classifiers to be a high-...

This paper proposes a morphology based edge detection method and Binary partition tree for object extraction. Starting from an initial segmentation result generated by applying multi-iteration, multi-thresholding watershed algorithm and then applied Morphology based edge detection method. The proposed method solved the problem of undesirable over-segmentation results produced in the images and ...

There are several scales in the QCD as theory of strong interaction: vacuum gluonic condensate (as divergence dilatation current), nucleon mass basic scale our universe, which is connected to string tension $\sigma$, and perturbative $\Lambda_{\rm QCD}$, defines renormalized expansions. In this paper we connect all these condensate, using field correlator method, where expressed terms nonlocal ...

There is a growing trend in the West to seek alternative, complementary and traditional healing not only as a reaction to Western biomedicine but also to the mindset of ‘‘talking heads’’ in psychotherapy. Traditional healing aims to restore harmony and balance within the individual through a symbiosis of the body, mind and spirit. Through this process traditional healing offers a holistic conce...