Sti - logica livre : um contributo à aprendizagem de equivalência lógica proposicional no âmbito do ensino superior

Orientador : Marcos Antonio SchreinerMonografia (graduação) - Universidade Federal do Paraná, Setor de Palotina, Curso de Graduação em medicina VeterináriaInclui referênciasResumo : O presente trabalho aborda o desenvolvimento e a avalia¸c˜ao de um Sistema Tutor Inteligente (STI) a ser utilizado no ensino de Equivalˆencia Lo'gica Proposicional, usufruindo de tecnologias na 'area da Inteligˆencia Arti?cial (IA), aplicadas 'a Educa¸c˜ao. A usabilidade do STI desenvolvido 'e baseada na solu¸c˜ao de desa?os, provendo feedbacks personalizados, paralelos ao progresso do aluno. Por'em, a principal caracter'istica do sistema 'e levar em conta a individualidade do aluno no que se refere ao ritmo e a forma com que ele aprende, de modo que o software poder'a trabalhar na Zona de Desenvolvimento Proximal (ZDP) do aprendiz, por meio de um grafo de conteu'dos. A metodologia utilizada no trabalho 'e denominada Development Research, na qual buscamos a solu¸c˜ao de um problema vivenciado em cursos de Computa¸c˜ao. O STI - L'ogica Livre foi submetido a uma s'erie de testes e avalia¸c˜oes, com o intuito de valid'a-lo enquanto ferramenta educacional, tais avalia¸co˜es consistem em (i) avalia¸c˜ao por especialistas nas 'areas de Computa¸c˜ao, Educa¸c˜ao e Matem'atica; (ii) utiliza¸c˜ao do STI por um grupo de alunos de gradua¸c˜ao, com pr'e e po's teste (sendo pr'e teste antes da utiliza¸c˜ao e p'os teste depois dela) para avaliar o desenvolvimento dos alunos; (iii) e uma avalia¸c˜ao do sistema pelos alunos utilizadores. Como resultado obtivemos uma melhora consider'avel no desempenho dos alunos que ?zeram uso do software, al'em de considerac¸o˜es pertinentes nos question'arios de avalia¸c˜ao. Ao ?m da pesquisa, 'e poss'ivel a?rmar que o STI - Lo'gica Livre contribuiu na aprendizagem dos alunos que o utilizaram

Minimal Symptom Expression' in Patients With Acetylcholine Receptor Antibody-Positive Refractory Generalized Myasthenia Gravis Treated With Eculizumab

The efficacy and tolerability of eculizumab were assessed in REGAIN, a 26-week, phase 3, randomized, double-blind, placebo-controlled study in anti-acetylcholine receptor antibody-positive (AChR+) refractory generalized myasthenia gravis (gMG), and its open-label extension

Juxtaposing BTE and ATE – on the role of the European insurance industry in funding civil litigation

One of the ways in which legal services are financed, and indeed shaped, is through private insurance arrangement. Two contrasting types of legal expenses insurance contracts (LEI) seem to dominate in Europe: before the event (BTE) and after the event (ATE) legal expenses insurance. Notwithstanding institutional differences between different legal systems, BTE and ATE insurance arrangements may be instrumental if government policy is geared towards strengthening a market-oriented system of financing access to justice for individuals and business. At the same time, emphasizing the role of a private industry as a keeper of the gates to justice raises issues of accountability and transparency, not readily reconcilable with demands of competition. Moreover, multiple actors (clients, lawyers, courts, insurers) are involved, causing behavioural dynamics which are not easily predicted or influenced. Against this background, this paper looks into BTE and ATE arrangements by analysing the particularities of BTE and ATE arrangements currently available in some European jurisdictions and by painting a picture of their respective markets and legal contexts. This allows for some reflection on the performance of BTE and ATE providers as both financiers and keepers. Two issues emerge from the analysis that are worthy of some further reflection. Firstly, there is the problematic long-term sustainability of some ATE products. Secondly, the challenges faced by policymakers that would like to nudge consumers into voluntarily taking out BTE LEI

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good

Search for stop and higgsino production using diphoton Higgs boson decays

Results are presented of a search for a "natural" supersymmetry scenario with gauge mediated symmetry breaking. It is assumed that only the supersymmetric partners of the top-quark (stop) and the Higgs boson (higgsino) are accessible. Events are examined in which there are two photons forming a Higgs boson candidate, and at least two b-quark jets. In 19.7 inverse femtobarns of proton-proton collision data at sqrt(s) = 8 TeV, recorded in the CMS experiment, no evidence of a signal is found and lower limits at the 95% confidence level are set, excluding the stop mass below 360 to 410 GeV, depending on the higgsino mass

Search for anomalous production of events with three or more leptons in pp collisions at √s = 8TeV

Published by the American Physical Society under the terms of the Creative Commons Attribution 3.0 License. Further distribution of this work must maintain attribution to the author(s) and the published articles title, journal citation, and DOI.A search for physics beyond the standard model in events with at least three leptons is presented. The data sample, corresponding to an integrated luminosity of 19.5fb-1 of proton-proton collisions with center-of-mass energy s=8TeV, was collected by the CMS experiment at the LHC during 2012. The data are divided into exclusive categories based on the number of leptons and their flavor, the presence or absence of an opposite-sign, same-flavor lepton pair (OSSF), the invariant mass of the OSSF pair, the presence or absence of a tagged bottom-quark jet, the number of identified hadronically decaying τ leptons, and the magnitude of the missing transverse energy and of the scalar sum of jet transverse momenta. The numbers of observed events are found to be consistent with the expected numbers from standard model processes, and limits are placed on new-physics scenarios that yield multilepton final states. In particular, scenarios that predict Higgs boson production in the context of supersymmetric decay chains are examined. We also place a 95% confidence level upper limit of 1.3% on the branching fraction for the decay of a top quark to a charm quark and a Higgs boson (t→cH), which translates to a bound on the left- and right-handed top-charm flavor-violating Higgs Yukawa couplings, λtcH and λctH, respectively, of |λtcH|2+|λctH|2<0.21

Measurement of associated W plus charm production in pp collisions at √s=7 TeV

Peer reviewe

Discutindo a educação ambiental no cotidiano escolar: desenvolvimento de projetos na escola formação inicial e continuada de professores

A presente pesquisa buscou discutir como a Educação Ambiental (EA) vem sendo trabalhada, no Ensino Fundamental e como os docentes desta escola compreendem e vem inserindo a EA no cotidiano escolar., em uma escola estadual do município de Tangará da Serra/MT, Brasil. Para tanto, realizou-se entrevistas com os professores que fazem parte de um projeto interdisciplinar de EA na escola pesquisada. Verificou-se que o projeto da escola não vem conseguindo alcançar os objetivos propostos por: desconhecimento do mesmo, pelos professores; formação deficiente dos professores, não entendimento da EA como processo de ensino-aprendizagem, falta de recursos didáticos, planejamento inadequado das atividades. A partir dessa constatação, procurou-se debater a impossibilidade de tratar do tema fora do trabalho interdisciplinar, bem como, e principalmente, a importância de um estudo mais aprofundado de EA, vinculando teoria e prática, tanto na formação docente, como em projetos escolares, a fim de fugir do tradicional vínculo “EA e ecologia, lixo e horta”.Facultad de Humanidades y Ciencias de la Educació

Sti - logica livre : um contributo à aprendizagem de equivalência lógica proposicional no âmbito do ensino superior

Orientador : Marcos Antonio SchreinerMonografia (graduação) - Universidade Federal do Paraná, Setor de Palotina, Curso de Graduação em medicina VeterináriaInclui referênciasResumo : O presente trabalho aborda o desenvolvimento e a avalia¸c˜ao de um Sistema Tutor Inteligente (STI) a ser utilizado no ensino de Equivalˆencia Lo'gica Proposicional, usufruindo de tecnologias na 'area da Inteligˆencia Arti?cial (IA), aplicadas 'a Educa¸c˜ao. A usabilidade do STI desenvolvido 'e baseada na solu¸c˜ao de desa?os, provendo feedbacks personalizados, paralelos ao progresso do aluno. Por'em, a principal caracter'istica do sistema 'e levar em conta a individualidade do aluno no que se refere ao ritmo e a forma com que ele aprende, de modo que o software poder'a trabalhar na Zona de Desenvolvimento Proximal (ZDP) do aprendiz, por meio de um grafo de conteu'dos. A metodologia utilizada no trabalho 'e denominada Development Research, na qual buscamos a solu¸c˜ao de um problema vivenciado em cursos de Computa¸c˜ao. O STI - L'ogica Livre foi submetido a uma s'erie de testes e avalia¸c˜oes, com o intuito de valid'a-lo enquanto ferramenta educacional, tais avalia¸co˜es consistem em (i) avalia¸c˜ao por especialistas nas 'areas de Computa¸c˜ao, Educa¸c˜ao e Matem'atica; (ii) utiliza¸c˜ao do STI por um grupo de alunos de gradua¸c˜ao, com pr'e e po's teste (sendo pr'e teste antes da utiliza¸c˜ao e p'os teste depois dela) para avaliar o desenvolvimento dos alunos; (iii) e uma avalia¸c˜ao do sistema pelos alunos utilizadores. Como resultado obtivemos uma melhora consider'avel no desempenho dos alunos que ?zeram uso do software, al'em de considerac¸o˜es pertinentes nos question'arios de avalia¸c˜ao. Ao ?m da pesquisa, 'e poss'ivel a?rmar que o STI - Lo'gica Livre contribuiu na aprendizagem dos alunos que o utilizaram