On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms.We use this framework to motivate the comparison of three recent proof planning systems, λCLaM, Ωmega and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.     

Optimization of a Fabric Softener Formulation with an Electrochemical Sensor and Streaming Potential Measurements

An electrochemical, cationic, surfactant-selective sensor based on multiwalled carbon nanotubes (MWCNT) functionalized with a sulfate group and the cetylpyridinium ion (MWCNT–OSO₃⁻CP⁺) as a sensing material was used for optimization of the formulation of a fabric softener. Potentiometric titrations were performed and response measurements were obtained using four cationic surfactants (CS) of technical grade and four CS of analytical grade. The slope closest to Nernstian was obtained for di-(tallow carboxyethyl) hydroxyethyl methylammonium methosulfate (MAS) (59.5 ± 1.1 mV/decade of activity in water and 57.5 ± 1.3 mV/decade of activity in CaCl₂). When using CS as analytes in potentiometric titrations, the best accuracy (99.8%) was obtained when using MAS; therefore, it was chosen as the CS for the fabric softener formulation. Due to the better properties of fabric softeners with silicone in their formulations, four silicones at several concentration levels were used as potential additives. Based on the stability and viscosity of the system, the diquaternary polydimethylsiloxane (DPS) (w = 0.19%) was chosen for the fabric softener formulation. The pH did not significantly influence the potential when in the range of 3–8 or the recovery of potentiometric titrations when in the range of 3–7. The application profile of the CS was assessed through streaming potential measurements of reference fabrics in an electrokinetic analyzer. The obtained electrokinetic parameters indicated on lag in adsorption of model fabric softener (MFS) based on MAS (w = 9%), with the addition of silicone DPS (MFS 3), on cotton and polyester fabrics, but advantage in stability when compared with other MFS investigated.     

Modeling of kinetics for the enzymatic hydrolysis of sunflower oil in a high-pressure reactor

This study presents a mathematical model for characterizing the Michaelis-Menten type of sunflower oil hydrolysis, catalyzed by the lipase preparation Lipolase 100T (Novozymes Ays, Bagsvaerd, Denmark). Supercritical carbon dioxide was used as a solvent for this reaction. Computer modeling of the kinetics was done for the enzymatic hydrolysis of sunflower oil in a high-pressure reactor using the MicroMath Scientist^® program (Micro-Math Research, St. Louis, MO). On the basis of the experimental results, we presumed the reaction was reversible. The suitability of the model was confirmed statistically with Student's t-test. Good agreement was found between the experimental and calculated values for the concentrations of oleic and linoleic acids.     

User-centred app design for speech sound disorders interventions with tablet computers

Traditional speech and language pathology practice (SLPP) faces challenges delivering effective and timely therapy due to long waiting lists, the need for regular practice outside the clinic and a lack of children’s motivation to engage in persistent practice. Technology has untapped potential to address these issues and improve SLPP. This paper describes the design of a tablet app for delivering technology-enhanced therapy for children with speech sound disorders and investigates the impact of the use of apps on SLPP. The initial design was informed by a nation-wide survey of speech-language pathologists (SLPs). The quantitative analysis disclosed that even though SLPs positively perceive mobile technology, they do not currently fully exploit it in their practice due to a lack of apps in their native language and the limited usefulness of apps in foreign languages. Using a user-centred design process, a multidisciplinary team created three prototypes and a final version of an app that has been tested in real therapeutic sessions during everyday practice and informed by feedback from SLPs and children. The observation analysis is presented based on an adaptation of Koole’s FRAME model. The qualitative findings indicate that SLPs identify mobile apps as enabling greater mobility, allowing new therapeutic approaches, creating possibilities for practice outside the therapeutic setting and increasing children’s motivation, supporting greater persistence to practise in the context of the therapy.     

Evaluation of peach and nectarine fruit quality and correlations between sensory and chemical attributes

Sensory attributes and chemical composition in peach and nectarine fruits of nine different cultivars were evaluated and compared. The cultivars investigated in the research were: ‘Maria Marta’, ‘Romestar’, ‘325 × A/8’, ‘224 × A/13’, ‘V × S/4’, ‘Bea’, ‘Maria Aurelia’, ‘Venus’ and ‘Spring Red’. In sensory evaluation the ‘Maria Aurelia’ was the highest rated, and the ‘224 × A/13’ was the lowest. The cultivars ‘325 × A/8’, ‘224 × A/13’, ‘V × S/4’ and ‘Spring Red’ were poor in sugars; however, the ‘Spring Red’ was rich in organic acids. Similarly, the ‘Maria Aurelia’ and ‘Venus’ fruits had higher contents of organic acids and were also rich in sugars. Furthermore, the relationships among sensory and chemical attributes of fruit quality were studied. The sensory evaluations of sweetness, taste, and aroma were well correlated with some chemically measured attributes of peach and nectarine quality: sweetness was influenced by citric acid, shikimic acid and sugars/organic acids ratio; aroma was correlated with total organic acids, sucrose, sorbitol and malic acid; taste was related to malic/citric acid ratio, total sugars, sucrose, sorbitol and malic acid. The results of the research indicate that sensory evaluation provides a good tool in the quick assessment of peach and nectarine fruit quality. Copyright © 2005 Society of Chemical Industry     

Preservative Efficacy Screening of Pharmaceutical Formulations Using ATP Bioluminescence

The preservative challenge test is a method used to determine the efficacy of a preservation system in a pharmaceutical or cosmetic formulation. However, such testing is a labor-intensive, repetitive task often requiring days before results can be generated. Several alternatives to traditional colony-count techniques have been developed. A study using pure suspensions of Staphylococcus aureus, Pseudomonas aeruginosa, Escherichia coli, Bacillus subtilis, Candida albicans, and Aspergillus niger showed that the accuracy, repeatability, and linearity of the Pallchek? luminometer ATP bioluminescence (ATP-B) system was equivalent to the traditional colony-count method. In any case, the method proved sensitive enough to follow the effect of preservatives on a number of test microorganisms, indicating the applicability of the ATP-B method for preservative screening studies in various pharmaceutical formulations.     

Challenging the assumptions for thermal sensation scales

Scales are widely used to assess the personal experience of thermal conditions in built environments. Most commonly, thermal sensation is assessed, mainly to determine whether a particular thermal condition is comfortable for individuals. A seven-point thermal sensation scale has been used extensively, which is suitable for describing a one-dimensional relationship between physical parameters of indoor environments and subjective thermal sensation. However, human thermal comfort is not merely a physiological but also a psychological phenomenon. Thus, it should be investigated how scales for its assessment could benefit from a multidimensional conceptualization. The common assumptions related to the usage of thermal sensation scales are challenged, empirically supported by two analyses. These analyses show that the relationship between temperature and subjective thermal sensation is non-linear and depends on the type of scale used. Moreover, the results signify that most people do not perceive the categories of the thermal sensation scale as equidistant and that the range of sensations regarded as ‘comfortable’ varies largely. Therefore, challenges known from experimental psychology (describing the complex relationships between physical parameters, subjective perceptions and measurement-related issues) need to be addressed by the field of thermal comfort and new approaches developed.     

Do the Effects of Secondary Prevention of Cardiovascular Events in PAD Patients Differ from Other Atherosclerotic Disease?

Atherosclerosis is considered a generalized disease. Similar or identical etiopathogenetic mechanisms and risk factors are involved in various atherosclerotic diseases, and the positive effects of preventive measures on atherogenesis in different parts of the arterial system were shown. However, until know, great emphasis has been placed on the aggressive pharmacological management of coronary artery disease (CHD), while less attention has been devoted to the management of peripheral arterial disease (PAD), despite its significant morbidity and mortality. Data on the efficacy of preventive measures in PAD patients have mostly been gained from subgroup analyses from studies devoted primarily to the management of coronary patients. These data have shown that treatment of risk factors for atherosclerosis with drugs can reduce cardiovascular events also in patients with PAD. The effects of some preventive procedures in PAD patients differ from coronary patients. Aspirin as a basic antiplatelet drug has been shown to be less effective in PAD patients than in coronary patients. The latest Antithrombotic Trialists’ Collaboration (ATC) meta-analysis demonstrates no benefit of aspirin in reducing cardiovascular events in PAD. Statins reduce cardiovascular events in all three of the most frequently presented cardiovascular diseases, including PAD to a comparable extent. Recent studies indicate that in PAD patients, in addition to a reduction in cardiovascular events, statins may have some hemodynamic effects. They prolong walking distance and improve quality of life. Similarly, angiotensin enzyme inhibitors are also effective in the prevention of cardiovascular events in coronary, cerebrovascular, as well as PAD patients and show positive effects on the walking capacity of patients with intermittent claudication. In PAD patients, the treatment of hypertension and diabetes also effectively prevents cardiovascular morbidity and mortality. As PAD patients are at a highest risk of cardiovascular complications, the risk factors of atherosclerosis should be treated intensively in this group of patients. Most of the preventive measures, including the drugs used for prevention of CHD, are also effective in PAD patients.     

Side chain methyl substitution in the delta-opioid receptor antagonist TIPP has an important effect on the activity profile

The delta-opioid antagonist H-Tyr-Tic-Phe-Phe-OH (TIPP-OH) or its C-terminal amide analogue was systematically modified topologically by substitution of each amino acid residue by all stereoisomers of the corresponding beta-methyl amino acid. The potency and selectivity (delta- vs mu- and kappa-opioid receptor) were evaluated by radioreceptor binding assays. Agonist or antagonist potency were assayed in the mouse vas deferens and in the guinea pig ileum. In the TIPP analogues containing L-beta-methyl amino acids the influence on delta-receptor affinity and on delta-antagonist potency is limited, the [(2S,3R)-beta-MePhe3]TIPP-OH analogue being among the most potent delta-antagonists reported. In the D-beta-methyl amino acid series, the [D-beta-MeTic2] analogues are delta-selective antagonists whereas [D-Tic2]TIPP-NH2 is a delta-agonist. NMR studies did not indicate any influence of the beta-methyl substituent on the conformation of the Tic residue. The [(2R,3S)-beta-MePhe3]TIPP-NH2 is a potent delta-agonist, its C-terminal carboxylic acid analogue being more delta-selective but displaying partial agonism in both the delta- and mu-bioassay. These results constitute further examples of a profound influence of beta-methyl substitution on the potency, selectivity, and signal transduction properties of a peptide.