Oroidin Inhibits the Activity of the Multidrug Resistance Target Pdr5p from Yeast Plasma Membranes

Oroidin was isolated from the marine sponge Agelas sventres and inhibited the activity and function of Pdr5p, an enzyme responsible for the multidrug resistance phenotype in Saccharomyces cerevisiae. This compound may help in the development of new drugs that reverse this dangerous phenotype of pathogenic yeast and fungi.

Human regulatory protein Ki-1/57 has characteristics of an intrinsically unstructured protein

The human protein Ki-1/57 was first identified through the cross reactivity of the anti-CD30 monoclonal antibody Ki-1; in Hodgkin lymphoma cells. The expression of Ki-1/57 in diverse cancer cells and its phosphorylation in peripheral blood leukocytes after mitogenic activation suggested its possible role in cell signaling. Ki-1/57 interacts with several other regulatory proteins involved in cellular signaling, transcriptional regulation and RNA metabolism, suggesting it may have pleiotropic functions. In a previous spectroscopic analysis, we observed a low content of secondary structure for Ki-1/57 constructs. Here, Circular dichroism experiments, in vitro RNA binding analysis, and limited proteolysis assays of recombinant Ki-1/57(122-413) and proteolysis assays of endogenous full length protein from human HEK293 cells suggested that Ki-1/57 has characteristics of an intrinsically unstructured protein. Small-angle X-ray scattering (SAXS) experiments were performed with the C-terminal fragment Ki-1/57(122-413). These results indicated an elongated shape and a partially unstructured conformation of the molecule in solution, confirming the characteristics of an intrinsically unstructured protein. Experimental curves together with ab initio modeling approaches revealed an extended and flexible molecule in solution. An elongated shape was also observed by analytical gel filtration. Furthermore, sedimentation velocity analysis suggested that Ki-1/57 is a highly asymmetric protein. These findings may explain the functional plasticity of Ki-1/57, as suggested by the wide array of proteins with which it is capable of interacting in yeast two-hybrid interaction assays.

Psychological and biochemical mechanisms of schizoprenia

Schizophrenia is a disease whose physical cause is unknown despite the attempts of several research teams to discover a physical basis for it. Some success has been gained in genetic studies which indicate that schizophrenia is an inherited disability. However, since research tools are at present so sadly inadequate, the value of pursuing a genetic line of reasoning is questionable. To compensate for the lack of biochemical certainties in treating mental illness, psychological theories have been constructed to explain the schizophrenia syndrome. Normal personality is seen as the resultant of environmental and inherited influences. Involved in the formation of personality are the processes of differentiation and integration, maturation of inherited traits, and the learning processes. As personality develops. consciousness of the self, inferiority feelings, and compensatory mechanisms, and the transformation of interests into drives exert a decided influence upon personality growth. Finally, in the mature personality, an integrating philosophy of life, a large variety of interests, and the possibility of self-objectification become evident.

A comparative study of the credit card market dynamics in Mexico and Brazil

This research analyzes and compares the attractiveness of the Brazilian and Mexican credit card markets from a financial firm’s perspective. The market dynamics in Latin America’s two economic powerhouses are fleshed out with qualitative and quantitative data, using a strategic framework to structure the analysis. Since its adoption by both countries in 1956, credit card usage has experienced many years of double digit growth. However, penetration levels remain low compared with most developed countries. Brazil has a more developed credit card infrastructure, with more potential profit, and issuers might face fewer competitive challenges.  Alternatively, Mexico, is witnessing a more favorable economy, a friendlier business and regulatory environment, combined with fewer financial products that compete with the credit card. Therefore, this paper concludes that Brazil and Mexico both offer market opportunities for credit card companies that can navigate the different technological, demographic, macroeconomic, and regulatory shifts in each country.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Purines, creatine, defective methylation and their biochemical and clinical relationship

Marinus Duran; Isabel G. Tavares de Almeida; Helena P. Gaspar Tomás

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Produção de enzimas quitosanolíticas utilizando Paenibacillus ehimensis e Paenibacillus chitinolyticus para obtenção de quitoologossacarídeos

The acquisition of oligosaccharides from chitosan has been the subject of several studies in the pharmaceutical, biochemical, food and medical due to functional properties of these compounds. This study aimed to boost its production of chitooligosaccharides (COS) through the optimization of production and characterization of chitosanolytic enzymes secreted by microorganisms Paenibacillus chitinolyticus and Paenibacillus ehimensis, and evaluating the antioxidant potential of the products obtained. In the process of optimizing the production of chitosanase were employed strategies Fractional Factorial Experimental Design and Central Composite Rotatable Design. The results identified the chitosan, peptone and yeast extract as the components that influenced the production of chitosanase by these microorganisms. With the optimization of the culture media was possible to obtain an increase of approximately 8.1 times (from 0.043 to 0.35 U.mL U.mL-1) and 7.6 times (from 0.08 U.mL-1 to 0.61 U.mL-1) in the enzymatic activity of chitosanase produced by P. chitinolyticus and P. ehimensis respectively. Enzyme complexes showed high stability in temperature ranges between 30º and 55º C and pH between 5.0 and 9.0. Has seen the share of organic solvents, divalent ions and other chemical agents on the activity of these enzymes, demonstrating high stability of these crude complexes and dependence of Mn2+. The COS generated showed the ability of DPPH radical scavenging activity, reaching a maximum rate of scavenging of 61% and 39% when they were produced with enzymes of P. ehimensis and P. chitinolyticus respectively. The use of these enzymes in raw form might facilitate its use for industrial applications

Insights into the Specificity of Thioredoxin Reductase-Thioredoxin Interactions. A Structural and Functional Investigation of the Yeast Thioredoxin System

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Structural Aspects of the Distinct Biochemical Properties of Glutaredoxin 1 and Glutaredoxin 2 from Saccharomyces cerevisiae

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Structural and Biochemical Characterization of Peroxiredoxin Q beta from Xylella fastidiosa CATALYTIC MECHANISM and HIGH REACTIVITY

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)