Solvable models of Bose-Einstein condensates: A new algebraic Bethe ansatz scheme

A new algebraic Bethe ansatz scheme is proposed to diagonalize classes of integrable models relevant to the description of Bose-Einstein condensation in dilute alkali gases. This is achieved by introducing the notion of Z-graded representations of the Yang-Baxter algebra. (C) 2003 American Institute of Physics.

Amino acids 1-20 of the hepatitis C virus (HCV) core protein specifically inhibit HCV IRES- dependent translation in Hep G2 cells, and inhibit both HCV IRES- and cap-dependent translation in HuH7 and CV-1 cells.

A self-modulating mechanism by the hepatitis C virus (HCV) core protein has been suggested to influence the level of HCV replication, but current data on this subject are contradictory. We examined the effect of wild-type and mutated core protein on HCV IRES- and cap-dependent translation. The wild-type core protein was shown to inhibit both IRES- and cap-dependent translation in an in vitro system. This effect was duplicated in a dose-dependent manner with a synthetic peptide representing amino acids 1-20 of the HCV core protein. This peptide was able to bind to the HCV IRES as shown by a mobility shift assay. In contrast, a peptide derived from the hepatitis B virus (HBV) core protein that contained a similar proportion of basic residues was unable to inhibit translation or bind the HCV IRES. A recombinant vaccinia-HCV core virus was used to examine the effect of the HCV core protein on HCV IRES-dependent translation in cells and this was compared with the effects of an HBV core-recombinant vaccinia virus. In CV-1 and HuH7 cells, the HCV core protein inhibited translation directed by the IRES elements of HCV, encephalomyocarditis virus and classical swine fever virus as well as cap-dependent translation, whereas in HepG2 cells, only HCV IRES-dependent translation was affected. Thus, the ability of the HCV core protein to selectively inhibit HCV IRES-dependent translation is cell-specific. N-terminal truncated (aa 1-20) HCV core protein that was expressed from a novel recombinant vaccinia virus in cells abrogated the inhibitory phenotype of the core protein in vivo, consistent with the above in vitro data.

Linking physiological and architectural models of cotton

Despite the strong influence of plant architecture on crop yield, most crop models either ignore it or deal with it in a very rudimentary way. This paper demonstrates the feasibility of linking a model that simulates the morphogenesis and resultant architecture of individual cotton plants with a crop model that simulates the effects of environmental factors on critical physiological processes and resulting yield in cotton. First the varietal parameters of the models were made concordant. Then routines were developed to allocate the flower buds produced each day by the crop model amongst the potential positions generated by the architectural model. This allocation is done according to a set of heuristic rules. The final weight of individual bolls and the shedding of buds and fruit caused by water, N, and C stresses are processed in a similar manner. Observations of the positions of harvestable fruits, both within and between plants, made under a variety of agronomic conditions that had resulted in a broad range of plant architectures were compared to those predicted by the model with the same environmental inputs. As illustrated by comparisons of plant maps, the linked models performed reasonably well, though performance of the fruiting point allocation and shedding algorithms could probably be improved by further analysis of the spatial relationships of retained fruit. (C) 2002 Elsevier Science Ltd. All rights reserved.

Integrable generalized spin ladder models based on the SU(1|3) and SU(3|1) algebras

We present two integrable spin ladder models which possess a general free parameter besides the rung coupling J. The models are exactly solvable by means of the Bethe ansatz method and we present the Bethe ansatz equations. We analyze the elementary excitations of the models which reveal the existence of a gap for both models that depends on the free parameter. (C) 2003 American Institute of Physics.

Use of a thermodilution catheter to measure core body temperature, central venous pressure and cardiac output during anaesthesia and surgery in the dog

The use of thermodilution and other methods of monitoring in dogs during surgery and critical care was evaluated. Six Greyhounds were anaesthetised and then instrumented by placing a thermodilution catheter into the pulmonary artery via the jugular vein. A catheter in the dorsal pedal artery also permitted direct measurement of arterial pressures. Core body temperature (degreesC) and central venous pressure (mmHg) were measured, while cardiac output (mL/min/kg) and mean arterial pressure (mmHg) were calculated. A mid-line surgical incision was performed and the physiological parameters were monitored for a total of two hours. All physiological parameters generally declined, although significant increases (P<0.05) were noted for cardiac output following surgical incision. Central venous pressure was maintained at approximately 0mmHg by controlling an infusion of sterile saline. Core body temperature decreased from 37.1+/-0.6degreesC (once instrumented) to 36.6+/-0.60degreesC (at the end of the study), despite warming using heating pads. Physiological parameters indicative of patient viability will generally decline during surgery without intervention. This study describes an approach that can be undertaken in veterinary hospitals to accurately monitor vital signs in surgical and critical care patients.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Synthesis of optically complex core-shell colloidal suspensions: Pathways to multiplexed biological screening

The ability to generate enormous random libraries of DNA probes via split-and-mix synthesis on solid supports is an important biotechnological application of colloids that has not been fully utilized to date. To discriminate between colloid-based DNA probes each colloidal particle must be 'encoded' so it is distinguishable from all other particles. To this end, we have used novel particle synthesis strategies to produce large numbers of optically encoded particle suitable for DNA library synthesis. Multifluorescent particles with unique and reproducible optical signatures (i.e., fluorescence and light-scattering attributes) suitable for high-throughput flow cytometry have been produced. In the spectroscopic study presented here, we investigated the optical characteristics of multi-fluorescent particles that were synthesized by coating silica 'core' particles with up to six different fluorescent dye shells alternated with non-fluorescent silica 'spacer' shells. It was observed that the diameter of the particles increased by up to 20% as a result of the addition of twelve concentric shells and that there was a significant reduction in fluorescence emission intensities from inner shells as an increasing number of shells were deposited.

O pátio jesuítico no Palácio Anchieta: narrativas tipomorfológicas e paisagísticas na cidade de Vitória (ES)

A hipótese defendida nesta pesquisa se baseia na possibilidade de a arquitetura jesuítica implantada em terras brasileiras (século XVI) dialogar e agenciar, num mesmo corpo edificado, e de modo inter-relacionado, aspectos relativos à morfologia urbana, tipologia e paisagem. Lama explica que, como disciplina, a morfologia urbana agrega para si não somente o ambiente construído, mas os meios pelos quais este foi construído em sua interação com a forma urbana, ou seja, os “fenômenos sociais, econômicos e outros motores da urbanização” (LAMAS, 1992). Entender a forma urbana é entender seus elementos constituintes, “quer em ordem à leitura ou análise do espaço, quer em ordem à sua concepção ou produção” (LAMAS, 1992). Estudar a forma urbana significa compreender o lugar onde se insere a cidade e seus elementos constituintes, seus espaços e a inter-relação entre eles e seu contexto, em um espectro abrangente do que se denomina cidade, e urbano. A tipologia arquitetônica e a morfologia urbana estão interligadas no cerne de suas análises, considerando que ambas, segundo Pereira, estudam “duas ordens de fatos homogêneos” (PEREIRA, 2012); estudam elementos constituintes da cidade – arquitetônicos e espaciais – que se sobrepõem ou se complementam de acordo com a escala de análise utilizada. A arquitetura jesuítica do Brasil colonial modela de modo determinante a construção de distintos núcleos urbanos originários na costa brasileira no século XVI. Isso, por meio da implantação de tipologia edilícia que acompanha a doutrina jesuítica de localização e escolha do sítio para suas construções, preconizando segurança, visibilidade do entorno e facilidade de acesso por rios ou pelo mar. Essas construções, realizadas em áreas elevadas, marcaram, por conseguinte, no tempo e no espaço, a paisagem dos primeiros núcleos urbanos brasileiros. A pesquisa analisou um dos exemplares históricos da arquitetura jesuítica no Estado do Espírito Santo, especificamente na cidade de Vitória, capital e núcleo urbano original da colonização portuguesa neste Estado. A instalação dos jesuítas na antiga Vila da Vitória, no séc. XVI, através de sua igreja dedicada a São Tiago e de seu colégio anexo, marca a presença tipológica de uma arquitetura religiosa que influencia a própria morfologia da cidade – caracterizando esta arquitetura como um tipomorfológico - e, por reflexo, participa da construção de sua paisagem urbana secular. Entende-se que o antigo complexo jesuítico de São Tiago e atual Palácio Anchieta, sede governamental e prédio cultural capixaba, é uma arquitetura que permeia estas três grandes narrativas arquitetônicas e urbanas: a tipologia, a morfologia e a paisagem.

Measuring fund performance using multi-factor models: evidence for the Portuguese market

This paper examines the performance of Portuguese equity funds investing in the domestic and in the European Union market, using several unconditional and conditional multi-factor models. In terms of overall performance, we find that National funds are neutral performers, while European Union funds under-perform the market significantly. These results do not seem to be a consequence of management fees. Overall, our findings are supportive of the robustness of conditional multi-factor models. In fact, Portuguese equity funds seem to be relatively more exposed to smallcaps and more value-oriented. Also, they present strong evidence of time-varying betas and, in the case of the European Union funds, of time-varying alphas too. Finally, in terms of market timing, our tests suggest that mutual fund managers in our sample do not exhibit any market timing abilities. Nevertheless, we find some evidence of timevarying conditional market timing abilities but only at the individual fund level.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Color Models and Illumination Changes

Color model representation allows characterizing in a quantitative manner, any defined color spectrum of visible light, i.e. with a wavelength between 400nm and 700nm. To accomplish that, each model, or color space, is associated with a function that allows mapping the spectral power distribution of the visible electromagnetic radiation, in a space defined by a set of discrete values that quantify the color components composing the model. Some color spaces are sensitive to changes in lighting conditions. Others assure the preservation of certain chromatic features, remaining immune to these changes. Therefore, it becomes necessary to identify the strengths and weaknesses of each model in order to justify the adoption of color spaces in image processing and analysis techniques. This chapter will address the topic of digital imaging, main standards and formats. Next we will set the mathematical model of the image acquisition sensor response, which enables assessment of the various color spaces, with the aim of determining their invariance to illumination changes.

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Comparative analysis between statistical and artificial intelligence models in business failure prediction

A growing number of predicting corporate failure models has emerged since 60s. Economic and social consequences of business failure can be dramatic, thus it is not surprise that the issue has been of growing interest in academic research as well as in business context. The main purpose of this study is to compare the predictive ability of five developed models based on three statistical techniques (Discriminant Analysis, Logit and Probit) and two models based on Artificial Intelligence (Neural Networks and Rough Sets). The five models were employed to a dataset of 420 non-bankrupt firms and 125 bankrupt firms belonging to the textile and clothing industry, over the period 2003–09. Results show that all the models performed well, with an overall correct classification level higher than 90%, and a type II error always less than 2%. The type I error increases as we move away from the year prior to failure. Our models contribute to the discussion of corporate financial distress causes. Moreover it can be used to assist decisions of creditors, investors and auditors. Additionally, this research can be of great contribution to devisers of national economic policies that aim to reduce industrial unemployment.