FOLMO: first order logic in Moodle

La Lógica, dirigida a estudiantes universitarios de Ingeniería, aporta al alumno una visión razonada del aprendizaje basada en la formalización del conocimiento y en la automatización de distintas formas del razonamiento humano [6]. Con el objetivo de potenciar su aprendizaje nace First Order Logic in Moodle (FOLMO), un software de fácil integración con Moodle que permite el trabajo autónomo del alumno mediante la realización de ejercicios propuestos por el profesor.Peer Reviewe

O JUIZ-ROBÔ E O CREPÚSCULO DA ATIVIDADE DECISÓRIA HUMANA

O presente texto aborda a questão da utilização de algoritmos de inteligência artificial com finalidade decisória. Explora-se as noções fundamentais sobre algoritmos, inteligência artificial e vieses cognitivos. As questões do subjetivismo e da discricionariedade também são exploradas e empreende-se um esforço para compreensão da adequação do “teste de Turing jurídico”. Ao final, indica-se que o momento atual revela um declínio do ato decisório, agora terceirizado para assessores, estagiários e algoritmos

Criptoativos e lavagem de dinheiro : desafios e adequação da legislação brasileira ao padrão internacional

Orientador: Rui Carlo DissenhaMonografia (graduação) - Universidade Federal do Paraná, Setor de Ciências Jurídicas, Curso de Graduação em DireitoInclui referênciasResumo: O presente artigo tem como objetivo a análise dos criptoativos, seu modo de funcionamento e as dificuldades que sua natureza pode impor sobre a dinâmica do combate ao delito da lavagem de dinheiro no Brasil, além de aferir se existe no país um aparato legal que seja suficiente para enfrentar tais dificuldades. Nesse sentido, o artigo encontra-se dividido em cinco capítulos. No primeiro capítulo, busca-se delinear os contornos do objeto da discussão, sua importância e método de pesquisa. No capítulo dois será feita a análise da natureza e modo de funcionamento dos criptoativos, com fito de possibilitar a análise posterior. Tendo este como base, no capítulo três será feita uma rápida análise do delito da lavagem de dinheiro e então uma exposição das possíveis dificuldades impostas pelos criptoativos na dinâmica de combate a tal delito. No capítulo quatro se realiza uma análise das opções legislativas mais apropriadas para lidar com tais dificuldades em comparação com a legislação vigente no país. Por fim, o capítulo cinco visa fazer um apanhado das conclusões as quais chegou a pesquisa depreendida. Neste, concluise que os ativos virtuais constituem uma séria ameaça ao modelo tradicional de combate à lavagem de dinheiro e que a legislação brasileira não se encontra preparada para lidar com tal problemática, sendo necessária a instauração de um marco legislativo que se volte ao tratamento de tais ativos.Abstract: The present article aims to analyze crypto-assets, their mode of operation and the difficulties that their nature might impose upon the dynamic of fighting against the crime of money laundering in Brazil, in addition to assessing whether there is a legal apparatus in the country that is sufficient to face such difficulties. In this sense, the article is divided into five chapters. The first chapter seeks to outline the contours of the object of discussion, its importance and research method. The second chapter will present an analysis of the nature and operating mode of crypto-assets, with the aim of enabling the posterior analysis. Starting with this foundation, the third chapter will contain a quick review of the money laundering delict and then an exposure of possible obstacles imposed by the crypto-assets upon the law enforcement of said delict. The fourth chapter will transit to a study of legislative options in search of a more appropriate way to deal with said obstacles, in comparison with the law currently in force in the country. Finally, the fifth chapter intends to wrap up the conclusions reached by the present study. The conclusion reached is that virtual assets constitute a serious threat to the traditional model of law enforcement on money laundering and that the Brazilian law is not ready to deal with said problematic, being necessary, then, the implementation of a legislative framework that focuses on the treatment of said assets

Precedentes vinculantes e as cortes supremas: uma análise crítica

RESUMO:O novo Código de Processo Civil procura instituir um sistema de precedentes judiciais obrigatórios. Alguns autores da processualística defendem que Superior Tribunal de Justiça e Supremo Tribunal Federal devem atuar como Cortes Supremas. Para tanto, seria fundamental a definição da ratio decidendi por ocasião do julgamento, declarando-se, portanto, qual é o precedente judicial, que passaria a vincular todos os demais órgãos do judiciário. Entretanto, mesmo na hipótese de a ratio decidendi ser definida pelo Tribunal Superior, é possível e inevitável a sua interpretação pelas instâncias inferiores, o que constitui um paradoxo, pois o precedente não pode vincular de modo absoluto. ABSTRACT:The new Code of Civil Procedure seeks to establish a system of mandatory judicial precedents. Some writers claim that the Superior Court of Justce and the Supreme Federal Court must act as supreme courts. For such, it would be fundamental to define the ratio decidendi on the occasion of the judgment, thus declaring the judicial precedent that would bind all other organs of the judiciary. However, even if the ratio decidendi is defined by the supreme courts, its interpretation by the lower courts is possible and inevitable, which is a paradox, since the precedent cannot bind absolutely

First-trimester ductus venosus Doppler velocimetry for estimation of risk of Down syndrome

OBJECTIVE: To test the hypothesis that the application of ductus venosus Doppler velocimetry between 10--14 weeks gestation may serve as a screening tool for the detection of fetuses with Down syndrome and estimate a new criteria of risk. PATIENTS AND METHODS: 491 fetuses were studied consecutively. In 132 cases a cytogenetic study was performed on material obtained from a biopsy of the chorionic villus, and in 359 cases the postnatal phenotype was used as a basis for the result. In addition to the routine ultrasonographic examination, all the fetuses were submitted to measurement of the nuchal translucency thickness. T student and ANOVA tests were used for the statistical analysis. The sensitivity, specificity, positive and negative predictive values, true-positive probability and likelihood ratio were calculated. RESULTS: There were 21 cases of Down syndrome. On these 21 fetuses the ductus venosus blood flow during atrial contraction was either absent (n = 3) or reversed (n = 17) - sensitivity = 95.2%. In the chromosomally normal fetuses (n = 470) only 8 had abnormal Doppler findings in the ductus venosus (specificity = 98.2%, positive and negative predictive values = 71.4% and 99.8%, respectively, and positive and negative likelihood ratio = 56 and 0.1, respectively). CONCLUSION: Our preliminary results suggest that the presence of Down syndrome may be strongly suspected when there is reverse or absent flow in the ductus venosus Doppler velocimetry during atrial contraction. We speculate the possibility of a new criteria to calculate the new risk of Down syndrome based on Doppler examination of the ductus venosus. Using the program of the Fetal Medicine Foundation to assess the baseline risk, a multiplying factor of approximately 0.1 (negative predictive value) is applied for normal ductus whereas a multiplying factor of 50 is applied in case of reverse or absent ductus, thus establishing a new adjusted risk factor.OBJETIVO: Investigar a validade da Dopplervelocimetria do duto venoso em detectar a síndrome de Down entre 10 e 14 semanas de gestação e propor novo cálculo de risco. PACIENTES E MÉTODOS: Foram estudados 491 fetos, consecutivamente. Em 132 casos realizou-se estudo citogenético no material obtido por biópsia de vilosidade coriônica e em 359 o resultado baseou-se no fenótipo do recém-nascido. Em todos os fetos realizaram-se, além da ultra-sonografia de rotina, a medida da translucência nucal e a Dopplervelocimetria do duto venoso. Na análise estatística foram utilizados o teste paramétrico T de student, a análise de variância e a regressão linear. Posteriormente, calcularam-se: sensibilidade, especificidade, valores preditivos positivo e negativo, probabilidade de falso-positivo e razões de probabilidades. RESULTADOS: Ocorreram 21 casos de trissomia do cromossomo 21. Desses casos, o fluxo no duto venoso durante a contração atrial foi ausente em três casos e reverso em 17 - sensibilidade de 95,2%. No grupo de fetos normais (470 casos), oito avaliações mostraram alterações do Doppler do duto venoso (especificidade de 98,2%, valores preditivos positivo e negativo de 71,4% e 99,8%, respectivamente, e razões de probabilidades positiva e negativa de 56 e 0,1, respectivamente). CONCLUSÕES: Nossos resultados preliminares sugerem que a presença de síndrome de Down pode ser fortemente suspeitada se houver fluxo reverso ou ausente no duto venoso. Especulamos a possibilidade de cálculo de novo risco para trissomia do 21 com base no Doppler do duto venoso. Utilizando o programa de risco da Fetal Medicine Foundation como risco basal, teríamos um fator multiplicador de aproximadamente 0,1 (razão de probabilidade negativa), caso duto normal, ou de 50 (razão de probabilidade positiva), caso duto reverso ou ausente, e assim, teremos novo risco corrigido.Universidade Federal do Rio de JaneiroUNIFESP Departamento de ObstetríciaUNIFESP, Depto. de ObstetríciaSciEL

Genomic African and Native American Ancestry and Chagas Disease: The Bambui (Brazil) Epigen Cohort Study of Aging.

BackgroundThe influence of genetic ancestry on Trypanosoma cruzi infection and Chagas disease outcomes is unknown.Methodology/principal findingsWe used 370,539 Single Nucleotide Polymorphisms (SNPs) to examine the association between individual proportions of African, European and Native American genomic ancestry with T. cruzi infection and related outcomes in 1,341 participants (aged ≥ 60 years) of the Bambui (Brazil) population-based cohort study of aging. Potential confounding variables included sociodemographic characteristics and an array of health measures. The prevalence of T. cruzi infection was 37.5% and 56.3% of those infected had a major ECG abnormality. Baseline T. cruzi infection was correlated with higher levels of African and Native American ancestry, which in turn were strongly associated with poor socioeconomic circumstances. Cardiomyopathy in infected persons was not significantly associated with African or Native American ancestry levels. Infected persons with a major ECG abnormality were at increased risk of 15-year mortality relative to their counterparts with no such abnormalities (adjusted hazard ratio = 1.80; 95% 1.41, 2.32). African and Native American ancestry levels had no significant effect modifying this association.Conclusions/significanceOur findings indicate that African and Native American ancestry have no influence on the presence of major ECG abnormalities and had no influence on the ability of an ECG abnormality to predict mortality in older people infected with T. cruzi. In contrast, our results revealed a strong and independent association between prevalent T. cruzi infection and higher levels of African and Native American ancestry. Whether this association is a consequence of genetic background or differential exposure to infection remains to be determined