The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Efficacy, timing and method of application of fungicides for management of sorghum ergot caused by Claviceps africana

Trials conducted in Queensland, Australia between 1997 and 2002 demonstrated that fungicides belonging to the triazole group were the most effective in minimising the severity of infection of sorghum by Claviceps africana, the causal agent of sorghum ergot. Triadimenol ( as Bayfidan 250EC) at 0.125 kg a. i./ha was the most effective fungicide. A combination of the systemic activated resistance compound acibenzolar-S-methyl ( as Bion 50WG) at 0.05 kg a. i./ha and mancozeb ( as Penncozeb 750DF) at 1.5 kg a. i./ha has the potential to provide protection against the pathogen, should triazole-resistant isolates be detected. Timing and method of fungicide application are important. Our results suggest that the triazole fungicides have no systemic activity in sorghum panicles, necessitating the need for multiple applications from first anthesis to the end of flowering, whereas acibenzolar-S-methyl is most effective when applied 4 days before flowering. The flat fan nozzles tested in the trials provided higher levels of protection against C. africana and greater droplet deposition on panicles than the tested hollow cone nozzles. Application of triadimenol by a fixed wing aircraft was as efficacious as application through a tractor-mounted boom spray.

Novel neutral iron(II) isocyanide maleonitrile dithiolate [Fe(S2C2(CN)2)(t-BuNC) 4] compound

FeBr2 reacts with the S2C2(CN)22- ion (1:1 ratio) in the presence of an excess of t-BuNC in THF to give the mixed ligand [Fe(S2C2(CN)2)(t-BuNC) 4] compound. This neutral product with a formal oxidation state of two for the iron atom was characterized by conductivity measurements, and, i.r., Mössbauer, 13C and 1H n.m.r. spectroscopy. There is a Fe-C p back-donation strengthened towards isocyanide ligands, according to the data of 13C, 1H n.m.r. and Mössbauer spectroscopy.

Aplicação da matemática em investimentos financeiros : caderneta de poupança e títulos públicos

Iniciando com um breve estudo de porcentagem e algumas de suas aplicações, o desenvolvimento deste trabalho consiste de uma revisão dos fundamentos da matemática financeira e suas aplicações em dois tipos de investimentos financeiros denominados caderneta de poupança e títulos públicos. Além do clássico estudo de juros simples e compostos, associando-os a progressões aritméticas e geométricas, respectivamente, aborda-se sobre os vários tipos de taxas (proporcionais e equivalentes, nominais e efetivas, variáveis e acumuladas) incluindo a conceituação de taxa por dia útil. Fundamentado nos assuntos mencionados, o trabalho encerra-se com uma aplicação da matemática financeira associada a investimentos na caderneta de poupança e nos diversos títulos públicos negociados no Tesouro Direto.

La adopción del cuadro de mando integral en organizaciones portuguesas: variables contingentes e institucionales

Este artículo tiene como objetivo identificar y analizar un conjunto de variables contingentes e institucionales que pueden potencialmente influir en el conocimiento e implementación del Cuadro de Mando Integral (CMI) en las organizaciones portuguesas pertenecientes al sector público y privado.

La adopción del cuadro de mando integral en organizaciones portuguesas: variables contingentes e institucionales

Esta comunicación tiene como objetivo identificar y analizar un conjunto de variables contingentes e institucionales que pueden potencialmente influir en el conocimiento e implementación del Cuadro de Mando Integral (CMI) en las organizaciones portuguesas pertenecientes al sector público y privado. Para comprobar empíricamente las hipótesis de investigación formuladas hemos recurrido a los datos obtenidos mediante la aplicación de un cuestionario postal a 591 organizaciones públicas y 549 organizaciones privadas portuguesas, con una tasa de respuesta total del 31,3%. Los resultados obtenidos indican la asociación entre el conocimiento CMI y el grado de formación de los empleados, así como entre la implementación del CMI y la realización de cursos de formación. Por otro lado, no hemos obtenido evidencia empírica respecto a la posible relación entre la implementación del CMI y el grado de comunicación interna, el recurso a consultores externos, cuestiones de “modas de gestión” y la búsqueda de legitimidad.

Cuadro de mando integral en empresas portuguesas: variables contextuales e internas

Este artículo tiene como objetivo analizar la relación entre un conjunto de variables contextuales e internas y la adopción del Cuadro de Mando Integral (CMI) en las empresas privadas portuguesas. Como medio básico para la recolección de los datos se ha realizado una encuesta postal a través del envío de un cuestionario a 549 empresas privadas portuguesas, con una tasa de respuesta del 28,2%. Los resultados obtenidos indican que existe una asociación positiva entre la implementación del CMI y el grado de diversidad de los bienes y servicios de la organización; la propiedad de grupos extranjeros; y el tamaño organizacional.

Effects of growth reducer and nitrogen fertilization on morphological variables, SPAD index, interception of radiation and productivity of wheat

ABSTRACT The objective of this study was to evaluate the effect of growth reducer and nitrogen fertilization on morphological variables, SPAD index, radiation interception, and grain yield of three cultivars of wheat. The experimental design was a randomized block in factorial scheme 3x5x2, with three cultivars (Mestre, Iguaçú and Itaipú), five nitrogen doses (0, 40, 80, 120, 160 Kg ha-1), and application or no application of a growth reducer, with three replications. The following characteristics were evaluated: plant height, SPAD index, leaf area index (LAI), Global Radiation Interception (GRI) and grain yield. The Tukey test (p < 0.05) was used for the comparison between the means of cultivar and growth reducer factors, and for a regression analysis to evaluate N levels. Increasing the dose of nitrogen promotes an increase in LAI of plants of wheat crops differently among cultivars, which leads to a greater degree of global radiation interception. At doses higher or equal to 120 Kg ha-1 of nitrogen, there are significant differences in grain yield between treatments with and without the application of the growth reducer. The significant interaction between growth reducer and nitrogen dose, showed that applications of growth reducer increase the GRI at doses above and below 80 Kg ha-1 of nitrogen. Nitrogen rates of 138 and 109 Kg ha-1 are responsible for maximum grain yields of wheat, which is 4235 and 3787 Kg ha-1 with and without the use of growth reducer, respectively.

ABOUT PSYCHOLOGICAL VARIABLES IN APPLICATION SCORING MODELS

The purpose of this study is to investigate the contribution of psychological variables and scales suggested by Economic Psychology in predicting individuals’ default. Therefore, a sample of 555 individuals completed a self-completion questionnaire, which was composed of psychological variables and scales. By adopting the methodology of the logistic regression, the following psychological and behavioral characteristics were found associated with the group of individuals in default: a) negative dimensions related to money (suffering, inequality and conflict); b) high scores on the self-efficacy scale, probably indicating a greater degree of optimism and over-confidence; c) buyers classified as compulsive; d) individuals who consider it necessary to give gifts to children and friends on special dates, even though many people consider this a luxury; e) problems of self-control identified by individuals who drink an average of more than four glasses of alcoholic beverage a day.

RELATION BETWEEN BACKGROUND VARIABLES, VALUES AND CORPORATE SOCIAL RESPONSIBILITY

ABSTRACT Consumer perception of corporate social responsibility (CSR) can be directly influenced by individual value structures. This research aims to provide new knowledge regarding the relationship between basic human values and the public's perception of CSR. It focuses on the values of higher education students and their views regarding a particular corporate social initiative. The study reveals that social, educational, and economic circumstances influence human values. Those values in turn influence why different students perceive CSR differently. These findings are relevant to companies as they provide a more detailed understanding of why certain consumer groups perceive certain CSR initiatives the way that they do. They also suggest that universities should increase their awareness of the importance of integrating human values and CSR in the curricula of future business managers and social leaders.

Validation of a measurement scale for the relationship between the orientation to corporate social responsibility and other business strategic variables

The importance of Social Responsibility (SR) is higher if this business variable is related with other ones of strategic nature in business activity (competitive success that the company achieved, performance that the firms develop and innovations that they carries out). The hypothesis is that organizations that focus on SR are those who get higher outputs and innovate more, achieving greater competitive success. A scale for measuring the orientation to SR has defined in order to determine the degree of relationship between above elements. This instrument is original because previous scales do not exist in the literature which could measure, on the one hand, the three classics sub-constructs theoretically accepted that SR is made up and, on the other hand, the relationship between SR and the other variables. As a result of causal relationships analysis we conclude with a scale of 21 indicators, validated scale with a sample of firms belonging to the Autonomous Community of Extremadura and it is the first empirical validation of these dimensions we know so far, in this context.

Synthesis of optimization of [11C] Pittsburgh compound B by the captive solvent method

Mestrado em Medicina Nuclear.

A new natural spiro heterocyclic compound and the cytotoxic activity of the secondary metabolites from Juniperus brevifolia leaves

Copyright © 2010 Elsevier B.V. All rights reserved.

Clustering of variables with a three-way approach for health sciences

TPM Vol. 21, No. 4, December 2014, 435-447 – Special Issue © 2014 Cises.

Insights into the mechanims underlyng the antiproliferative potential of a Co(II) coordination compound bearing 1,10-Phenanthroline-5,6-Dione: DNA and protein interaction studies

The very high antiproliferative activity of [Co(Cl)(H2O)(phendione)(2)][BF4] (phendione is 1,10-phenanthroline-5,6-dione) against three human tumor cell lines (half-maximal inhibitory concentration below 1 mu M) and its slight selectivity for the colorectal tumor cell line compared with healthy human fibroblasts led us to explore the mechanisms of action underlying this promising antitumor potential. As previously shown by our group, this complex induces cell cycle arrest in S phase and subsequent cell death by apoptosis and it also reduces the expression of proteins typically upregulated in tumors. In the present work, we demonstrate that [Co(Cl)(phendione)(2)(H2O)][BF4] (1) does not reduce the viability of nontumorigenic breast epithelial cells by more than 85 % at 1 mu M, (2) promotes the upregulation of proapoptotic Bax and cell-cycle-related p21, and (3) induces release of lactate dehydrogenase, which is partially reversed by ursodeoxycholic acid. DNA interaction studies were performed to uncover the genotoxicity of the complex and demonstrate that even though it displays K (b) (+/- A standard error of the mean) of (3.48 +/- A 0.03) x 10(5) M-1 and is able to produce double-strand breaks in a concentration-dependent manner, it does not exert any clastogenic effect ex vivo, ruling out DNA as a major cellular target for the complex. Steady-state and time-resolved fluorescence spectroscopy studies are indicative of a strong and specific interaction of the complex with human serum albumin, involving one binding site, at a distance of approximately 1.5 nm for the Trp214 indole side chain with log K (b) similar to 4.7, thus suggesting that this complex can be efficiently transported by albumin in the blood plasma.