Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

An Upgrade of Network Traffic Recognition System for SIP/VoIP Traffic Recognition

The purpose of this project is to update the tool of Network Traffic Recognition System (NTRS) which is proprietary software of Ericsson AB and Tsinghua University, and to implement the updated tool to finish SIP/VoIP traffic recognition. Basing on the original NTRS, I analyze the traffic recognition principal of NTRS, and redesign the structure and module of the tool according to characteristics of SIP/VoIP traffic, and then finally I program to achieve the upgrade. After the final test with our SIP data trace files in the updated system, a satisfactory result is derived. The result presents that our updated system holds a rate of recognition on a confident level in the SIP session recognition as well as the VoIP call recognition. In the comparison with the software of Wireshark, our updated system has a result which is extremely close to Wireshark’s output, and the working time is much less than Wireshark. In the aspect of practicability, the memory overflow problem is avoided, and the updated system can output the specific information of SIP/VoIP traffic recognition, such as SIP type, SIP state, VoIP state, etc. The upgrade fulfills the demand of this project.

English as a Second Language and Children’s literature : An empirical study on Swedish elementary school teachers’ methods and attitudes towards the use of children’s literature in the English classroom

Previous research has shown multiple benefits and challenges with the incorporation of children’s literature in the English as a Second language (ESL) classroom. In addition, the use of children’s literature in the lower elementary English classroom is recommended by the Swedish National Agency for Education. Consequently, the current study explores how teachers in Swedish elementary school teach ESL through children’s literature. This empirical study involves English teachers from seven schools in a small municipality in Sweden. The data has been collected through an Internet survey. The study also connects the results to previous international research, comparing Swedish and international research. The results suggest that even though there are many benefits of using children’s literature in the ESL classroom, the respondents seldom use these authentic texts, due to limited time and a narrow supply of literature, among other factors. However, despite these challenges, all of the teachers claim to use children’s literature by reading aloud in the classroom. Based on the results, further research exploring pupils’ thoughts in contrast to teachers would be beneficial. In addition, the majority of the participants expressed that they wanted more information on how to use children’s literature. Therefore, additional research relating to beneficial methods of teaching English through children’s literature, especially in Sweden, is recommended.

Purification, characterization, crystallization and theoretical molecular modeling of gyroxin fraction from Crotalus durissus terrificus venom (Laurenti, 1768)

The venom of Crotalus durissus terrificus snakes presents various substances, including a serine protease with thrombin-like activity, called gyroxin, that clots plasmatic fibrinogen and promote the fibrin formation. The aim of this study was to purify and structurally characterize the gyroxin enzyme from Crotalus durissus terrificus venom. For isolation and purification, the following methods were employed: gel filtration on Sephadex G75 column and affinity chromatography on benzamidine Sepharose 6B; 12% SDS-PAGE under reducing conditions; N-terminal sequence analysis; cDNA cloning and expression through RT-PCR and crystallization tests. Theoretical molecular modeling was performed using bioinformatics tools based on comparative analysis of other serine proteases deposited in the NCBI (National Center for Biotechnology Information) database. Protein N-terminal sequencing produced a single chain with a molecular mass of similar to 30 kDa while its full-length cDNA had 714 bp which encoded a mature protein containing 238 amino acids. Crystals were obtained from the solutions 2 and 5 of the Crystal Screen Kit (R), two and one respectively, that reveal the protein constitution of the sample. For multiple sequence alignments of gyroxin-like B2.1 with six other serine proteases obtained from snake venoms (SVSPs), the preservation of cysteine residues and their main structural elements (alpha-helices, beta-barrel and loops) was indicated. The localization of the catalytic triad in His57, Asp102 and Ser198 as well as S1 and S2 specific activity sites in Thr193 and Gli215 amino acids was pointed. The area of recognition and cleavage of fibrinogen in SVSPs for modeling gyroxin B2.1 sequence was located at Arg60, Arg72, Gln75, Arg81, Arg82, Lis85, Glu86 and Lis87 residues. Theoretical modeling of gyroxin fraction generated a classical structure consisting of two alpha-helices, two beta-barrel structures, five disulfide bridges and loops in positions 37, 60, 70, 99, 148, 174 and 218. These results provided information about the functional structure of gyroxin allowing its application in the design of new drugs.

Analytical Methods for the Determination of Chlorhexidine: A Review

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Methacycline: A Review of Analytical Methods

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Review of Fluconazole Properties and Analytical Methods for Its Determination

Fluconazole, alpha-(2.4-diflurofenil)-alpha-(1H-triazol-1-methyl)-1H-1,2,4-triazol-1-ethanol, is an antifungal of the triazoles class. It shows activity against species of Candida sp. and it is indicated in cases of oropharyngeal candidiasis, esophageal, vaginal, and deep infection. Fluconazole is a selective inhibitor of ergosterol, a steroid exclusive of the cell membrane of fungal cells. Fluconazole is highly absorbed by the gastrointestinal tract and spreads easily by body fluids. The main adverse reactions related to the use of fluconazole are nausea, vomiting, headache, rash, abdominal pain, diarrhea, and alopecia in patients undergoing prolonged treatment with a dose of 400 mg/day. In the form of raw material, pharmaceutical formulations, or biological material, fluconazole can be determined by methods such as titration, spectrophotometry, and thin-layer, gas, and liquid chromatography. This article discusses the pharmacological and physicochemical properties of fluconazole and also the methods of analysis applied to the determination of the drug.

Diagnosis of Giardia infections by PCR-based methods in children of an endemic area

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

Statistical methods applied to the analysis of blasting vibrations in a diabase quarry in the city of Campinas, (SP) Brazil

Statistical methods of multiple regression analysis, trend surface analysis and principal components analysis were applied to seismographic data recorded during production blasting at a diabase quarry in the urban area of Campinas (SP), Brazil. The purpose of these analyses was to determine the influence of the following variables: distance (D), charge weight per delay (W), and scaled distance (SD) associated with properties of the rock body (orientation, frequency and angle of geological discontinuities; depth of bedrock and thickness of the soil overburden) in the variation of the peak particle velocity (PPV). This approach yielded variables with larger influences (loads) on the variation of ground vibration, as well as behavior and space tendency of this variation. The results showed a better relationship between PPV and D, with D being the most important factor in the attenuation of the ground vibrations. The geological joints and the depth to bedrock have a larger influence than the explosive charges in the variation of the vibration levels, but frequencies appear to be more influenced by the amount of soil overburden.

Densitometry, radiography, and histological assessment of collagen as methods to evaluate femoral bones in an experimental model of osteoporosis

All methods to detect experimental loss of bone present technique limitations. The sensitivities of image and histological analyses to detect the effects of teriparatide in rats with bone loss after ovariectomy were evaluated. All methods were qualitatively valid.The standardization of methods to assess bone loss after ovariectomy is crucial to establish the degree of experimental osteoporosis. In general, methods per image or histological techniques are used. To validate these two ways to determine the degree of bone loss in ovariectomized rats, we evaluated the sensitivities of bone densitometry, conventional radiography, and histological analysis of the area occupied by collagen, detecting the effects of teriparatide treatment in the femur of ovariectomized rats with bone loss.Wistar rats were divided into three groups: a control group, in which the animals were only subjected to laparotomy; an ovariectomized group, in which bilateral removal of the ovaries was performed; and an ovariectomized + teriparatide group, in which bilateral removal of the ovaries was performed, and the animals were treated with 3 mu g/100 g/day of teriparatide. Three months following the ovariectomy, bone densitometry, radiographic densitometry, and histological analysis of the area occupied by collagen fibers were carried out in the femur diaphysis.The bone densitometry revealed 11.2% reduction in femur density; in the conventional radiography, the loss of bone mass was 14.5%, and with the histological analysis, a 40.9% reduction in the area occupied by collagen was detected in the femur diaphysis.In conclusion, histological analysis could not be quantitatively compared with the methods of bone densitometry and conventional radiography; however, all of these methods were qualitatively valid for assessing the loss of bone stemming from ovariectomy and the therapeutic effect of teriparatide in the prevention of osteoporosis.

Integration Methods Used in Numerical Simulations of Electromagnetic Transients

This paper made an analysis of some numerical integration methods that can be used in electromagnetic transient simulations. Among the existing methods, we analyzed the trapezoidal integration method (or Heun formula), Simpson's Rule and Runge-Kutta. These methods were used in simulations of electromagnetic transients in power systems, resulting from switching operations and maneuvers that occur in transmission lines. Analyzed the characteristics such as accuracy, computation time and robustness of the methods of integration.

Review of Fluconazole Properties and Analytical Methods for Its Determination

Fluconazole, -(2.4-diflurofenil)--(1H-triazol-1-methyl)-1H-1,2,4-triazol-1-ethanol, is an antifungal of triazoles class. It shows activity against species of Candida sp., and it is indicated in cases of oropharyngeal candidiasis, esophageal, vaginal, and deep infection. Fluconazole is a selective inhibitor of ergosterol, a steroid exclusive of the cell membrane of fungal cells. Fluconazole is highly absorbed by the gastrointestinal tract, and it spreads easily by body fluids. The main adverse reactions related to the use of fluconazole are nausea, vomiting, headache, rash, abdominal pain, diarrhea, and alopecia in patients undergoing prolonged treatment with a dose of 400 mg/day. In the form of raw material, pharmaceutical formulations, or biological material, fluconazole can be determined by methods such as titration, spectrophotometry, and thin-layer, gas, and liquid chromatography. This article discusses the pharmacological and physical-chemical properties of fluconazole and also the methods of analysis applied to the determination of the drug.

Effect of forced-molting methods and rearing temperatures on the performance and organ biometrics of laying hens

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

How a simple and stereotyped acoustic signal transmits individual information: the song of the White-browed Warbler Basileuterus leucoblepharus

O Pula-pula-assobiador Basileuterus leucoblepharus, um pássaro comum da Mata Atlântica, emite um único e distintivo tipo de canto para defesa territorial. O reconhecimento individual ou entre vizinho e estranho pode ser mais difícil quando as aves compartilham cantos semelhantes. De fato, a análise dos cantos de diferentes indivíduos revelou ligeiras diferenças nos domínios temporal e das freqüências. Efetivamente, um exame cuidadoso dos sinais de 21 indivíduos diferentes por 5 métodos complementares de análise revelou que, primeiro, um ou dois espaços na série tonal ocorrem entre duas notas sucessivas em determinados momentos do canto e, segundo, ocupam posições em tempo e freqüência estereotipadas para cada indivíduo. Experiências de "play-back" confirmam esses dados. Através de experiências de propagação, mostramos que esta informação individual pode ser transmitida somente a curta distância ( < 100 m) na mata. Considerando o tamanho e a repartição dos territórios, este processo de comunicação mostra-se eficiente e bem adaptado.

Cryopreservation of bovine spermatozoa from the epididymal tail using conventional and automated methods

Cryopreservation of sperm is important to preserve the gerrnplasm from animals of genetic value, which can die unexpectedly. This study compares conventional and automated methods of cryopreservation of spermatozoa obtained from the epididymis of bulls post-mortem. Twenty-two epididymides were obtained from a commercial slaughterhouse. Spermatozoa were collected from the tail of the epididymis using the retrograde flow technique. Thus, the samples, which were diluted in 10 ml of extender without glycerol (Botubov (R) I, Botupharma, Botucatu, SP, Brazil), were evaluated on motility, sperm vigor, structural and functional (swelling hypoosmotic test) membrane integrity, mitochondrial activity, sperm viability and ADN fragmentation. The samples were divided into two aliquots and diluted in extender with glycerol (Botubov (R) II, Botupharma, Botucatu, SP, Brazil) at a concentration of 50x10(6) motile sperm/0.5 French straws. One sample was frozen by the conventional method (4 hours at 5 degrees C, in a refrigerator and 20 min in nitrogen vapor) and the other by the automated method (Cryogen (R) Dualflex, Neovet, Uberaba, MG, Brazil). The parameters were higher in all the tests of fresh sperm samples, with the exception of the swelling hypoosmotic test, which showed no significant difference when the results were compared with sperm frozen by the conventional method. The average motility of fresh spermatozoa was 74%, and conventional and automated averages were 29 and 25%, respectively. Therefore, although cryopreservation techniques reduce sperm quality parameters, the viability of the sperm is maintained, and these methods can be used to preserve sperm.