Binary and ternary inclusion complexes of finasteride in HP beta CD and polymers: Preparation and characterization

The aim of this study was to determine whether inclusion complexes between 2-hydroxypropyl-beta-cyclodextrin (HP beta CD) and finasteride (FIN) are formed, and to characterize these. Equimolar FIN/HP beta CD solid systems in the presence or absence of 0.1% (w/v) of polyvinylpyrrolidone K30 (PVP K30) or 0.3% of chitosan were prepared by coevaporation and freeze-drying methods. The systems were characterized by phase solubility, NMR, DSC, and XRD analysis. The results suggest that true binary and ternary inclusion complexes were formed. (c) 2009 Elsevier Ltd. All rights reserved.

Attainment of O/W emulsions containing liquid crystal from annatto oil (Bixa orellana), coffee oil, and tea tree oil (Melaleuca alternifolia) as oily phase using HLB system and ternary phase diagram

Emulsions containing liquid crystals present interesting properties and advantages such as the skin moisturize increase, active release modulation, and emulsion stabilization. In this work, emulsions containing annatto, coffee and tea tree oils, and nonionic surfactants were developed. The HLB method was used for selection of surfactants. The required HLB value was established (9.0). Liquid crystals were attained when used the surfactant mixture Ceteareth-5 and Steareth-2 and identified as lamellar. The emulsions showed pseudoplastic behavior and tixotropy. The ternary diagram was useful in the selection of the proportion of surfactant and oily phase considering skin compatibility and liquid crystal presence.

The Preparation of Ternary Solid Dispersions of an Herbal Drug via Spray Drying of Liquid Feed

The present study aimed the preparation and characterization of ternary solid dispersions by direct spray drying of a liquid suspension containing curcumin, a solubility enhancer and a drying aid. The experiments followed a Box-Behnken design in order to evaluate the influence of temperature, ratio of curcumin: lipidic carrier, and the collodial silicon dioxide content on the characteristics of the microparticulated solid dispersions. The angle of repose, Hausner factor, Carr index, water activity, and solubility were used to characterize solid dispersions. The results show that water activity, Hausner factor, and Carr index varied in an acceptable range for pharmaceutical purposes. The condition that maximizes solubility was determined using an exploratory design based on a surface response analysis and allowed a 3200-fold increase in curcumin solubility. Ternary solid dispersion showed a 90% curcumin release after 10min during a dissolution test. The results show that the spray drying of a liquid feed is an attractive and promising alternative to obtain enhanced solubility drug ternary solid dispersions.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Synthesis and characterization of ternary hybrid material based on poly-o-methoxyaniline and poly(ethylene oxide) in mesostructured V(2)O(5)

New hybrid composites based on mesostructured V(2)O(5) containing intercalated poly(ethylene oxide), poly-o-methoxyaniline and poly(ethylene oxide)/poly-o-methoxyaniline were prepared. The results suggest that the polymers were intercalated into the layers of the mesostructured V(2)O(5). Electrochemical studies showed that the presence of both polymers in the mesostructured V(2)O(5) (ternary hybrid) leads to an increase in total charge and stability after several cycles compared with binary hybrid composites. This fact makes this material a potential component as cathode for lithium ion intercalation and further, a promising candidate for applications in batteries.

Surface miscibility of EPC/DOTAP/DOPE in binary and ternary mixed monolayers

Surface pressure (pi)-molecular area (A) curves were used to characterize the packing of pseudo-ternary mixed Langmuir monolayers of egg phosphatidylcholine (EPC), 1,2-dioleoyl-3-trimethylammonium propane (DOTAP) and L-alpha-dioleoyl phosphatidylethanolamine (DOPE). This pseudo-ternary mixture EPC/DOPE/DOTAP has been successfully employed in liposome formulations designed for DNA non-viral vectors. Pseudo-binary mixtures were also studied as a control. Miscibility behavior was inferred from pi-A curves applying the additivity rule by calculating the excess free energy of mixture (Delta G(Exc)). The interaction between the lipids was also deduced from the surface compressional modulus (C(s)(-1)). The deviation from ideality shows dependence on the lipid polar head type and monolayer composition. For lower DOPE concentrations, the forces are predominantly attractive. However, if the monolayer is DOPE rich, the DOTAP presence disturbs the PE-PE intermolecular interaction and the net interaction is then repulsive. The ternary monolayer EPC/DOPE/DOTAP presented itself in two configurations, modulated by the DOPE content, in a similar behavior to the DOPE/DOTAP monolayers. These results contribute to the understanding of the lipid interactions and packing in self-assembled systems associated with the in vitro and in vivo stability of liposomes. (C) 2010 Elsevier B.V. All rights reserved.

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.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.