KI effects on the reversible electrodeposition of silver on poly(ethylene oxide) for application in electrochromic devices

A new approach to electrochromics, based on the reversible coating-dissolution of an oxide from an inorganic electrochromic electrolyte consisting of a silver-amine complex in a polymer electrolyte (PEO), has proven successful. The reversible electrodeposition of silver onto indium-tin oxide coated glass (ITO) was investigated and the influence of HClO(4) and KI was evaluated. Several characteristics of the electrolyte Ag-PEO make it suitable for use in electrochromic reversible silver electrodeposition devices, such as visible absorption spectrum with an absorbance variation of 60%, an electrochromic efficiency of 5.2 cm(2) C(-1) and an ionic conductivity 4.4 x 10(-4) S cm(-1). The addition of perchloric acid improved the transparency of Ag-PEO, and potassium iodide (KI) was fundamental in setting up the process of reversible silver electrodeposition in the PEO polymeric matrix. A description of the electrochemical processes implied is presented. A number of approaches focusing on the improvement of system performance are tested. (C) 2009 Elsevier Ltd. All rights reserved.

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.

Reversible cardiomyopathy associated with acute inhaled marijuana use in a young adult

Marijuana is a frequently used recreational drug. We describe the first published case of marijuana related cardiomyopathy.

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.

Multicomponent reversible reactions inside a porous catalyst pellet

This work deals with a solution method to handle multicomponents reversible reactions occurring inside a porous catalyst pellet. The complexity of this problem arises from the fact that the effective diffusivities and Biot number, which characterizes the external mass transfer, are different for each chemical species. In mathematical terms, this means that each chemical species has its own subspace and, therefore, when the technique of finite integral transform is applied to solve this multicomponent problem, each chemical species is associated with its own integral transform kernel. The analytical solutions obtained for this problem are compact and simple for any further manipulation. Application of this result to the catalytic reforming of C7 hydrocarbon system is shown in this paper.

(FAB12_2_019) National identity at Arakawa & Gins’ Site of Reversible Destiny—Yoro, Japan

This paper examines the manipulation of forms of the traditional Japanese stroll garden at Site of Reversible Destiny, a tourist park designed by the New Yorkbased collaborators Shusaku Arakawa and Madeline Gins. Landscape and its representations are central to the construction of national identity in Japan since the cultural distinctiveness of the Japanese people has been argued to rest on their unique relationship to nature and the country’s idiosyncratic geography. The stroll garden of the larger estates and palaces of the Edo period (1615–1867) developed out of earlier temple gardens and most public parks in contemporary Japan are in the grounds of these historic sites or reproduce their forms.

p-cresol as a reversible acylium ion scavenger in solid-phase peptide synthesis

In this work we have defined the nature of the p-cresol and p-thiocresol adducts generated from acylium ions during HF cleavage, following contemporary Boc/benzyl solid-phase peptide synthesis. Contrary to the results in previous reports, we found that both p-cresol and p-thiocresol predominantly form. aryl esters under typical cleavage conditions. Initially we investigated a number of small peptides containing either a single glutamate residue or a C-terminal long-chain amino acid which allowed us to unambiguously characterize the scavenged side products. Whereas, the p-cresol esters are stable at 0 degrees C they rearrange irreversibly at higher temperatures (5-20 degrees C) to form aryl ketones. By contrast, p-thiocresol esters do not undergo a Fries rearrangement but readily undergo further additions of p-thiocresol to form ketenebisthioacetals and trithio ortho esters, even at low temperatures. Importantly, we found by LC/MS and FT-ICR MS analysis that peptides containing p-cresol esters at glutamyl side chains are susceptible to amidation and fragmentation reactions at these sites during standard mild base workup procedures. The significance of these side reactions was further demonstrated in the synthesis of neutrophil immobilization factor, a 26-residue peptide, containing four glutamic acid residues. The side reactions were largely avoided by mild hydrogen peroxide-catalyzed hydrolysis which converted the p-cresol adducts to the free carboxylic acids in near quantitative yield. The choice of p-cresol as a reversible acylium ion scavenger when coupled with the simple workup conditions described is broadly applicable to Boc/benzyl peptide synthesis and will significantly enhance the quality of peptides produced.

Effects of reversible inactivation of the medial septum on rat exploratory behavior in the elevated plus-maze using a test-retest paradigm

The effect of intraseptal injections of lidocaine before a first or a second session in the elevated plus-maze, in a test-retest paradigm, was investigated. In addition to gross session analyses, a minute-by-minute analysis of the sessions was used to evaluate both anxiety and memory. Lidocaine injections before the test session produced increases in the frequency of entries, time spent and distance run in the open arms without affecting activity occurring in the closed arms. During the retest session, saline- and lidocaine-treated rats exhibited increased indices of anxiety and lidocaine-treated rats exhibited decreased closed-arm entries. The minute-by-minute analysis showed a faster decrease in anxiety-related behaviors during the test session by saline- than by lidocaine-treated rats and a significant decrease in closed-arm exploration by saline-treated rats, but not by lidocaine-treated ones. Lidocaine injection before the retest session produced increases in the frequency of entries, time spent and distance run in the open arms in the second session when compared with saline-treated rats. Minute-by-minute analysis showed an increase in the time spent in the open arms by lidocaine animals at the beginning of the retest session in comparison to saline animals and a significant decrease in closed-arm exploration by both groups. These results suggest that inactivation of the medial septum by lidocaine affects the expression of unconditioned and conditioned forms of anxiety in the elevated plus-maze and, in a lesser way, the acquisition and retention of spatial information. (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.

Collapsing glomerulopathy associated with proliferative lupus nephritis: reversible acute kidney injury

Collapsing glomerulopathy is a rare form of glomerular injury, characterized by segmental or global collapse of the glomerular capillaries, wrinkling and retraction of the glomerular basement membrane, and marked hypertrophy and hyperplasia of podocytes. Prognosis is usually poor, with most cases developing end-stage renal disease, in spite of treatment. The association of collapsing glomerulopathy and systemic lupus erythematosus is very unusual. In this report, we describe the first case of a simultaneous diagnosis of collapsing glomerulopathy and diffuse proliferative lupus nephritis. The case presented with acute kidney injury and nephrotic syndrome and evolved with partial remission of nephrotic syndrome and recovery of renal function after aggressive treatment with intravenous cyclophosphamide and methylprednisolone. Lupus (2011) 20, 98-101.

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.