Solution to bilharmonic equation with vanishing potential

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

Online distance mathematics education in Brazil: research, practice and policy

In this article, we address online distance mathematics education research and practice in Brazil, which are relative newcomers to the educational scene. We present the national context of education in Brazil, highlighting the organization of the educational system, and also a summary of national legislation on distance education and an overview of digital inclusion in the country. We outline the potential and relevance of distance education for the Brazilian educational system and show how it could intervene in the system. With respect to research and practice in online mathematics education, we present support for research, examples of studies and highlight different aspects being addressed, including its essential components. In addition, we discuss the synergy between distance education and teacher education, and mathematics distance education and modeling, as well as other initiatives in the national scenario.

Application of effective theory and Grassmann variables to model compact binaries with spin

Pós-graduação em Física - IFT

A quantum theory for the excitation spectrum of a rectangular Andreev billiard

We consider a N - S box system consisting of a rectangular conductor coupled to a superconductor. The Green functions are constructed by solving the Bogoliubov-de Gennes equations at each side of the interface, with the pairing potential described by a step-like function. Taking into account the mismatch in the Fermi wave number and the effective masses of the normal metal - superconductor and the tunnel barrier at the interface, we use the quantum section method in order to find the exact energy Green function yielding accurate computed eigenvalues and the density of states. Furthermore, this procedure allow us to analyze in detail the nontrivial semiclassical limit and examine the range of applicability of the Bohr-Sommerfeld quantization method.

Non-centrosymmetric crystals of new N-benzylideneaniline derivatives as potential materials for non-linear optics

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

Evaluation of effective nucleon-nucleon potential and description of α-cluster type nuclei in restricted dynamics approach

The application of the Restricted Dynamics Approach in nuclear theory, based on the approximate solution of many-particle Schrödinger equation, which accounts for all conservation laws in many-nucleon system, is discussed. The Strictly Restricted Dynamics Model is used for the evaluation of binding energies, level schemes, E2 and Ml transition probabilities as well as the electric quadrupole and magnetic dipole momenta of light a-cluster type nuclei in the region 4 ≤ A ≤ 40. The parameters of effective nucleonnucleon interaction potential are evaluated from the ground state binding energies of doubly magic nuclei 4He, 16O and 40Ca.

Considerações históricas sobre o infinito e alguns de seus paradoxos

This research aims to elucidate some of the historical aspects of the idea of infinity during the creation of calculus and set theory. It also seeks to raise discussions about the nature of infinity: current infinite and potential infinite. For this, we conducted a survey with a qualitative approach in the form of exploratory study. This study was based on books of Mathematics' History and other scientific works such as articles, theses and dissertations on the subject. This work will bring the view of some philosophers and thinkers about the infinite, such as: Pythagoras, Plato, Aristotle, Galilei, Augustine, Cantor. The research will be presented according to chronological order. The objective of the research is to understand the infinite from ancient Greece with the paradoxes of Zeno, during the time which the conflict between the conceptions atomistic and continuity were dominant, and in this context that Zeno launches its paradoxes which contradict much a concept as another, until the theory Cantor set, bringing some paradoxes related to this theory, namely paradox of Russell and Hilbert's paradox. The study also presents these paradoxes mentioned under the mathematical point of view and the light of calculus and set theory

Applications of Linear Programming to Coding Theory

Maximum-likelihood decoding is often the optimal decoding rule one can use, but it is very costly to implement in a general setting. Much effort has therefore been dedicated to find efficient decoding algorithms that either achieve or approximate the error-correcting performance of the maximum-likelihood decoder. This dissertation examines two approaches to this problem. In 2003 Feldman and his collaborators defined the linear programming decoder, which operates by solving a linear programming relaxation of the maximum-likelihood decoding problem. As with many modern decoding algorithms, is possible for the linear programming decoder to output vectors that do not correspond to codewords; such vectors are known as pseudocodewords. In this work, we completely classify the set of linear programming pseudocodewords for the family of cycle codes. For the case of the binary symmetric channel, another approximation of maximum-likelihood decoding was introduced by Omura in 1972. This decoder employs an iterative algorithm whose behavior closely mimics that of the simplex algorithm. We generalize Omura's decoder to operate on any binary-input memoryless channel, thus obtaining a soft-decision decoding algorithm. Further, we prove that the probability of the generalized algorithm returning the maximum-likelihood codeword approaches 1 as the number of iterations goes to infinity.

Considerações históricas sobre o infinito e alguns de seus paradoxos

This research aims to elucidate some of the historical aspects of the idea of infinity during the creation of calculus and set theory. It also seeks to raise discussions about the nature of infinity: current infinite and potential infinite. For this, we conducted a survey with a qualitative approach in the form of exploratory study. This study was based on books of Mathematics' History and other scientific works such as articles, theses and dissertations on the subject. This work will bring the view of some philosophers and thinkers about the infinite, such as: Pythagoras, Plato, Aristotle, Galilei, Augustine, Cantor. The research will be presented according to chronological order. The objective of the research is to understand the infinite from ancient Greece with the paradoxes of Zeno, during the time which the conflict between the conceptions atomistic and continuity were dominant, and in this context that Zeno launches its paradoxes which contradict much a concept as another, until the theory Cantor set, bringing some paradoxes related to this theory, namely paradox of Russell and Hilbert's paradox. The study also presents these paradoxes mentioned under the mathematical point of view and the light of calculus and set theory

Accurate ab initio potential energy surfaces for the (3)A '' and (3)A ' electronic states of the O(P-3) plus HBr system

In this work, we report the construction of potential energy surfaces for the (3)A '' and (3)A' states of the system O(P-3) + HBr. These surfaces are based on extensive ab initio calculations employing the MRCI+Q/CBS+SO level of theory. The complete basis set energies were estimated from extrapolation of MRCI+Q/aug-cc-VnZ(-PP) (n = Q, 5) results and corrections due to spin-orbit effects obtained at the CASSCF/aug-cc-pVTZ(-PP) level of theory. These energies, calculated over a region of the configuration space relevant to the study of the reaction O(P-3) + HBr -> OH + Br, were used to generate functions based on the many-body expansion. The three-body potentials were interpolated using the reproducing kernel Hilbert space method. The resulting surface for the (3)A '' electronic state contains van der Waals minima on the entrance and exit channels and a transition state 6.55 kcal/mol higher than the reactants. This barrier height was then scaled to reproduce the value of 5.01 kcal/mol, which was estimated from coupled cluster benchmark calculations performed to include high-order and core-valence correlation, as well as scalar relativistic effects. The (3)A' surface was also scaled, based on the fact that in the collinear saddle point geometry these two electronic states are degenerate. The vibrationally adiabatic barrier heights are 3.44 kcal/mol for the (3)A '' and 4.16 kcal/mol for the (3)A' state. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4705428]

Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Theoretical models for the antitrypanosomal activity of thiosemicarbazone derivatives

Thiosemicarbazones are cruzain inhibitors which have been identified as potential antitrypanosomal agents. In this work, several molecular properties were calculated at the density functional theory (DFT)/B3LYP/6-311G* level for a set of 44 thiosemicarbazones. Unsupervised and supervised pattern recognition techniques (hierarchical cluster analysis, principal component analysis, kth-nearest neighbors, and soft independent modeling by class analogy) were used to obtain structureactivity relationship models, which are able to classify unknown compounds according to their activities. The chemometric analyses performed here revealed that 12 descriptors can be considered responsible for the discrimination between high and low activity compounds. Classification models were validated with an external test set, showing that predictive classifications were achieved with the selected variable set. The results obtained here are in good agreement with previous findings from the literature, suggesting that our models can be useful on further investigations on the molecular determinants for the antichagasic activity. (C) 2012 Wiley Periodicals, Inc.

A novel set of ss-N-biaryl ether sulfonamide hydroxamates as potential MMPs inhibitors: Molecular dynamics simulations and molecular properties evaluation

Matrix metalloproteinases (MMPs) constitute a family of zinc-dependent proteases involved in the extracellular matrix degradation. MMP-2 and MMP9 are overexpressed in several human cancer types, including melanoma, thus the development of new compounds to inhibit MMPs' activity is desirable. Molecular dynamic simulation and molecular properties calculations were performed on a set of novel beta-N-biaryl ether sulfonamide-based hydroxamates, reported as MMP-2 and MMP-9 inhibitors, for providing data to develop an exploratory analysis. Thermodynamic, electronic, and steric descriptors have significantly discriminated highly active from moderately and less active inhibitors of MMP-2 whereas apparent partition coefficient at pH 1.5 was also significant for the MMP-9 data set. Compound 47 was considered an outlier in all analysis, indicating the presence of a bulky substituent group in R3 is crucial to this set of inhibitors for the establishment of molecular interactions with the S1 subsite of both enzymes, but there is a limit. (C) 2012 Wiley Periodicals, Inc.

Electrostatic potentials and polarization effects in proton-molecule interactions by means of multipoles from the quantum theory of atoms in molecules

Some atomic multipoles (charges, dipoles and quadrupoles) from the Quantum Theory of Atoms in Molecules (QTAIM) and CHELPG charges are used to investigate interactions between a proton and a molecule (F2, Cl2, BF, AlF, BeO, MgO, LiH, H2CO, NH3, PH3, BF3, and CO2). Calculations were done at the B3LYP/6-311G(3d,3p) level. The main aspect of this work is the investigation of polarization effects over electrostatic potentials and atomic multipoles along a medium to long range of interaction distances. Large electronic charge fluxes and polarization changes are induced by a proton mainly when this positive particle approaches the least electronegative atom of diatomic heteronuclear molecules. The search for simple equations to describe polarization on electrostatic potentials from QTAIM quantities resulted in linear relations with r-4 (r is the interaction distance) for many cases. Moreover, the contribution from atomic dipoles to these potentials is usually the most affected contribution by polarization what reinforces the need for these dipoles to a minimal description of purely electrostatic interactions. Finally, CHELPG charges provide a description of polarization effects on electrostatic potentials that is in disagreement with physical arguments for certain of these molecules. (c) 2012 Wiley Periodicals, Inc.