Variação anual do rendimento e composição química dos componentes voláteis da Siparuna guianensis Aublet

This work describes the volatile composition obtained by hidrodistillation of fresh leaves of Siparuna guianensis Aublet collected from Cuiabá (MT), Brazil. The composition of DCM extract of hydrolate was determined by GC-MS analysis and the results showed that the specie present a range of components according to their phenology and period of the leaves were collects. The highest volatile components yield was obtained during the reproductive period and the principal compound was the siparunone.

Efeito da variação de parâmetros reacionais na preparação de grafeno via oxidação e redução do grafite

This work shows the influence of several reactional parameters for obtaining graphene through successive steps of oxidation and exfoliation of bulk graphite (resulting in graphene oxide), followed by chemical reduction. The results showed that changes in temperature, reaction time, reducing agent and source of primary graphite lead to different surface compositions and stability in dispersion of graphene oxide. Also, the use of different reducing agents promoted different degrees of restoration of C=C bonds in the bidimensional structure of graphene.

Nota sôbre variação específica em Ceratium furca Dujardin, do plancton do litoral paulista

Trata a presente nota do aparecimento de um exemplar de Ceratium furca encontrado no plancton do litoral paulista, provido de um terceiro prolongamento suplementar, ao lado da placa antapical direita. O autor examina alguns casos de variações constatadas no mesmo gênero e regista o fato ocorrido no material proveniente do litoral paulista.

THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.

Variação da sensibilidade de populações de Phakopsora pachyrhizi a fungicidas inibidores da desmetilação no Brasil

Durante as safras 2008/09, 2009/10 e 2010/11 foi monitorada a sensibilidade do fungo Phakopsora pachyrhizi aos fungicidas tebuconazol, ciproconazol, metconazol e protioconazol (inibidores da desmetilação, IDMs). Folhas destacadas de soja foram tratadas com os fungicidas em doses variando de zero a 32 mg L-1 (tebuconazol, ciproconazol e metconazol) e zero a 8 mg L-1 (protioconazol) e inoculadas com esporos de P. pachyrhizi provenientes de lavouras de soja de diferentes regiões produtoras. As folhas inoculadas foram incubadas em placas de Petri com papel umedecido, a 23°C ± 2ºC, e a severidade da ferrugem estimada 15 dias após a inoculação. Foram determinadas as doses efetivas para reduzir 50% da severidade da doença (DE50). O fungicida protioconazol apresentou a maior atividade intrínseca, com valores de DE50 variando de 0,000001 mg L-1 a 0,39 mg L-1. Os valores de DE50variaram de 0,001 mg L-1 a 1,49 mg L-1 para tebuconazol; 0,001 mg L-1 a 3,27 mg L-1 para ciproconazol e 0,004 mg L-1 a 3,89 mg L-1 para metconazol. As medianas de DE50 para todos os fungicidas avaliados foram inferiores a 0,5 mg L-1, nas três safras. As correlações (r) entre as DE50 dos quatro fungicidas foram significativas (p<0,05), mostrando a existência de resistência cruzada entre os fungicidas. A variação nos valores de DE50 no monitoramento mostra uma coexistência de populações com diferentes níveis de sensibilidade aos IDMs no campo.

Formal semantics for propositional attitudes

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode.

Uma nota sobre a lógica formal de Kant

O artigo apresenta um problema que surge da combinação da teoria kantiana dos juízos analíticos com a sua adesão oficial à silogística. Argumenta-se em seguida que o problema só pode ser inteiramente solucionado pelo reconhecimento de que a lógica com a qual Kant de fato operava não é consistente nem com a silogística, nem com a lógica clássica, consistindo, de fato, em uma espécie de lógica inclusiva.

HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

PROLEGÓMENOS PARA UNA TEORÍA FORMAL DE ESTRUCTURAS (DESPUÉS DE N.DA COSTA)

Resumen El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1) y (3), como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1) (Ver también (2) y (3)) sobre estos temas.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC , a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

Variação do índice de área foliar em clones de eucalipto ao longo de seu ciclo de crescimento

O índice de área foliar (IAF) é uma das principais variáveis biofísicas de um dossel florestal, estando diretamente relacionado com a sua evapotranspiração e sua produtividade. Este trabalho apresenta um levantamento da variabilidade temporal do IAF em cinco diferentes clones (designados para efeito deste trabalho como MG1, MG2, MG3, MG4 e MG5) de plantações de eucalipto (híbridos de Eucalyptus grandis), na regional de produção de Aracruz-ES, Brasil. Utilizou-se o equipamento LAI-2000 para medir o IAF em 98 talhões, com didade variando de 12 a 84 meses. o IAF variou de 1,7 a 4,3. Houve correlação negativa significativa entre IAF e idade para os clones MG1, MG2, e MG3. Para os clones MG4 e MG5 foi constatado que não houve relação significativa entre IAF e idade, o que evidencia que sejam adotados valores médios de IAF destes clones como descritores estruturais do dossel para fins de modelagem ou outros (2,57 e 3,04, respectivamente).

Variação radial da retratibilidade e densidade básica da madeira de Eucalyptus saligna Sm.

A ultra-estrutura e a composição química da madeira, bem como suas propriedades físicas e mecânicas, variam significativamente entre espécies, entre árvores de uma mesma espécie e, mesmo, entre diferentes partes de uma mesma árvore. Com este trabalho objetivou-se o estudo dos parâmetros de retratibilidade e de densidade básica da madeira Eucalyptus saligna, com idade de 16 anos, proveniente de talhões experimentais da EMBRAPA Florestas, de Colombo, Paraná. As amostras foram retiradas à altura do DAP de quatro posições eqüidistantes a partir da medula em direção à periferia, correspondendo a 0, 33, 66 e 100%, com dimensões nominais de 1,0 x 2,0 x 3,0 cm, sendo a última dimensão no sentido longitudinal. Elas foram mantidas em câmara fechada com ventilação, próximo de soluções salinas supersaturadas, com o objetivo de proporcionar diferentes condições de umidade relativa. Uma vez atingidas as distintas condições de umidade de equilíbrio, as amostras foram secas em estufa a 105 ºC e obtidos os dados de retratibilidade e densidade básica da madeira nas posições mencionadas. Constataram-se valores de contração volumétrica mais baixos na região medular, apresentando um acréscimo para as demais posições. Comportamento semelhante foi observado para os coeficientes das contrações lineares nas direções tangencial e radial. O fator anisotrópico foi consideravelmente mais elevado na região medular, decrescendo substancialmente em direção ao alburno. A densidade básica não mostrou sinais efetivos de estabilidade, apesar de mostrar tendência de aumento em direção à periferia do tronco.

Formal and informal mechanisms for knowledge protection and sharing

The most important knowledge in firms is mostly tacit and embedded in individuals within the organization. This background knowledge that firms possess is used for creation of new knowledge and innovations. As firms today greatly concentrate on their core competencies, they need external knowledge from various collaboration partners. Thus, collaborative relationship governance, as well as control (use of appropriability mechanisms) over background (the input from each firm in innovative activities) and foreground knowledge (the output of collaboration activities) is needed in order to successfully create and capture value from innovative activities without losing core knowledge and competitiveness. Even though research has concentrated on knowledge protection and knowledge sharing, studies that combine both of these views and examine the effects of sharing and protection on value creation and capture have been rather limited. Studies have mainly focused on the protection of the output of innovation while forgetting the protection of the input of innovation. On the other hand, as the research concentrating on the output of innovation tends to favor formal mechanisms, informal mechanisms have remained more unknown to researchers as well as managers. This research aims to combine the perspectives of knowledge sharing and knowledge protection and their relationship with value creation and value capture. The sharing and protection are viewed from two points of view: the use of appropriability mechanisms, as well as governance of the collaborative relationship. The study consists of two parts. The first part introduces the research topic and discusses the overall results. The second part comprises six complementary research publications. Both qualitative and quantitative research methods are used in the study. In terms of results, the findings enhance understanding of the combined use of formal and informal mechanisms for knowledge protection and sharing. Informal mechanisms appear to be emphasized in the protection of background knowledge, and thus are prerequisites for innovation, whereas formal mechanisms are relied on more for protecting the results of innovative activities. However, the simultaneous use of the formal and informal mechanisms that are relevant to the particular industry and innovation context is recommendedthroughout the collaborative innovation process. Further, the study adds to the current knowledge on HRM as an appropriability mechanism: on the firm level its uses include assessing and hedging against employee-related risks such as knowledge leaking and knowledge leaving. A further contribution is to the research on HRM protection and its interrelations with other appropriability mechanisms, its constituents, and its potential use in the area of knowledge protection.