QJava: A Monadic Java Library for Quantum Programming

To help the understanding and development of quantum algorithms there is an effort focused on the investigation of new semantic models and programming languages for quantum computing. Researchers in computer science have the challenge of deve loping programming languages to support the creation, analysis, modeling and simulation of high level quantum algorithms. Based on previous works that use monads inside the programming language Haskell to elegantly explain the odd characteristics of quantum computation (like superposition and entanglement), in this work we present a monadic Java library for quantum programming. We use the extension of the programming language Java called BGGA Closure, that allow the manipulation of anonymous functions (closures) inside Java. We exemplify the use of the library with an implementation of the Toffoli quantum circuit

Globalização e superação da soberania moderna

Este artigo investiga a superação da Soberania moderna no mundo globalizado. A importância do tema é que, diante da flexibilização da Soberania, elementos externos passam a influir diretamente nas decisões internas dos países e, consequentemente, na vida do povo. É apresentado em quatro itens, a saber: Estado Moderno; Soberania; Globalização; e superação da Soberania moderna. Chegou-se às seguintes conclusões: a Soberania é um elemento do Estado Moderno que vem sofrendo adaptações frente aos atuais fenômenos sociais, especialmente a Globalização, que acarreta crise no Direito, na Democracia e no próprio modelo de Estado. Pensa-se na desconstrução do Estado Moderno diante da superação do conceito de Soberania e admissão do Direito Transnacional para incluir, num modelo de cooperação e solidariedade, todas as normas que regulam atos ou fatos que transcendem fronteiras nacionais. No que se refere ao procedimento metodológico, o trabalho foi desenvolvido sob o método indutivo. A pesquisa foi bibliográfica e documental

An Algebra of Pure Quantum Programming

We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.Comment: To appear in ENTCS, 3rd International Workshop on Quantum Programming Languages, 2005. 21 Page

Uma Ontologia para Computação Quântica

Quantum computing is currently presented as a new computational paradigm in relation to traditional computing proposal. In quantum computing the information representation and evolution of a computing system are different. Although there are several studies on it, a knowledge model describing quantum computation has not yet been proposed. n order to do this, the following work presents an ontology in OWL, this one is modeled to include the main characteristics of the quantum computation, providing a version of knowledge for that specific domain.A computação quântica se apresenta atualmente como um novo paradigma computacional em relação à proposta de computação tradicional. Nela a representação de informação e evolução de um sistema computacional são diferentes. Apesar de um grande estudo sobre ela, ainda não foi proposto um modelo de conhecimento que descreva a computação quântica. Em busca disso, o seguinte trabalho apresenta uma ontologia em OWL, esta é modelada para incluir as principais características da computação quântica, fornecendo uma versão de conhecimento para esse domínio específico

Generating semantic networks to the PubMed

This paper presents a topic map approach to PubMed in order to create a knowledge representation for this information system. PubMed is a free search engine that gives very full coverage of the related biomedical sciences. With more than 17 millions of citations since 1865, PubMed users have several problems to find the papers desired. So, it is necessary to organize these concepts in a semantic network. To achieve this objective, we use the Metamorphosis system, choosing the keywords from MeSH ontology. This way, we obtain an ontological index for PubMed, making easier to find specific papers

Simulando o modelo ORCH-OR através de autômatos celulares quânticos

This article is the proposal to establish a computational implementation as the model of cellular automata to simulate the behavior of biological structures (microtubules) of the quantum theory of Stuart Hameroff and Roger Penrose call ORCH OR. According to this theory the microtubules, which are within the neurons, act as biological quantum hardware and the result of its processing is one of the paths to understanding the formation of human consciousness. Cellular automata second Gregory [1] is appropriate for modeling organic systems, where the physical or biological problem is divided into cells that behave like machines finite

Adolescentes e crianças vítimas de violência atendidas em um Programa de Psicologia em Delegacias da Mulher do ABC Paulista

Este estudo levantou dados de prontuários de clientela (adolescentes e crianças) que recebera assistência em um “programa de atenção psicológica imediata às vítimas de violência”, em delegacias especiais para mulheres e crianças, localizadas na região da grande São Paulo, Brasil. Entre os 354 registros de atendimentos psicológicos nos anos de 2014 a 2016, as crianças e adolescentes totalizaram 32. Desse total, 20 registros (62%) eram de vítimas do sexo feminino, na faixa etária de 4 a 16 anos. Verificou-se que as principais queixas sobre violência (Abuso sexual; agressões física/verbal; negligência) não se distanciaram dos dados apresentados pelos órgãos oficiais e pelas pesquisas. A violência praticada contra crianças esteve sempre relacionada ao contexto familiar. É possível considerar a família como eixo central de atenção sendo ela o grande foco da prevenção.

Adolescentes e crianças vítimas de violência atendidas em um Programa de Psicologia em Delegacias da Mulher do ABC Paulista

Este estudo levantou dados de prontuários de clientela (adolescentes e crianças) que recebera assistência em um “programa de atenção psicológica imediata às vítimas de violência”, em delegacias especiais para mulheres e crianças, localizadas na região da grande São Paulo, Brasil. Entre os 354 registros de atendimentos psicológicos nos anos de 2014 a 2016, as crianças e adolescentes totalizaram 32. Desse total, 20 registros (62%) eram de vítimas do sexo feminino, na faixa etária de 4 a 16 anos. Verificou-se que as principais queixas sobre violência (Abuso sexual; agressões física/verbal; negligência) não se distanciaram dos dados apresentados pelos órgãos oficiais e pelas pesquisas. A violência praticada contra crianças esteve sempre relacionada ao contexto familiar. É possível considerar a família como eixo central de atenção sendo ela o grande foco da prevenção.