Discrete cyanide-bridged mixed-valence Co/Fe complexes: Outer-sphere redox behaviour

The outer-sphere redox behaviour of a series of [LnCoIII-NCFeII(CN)(5)](-) (L-n = n-membered pentadentate aza-macrocycle) complexes have been studied as a function of pH and oxidising agent. All the dinuclear complexes show a double protonation process at pH approximate to 2 that produces a shift in their UV/Vis spectra. Oxidation of the different non-protonated and diprotonated complexes has been carried out with peroxodisulfate, and of the non-protonated complexes also with trisoxalatocobaltate(III). The results are in agreement with predictions from the Marcus theory. The oxidation of [Fe(phen)(3)](3+) and [IrCl6](2-) is too fast to be measured, although for the latter the transient observation of the process has been achieved at pH = 0. The study of the kinetics of the outer-sphere redox process, with the S2O82- and [Co(ox)(3)](3-) oxidants, has been carried out as a function of pH, temperature, and pressure. As a whole, the values found for the activation volumes, entropies, and enthalpies are in the following margins, for the diprotonated and non-protonated dinuclear complexes, respectively: DeltaV(not equal) from 11 to 13 and 15 to 20 cm(3) mol(-1); DeltaS(not equal) from 110 to 30 and -60 to -90 J K-1 mol(-1); DeltaH(not equal) from 115 to 80 and 50 to 65 kJ.mol(-1). The thermal activation parameters are clearly dominated by the electrostriction occurring on outer-sphere precursor formation, while the trends found for the values of the volume of activation indicate an important degree of tuning due to the charge distribution during the electron transfer process. The special arrangement on the amine ligands in the isomer trans[(L14CoNCFeII)-N-III(CN)(5)](-) accounts for important differences in solvent-assisted hydrogen bonding occurring within the outer-sphere redox process, as has been established in redox reactions of similar compounds. ((C) Wiley-VCH Verlag GmbH & Co. KGaA, 69451 Weinheim, Germany, 2003).

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Profiling consumer behaviour in cross-border tourism destinations

Tourism is a phenomenon that moves millions of people around the world, taking as a major driver of the global economy. Such relevance is reflected in the proliferation of studies in the overall area known as tourism, under various perspectives and backgrounds. In the light of such multitude of insights our study aims at gaining a deeper understanding of customer profiling and behavior in cross-border tourism destinations. Previous studies conducted in such contexts suggest that cross-border regions (CBRs) are an attractive and desirable idea, yet requiring further theoretical and empirical research. The new configuration of many CBRs calls for a debate on issues concerning its development, raising up important dimensions, such as, organization and planning of common tourism destinations. There is still a gap in the understanding of destination management in CBRs and the customer profile and motivations. Overall this research aims at attaining a deeper understanding of the profile and behavior of consumers in tourism settings, addressing the predisposition for the destination. The study addresses the following research question: “What factors influence customer behavior and attitudes in a CBRs tourism destination?” To address our question we will take an interdisciplinary perspective bringing together inputs from marketing, tourism and local economics. When addressing consumer behavior in tourism previous studies considered the following constructs: involvement, place attachment, satisfaction and destination loyalty. In order to establish the causal relationships in our theoretical model, we intend to develop a predominant quantitative design, yet we plan to conduct exploratory interviews. In the analysis and discussion of results, we intend to use Structural Equation Modeling. It will further allow understanding how the constructs in the research model relate to each other in the specified context. Results are also expected to have managerial implications. Consequently our results may assist decision makers in developing their local policies.

IDEA MANAGEMENT SYSTEM - AN ESSENTIAL COMPONENT IN THE CONTINUOUS IMPROVEMENT OF QUALITY AND INNOVATION

It is known the power of ideas is tremendous. But there are employees in many companies who have good ideas but not put them into practice. On the other hand, there are many others who have good ideas and are encouraged to contribute their ideas for innovation in the company. This study attempts to identify factors that contribute to success in managing ideas and consequent business innovation. The method used was the case study applied to two companies. During the investigation, factors considered essential for the success of an idea management program were identified, of which we highlight, among others, evidences the results, involvement of the top management, establishment of goals and objectives; recognition; dissemination of good results. Companies with these implemented systems, capture the best ideas from their collaborators and apply them internally. This study intends to contribute to business innovation in enterprises through creation and idea management, mainly through collecting the best ideas of their own employees. The results of this study can be used to help improving deployed suggestions systems, as well as, all managers who wish to implement suggestions systems/ideas management systems.

Studies on mosquitoes (Diptera: Culicidae) and anthropic environment: 4 - Survey of resting adults and synanthropic behaviour in South-Eastern, Brazil

Resting adults Culicidae were collected from January 1992 through January 1993 in several habitats of the Ribeira Valley region. The diversity of species found among them suggested that the vegetation remaining within human settlements favored the survival and the population increase of some mosquitoes. Among there are: Ae. scapularis, Ae. serratus, Cx. (Culex), Cx. nigripalpus and Cx. (Melanoconion) such as Cx. ribeirensis. That preservation role may be attributed to the rearing of livestock and the consequent increase in the number of blood sources. These species may be classified as hemisynanthropes and Cx. oedipus apparently evolving to the eusynanthropic status. On the other hand, An. cruzii showed an asynanthropic behaviour, with a low degree of survival in the modified human environment. Epidemiological implications of the data are mentioned.

Molybdenum Complexes Bearing the Tris(1-pyrazolyl)methanesulfonate Ligand: Synthesis, Characterization and Electrochemical Behaviour

The tris(1-pyrazolyl)methanesulfonate lithium salt Li(Tpms) [Tpms = SO3C(pz)(3)-] reacts with [Mo(CO)(6)] in NCMe heated at reflux to yield Li[Mo(Tpms)(CO)(3)] (1), which, upon crystallization from thf, forms the coordination polymer [Mo(Tpms)(CO)(2)(mu-CO)Li(thf)(2)](n) (2). Reaction of 1 with I-2, HBF4 or AgBF4 yields [Mo(Tpms)I(CO)(3)] (3), (Mo(Tpms)-H(CO)(3)] (5) or (Mo(Tpms)O-2](2)(mu-O) (7), respectively. The high-oxidation-state dinuclear complexes [{Mo(Tpms)O(mu-O)}(2)] (4) and [{Mo(tpms)OCl)(2)](mu-O) (6) are formed upon exposure to air of solutions of 3 and 5, respectively. Compounds 1-7, which appear to be the first tris(pyrazolyl)methanesulfonate complexes of molybdenum to be reported, were characterized by IR, H-1 and C-13 NMR spectroscopy, ESI-MS, elemental analysis, cyclic voltammetry and, in the cases of Li(Tpms) and compounds 2, 4.2CH(3)CN, 6.6CHCl(3) and 7, by X-ray diffraction analyses. Li(Tpms) forms a 1D polymeric structure (i.e., [Li(tpms)](n)} with Tpms as a tetradentate N2O2 chelating ligand that bridges two Li cations with distorted tetrahedral coordination. Compound 2 is a 1D coordination polymer in which Tpms acts as a bridging tetradentate N3O ligand and each Li(thf)(2)(+) moiety is coordinated by one bridging CO ligand and by the sulfonyl group of a contiguous monomeric unit. In 4, 6 and 7, the Tpms ligand is a tridentate chelator either in the NNO (in 4) or in the NNN (in 6 and 7) fashion. Complexes 1, 3 and 5 exhibit, by cyclic voltammetry, a single-electron oxidation at oxidation potential values that indicate that the Tpms ligand has an electron-donor character weaker than that of cyclopentadienyl.

Studies on mosquitoes (Diptera: Culicidae) and anthropic environment: 7- Behaviour of adults Nyssorhynchus anophelines with special reference to Anopheles albitarsis s.l. in South-Eastern Brazil

Results obtained with catches performed at several sites of the Ribeira Valley, SP (Brazil) are reported. Collections with Shannon type traps showed a concentration of An.albitarsis s.l. in the Experimental Farm of Pariquera-Açu County, associated with the development of irrigated rice cultivation. Two species of the complex, named A and B, were recognized. Species B predominated in the samples. Indoor and outdoor crepuscular human bait captures were performed a the domiciliary environment. The two species showed a generally low William's media valve of 0.2, the highest value obtained was 1.6. No differences were found between indoor and outdoor behaviours between the two species of the complex.

Studies on mosquitoes (Diptera: Culicidae) and anthropic environment: 8- Survey of adult behaviour of Spissipes Section species of Culex (Melanoconion) in South-Eastern Brazil

A study of Spissipes Section of Culex (Melanoconion) adults behaviour was carried out from August 1992 through December 1993 in human dominated (anthropic) environment in the Ribeira Valley, S.Paulo State, Brazil. By sampling at several sites it the dominance of Culex ribeirensis and Cx. sacchettae became evident even through a total number of ten species was recorded. Those two mosquitoes showed a clear tendency to frequent the domiciliary environment where they were caught, both indoor and outdoor, through the use of the human bait. In the outside environments, the residual patchy forests seems to display a concentration role, from which these adults spread to the open land and reach the dwellings. As their vector competence has been demonstrated through the virus isolations in natural conditions, it is advisable to pay attention to the presence of these mosquitoes in the man-made environment.

Studies on mosquitoes (Diptera: Culicidae) and anthropic environment: 10- survey of adult behaviour of Culex nigripalpus and other species of Culex (Culex) in South-Eastern Brazil

A survey of adult behaviour of Culex (Culex) species was carried out from August 1992 through December 1993 in a human modified (anthropic) environment in the Ribeira Valley, S.Paulo State, Brazil. Culex nigripalpus dominated the catches at several sites and it's tendency to increase in the anthropic environment became quite clear. Nevertheless no high level of synanthropy was demonstrated. So it seems that the mosquito may have a restricted role in natural arbovirus cycles. Nonetheless, Cx. nigripalpus must be considered a potential vector of arboviruses, especially St. Louis encephalitis virus outside dwellings.