944 resultados para Logic, Symbolic and mathematical
Resumo:
One of the most pervasive classes of services needed to support e-Science applications are those responsible for the discovery of resources. We have developed a solution to the problem of service discovery in a Semantic Web/Grid setting. We do this in the context of bioinformatics, which is the use of computational and mathematical techniques to store, manage, and analyse the data from molecular biology in order to answer questions about biological phenomena. Our specific application is myGrid (www.mygrid.org.uk) that is developing open source, service-based middleware upon which bioinformatics applications can be built. myGrid is specifically targeted at developing open source high-level service Grid middleware for bioinformatics.
Resumo:
One of the most pervasive classes of services needed to support e-Science applications are those responsible for the discovery of resources. We have developed a solution to the problem of service discovery in a Semantic Web/Grid setting. We do this in the context of bioinformatics, which is the use of computational and mathematical techniques to store, manage, and analyse the data from molecular biology in order to answer questions about biological phenomena. Our specific application is myGrid (http: //www.mygrid.org.uk) that is developing open source, service-based middleware upon which bioin- formatics applications can be built. myGrid is specif- ically targeted at developing open source high-level service Grid middleware for bioinformatics.
Resumo:
Este trabalho tem por objetivo identificar uma possível inclinação das ciências naturais em direção ao materialismo dialético. Para tanto, procura-se apresentar a história da dialética a partir da discussão racionalismo/empirismo moderno e seus desdobramentos até as tendências dialéticos contemporâneas. Os autores discutidos são Kant, Hegel, Marx, Engels, Lenin, Horkheimer, Marcuse, Habermas, Bachelard e suas escolas epistemológicas, completadas por Althusser, Lefebvre e Kedrov. Ao lado desses autores discutem-se outros, das duas últimas décadas, procurando extrair-lhes o olhar dialético, oculto em seus discursos acerca da ciência do fim do século. Também se procura encontrar na mecânica quântica, nos fractais, na lógica para-consistente, nos modelos matemáticos e na biologia antideterminista, argumentos para existência de uma forma de abordagem dialética da natureza. Por último, procura-se refletir acerca dos motivos da resistência ao método dialético apresentado pela maioria dos cientistas ocidentais e, sua possível superação.
Resumo:
This research had as purpose to establish the logic symbolic present in the contemporary society that facilitated the emergency of a public speech on the incest, and, consequently, to demonstrate the ideological nature that structures it. Event associated to the order of the taboo, the incest would be the transgression of the injunction that, second Lévi-Strauss, facilitated the emergency of the Culture while symbolic order, differentiated of the natural order. The injunction of the incest would reveal the elementary and universal structures of the order symbolic presents in the human societies: the demand of the Rule as rule; the reciprocity and the gift, present element in the social changes that it transforms the individuals in partners, increasing a new quality in the transferred value, according to Lévi-Strauss. Starting from this, I developed the hypothesis second which the phenomenon of the alone incest became an event of discursive order and public as right social transformations affected the normative system (social representations, values, moral) regulator of the relationships among the social subjects, being reflected like this, in the own structuring of the Law. A second work hypothesis was developed starting from that. I develop it leaving of the argument that if when inserting the discussion of the thematic of the defense of the children and adolescent rights, being then, considering it while "privileged modality of sexual abuse against children", the present central subjects in the structuring of the social entail would be leaved. Being like this, the partner-institutional speech on the incest would answer the social demands of order and social control, becoming like this, discursive formations of ideological character. This research work tried to follow the hypothesis above referred, demonstrating the singular sense that it will be attributed to the incest in the contemporary society, particularly, its relationship with the Law and the transgression in the contemporary society
Resumo:
The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her
Resumo:
This study aims to analyze the process of resignification of Chile Street, in Natal, from the development of a music scene in the late 1990s. Chile Street, as part of the Historic Centre of Natal, had its images constructed from the discursive practices and everyday life of its regular visitors, leading to a series of symbolic and imaging transformations throughout the twentieth century. Initially transformed into glamorous space as a result of urban actions of the new republic of Albuquerque Maranhão, in the early twentieth century, Ribeira and Chile Street, specifically, came to be seen as bohemian area, during the war time"; followed by a marginal phase, it was eventually transformed into the main rocker area of Natal, with the development of a musical scene in the second half of the 1990s. This music scene, its practices, economic interests, cultural events and identity ties created among their practitioners made Chile Street, "in the time of Blackout night club", an "alternative" space. As the historic centers, inserted in the logic of postmodern city marketing, both spaces are dynamic in their practices, as in their images, Chile Street also suffered changes in its meanings and symbols, around the year 2000 when the alternative-underground space became a pop space, where people from various parts of the city began attending its events and places, transforming it into a point of very heterogeneous sociability
Resumo:
Using the functional integral formalism for the statistical generating functional in the statistical (finite temperature) quantum field theory, we prove the equivalence of many-photon Greens functions in the Duffin-Kennner-Petiau and Klein-Gordon-Fock statistical quantum field theories. As an illustration, we calculate the one-loop polarization operators in both theories and demonstrate their coincidence.
Resumo:
We study the bending of light caused by a static gravitational field generated by a localized material source in the context of quadratic gravity. Our calculation shows that for light rays passing close to the Sun the deflection Phi lies in the interval 0 <
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
In this paper we discuss the algebraic construction of the mKdV hierarchy in terms of an affine Lie algebra (s) over capl(2). An interesting novelty araises from the negative even grade sector of the affine algebra leading to nonlinear integro-differential equations admiting non-trivial vacuum configuration. These solitons solutions are constructed systematically from generalization of the dressing method based on non zero vacua. The sub-hierarchies admiting such class of solutions are classified.
Resumo:
Mechanical properties of food products and biological materials are greatly affected by the drying process and are considered one of the most important quality attributes of dehydrated products. The aim of this work was to review theoretical principles and mathematical modeling, analyzing the measurement techniques and major experimental results that exist in the literature about rheological properties of dehydrated foods and biological materials. Different methods of measuring rheological parameters (fundamental and empiric or imitative) are discussed and major experimental results, as well as the rheological models used in their analysis, published in recent years are presented.
Resumo:
We prove the equivalence of many-gluon Green's functions in the Duffin-Kemmer-Petieu and Klein-Gordon-Fock statistical quantum field theories. The proof is based on the functional integral formulation for the statistical generating functional in a finite-temperature quantum field theory. As an illustration, we calculate one-loop polarization operators in both theories and show that their expressions indeed coincide.