Conexões de ordem mais alta do que dois entre neurônios são estudadas, principalmente para duas regras de aprendizado, a saber, o modelo de Hopfield generalizado e o modelo Truncado. Ambos modelos podem ser considerados como correções ao modelo de Hopfield original, que contém somente interações entre pares de neurônios. Para o modelo Truncado, as regras de aprendizado contêm misturas de memórias, diferentemente de todas prévias generalizações do modelo de Hopfield. As propriedades de equilíbrio são analisadas usando teoria de campo médio (réplicas) e comparadas com simulações numéricas. A dinâmica, no limite de extrema diluição, é também investigada. Nas versões completamente conexas, enquanto o comportamento de um dos modelos qualitativamente se assemelha ao de Hopfield, o outro apresenta um novo e rico comportamento: dependendo da temperatura T e do peso e das conexões de quarta ordem, o sistema apresenta duas regiões distintas de recuperação, separadas por uma lacuna, assim como várias transições de fase. Além disso, aparentemente os estados de vidro de spin desaparecem acima de um certo valor do parâmetro de armazenamento a. Um algoritmo ótimo de aprendizado é introduzido, o qual aumenta a capacidade de armazenamento sem aumentar os pesos dos termos de ordem mais alta. A dinâmica pode apresentar pontos fixos, órbitas periódicas e caóticas, dependendo novamente dos pesos e, do nível de ruído T e da carga da rede a. Como no caso anterior, há um valor ótimo no valor dos pesos que aumenta a capacidade do sistema. / High order connections between neurons are studied, mainly for two different learning rules, the oves from the generalized Hopfield and Truncated models. Both terms may act as corrections to the original, two neuron interaction Hopfield model. In the truncated model, the learning rules contain mixing of memories, differently from ali generalizations of the Hopfield model. Equilibrium properties are analyzed using the replica mean-field theory and compared with numerical simulations. The dynamics, in the extreme dilution limit, is also investigated. In the fully connected versions, while the behavior of one model qualitatively resembles the original Hopfield one, the other presents a new and very rich behavior: depending on temperature and the strength e of the fourth order connections, the system presents two distinct retrieval regions separated by a gap, as well as several phase transitions. Also, spin glass states seems to disappear above a certain value of the load parameter a. An optimal learning algorithm for fourth order connections is given and the storage capacity is improved without increasing the weight of the higher order term. The dynamics may display fixed points, periodic and chaotic orbits depending on the weight of the high order connections e, the noise levei T and the network load. As in the related fully connected case, there is an optimal value of the weight e that improves the storage capacity of the system.

Sistemas compostos por partículas que interagem por meio de forças de longo alcance, corno sistemnas gravitacionais ou coulombianos, apresentam comportamentos distintos daqueles cujas forças são de curto alcance. No equilíbrio termodinâmico pode haver inequivalência entre ensembles, resultante da falta das propriedades de extensividade e aditividade. Porém, antes mesmo de atingir o equilíbrio, esses sistemas relaxam para estados estacionários cujas distribuições não são necessariamente de Maxwell-Boltzmann, em um processo evolutivo regido pela equação de Vlasov, ou equação de Boltzmann não-colisional. .A relaxação colisional para o equilíbrio ocorre somente após um tempo que diverge com o aumento do tamanho do sistema. Nesse trabalho, estudamos dois modelos.cujas interações são de longo alcance: o modelo Hamiltdnian Mean-Field, ou HMF, e o modelo HMF generalizado, ou gHMF. Nos dois casos, comparamos os resultados da mecânica estatística de equilíbrio no ensemble microcanônico e os estados estacionários de não-equilíbrio. Propo-- mos teorias fundamentadas na dinâmica de Vlasov para descrever os estados estacionários, e corroboramos nossas previsões através da simulação computacional da dinâmica de N corpos. / Systems composed of particles that interact by means of long-range forces, such as gravitational or Coulomb systems, present behaviors that differ from those with shortl range forces. In thermodynamic equilibrium ensembles may be inequivalent due to their lack of extensivity and additivity. However, even before reaching equilibrium, such systems become trapped in out-of-equilibrium stationary states characterized by distributions that are not necessarily Maxwell-Boltzmann, through a process which is governed by the Vlasov, or non-collisional Boltzrnann, equation. The collisional relaxation that leads to equilibrium only occurs•afterwards, after a period of time that diverges as the system size increases. In the present work, we study two models with long-range interactions: the Hamiltonian Mean Field (HMF) and the generalized Hamiltonian Mean-Field (gHMF) models. For both cases, we compare the results of equilibrium st"atistical mechanics in the microcanonical ensemble with the out-of-equilibrium stationary states. We propose theories based on Vlasov clynamics in order to describe these non-equilibrium states, and corroborate our results with numerical simulations of the N-body dynamics.

O modelo bidimensional de Ising com interações competitivas entre um termo ferromagnético, de curto alcance, e outro antiferromagnético, de longo alcance, é o modelo mais simples para descrever filmes finos e materiais magnéticos quase-bidimensionais. A frustração, introduzida pelo termo dipolar no Hamiltoniano, é responsável por uma dinâmica lenta e uma fenomenologia rica. Neste trabalho estudamos as propriedades de equilíbrio e fora de equilíbrio do modelo Ising-Dipolar para certos valores de (j (parâmetro que mede a intensidade de uma interação frente à outra). Calculamos várias quantidades termodinâmicas, como energia livre, entropia e calor específico, e determinamos a natureza da transição de fase para δ = 1. Verificamos que a relaxação da função de autocorrelação spin-spin, acima da temperatura de transição, é do tipo stretch exponentíal. Além disso, realizamos experiências de não equilíbrio, como coarsening, em que verificamos a presença de uma fase metaestável, e histerese, em que conseguimos super-resfriar a fase desordenada para δ= 2. / The two-dimensional lsing model with competitive short-range ferromagnetic and longrange antiferromagnetic interactions, is the simplest model to describe thin films and quasitwo- dimensional magnetic materiaIs. The frustration, introduced by the dipolar term in the Hamiltonian, is responsible for a slow down in the dynamics and a rich phenomenology. ln this work we studied the equilibrium and off-equilibrium properties of the lsing-Dipolar model for certain <5values (parameter that measures the intensity between the two terms). We calculated several thermodynamical quantities, as free energy, entropy and specific heat, and checked the nature of the phase transition for δ = 1. We verified that the relaxation of the spin-spin autocorrelation function, above the transition temperature, is stretch exponential. Moreover, we did out of equilibrium experiments, as coarsening, where we verified the presence of a metastable phase, and hysteresis, where we supercooled the disordered phase for δ= 2.

Neste trabalho um modelo é apresentado que permite-nos prever quantitativamente o estado estacionário atingido por um plasma não-neutro durante um processo de relaxação nãocolisional. Como uma aplicação específica, a teoria é usada para estudar a relaxação de feixes de partículas carregadas na qual, mostra-se que, um feixe inicialmente casado relaxa para a distribuição de Lynden-Bell. No entanto, quando existe um descasamento inicial, o mesmo oscila e ressonâncias paramétricas conduzem-no a uma separação de fases: caroço e halo. A abordagem desenvolvida vale tanto para a densidade como para a distribuição de velocidade no estado final estacionário. / In this work a theoretical framework is presented which allows us to quantitatively predict the final stationary state achieved by a non-neutral plasma during a process of collisionless relaxation. As a specific application, the theory is used to study relaxation of charged-particle beams. It is shown that a fully matched beam relaxes to the Lynden-Bell distribution. However, when a mismatch is present and the beam oscillates, parametric resonances lead to a corehalo phase separation. The approach developed accounts for both the density and the velocity distributions in the final stationary state.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-03-08T13:00:17Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_LeonardoDallaPorta.pdf: 4244662 bytes, checksum: 214ab17f2ee3583441af553e0a0a7931 (MD5) / Made available in DSpace on 2017-03-08T13:00:17Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao_LeonardoDallaPorta.pdf: 4244662 bytes, checksum: 214ab17f2ee3583441af553e0a0a7931 (MD5) Previous issue date: 2016-10-06 / FACEPE / Avalanches neuronais, assim como oscilações e sincronização, são padrões de atividade espontânea observados em redes neuronais. O conceito de avalanches neuronais foi concebido na última década. Esse padrão de atividade tem distribuições de tamanhos P(s) e durações P(d) invariantes por escala, i.e., obedecem relações do tipo lei de potência P(s) ∼ s −τ, com expoente τ ≃ 3/2, e P(d) ∼ d−τt, com expoente τt ≃ 2, respectivamente. Essas propriedades são compatíveis com a ideia de que o cérebro opera em um regime crítico. A partir dessas constatações, muitos estudos teóricos e experimentais reportaram os potenciais benefícios de um cérebro operando na criticalidade, como por exemplo a máxima sensibilidade aos estímulos sensoriais, máxima capacidade de informação e transmissão e uma ótima capacidade computacional. Modelos da classe de universalidade de percolação direcionada (DP) têm sido amplamente utilizados para explicar a estatística invariante por escala das avalanches neuronais. Porém estes modelos não levam em consideração a dinâmica dos neurônios inibitórios e, além disso, como apresentam uma transição de fase entre um estado absorvente e uma fase ativa, torna-se difícil conciliar o modelo com correlações temporais de longo alcance que são observadas experimentalmente em diferentes escalas espaciais. Neste contexto, um novo modelo computacional (CROs, do original em inglês Critical Oscillations) surgiu na literatura (Poil et al., J. Neurosci., 32 9817, 2012), incluindo neurônios inibitórios e buscando conciliar correlações temporais com avalanches neuronais. Neste modelo não há uma fase absorvente, e uma suposta transição de fases ocorre entre uma fase ativa e outra com oscilações coletivas. Devido à ausência de uma fase absorvente, avalanches neuronais são definidas comparando-se a atividade instantânea da rede com um limiar que depende da mediana da atividade total. Justamente na linha crítica do espaço de parâmetros, quando há uma balanço entre excitação e inibição neuronal, avalanches neuronais invariantes por escala são observadas juntamente com correlações temporais de longo alcance (ruído 1/ f). No presente trabalho, um estudo mais profundo a respeito dos resultados reportados para o modelo CROs foi realizado. As oscilações neuronais mostraram-se robustas para diferentes tamanhos de rede, e observamos que a dinâmica local reflete a dinâmica oscilatória global da rede. Correlações temporais de longo alcance foram observadas (num intervalo de escalas temporais) através da técnica de Detrended Fluctuation Analysis, sendo robustas perante modificações no tamanho da rede. O resultado foi confirmado pela análise direta do espectro, que apresentou decaimento do tipo 1/ f numa determinada faixa de frequências. O diagrama de fases do modelo mostrou-se robusto em relação ao tamanho da rede, mantendo-se o alcance das interações locais. Entretanto, os resultados mostraram-se fortemente dependentes do limiar utilizado para detecção das avalanches neuronais. Por fim, mostramos que distribuições de durações de avalanches são do tipo lei de potência, com expoente τt ≃ 2. Este resultado é inédito e o valor encontrado coincide com o expoente crítico da classe de universalidade de DP na dimensão crítica superior. Em conjunto, nossos resultados fornecem mais evidências de que o modelo CROs de fato apresenta uma transição de fases. / Neuronal avalanches, as well as waves and synchronization, are types of spontaneous activity experimentally observed in neuronal networks. The concept of neuronal avalanches was conceived in the past decade. This pattern of activity has distributions of size P(s) and duration P(d) which are scale invariant, i.e., follow power-law relations P(s) ∼ s−τ, with exponent τ ≃ 3/2, and P(d) ∼ d−τd, with exponent τt ≃ 2, respectively. These properties are compatible with the idea that the brain operates in a critical regime. From these findings, many theoretical and experimental studies have reported the potential benefits of a brain operating at criticality, such as maximum sensitivity to sensory stimuli, maximum information capacity and transmission and an optimal computational capabilities. Models belonging to the directed percolation universality class (DP) have been widely used to explain the scale invariant statistic of neuronal avalanches. However, these models do not take into account the dynamics of inhibitory neurons and, since as they present a phase transition between an absorbing state and an active phase, it is difficult to reconcile the model with long-range temporal correlations that are observed experimentally at different spatial scales. In this context, a new computational model (CROs, Critical Oscillations) appeared in the literature (Poil et al., J. Neurosci., 32 9817, 2012), including inhibitory neurons and seeking to reconcile temporal correlations with neuronal avalanches. In this model there is no absorbing phase, and a supposed phase transition occurs between an active phase and another with collective oscillations. Due to the lack of an absorbing phase, neuronal avalanches are defined comparing by the instant network activity with a threshold that depends of the total activity median. Precisely at the critical line in parameter space, when a balance between neuronal excitation and inhibition occurs, scale invariant neuronal avalanches are observed with long-range temporal correlations (1/ f-like noise). In the present work, a deeper study about the results reported for the CROs model was performed. Neuronal oscillations have been shown to be robust to increasing network sizes, and it was observed that local dynamic reflects the oscillatory global dynamic of the network. Long-range temporal correlations were observed (in a range of time scales) via Detrended Fluctuation Analysis, being robust against changes in network size. The result was confirmed by direct analysis of the spectrum, which showed a decay like 1/ f in a given frequency band. The phase diagram of the model was robust with respect to the network size, as long as the range of local interactions was kept. However, the results were dependent of the threshold used to detect neuronal avalanches. Finally, we have shown that the distributions of avalanches duration follows a power-law with exponent τt ≃ 2. This result is unprecedented and the value obtained coincides with the critical exponent of the DP universality class in the upper critical dimension. Together, our results provide further evidence that in fact the CROs model presents a phase transition.

Submitted by Mario BC (mario@bc.ufrpe.br) on 2017-05-15T13:39:11Z No. of bitstreams: 1 Maelyson Rolim Fonseca dos Santos.pdf: 7542534 bytes, checksum: 8d86996d3992af0946425f4f3b1ceca5 (MD5) / Made available in DSpace on 2017-05-15T13:39:11Z (GMT). No. of bitstreams: 1 Maelyson Rolim Fonseca dos Santos.pdf: 7542534 bytes, checksum: 8d86996d3992af0946425f4f3b1ceca5 (MD5) Previous issue date: 2014-08-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The investigation of the process of evolution and characterization of diferent human languages has been one of the most active research elds in recent decades. Although the search for linguistic patterns that can establish a phylogeny of languages is much older, the statistical characterization of the written language, commonly called quantitative linguistic, has a newer tradition that relies on the work developed by Claude Shannon and George Zipf, written at the end of the 1940s. In this work we investigate some statistical aspects of the frequencies and positions for words in texts and the function of this quantities into the information contained in written language. Initially we explored the scaling relationship between the vocabulary V and the text sizes T, called Heaps' Law, which according to our results is typical for each language. We establish, empirically, a functional relationship between maximum frequency kmax and the total number of words in the text. Secondly we analyze morphological features of symbols, obtaining the word sizes distribution and from its respective entropy. We conclude that this procedure allows us to categorize diferent linguistic groups. Finally we introduce two models able to provide universal limiting behaviors to the relationship between standard deviation and frequency k. The models were designed to describe the behavior of correlated and uncorrelated words, reproducing various properties of texts as the fraction f of correlated words and the structural entropy H. All our theoretical results were compared with those obtained from 500 texts that include wikipedia articles and literary works from various epochs in 10 languages distributed in three linguistic families: germanic (german, danish, swedish and english), romanic (spanish, italian, french and portuguese) and uralic ( nnish and hungarian). / A investigação do processo de evolução e caracterização das diversas linguagens humanas tem sido um dos campos mais ativos de pesquisa nas últimas décadas. Embora a busca por padrões linguísticos que possam estabelecer uma filogenia as línguas seja bem mais antiga, a caracterização estatística da linguagem escrita, comumente denominada linguística quantitativa, possui uma tradição ao mais recente que se apoia nos trabalhos desenvolvidos por George Zipf e Claude Shannon, escritos no final da década de 1940. Nesta disserta c~ao investigamos aspectos frequencistas e espaciais da distribuição de verbetes em textos e o papel destas quantidades sobre a informação contida em linguagem escrita. Num primeiro momento exploramos a relação de escala entre o vocabulário V e o tamanho dos textos T, denominada Lei de Heaps, que segundo nossos resultados e t pica para cada língua. Estabelecemos empiricamente, uma relação funcional entre a frequência máxima kmax e o número total de palavras do texto T. Num segundo momento analisamos características morfológicas dos símbolos obtendo a distribuição de tamanho P(l) dos verbetes e a partir desta a sua respectiva entropia, concluímos que este procedimento nos permite categorizar diferentes grupos linguísticos. Por m introduzimos dois modelos capazes de fornecer comportamentos limitantes universais, para a relação entre a intermitência e a frequência k dos verbetes. Os modelos foram concebidos de forma a descrever o comportamento de verbetes correlacionados e não correlacionados, reproduzindo diversas propriedades de textos como a fração de verbetes correlacionada f e a entropia estrutural H. Ao longo de nossa abordagem, todos os nossos resultados teóricos foram comparados com aqueles obtidos de um corpus composto por 500 textos, que incluem artigos da wikipédia e obras literárias de diversas épocas em 10 idiomas distribuídos em três famílias linguísticas: germânica (alemão, dinamarquês, inglês e sueco), latina (espanhol, italiano, francês e português) e urálica (finlandês e húngaro).

Investigamos as propriedades de baixa temperatura do modelo de Heisenberg unidimensional de spin 1 desordenado, com flutuações geométricas nos acoplamentos induzidas por sequências aperiódicas e determinísticas. Escolhemos duas sequências com propriedades distintas, a sequência de Fibonacci e a sequência 6-3. Nosso objetivo é entender como essas flutuações geométricas modificam a física da fase de Haldane, que corresponde ao estado fundamental da cadeia de spin 1 uniforme. Introduzimos deferentes adaptações do grupo de renormalização de desordem forte (SDRG) de Ma, Dasgupta e Hu, que tem sido amplamente usado no estudo de cadeias de spin aleatórias. Usamos ainda simulações numéricas de Monte Carlo quântico e do grupo de renormalização da matriz densidade para confirmar as previsões do SDRG, assim como estudar as propriedades do estado fundamental, conforme a modulação se torna mais forte. Não encontramos uma transição de fase para a cadeia modulada pela sequência de Fibonacci, enquanto para a cadeia modulada pela sequência 6-3 encontramos uma transição para uma fase sem gap, dominada pela aperiodicidade, similar àquela encontrada na cadeia XXZ de spin 1/2. Mostramos que abordagens que preveem o mesmo comportamento qualitativo na cadeia aleatória de spin 1 podem levar a previsões qualitativamente incompatíveis na cadeia aperiódica. / We investigate the low-temperature properties of the one-dimensional spin-1 Heisenberg model with geometric fluctuations induced by aperiodic but deterministic coupling distributions, involving two parameters. We focus on two aperiodic sequences, the Fibonacci sequence and the 6-3 sequence. Our goal is to understand how these geometric fluctuations modify the physics of the (gapped) Haldane phase, which corresponds to the ground state of the uniform spin-1 chain. We utilize different adaptations of the strong-disorder renormalization-group (SDRG) scheme of Ma, Dasgupta and Hu, widely employed in the study of random spin chains, supplemented by quantum Monte Carlo and density-matrix renormalization-group numerical calculations, to study the nature of the ground state as the coupling modulation is increased. We find no phase transition for the Fibonacci chain, while we show that the 6-3 chain exhibits a phase transition to a gapless, aperiodicity-dominated phase similar to that found for the aperiodic spin-1/2 XXZ chain. We show that approaches providing the same qualitative behaviour in the random spin-1 chain may lead to qualitatively incompatible predictions in aperiodic chain.

Esta tese explora tópicos de Filosofia da Mecânica Estatística e sua inserção no Ensino de Física. Levanta-se inicialmente a discussão filosófica entre o reducionismo e o emergentismo. Esta questão permeia os debates científicos em Mecânica Estatística e em outras áreas, mas costuma ficar fora dos currículos escolares e universitários. Defendemos que esta discussão tem grande valor educacional para a formação do futuro professor e dos futuros cidadãos, mostrando como a ciência de fato é construída, e revelando aspectos da ciência para os quais não há uma visão de consenso único. Além disso, a natureza de modelos e aproximações foi estudada, sendo explorados diversos modelos de Mecânica Estatística, visando seu uso em sala de aula. Ao final da tese, apresenta-se uma proposta de curso onde essas questões poderão ser discutidas em sala de aula, contribuindo para um enriquecimento dos estudos sobre a Natureza da Ciência. / This thesis explores topics in the Philosophy of Statistical Mechanics and their use in Physics Teaching. It begins with the philosophical discussion between reductionism and emergentism. This issue is present in the scientific debates in Statistical Mechanics and other fields, but is usually not treated in high school and university courses. We argue that this discussion has great educational value for the future teachers and citizens, showing how science is constructed and revealing aspects of science about which there isn\'t a consensus. The nature of models and approximations is also studied, and various models in Statistical Mechanics are explored, in connection to their use in the classroom. At the end, a proposal for a course syllabus is presented, in which the issues explored in this thesis can be discussed in the classroom, contributing to the enrichment of the studies on the Nature of Science.

Neste trabalho estudamos o efeito da temperatura T e do campo magnético externo H sobre o modelo de Ising de spin 1/2 com interações competitivas J1 e J2 = -pJ1 entre primeiros e segundos vizinhos, respectivamente, numa direção axial (modelo ANNNI), e o efeito do campo de anisotropia cristalina D sobre o estado fundamental de um modelo ANNNI de spin maior que 1/2. No primeiro modelo levantamos os diagramas de fases p-T e H-T na aproximação de campo médio. Nestes diagramas encontramos diversos tipos de transições de fases tais como transições quase-contínuas e transições singular-contínuas. Encontramos também evidências da existência de pontos ípsilon () e pontos superdegenerados até então só encontrados nos diagramas de fases do estado fundamental de modelos do tipo Frenkel-Kontorova. No segundo modelo levantamos os diagramas p-D a T=0 para os dez primeiros valores de spin S. Estudamos a evolução das fronteiras de fases e de pontos de encontro de mais que duas fases sobre estas fronteiras conforme S é variado. Constatamos que as diferenças entre diagramas com S inteiro e diagramas com S semi-inteiro tendem a desaparecer com o crescimento de S. / In this work we studied the effect of the temperature T and external magnetic field H on the spin 1/2 lsing model with competing interactions J1 and J2 = -pJ1 between the first- and second-neighbors, respectively, along an axial direction (ANNNl model), and the effect of the crystal field anisotropy D on the ground state of the ANNNl model with spins greater than 1/2. In the first model we built the p-T and H-T phase diagrams in the mean-field approximation. In these phase diagrams we found various types of phase transitions such as quasi-continuous and singular-continuous phase transitions. We also found evidences for the upsilon point (1) and superdegenerate points, which have previously been found only on the groundstate phase diagrams of Frenkel-I<ontorova type models.

Neste trabalho elaboramos um modelo para a formação de estruturas sociais através das características cognitivas das pessoas e do modo como interagem umas com as outras. Com base em estudos nos campos da neurociência e da psicologia social, além do uso das técnicas de mecânica estatística e da teoria de aprendizado de máquina, fomos capazes de estabelecer um modelo de agentes que trocam opiniões, aprendem e escolhem seus parceiros com base nas informações que obtêm. A dinâmica das relações sociais introduzida aqui é capaz de produzir complexidade na estrutura das relações sociais e na distribuição de opiniões de forma correlacionada. Essa dinâmica nos dá um parâmetro que mede o nível de organização social e nos permite interpretar o fenômeno de formação de comunidades como uma estrutura que requer uma \"massa crítica\" para se estabelecer. Com base nesses resultados, propusemos um modelo capaz de reproduzir parte do comportamento observado no plenário brasileiro ao londo do anos em relação a votações de projetos de lei sob diferentes mandatos presidenciais. / In this work we establish a model for social structure formation based on cognitive characteristics of human beings and how they interact with each other. From neuroscience and social psychology studies, and also relying on technique from statistical mechanics and machine leaning theory, we were able to establish a model of agents who exchange opinions, learn together and choose their partnerships using the information they gather. The social relationship dynamics here introduced is capable of generating complexity on the social structure level and a on opinion distribution in a correlated way. This dynamics gives a parameter representing the degree to which society is organized and allow us to see the phenomena of community formation as a structure requiring a \"critical mass\" to fixate. These results guided us in proposing a model able to replicate a portion of the behavior observed at the Brazilian plenary through year of voting law projects under different president mandates.