Kanger's Choices in Automated Reasoning

This article explains these choices and their place in modern automated deduction.

On certain geometric aspects of portfolio optimisation with higher moments

We discuss geometric properties related to the minimisation of a portfolio kurtosis given its first two odd moments, considering a risk-less asset and allowing for short sales. The findings are generalised for the minimisation of any given even portfolio moment with fixed excess return and skewness, and then for the case in which only excess return is constrained. An example with two risky assets provides a better insight on the problems related to the solutions. The importance of the geometric properties and their use in the higher moments portfolio choice context is highlighted.

OpenWordNet-PT: an open brazilian wordnet for reasoning

Brazilian Portuguese needs a Wordnet that is open access, downloadable and changeable, so that it can be improved by the community interested in using it for knowledge representation and automated deduction. This kind of resource is also very valuable to linguists and computer scientists interested in extracting and representing knowledge obtained from texts. We discuss briefly the reasons for a Brazilian Portuguese Wordnet and the process we used to get a preliminary version of such a resource. Then we discuss possible steps to improving our preliminary version.

Optimal growth in a two-sector model without discounting: a geometric investigation

We characterize optimal policy in a two-sector growth model with xed coeÆcients and with no discounting. The model is a specialization to a single type of machine of a general vintage capital model originally formulated by Robinson, Solow and Srinivasan, and its simplicity is not mirrored in its rich dynamics, and which seem to have been missed in earlier work. Our results are obtained by viewing the model as a specific instance of the general theory of resource allocation as initiated originally by Ramsey and von Neumann and brought to completion by McKenzie. In addition to the more recent literature on chaotic dynamics, we relate our results to the older literature on optimal growth with one state variable: speci cally, to the one-sector setting of Ramsey, Cass and Koopmans, as well as to the two-sector setting of Srinivasan and Uzawa. The analysis is purely geometric, and from a methodological point of view, our work can be seen as an argument, at least in part, for the rehabilitation of geometric methods as an engine of analysis.

Modelagem molecular na caracterização eletrônica de oligopeptídeos e na descrição quântica da interação fármaco-receptor

In this dissertation, the theoretical principles governing the molecular modeling were applied for electronic characterization of oligopeptide α3 and its variants (5Q, 7Q)-α3, as well as in the quantum description of the interaction of the aminoglycoside hygromycin B and the 30S subunit of bacterial ribosome. In the first study, the linear and neutral dipeptides which make up the mentioned oligopeptides were modeled and then optimized for a structure of lower potential energy and appropriate dihedral angles. In this case, three subsequent geometric optimization processes, based on classical Newtonian theory, the semi-empirical and density functional theory (DFT), explore the energy landscape of each dipeptide during the search of ideal minimum energy structures. Finally, great conformers were described about its electrostatic potential, ionization energy (amino acids), and frontier molecular orbitals and hopping term. From the hopping terms described in this study, it was possible in subsequent studies to characterize the charge transport propertie of these peptides models. It envisioned a new biosensor technology capable of diagnosing amyloid diseases, related to an accumulation of misshapen proteins, based on the conductivity displayed by proteins of the patient. In a second step of this dissertation, a study carried out by quantum molecular modeling of the interaction energy of an antibiotic ribosomal aminoglicosídico on your receiver. It is known that the hygromycin B (hygB) is an aminoglycoside antibiotic that affects ribosomal translocation by direct interaction with the small subunit of the bacterial ribosome (30S), specifically with nucleotides in helix 44 of the 16S ribosomal RNA (16S rRNA). Due to strong electrostatic character of this connection, it was proposed an energetic investigation of the binding mechanism of this complex using different values of dielectric constants (ε = 0, 4, 10, 20 and 40), which have been widely used to study the electrostatic properties of biomolecules. For this, increasing radii centered on the hygB centroid were measured from the 30S-hygB crystal structure (1HNZ.pdb), and only the individual interaction energy of each enclosed nucleotide was determined for quantum calculations using molecular fractionation with conjugate caps (MFCC) strategy. It was noticed that the dielectric constants underestimated the energies of individual interactions, allowing the convergence state is achieved quickly. But only for ε = 40, the total binding energy of drug-receptor interaction is stabilized at r = 18A, which provided an appropriate binding pocket because it encompassed the main residues that interact more strongly with the hygB - C1403, C1404, G1405, A1493, G1494, U1495, U1498 and C1496. Thus, the dielectric constant ≈ 40 is ideal for the treatment of systems with many electrical charges. By comparing the individual binding energies of 16S rRNA nucleotides with the experimental tests that determine the minimum inhibitory concentration (MIC) of hygB, it is believed that those residues with high binding values generated bacterial resistance to the drug when mutated. With the same reasoning, since those with low interaction energy do not influence effectively the affinity of the hygB in its binding site, there is no loss of effectiveness if they were replaced.

Geometrizando no segundo ciclo :relato de uma intervenção pedagógica voltada à construção de conceitos geométricos no ensino fundamental

This work has proposed to relate the experience product of a pedagogical intervention, performed in a public institution of teaching situated in this capital. It had as objective to validade the applying of a teaching module of geometry, more specifically about the conceptions of perimeter and área in the second cycle of fundamental teaching. This dissertation has presented the problematic which involves the teaching of geometry in different contexts. It has adopted the broach of the radical constructivism while methodological theoretical referencial through which it has tried to explain the phenomena that involves the teaching and the apprenticeship. It appropriates Jean s Piaget contributions related to the development stages, while referencial that will dialogue in the search by sense and comprehension of the geometric apprenticeship process and it runs over Richard s Skemp (1980) theory in order to explicit the student s apprenticeship according to the levels of instrumental comprehesion and relacional comprehension . The research has presented datum related to initial diagnosis evaluantion, the pedagogical intervention and analysis of the activities and students perfomance displaying still the results of the final evaluation. According to the results got, we could check the students group growth front to the acquisition of the concepts of perimeter and área in comparison with the previous knowledges presented in the initial diagnosis evoluation of the students participants of the research. We have concluded evaluating the objectives of the research, connecting the strategies and reasoning employed by the students in order to resolve the questions and then to reach the objectives proposed by the teaching module. We have presented still the main obstacles to the apprenticeship of such concepts

Um estudo sobre a apreciação do raciocínio matemático na formação inicial de professores

The present work focused on developing teaching activities that would provide to the student in initial teacher training, improving the ability of mathematical reasoning and hence a greater appreciation of the concepts related to the golden section, the irrational numbers, and the incommensurability the demonstration from the reduction to the nonsensical. This survey is classified itself as a field one which data collection were inserted within a quantitative and qualitative approach. Acted in this research, two classes in initial teacher training. These were teachers and employees of public schools and local governments, living in the capital, in Natal Metropolitan Region - and within the country. The empirical part of the research took place in Pedagogy and Mathematics courses, IFESP in Natal - RN. The theoretical and methodological way construction aimed to present a teaching situation, based on history, involving mathematics and architecture, derived from a concrete context - Andrea Palladio s Villa Emo. Focused discussions on current studies of Rachel Fletcher stating that the architect used the golden section in this village construction. As a result, it was observed that the proposal to conduct a study on the mathematical reasoning assessment provided, in teaching and activity sequences, several theoretical and practical reflections. These applications, together with four sessions of study in the classroom, turned on to a mathematical thinking organization capable to develop in academic students, the investigative and logical reasoning and mathematical proof. By bringing ancient Greece and Andrea Palladio s aspects of the mathematics, in teaching activities for teachers and future teachers of basic education, it was promoted on them, an improvement in mathematical reasoning ability. Therefore, this work came from concerns as opportunity to the surveyed students, thinking mathematically. In fact, one of the most famous irrational, the golden section, was defined by a certain geometric construction, which is reflected by the Greek phrase (the name "golden section" becomes quite later) used to describe the same: division of a segment - on average and extreme right. Later, the golden section was once considered a standard of beauty in the arts. This is reflected in how to treat the statement questioning by current Palladio s scholars, regarding the use of the golden section in their architectural designs, in our case, in Villa Emo