A Modular Integer GCD Algorithm

This paper describes the first algorithm to compute the greatest common divisor (GCD) of two n-bit integers using a modular representation for intermediate values U, V and also for the result. It is based on a reduction step, similar to one used in the accelerated algorithm [T. Jebelean, A generalization of the binary GCD algorithm, in: ISSAC \u2793: International Symposium on Symbolic and Algebraic Computation, Kiev, Ukraine, 1993, pp. 111–116; K. Weber, The accelerated integer GCD algorithm, ACM Trans. Math. Softw. 21 (1995) 111–122] when U and V are close to the same size, that replaces U by (U-bV)/p, where p is one of the prime moduli and b is the unique integer in the interval (-p/2,p/2) such that b=UV ^-1(mod p) . When the algorithm is executed on a bit common CRCW PRAM with O(n log n log log log n) processors, it takes O(n) time in the worst case. A heuristic model of the average case yields O(n/log n) time on the same number of processors

Espécies do gênero Physalaemus no Estado do Rio de Janeiro (Amphibia, Anura, Leptodactylidae)

This work is about the morphology, reproduction, mating calls, natural history and distribution of seven species of the genus Physalaemus Fitzinger, 1826, from the State of Rio de Janeiro. The morphology of adults and tadpoles are described, as well as characteristics related with the reproductive behavior, including breeding sites; larval development; calling sites; breeding seasons. Some vocalizations are described. Taxonomic and biogeographic notes of the species are discussed and compared with the literature.Este trabalho aborda aspectos da morfologia, reprodução, vocalização, hábitos e distribuição de sete espécies do gênero Physalaemus Fitzinger, 1826, do Estado do Rio de Janeiro. São descritas a morfologia externa de adultos e de algunas larvas, bem como características relacionadas com o comportamento reprodutivo, envolvendo: sítios de postura; local de desenvolvimento larvar; sítios de vocalização; período reprodutivo. As análises de som de algumas vocalizações são apresentadas. Comentários taxonômicos e biogeográficos das espécies são discutidos e comparados com os encontrados na literatura

Derrotas constitucionais, vitórias políticas: oposição parlamentar e o uso tático das ações diretas de inconstitucionalidade para obtenção de exposição midiática

Questão atual de grande relevância no âmbito do Direito e da Ciência Política diz respeito à relação dos partidos de oposição com o Supremo Tribunal Federal. A tendência das oposições parlamentares (no caso, as excluídas do presidencialismo de coalizão montado pelo Palácio do Planalto) tem sido a de levar questões políticas para serem debatidas no âmbito judicial. Esta Monografia rastreou as causas, os inputs, que movem as oposições parlamentares em direção ao Supremo Tribunal Federal. Os dados reunidos indicam que a busca por exposição midiática é um fator primordial. No cálculo político realizado, a tática de litigar em juízo, via o endereçamento de Ações Diretas de Inconstitucionalidade (ADIs) ao Supremo, é um eficaz meio de projeção pública da legenda. Essa percepção é mais nítida quando se contrasta as taxas de vitórias judiciais das oposições e a publicidade obtida com a simples impetração do recurso de controle abstrato. A partir de considerável pesquisa empírica, obteve-se indicação de que a derrota no STF, mas o sucesso midiático, é uma variável importante a impulsionar as oposições parlamentares em direção à Corte

Comparação entre os valores seminais e a fertilidade do rato.

Trabalho de Conclusão de Curso - Universidade Federal de Santa Catarina, Centro de Ciências da Saúde, Departamento de Clínica Cirúrgica, Curso de Medicina, Florianópolis, 199

A REORIENTAÇÃO DE PROCEDIMENTOS ACADÊMICOS RELATIVOS ÀS INFORMAÇÕES E DADOS DA GRADUAÇÃO PARA PRESTAÇÃO DE INFORMAÇÕES: A EXPERIÊNCIA DA UNIVERSIDADE DO ESTADO DA BAHIA.

Este artigo tem como objetivo apresentar a experiência da Universidade do Estado da Bahia (UNEB) na reorganização da base de dados e reorientação dos procedimentos acadêmicos relativo aos cursos de graduação da referida instituição. Para tal fim, foram desenvolvidos estudos, análises e adotados procedimentos de gestão, para mapear e desenvolver ações sobre os principais problemas em torno dos registros acadêmicos relativos à graduação. A referida análise teve como tomou como base a análise dos dados coletados a partir do Sistema de Automação e Gerenciamento do Ensino Superior (SAGRES) e dos Microdados do Censo da Educação Superior do Instituto Nacional de Estudos e Pesquisas Educacionais Anísio Teixeira (INEP). Desse modo, realizamos, inicialmente, uma contextualização sumária sobre a avaliação da graduação no Brasil, de maneira a apresentar a experiência da UNEB. Descrevemos, então, alguns procedimentos de gestão utilizados para o aperfeiçoamento e melhoria dos processos de gestão de informações acadêmicas. A descrição de tais procedimentos pode se constituir em uma referência para instituições de ensino superior que se encontram em situação semelhante

Cardiovascular and Biochemical Responses in Exercise Recuperation in Diabetic Rats

The objective of this study was to assess the cardiovascular and biochemical responses during aerobic exercise recuperation in diabetic rats. There were utilized 12 animals, of 60 days, divided in two groups: control and diabetic. On the test day, the animals performed a 60 minutes’ session of predominantly aerobic exercise, using an overload of 6% of their body’s weight. After and before the exercise, the animals had their systolic blood pressure (SBP) and heart rate (HR), lactate, glycerol and glucose measured. The animals were trained during 30 days by swimming tank, with an extra weight equivalent to 4% extra weight a 40-min session. A decrease in glucose value occurred in the diabetic animals after exercising, as well as an increase of lactate in the same group. 1’, 3’, 5’ and 7’ after the exercise, a significant reduction of HR in the diabetic group was noticed when compared with the control group, such behavior was also observed with double product (DP) together with SBP values 1’, 3’ and 5’ after the exercise. The diabetic animals’ recovery has been possibly affected by a reduction of blood flow and a reduction of energetic substrates contribution, as well as lactate clearance

Precedentes judiciais na Administração Pública: limites e possibilidades de aplicação

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2016A aplicação dos precedentes judiciais foi objeto de disciplinamento pelo Código de Processo Civil de 2015, sob influências da doutrina dos precedentes oriunda dos países de tradição de common law e da evolução do direito jurisprudencial brasileiro, determinando-se que juízes e tribunais sigam a interpretação do direito sedimentada judicialmente nas instâncias superiores. A administração pública, regida e limitada por imposição constitucional ao princípio da legalidade, diante desse novo perfil da jurisdição brasileira, também deve adotar os precedentes vinculantes, desde que autorizada por regulamentação legal que discrimine as premissas para tal atendimento, legitimando a atuação dos agentes públicos, publicizando aos administrados a posição administrativa e assentando a integridade do direito no Estado. Abstract : The application of judicial precedents has been included in the brazilian New Code of Civil Procedure, under the influences of the typical common law doctrine and the evolution of the brazilian case law. According to this institute, judges and courts are supposed to follow the jurisprudence of the higher courts. Public administration governed and limited by the constitutional principle of legality must apply the judicial precedents as well, in order to stick to this new profile of the national jurisdiction. The application of judicial precedents by public administration may require the edition and approval of specific legal provisions to legitimize the technical procedure and to impose its exactly limits. This way, public administration is able to publicize its standpoint at important juridical themes and to work for Law s integrity within the State

Precedentes judiciais na administração pública: limites e possibilidades de aplicação

Divulgação dos SUMÁRIOS das obras recentemente incorporadas ao acervo da Biblioteca Ministro Oscar Saraiva do STJ. Em respeito à Lei de Direitos Autorais, não disponibilizamos a obra na íntegra.Localização na estante: 340.142:35(81) O48p 2.ed

AÇÃO DE DIREITO MATERIAL E EXECUÇÃO FISCAL ADMINISTRATIVA NO CONTEXTO DA DESJUDICIALIZAÇÃO: (IM)POSSIBILIDADES CONSTITUCIONAIS

A execução fiscal judicial tem se mostrado, conforme relatórios do Conselho Nacional de Justiça, ineficaz e ineficiente. A execução fiscal administrativa poder ser uma solução para dar melhor efetividade e satisfatividade aos créditos públicos executados, contribuindo para a desjudicialização da Administração Pública. A constitucionalidade desse tipo de procedimento, sendo uma forma de ação de direito material, depende da verificação do conteúdo do princípio constitucional do devido processo legal e das competências legislativas da União e dos Estados sobre processo e procedimento