Análise de desempenho do Criptossistema Fuzzy Vault em aplicações reais

Pós-graduação em Ciência da Computação - IBILCE

DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Multivariate curve resolution analysis applied to time-resolved synchrotron X-ray Absorption Spectroscopy monitoring of the activation of copper alumina catalyst

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Existence of solutions for a class of degenerate quasilinear elliptic equation in R-N with vanishing potentials

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

Influence of salts on the coexistence curve and protein partitioning in nonionic aqueous two-phase micellar systems

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

N=2 supersymmetric QCD and elliptic potentials

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Positive Solution for a Class of Degenerate Quasilinear Elliptic Equations in R-N

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

Entropy effect in quantum computing and information: an open-source environment simulation

The technologies are rapidly developing, but some of them present in the computers, as for instance their processing capacity, are reaching their physical limits. It is up to quantum computation offer solutions to these limitations and issues that may arise. In the field of information security, encryption is of paramount importance, being then the development of quantum methods instead of the classics, given the computational power offered by quantum computing. In the quantum world, the physical states are interrelated, thus occurring phenomenon called entanglement. This study presents both a theoretical essay on the merits of quantum mechanics, computing, information, cryptography and quantum entropy, and some simulations, implementing in C language the effects of entropy of entanglement of photons in a data transmission, using Von Neumann entropy and Tsallis entropy.

Inserção e extração de marca d'água em imagens digitais usando a transformada wavelet

Pós-graduação em Engenharia Elétrica - FEIS

An Informatics Technical Note on Interaction of DNA - Graphene Chemical Sensor System as Reaction-Diffusion Wave-Based Computing System in Ionised Gaseous environments and their Applications Using Theoretical Studies and Scientific Computation Overview

The physics of plasmas encompasses basic problems from the universe and has assured us of promises in diverse applications to be implemented in a wider range of scientific and engineering domains, linked to most of the evolved and evolving fundamental problems. Substantial part of this domain could be described by R–D mechanisms involving two or more species (reaction–diffusion mechanisms). These could further account for the simultaneous non-linear effects of heating, diffusion and other related losses. We mention here that in laboratory scale experiments, a suitable combination of these processes is of vital importance and very much decisive to investigate and compute the net behaviour of plasmas under consideration. Plasmas are being used in the revolution of information processing, so we considered in this technical note a simple framework to discuss and pave the way for better formalisms and Informatics, dealing with diverse domains of science and technologies. The challenging and fascinating aspects of plasma physics is that it requires a great deal of insight in formulating the relevant design problems, which in turn require ingenuity and flexibility in choosing a particular set of mathematical (and/or experimental) tools to implement them.

Quasimodular instanton partition function and the elliptic solution of Korteweg-de Vries equations

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Dynamics of classical particles in oval or elliptic billiards with a dispersing mechanism

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Circular, elliptic and oval billiards in a gravitational field

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Comparison of growth curve parameters of organs and body components in meat- (Coturnix coturnix coturnix) and laying-type (Coturnix coturnix japonica) quail show interactions between gender and genotype

The objective of this study was to estimate growth parameters of carcass components (wing, thighs and drumsticks, back and breast) and organs (heart, liver, gizzard and gut) in males and females of one meat-type quail strain (Coturnix coturnix coturnix) and two laying strains (Coturnix coturnix japonica) designated either yellow or red.A total of 1350 quail from 1 to 42d old were distributed in a completely randomised design, with 5 replicates of each strain. The carcass component weights and body organs were analysed weekly and evaluated using the Gompertz function; growth rates were evaluated through derivative equations.The meat-type strain presented the highest growth rates in carcass components and organs. Across strains, females showed the highest weight of internal organs at maturity compared to males.Females had greater growth potential in breast, wings and back than males for both yellow and red laying quail.

Extensive computation of albedo contrast between martian dust devil tracks and their neighboring regions

We have developed a method to compute the albedo contrast between dust devil tracks and their surrounding regions on Mars. It is mainly based on Mathematical Morphology operators and uses all the points of the edges of the tracks to compute the values of the albedo contrast. It permits the extraction of more accurate and complete information, when compared to traditional point sampling, not only providing better statistics but also permitting the analysis of local variations along the entirety of the tracks. This measure of contrast, based on relative quantities, is much more adequate to establish comparisons at regional scales and in multi-temporal basis using imagery acquired in rather different environmental and operational conditions. Also, the substantial increase in the details extracted may permit quantifying differential depositions of dust by computing local temporal fading of the tracks with consequences on a better estimation of the thickness of the top most layer of dust and the minimum value needed to create dust devils tracks. The developed tool is tested on 110 HiRISE images depicting regions in the Aeolis, Argyre, Eridania, Noachis and Hellas quadrangles. As a complementary evaluation, we also performed a temporal analysis of the albedo in a region of Russell crater, where high seasonal dust devil activity was already observed before, comprising the years 2007-2012. The mean albedo of the Russell crater is in this case indicative of dust devil tracks presence and, therefore, can be used to quantify dust devil activity. (C) 2014 Elsevier Inc. All rights reserved.