EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Citotoxicidade do ácido peracético: avaliação metabólica, estrutural e de morte em fibroblastos L929

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

Topological Complexity and Predictability in the Dynamics of a Tumor Growth Model with Shilnikov's Chaos

Dynamical systems modeling tumor growth have been investigated to determine the dynamics between tumor and healthy cells. Recent theoretical investigations indicate that these interactions may lead to different dynamical outcomes, in particular to homoclinic chaos. In the present study, we analyze both topological and dynamical properties of a recently characterized chaotic attractor governing the dynamics of tumor cells interacting with healthy tissue cells and effector cells of the immune system. By using the theory of symbolic dynamics, we first characterize the topological entropy and the parameter space ordering of kneading sequences from one-dimensional iterated maps identified in the dynamics, focusing on the effects of inactivation interactions between both effector and tumor cells. The previous analyses are complemented with the computation of the spectrum of Lyapunov exponents, the fractal dimension and the predictability of the chaotic attractors. Our results show that the inactivation rate of effector cells by the tumor cells has an important effect on the dynamics of the system. The increase of effector cells inactivation involves an inverse Feigenbaum (i.e. period-halving bifurcation) scenario, which results in the stabilization of the dynamics and in an increase of dynamics predictability. Our analyses also reveal that, at low inactivation rates of effector cells, tumor cells undergo strong, chaotic fluctuations, with the dynamics being highly unpredictable. Our findings are discussed in the context of tumor cells potential viability.

Desenvolvimento de pastilha potencialmente probiótica

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

Efeito da combinação de antibióticos e sinvastatina sobre microrganismos de interesse endodôntico e na expressão de marcadores odontoblásticos

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

Auditoria e optimização energética à secção de impregnação de uma indústria têxtil

Mestrado em Engenharia Química

Influência da espessura do substrato dental sobre a eficácia clareadora e citotoxicidade de diferentes protocolos de clareamento

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

Avaliação técnica e econômica de um biodigestor de fluxo tubular: estudo de caso do modelo implantado na etec "orlando quagliato" em Santa Cruz do Rio Pardo, SP

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Sustentabilidade das finanças locais

Dissertação de Mestrado em Ciências Económicas e Empresariais

Tubulin cofactor A gene silencing in mammalian cells induces changes in microtubule cytoskeleton, cell cycle arrest and cell death

Microtubules are polymers of alpha/beta-tubulin participating in essential cell functions. A multistep process involving distinct molecular chaperones and cofactors produces new tubulin heterodimers competent to polymerise. In vitro cofactor A (TBCA) interacts with beta-tubulin in a quasi-native state behaving as a molecular chaperone. We have used siRNA to silence TBCA expression in HeLa and MCF-7 mammalian cell lines. TBCA is essential for cell viability and its knockdown produces a decrease in the amount of soluble tubulin, modifications in microtubules and G1 cell cycle arrest. In MCF-7 cells, cell death was preceded by a change in cell shape resembling differentiation.

Gene expression regulation and lineage evolution: the North and South tale of the hybrid polyploid Squalius alburnoides complex

The evolution of hybrid polyploid vertebrates, their viability and their perpetuation over evolutionary time have always been questions of great interest. However, little is known about the impact of hybridization and polyploidization on the regulatory networks that guarantee the appropriate quantitative and qualitative gene expression programme. The Squalius alburnoides complex of hybrid fish is an attractive system to address these questions, as it includes a wide variety of diploid and polyploid forms, and intricate systems of genetic exchange. Through the study of genome-specific allele expression of seven housekeeping and tissue-specific genes, we found that a gene copy silencing mechanism of dosage compensation exists throughout the distribution range of the complex. Here we show that the allele-specific patterns of silencing vary within the complex, according to the geographical origin and the type of genome involved in the hybridization process. In southern populations, triploids of S. alburnoides show an overall tendency for silencing the allele from the minority genome, while northern population polyploids exhibit preferential biallelic gene expression patterns, irrespective of genomic composition. The present findings further suggest that gene copy silencing and variable expression of specific allele combinations may be important processes in vertebrate polyploid evolution.

Análise de risco em sequenciamento de actividades com restrições de recursos

Mestrado em Engenharia Electrotécnica e de Computadores. Área de Especialização em Sistemas e Planeamento Industrial.

Análise da viabilidade da utilização de colectores solares

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecância