Synthesis and characterization of delta-atracotoxin-ar1a, the lethal neurotoxin from venom of the Sydney funnel-web spider (Atrax robustus)

delta-Atracotoxin-Ar1a (delta-ACTX-Ar1a) is the major polypeptide neurotoxin isolated from the venom of the male Sydney funnel-web spider, Atrax robustus. This neurotoxin targets both insect and mammalian voltage-gated sodium channels, where it competes with scorpion alpha-toxins for neurotoxin receptor site-3 to slow sodium-channel inactivation. Progress in characterizing the structure and mechanism of action of this toxin has been hampered by the limited supply of pure toxin from natural sources. In this paper, we describe the first successful chemical synthesis and oxidative refolding of the four-disulfide bond containing delta-ACTX-Ar1a. This synthesis involved solid-phase Boc chemistry using double coupling, followed by oxidative folding of purified peptide using a buffer of 2 M GdnHCl and glutathione/glutathiol in a 1:1 mixture of 2-propanol (pH 8.5). Successful oxidation and refolding was confirmed using both chemical and pharmacological characterization. Ion spray mass spectrometry was employed to confirm the molecular weight. H-1 NMR analysis showed identical chemical shifts for native and synthetic toxins, indicating that the synthetic toxin adopts the native fold. Pharmacological studies employing whole-cell patch clamp recordings from rat dorsal root ganglion neurons confirmed that synthetic delta-ACTX-Ar1a produced a slowing of the sodium current inactivation and hyperpolarizing shifts in the voltage-dependence of activation and inactivation similar to native toxin. Under current clamp conditions, we show for the first time that delta-ACTX-Ar1a produces spontaneous repetitive plateau potentials underlying the clinical symptoms seen during envenomation. This successful oxidative refolding of synthetic delta-ACTX-Ar1a paves the way for future structure-activity studies to determine the toxin pharmacophore.

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.

Bridgehead arylation: A direct route to advanced intermediates for the synthesis of C-20 diterpene alkaloids

[GRAPHICS] Rapid access to the ABCE ring system of the C-20 diterpene alkaloids was achieved by silver(I)-promoted intramolecular Friedel-Crafts arylation of a functional group-specific 5-bromo-3-azabicyclo[3.3.1]nonane derivative.

Synthesis of novel 2-amino-1,3-thiazole-5-carboxylates utilising ultrasonic and thermally mediated aminolysis

Novel 2-amino-1,3-thiazole-5-carboxylates have been synthesised in high yield by unprecedented ultrasonic and thermally mediated nucleophilic displacement of bromide from ethyl 2-bromo-1,3-thiazole-5-carboxylate by primary, secondary and aryl amines.

The synthesis and X-ray crystal structure of 6-bromo-2,4,4-trimethyl-cyclohex-2-enone

Regiospecific bromination of 2,4,4-trimethyl-cyclohex-2-enone was achieved and the X-ray crystal structure of 6-bromo-2,4,4-trimethyl-cyclohex-2-enone is presented.

The synthesis and X-ray crystal structure of 9-carboxyhexahydro-7-methoxy-4a,7-ethano-benzopyran-5-en-1-one

9-Carboxyhexahydro-7-methoxy-4a,7-ethano-benzopyran-5-en-1-one (1) was prepared and examined by X-ray crystallography to probe its potential as a new peptide scaffold/template. The crystal structure of the anhydride precursor 7-(2-acetoxyethyl)-4-methoxy-3a,4,7,7a-tetrahydro-4,7-ethanoisobenzofuran-1,3-dione (6) is also reported.

Sorte? Lógica? Modelos de significação e a noção de acaso de adultos alunos do Proeja

Esta tese se propôs investigar a lógica inferencial das ações e suas significações em situações que mobilizam as noções de composição probabilística e acaso, bem como o papel dos modelos de significação no funcionamento cognitivo de adultos. Participaram 12 estudantes adultos jovens da classe popular, voluntários, de ambos os sexos, de um curso técnico integrado ao Ensino Médio da Educação de Jovens e Adultos. Foram realizados três encontros, individualmente, com registro em áudio e planilha eletrônica, utilizando-se dois jogos, o Likid Gaz e o Lucky Cassino, do software Missão Cognição (Haddad-Zubel, Pinkas & Pécaut, 2006), e o jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012). Os procedimentos da tarefa foram adaptados de Silva e Frezza (2011): 1) apresentação do jogo; 2) execução do jogo; 3) entrevista semiestruturada; 4) aplicação de três situações-problema com intervenção segundo o Método Clínico; 5) nova partida do jogo; e 6) realização de outras duas situações-problema sem intervenção do Método Clínico. Elaboraram-se níveis de análise heurística, compreensão dos jogos e modelos de significação a partir da identificação de particularidades de procedimentos e significações nos jogos. O primeiro estudo examinou as implicações dos modelos de significação e representações prévias no pensamento do adulto, considerando que o sujeito organiza suas representações ou esquemas prévios relativos a um objeto na forma de modelos de significação em função do grau de complexidade e novidade da tarefa e de sua estrutura lógico matemática, que evoluem por meio do processo de equilibração; para o que precisa da demanda a significar esse aspecto da 13 realidade. O segundo estudo investigou a noção de combinação deduzível evidenciada no jogo Likid Gaz, identificando o papel dos modelos de significação na escolha dos procedimentos, implicando na rejeição de condutas de sistematização ou enumeração. Houve predominância dos níveis iniciais de análise heurística do jogo. O terceiro estudo examinou a noção de probabilidade observada no jogo Lucky Cassino, no qual a maioria dos participantes teve um nível de compreensão do jogo intermediário, com maior diversidade de modelos de significação em relação aos outros jogos, embora com predominância dos mais elementares. A síntese das noções de combinação, probabilidade e acaso foi explorada no quarto estudo pelo jogo Soma dos Dados (Silva, Rossetti & Cristo, 2012), identificando-se que uma limitação para adequada compreensão das ligações imbricadas nessas noções é a implicação significante – se aleatório A, então indeterminado D (notação A  D), com construção de pseudonecessidades e pseudo-obrigações ou mesmo necessidades locais, generalizadas inapropriadamente. A resistência ou obstáculos do objeto deveria provocar perturbações, mas a estrutura cognitiva, o ambiente social e os modelos culturais, e a afetividade podem interferir nesse processo.

Efeito da privação de sono paradoxal e do bloqueio da síntese da corticosterona sobre os limiares da reação de defesa induzida pela estimulação elétrica da matéria cinzenta periaquedutal e colículo superior

O Transtorno do pânico (TP) é um transtorno mental comum que afeta até 5% da população em algum momento da vida, sendo caracterizada pela presença de ataques de pânico (AP) recorrentes. Constitui uma psicopatologia que pode ser afetada pela privação do sono (PS), relação que ainda é pouco compreendida. Neste contexto, modelos experimentais de AP e de PS são ferramentas úteis na investigação dessa possível correlação, especialmente motivado pela crescente condição de privação de sono, que tem se tornado cada vez mais frequente na sociedade moderna. Assim, este estudo avaliou os efeitos da privação de sono paradoxal (PSP) sobre os limiares dos comportamentos defensivos induzidos por estimulação intracraniana (EI) da MCPD e CS de ratos num modelo experimental de AP, assim como verificou a influência da corticosterona sobre esses limiares. Foram utilizados 160 ratos Wistar machos (300g), organizados em 4 grupos com 40 animais cada, como se segue: Grupo Controle (CTR) submetido à EI, porém sem PSP; Grupo Privação (PRV), submetido à EI e privado por 96 horas; Grupo Privação + Bloqueio da corticosterona (PRB), submetido ao tratamento com metirapona, EI, e privado por 96 horas, e Grupo Controle + Bloqueio da corticosterona (CTB), submetido ao tratamento com metirapona e EI, porém sem privação de sono. Após 10 dias do implante cirúrgico intracraniano de eletrodo na MCPD e CS, os animais passaram por 5 sessões de estimulação, como se segue: 1ª (TRI) considerada triagem - imediatamente antes da privação, 2ª (P48) após 48h de privação, 3ª (P96) após 96h de privação, 4ª (R48) após 48h de retirada da privação e 5ª (R96) após 96h de retirada da privação. As curvas de limiares das respostas individuais de defesa obtidas nas várias sessões de estimulação da MCPD e CS (TRI, P48, P96, R48 e R96) dos ratos foram comparadas entre si, bem como as curvas de limiares de uma dada resposta nos diferentes grupos (CTR, PRV, CTB e PRB). Além disso, os níveis de corticosterona (CORT) foram dosados nas diferentes sessões de EI, e comparadas num mesmo grupo, bem como nos diferentes grupos. No grupo CTR, todos os comportamentos foram iguais em todas as sessões quando comparados à TRI, entretanto, nos animais privados (PRV), o limiar do galope (GLP) reduziu significativamente em R48 e R96, não ocorrendo xix alterações nos demais comportamentos. Em contraste, no grupo PRB, o Trote (TRT) aumentou a partir de P48, enquanto o GLP não foi alterado em nenhuma sessão de EI. Na comparação entre os grupos, em Salto (SLT), Micção (MIC), Exoftalmia (EXO), Imobilidade (IMO), Defecação (DEF), TRT e GLP, não sofreram alterações decorrentes da CORT produzida decorrente da PSP, sugerindo que a corticosterona não altera os comportamentos defensivos característicos do Ataque de Pânico. Em adição, tais resultados sugerem que os efeitos tardios da PSP sobre os limiares de GLP possivelmente se devam a mecanismos neuroquímicos tempo-dependente.

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.