Proofs
Mostrando 1-12 de 103 artigos, teses e dissertações.
-
1. The Effect of Low Tidal Volume Ventilation on Inflammatory Cytokines During Cardiopulmonary Bypass
Abstract Introduction: Halting ventilation during cardiopulmonary bypass (CPB) is implemented to operate in a less bleeding setting. It sustains a better visualization of the operation area and helps to perform the operation much more comfortably. On the other hand, it may lead to a series of postoperative lung complications such as atelectasis and pleural
Brazilian Journal of Cardiovascular Surgery. Publicado em: 2022
-
2. TOWARDS AN EVALUATION OF THE NORMALISATION THESIS ON IDENTITY OF PROOFS: THE CASE OF CHURCH-TURING THESIS AS TOUCHSTONE
Abstract This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core math
Manuscrito. Publicado em: 2020-09
-
3. Positive Polynomials on Closed Boxes
RESUMO Apresentamos duas demonstrações, por métodos diferentes, de que polinômios positivos em caixas fechadas no ℝ 2 podem ser escritos como polinômios de Bernstein bivariados com coeficientes estritamente positivos. Ambas as estratégias de demonstração podem ser estendidas para provar o resultados análogo para polinômios que são positivos
TEMA (São Carlos). Publicado em: 13/12/2019
-
4. ARISTOTLE’S ARGUMENT FROM UNIVERSAL MATHEMATICS AGAINST THE EXISTENCE OF PLATONIC FORMS
Abstract In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, becaus
Manuscrito. Publicado em: 25/11/2019
-
5. The renoprotective effect of oral Tadalafil pretreatment on ischemia/reperfusion injury in rats
Abstract Purpose: To evaluate the effect of tadalafil in renal ischemia/reperfusion (I/R) injury in rats Methods: Group I/R saline rats (n=6) were subjected to 45 minutes of left renal ischemia and treated with saline; the I/R tadalafil rats (n=6) received oral 10mg/kg tadalafil microemulsion one hour before ischemia. In both groups, 8 hours after ischem
Acta Cir. Bras.. Publicado em: 2017-02
-
6. Upgrading and extending PON by using in-band WDM overlay
This paper presents a new approach to upgrade and extend the reach of the current passive optical network (PON) by using wavelength division multiplexing (WDM) in the standardized optical grid of gigabit PON (In-band WDM PON overlay). The aim is to increase the number of optical distribution networks (ODNs) fed by a single fiber while preserving the users ba
Journal of Microwaves, Optoelectronics and Electromagnetic Applications. Publicado em: 2012-06
-
7. A imortalidade da alma na filosofia crítica de Kant: um estudo a partir de seu confronto com o Fédon de Mendelssohn
Na presente dissertação, analisa-se o modo peculiar com que Kant apreende o problema da imortalidade da alma em sua filosofia crítica. Neste intuito, prioriza-se um confronto com as provas racional-teóricas presentes no célebre Fédon mendelssohniano, visto que este é uma notável referência na defesa da imortalidade da alma na Aufklärung. Este confr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/08/2010
-
8. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010
-
9. Tax offsetting: critical analyze to the restrictions imposed by the 3, of art. 74 of Federal Law n 9.430/1996 / Compensação tributária: análise crítica às limitações previstas no 3 do art. 74 da Lei Federal n 9.430/1996
The purpose of this work is to analyze the tax offsetting institute as a mechanism of extinguishment of the tax obligation of the taxpayer and his debit before the tax authorities. The offsetting rule prescribes the calculation relationship, extinguishing the tax obligation of the taxpayer and his debit relation with the tax authorities. In the end, the purp
Publicado em: 2010
-
10. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
11. ROBUST VARIABLE STRUCTURE MODEL REFERENCE ADAPTIVE CONTROL APPLIED TO ACTIVE POWER FILTERS / CONTROLE ADAPTATIVO ROBUSTO DE ESTRUTURA VARIÁVEL POR MODELO DE REFERÊNCIA APLICADO A FILTROS ATIVOS DE POTÊNCIA
This works presents a Robust Variable Structure Model Reference Adaptive Control scheme denoted VSRMRAC. In this adaptive control strategy, each parameter of the control law is obtained by the sum of two other adaptive terms. One of them is associated with the RMRAC algorithm, while the other is composed of an adaptive gain rated by an approximated sign func
Publicado em: 2010
-
12. Bijectives proofs through new matricial representation for partitions / Provas bijetivas atraves de nova representação matricial para partições
No presente trabalho, apresentamos provas bijetivas para algumas identidades. A principal ferramenta utilizada _e a representação para partições como matrizes de duas linhas introduzida em [9] e [10]. Também apresentamos algumas conseqüências desta representação e a extendemos a outros casos. Uma prova bijetiva para uma identidade envolvendo os Núm
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/08/2009