In this thesis, we design and implement an analysis tool for a language called kiltera which is a timed extension of pi-calculus. kiltera allows the modeling of concurrent, mobile, real-time and distributed systems. Our analyzer takes a kiltera model as input and performs analyses such as detection of deadlock states, stable states etc. To improve performance, the analyzer uses some transformation techniques to simplify the input kiltera model without changing its behavior. We provide a detailed description of the design and implementation of the analyzer and discuss some performance optimizations. Finally, we present some case studies to illustrate the capabilities of our analyzer. / Thesis (Master, Computing) -- Queen's University, 2010-09-29 12:02:41.361

This document’s content is the final report of the master´s dissertation Magnus Hällström did during springtime of year 2013. The dissertation’s subject is 802.11s wireless mesh networks with streaming video as a focus point.  During the dissertation a wireless mesh network was set up with different attached cameras for streaming video. A sun panel solution was also tested with the goal of creating a package with a self-configuring network node streaming video, powered by nothing but solar energy.

Thesis (Ph. D.)--University of Washington, 2004. / Vita. Accompanying CD-ROM contains the text to the dissertation, as well as Chinese text of chapters 1-6 of Jingxue lishi and that of Pi Xirui's chronological biography (nianpu). Includes bibliographical references (leaves 936-956). Also available via the World Wide Web.

Zugl.: München, Techn. Universiẗat, Diss., 2008.

University, Diss., 2004--Heidelberg.

Universiẗat, Diss., 2004--Heidelberg.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2016-06-17T11:22:57Z No. of bitstreams: 1 texto completo.pdf: 632950 bytes, checksum: 0e42e3a2e8ad45bdf6f51f0c40c56d37 (MD5) / Made available in DSpace on 2016-06-17T11:22:57Z (GMT). No. of bitstreams: 1 texto completo.pdf: 632950 bytes, checksum: 0e42e3a2e8ad45bdf6f51f0c40c56d37 (MD5) Previous issue date: 2009-12-03 / Sejam F um corpo infinito e A uma F - ́algebra com identidades polinomiais, ou seja, uma PI- ́algebra. Dizemos que A tem crescimento polinomial (das codimensões) se a sequência de codimensões cn(A) ́e limitada polinomialmente, isto ́e, existem constantes a,t > 0 tais que cn(A) ≤ ant, para todo número natural n ≥ 1. Neste trabalho caracterizamos as PI- ́algebras de crescimento polinomial das codimensões. Provamos ainda que, para uma PI-álgebra associativa unitária A de crescimento polinomial, temos cn (A) = qnk + O(n k−1 ), onde q ́e um número racional, k um inteiro não negativo e 1/k ≤ q ≤ ∑ (−1) j⋅ Em particular, quando k ́e ́ımpar, inteiro n ̃ao negativo e k! j! j=0 verificamos que um melhor limite inferior do coeficiente dominante q ́e dado por k − 1 ⋅ Além disso, para qualquer grau fixo k, construímos PI- ́algebras associativas k! unitárias, cuja sequência das codimensões possui o maior e o menor crescimento polinomial possível de grau k e descrevemos explicitamente uma base para o T-ideal de tais álgebras. Por fim caracterizamos, a menos de PI-equivalência, as PI- ́algebras associativas unitárias de crescimento polinomial no máximo cúbico. / Let F be an infinite field and A an F -algebra with polynomial identities, that is, a PI-algebra. We say that A is of polynomial growth (of the codimensions) if the sequence of codimensions c n (A) is polynomially bounded, that is, there exist constants a, t > 0 such that c n (A) ≤ an t , for all natural numbers n ≥ 1. In this work we characterize the PI-algebras of polynomial growth of the codimensions. For an unitary associative PI-algebra A of polynomial growth, we prove even that c n (A) = qn k + O(n k−1 ), where q is a rational number, k a nonnegative integer and k (−1) j ∑ ≤ q ≤ ⋅ In particular, when k is odd, we show that a better lower k! j! j=0 k − 1 bound of the leading coefficient q is given by ⋅ Moreover, for any fixed degree k! k, we construct unitary associative PI-algebras whose codimension sequence has the largest and smallest possible polynomial growth of degree k and describe an explicit basis for the T-ideal of such algebras. Finally we characterize, up to PI-equivalence, the unitary associative PI-algebras of polynomial growth at most cubic. / Dissertação antiga

CRUZ NETO, Joaquim Antonio da. Avaliação econômica da cadeia produtiva do caju na macrorregião de Picos no Estado do Piauí. 2010. 68f. Dissertação (mestrado profissional em economia do setor público - Piauí) - Programa de Pós Graduação em Economia, CAEN, Universidade Federal do Ceará, Fortaleza, CE, 2010. / Submitted by Mônica Correia Aquino (monicacorreiaaquino@gmail.com) on 2013-10-15T20:06:46Z No. of bitstreams: 1 2010_dissert_jacruzneto.pdf: 235552 bytes, checksum: ea5bcf1f8dd38c5804847c69bed10885 (MD5) / Approved for entry into archive by Mônica Correia Aquino(monicacorreiaaquino@gmail.com) on 2013-10-15T20:07:02Z (GMT) No. of bitstreams: 1 2010_dissert_jacruzneto.pdf: 235552 bytes, checksum: ea5bcf1f8dd38c5804847c69bed10885 (MD5) / Made available in DSpace on 2013-10-15T20:07:02Z (GMT). No. of bitstreams: 1 2010_dissert_jacruzneto.pdf: 235552 bytes, checksum: ea5bcf1f8dd38c5804847c69bed10885 (MD5) Previous issue date: 2010 / This work examines the participation of SEBRAE/PI and the different actors involved in the process of strengthening, improvement and economic integration of the micro and small enterprises, which product cashewnuts in the local productive systems, and yet it checks whether the results obtained in the development of the productive cashew's chain project were actually achieved. To this end, it was conducted an analysis of the several variables dynamics distribution, taking into account the year in which the SEBRAE’s project was implemented and the actual moment. Thus, an overview of cashew crop in eight districts of the Picos’ macroregion (Campo Grande, Francisco Santos, Ipiranga do Piauí, Itainópolis, Jaicós, Monsenhor Hipólito, Pio IX and Vila Nova do Piauí), focusing on the business characteristic changes, as well as on the producers welfare is being presented. / Este trabalho analisa a participação do SEBRAE/PI e dos diversos agentes envolvidos no processo de fortalecimento, melhoria e inserção econômica das micro e pequenas empresas produtoras de caju em arranjos produtivos locais. Além de verificar se os resultados obtidos no desenvolvimento do projeto da cadeia produtiva do caju foram, de fato, alcançados. Para tanto, foi realizada uma análise da dinâmica de distribuição de diversas variáveis levando-se em conta o ano em que o projeto do SEBRAE/PI foi implantado e o momento atual. Assim, um panorama da cajucultura em oito municípios da macrorregião de Picos (Campo Grande, Francisco Santos, Ipiranga, Itainópolis, Jaicós, Monsenhor Hipólito, Pio IX e Vila Nova do Piauí), enfocando as mudanças nas características do negócio e no bem-estar dos produtores, é apresentado.

MEIJER, Rebeca de Alcântara e Silva. Valorização da cosmovisão africana na escola: narrativa de uma pesquisa-formação com professoras piauienses. 2012. 195f. – Tese (Doutorado) – Universidade Federal do Ceará, Programa de Pós-graduação em Educação Brasileira, Fortaleza (CE), 2012. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2014-03-11T16:32:40Z No. of bitstreams: 1 2012-TESE-RASMEIJER.pdf: 4665086 bytes, checksum: a9b4b781059524487ca5093f2c3efc49 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2014-03-11T17:32:02Z (GMT) No. of bitstreams: 1 2012-TESE-RASMEIJER.pdf: 4665086 bytes, checksum: a9b4b781059524487ca5093f2c3efc49 (MD5) / Made available in DSpace on 2014-03-11T17:32:02Z (GMT). No. of bitstreams: 1 2012-TESE-RASMEIJER.pdf: 4665086 bytes, checksum: a9b4b781059524487ca5093f2c3efc49 (MD5) Previous issue date: 2012 / This thesis focuses on the enhancement of African Worldview in the school situation in teacher training. Its relevance is justified legally from January 9, 2003, when the then president, Luiz Inácio Lula da Silva, promulgates the Law N. 10.639/2003, which concerns the inclusion of the teaching of History and Culture of African and Afro - Brazilian in primary schools. Teachers, it is compliance with law. However, despite what the law cited versa, teachers did not have, in general, in their initial training, adequate preparation for the demands of articulation of such content in their educational practice. However, the CNE / CP no. 01 /2004 instructs that it is the responsibility of higher education institutions nurture the initial and continuing training of teachers, as well as carry out teaching, research and outreach on the topic. Inspired by the elements exposed, I decided to conduct a training course for teachers in the state of Piauí articulating the triad teaching, research and extension, since I am a professor at the Federal University of Piauí, in the city of Floriano, local field research. It is a researchtraining to influence the action research and sociopoética from the fundamentals of theoretical and methodological titled Pret@gogia. The training took place during the school year of 2011 and 2012 at the Municipal School Eleuterio Rezende and his execution took place as university extension numbering four fellows involved. Its main objective was to promote the training course for teachers of elementary school, aiming at the enhancement of generator theme "African Worldview" We conducted seven modules, during which teachers, researcher and scholars extension project studied, developed and implemented action plans for interventional training of teachers. These in turn reissued their pedagogical and curricular transforming the school into the territory of valuing African worldview through the articulation of its theoretical and methodological principles. In addition to this finding, analysis of interventive actions also revealed in the transformative potential of research - teaching – training, particularly in view of the self-training for all of us involved in the process. The research is also grounded in a theoretical- methodological phase of pregnancy the nucleus of Africanidades Cearenses - UFC and I help develop and implement in the context of research and teaching titled pret@gogia. This contribution is guided by the principles of ancestry and orality present in the African worldview. Elaborated a particular style of writing. I venture in creating characters, which I call my "I" s ancestors. They narrate tales from research plots in seeking to articulate the scientific rigor required a survey of literary writing and oral tradition of the African worldview. / A presente tese tem como foco a valorização da Cosmovisão Africana no âmbito escolar em situação de formação de professores. Sua relevância justifica-se legalmente a partir de 9 de janeiro de 2003, quando o então presidente da República, Luiz Inácio Lula da Silva, promulga a Lei N. 10.639/2003, que versa sobre a inclusão do ensino da História e da Cultura Africana e Afro-Brasileira nas escolas de ensino básico. Aos professores, cabe o cumprimento do disposto legal. Contudo, apesar do que versa citada a lei, os docentes não tiveram, de um modo geral, em sua formação inicial, a preparação adequada para as exigências da articulação de tais conteúdos em sua prática educativa. Porém, a Resolução CNE/CP Nº. 01/2004 orienta que é responsabilidade das Instituições de Ensino Superior oportunizar a formação inicial e continuada de professores, assim como realizar atividades de ensino, pesquisa e extensão sobre o tema. Inspirada pelos elementos expostos, resolvi realizar um curso de formação para professores no estado do Piauí articulando a tríade ensino, pesquisa e extensão, uma vez que sou professora da Universidade Federal daquele estado, na cidade de Floriano, local da pesquisa de campo. Trata-se de uma pesquisa-formação com influência da pesquisa-ação e da sociopoética a partir dos fundamentos do aporte teórico-metodológico intitulado Pret@gogia. A Formação aconteceu durante o período letivo de 2011 e 2012 na Escola Municipal Eleutério Rezende e sua execução deu-se como projeto de extensão universitária contando com quatro bolsistas envolvidos. Seu principal objetivo foi promover o curso de formação para professoras do Ensino Fundamental I, objetivando a valorização do tema gerador “Cosmovisão Africana”. Realizamos sete módulos durante os quais professoras, pesquisadora e bolsistas do projeto de extensão estudaram, elaboraram e aplicaram planos de ação interventivos para a formação das professoras. Estas, por sua vez, reeditaram suas propostas pedagógicas e curriculares transformando o espaço escolar em território de valorização da cosmovisão africana a partir da articulação teórico-metodológica de seus princípios fundamentais. Além dessa constatação, a análise das ações interventivas também nos revelou o potencial transformador-pedagógico de uma pesquisa-formação, sobretudo na perspectiva da autoformação para todas nós envolvidas no processo. A pesquisa também está ancorada em um referencial teórico-metodológico em fase de gestação pelo núcleo das Africanidades Cearenses da UFC, o qual ajudo a elaborar e aplicar no âmbito da pesquisa e do ensino intitulado Pret@gogia. Esse aporte orienta-se pelos princípios da ancestralidade e da oralidade presentes na cosmovisão africana. Elaborei um estilo particular de escrita. Arrisco-me na criação de personagens, que chamo de meus “eus” ancestrais. Eles narram a pesquisa a partir de contos em enredos que procuram articular a exigência científica necessária a uma pesquisa à escrita literária e à tradição oral da cosmovisão africana.

ROCHA, Cristiana Costa da. Memória migrante: a experiência do trabalho escravo no tempo presente (Barras, Piauí). 2010. 185 f. Dissertação (Mestrado em História) - Universidade Federal do Ceará, Departamento de História, Programa de Pós-Graduação em História Social, Fortaleza-CE, 2010. / Submitted by Raul Oliveira (raulcmo@hotmail.com) on 2012-06-22T15:37:37Z No. of bitstreams: 1 2010_Dis_CCRocha.pdf: 484160 bytes, checksum: 085d93a352932cfddd211e1fd12a2ff1 (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2012-06-25T13:38:12Z (GMT) No. of bitstreams: 1 2010_Dis_CCRocha.pdf: 484160 bytes, checksum: 085d93a352932cfddd211e1fd12a2ff1 (MD5) / Made available in DSpace on 2012-06-25T13:38:12Z (GMT). No. of bitstreams: 1 2010_Dis_CCRocha.pdf: 484160 bytes, checksum: 085d93a352932cfddd211e1fd12a2ff1 (MD5) Previous issue date: 2010 / Esta dissertação apresenta um estudo sobre os trabalhadores de Barras, Piauí, que se deslocam repetidas vezes para os estados do Pará, Mato Grosso e Goiás e vivenciam formas de trabalho análogo à escravidão. Através das memórias destes homens obstinados na busca de trabalho para a superaração da pobreza, analiso as condições históricas em que se apresentam estas migrações, as imagens criadas em torno dos lugares de destino, suas experiências como trabalhadores escravizados e suas possibilidades de trabalho e sobrevivência ao retornarem à terra natal. Comumente, os laços de parentela estabelecidos entre o “gato” e os trabalhadores no lugar de origem, atuam como importante meio de arregimentação, coerção e controle destes últimos, essenciais para configuração das novas formas de trabalho escravo. / Cette dissertation présente um étude sur les ouvrier de Barras, Piauí, qui se décalent plusieurs fois pour les États du Pará, Mato Grosso et Goiás et font des travailles analogue à la esclavage. Atravers des memoires de ces hommes obstinés dans la recherche de travaille pour la supération de la povreté, j’analise les conditions historiques à que se presentent ces migrations, les images criées au tour des places de destins, ses experiences comme ouvriers esclavizés et ses possibilités de travaille e surveillance lorsqu’ils retournent à ses communauté d’origine. Pas rarement, os liaisons de parentage éstablis entre le “chat” et les ouvriers dans La place d’origine, actuent comme un importan moyen de regimentation, et contrôle de ces dernièrs, essenciaux à configuration des nouvelles formes de travaille esclave.