-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Adenauer Correa YAMIN; Bruno MOURA; Renata Hax Sander REISER; Ulisses BRISOLARA; Lidiane Da SILVA et al.
2023.
Fuzzysentclass: interval-valued fuzzy approach to the sentiment analysis problem via sentiwordnet.
In:
Fuzzieee 2023.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Paiva CRUZ; Helida SANTOS; Renata Hax Sander REISER; Rafael FERNANDEZ; Humberto Bustince SOLA.
2022.
Modelización difusa intuicionista para simulación de computación cuántica.
In:
Estylf22: xxi congreso español sobre tecnologías y lógica fuzzy.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Health Sciences
Public Health, Environmental and Occupational Health
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Guilherme SCHNEIDER; Bruno MOURA; Bruna FREITAS; Eduardo M MONKS; Adenauer Correa YAMIN et al.
2021.
Empregando medidas de consenso fuzzy para gerenciamento de recursos em nuvens computacionais.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Social Sciences & Humanities
Education
Lizandro De Souza OLIVEIRA; Rodrigo MOURA; Adenauer Correa YAMIN; Helida SANTOS; Eliana ZEN et al.
2021.
Estratégias para análise consensual na intf-hybridmem.
In:
Congresso brasileiro de sistemas fuzzy - cbsf 2021.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Psychology (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Computer Science Applications
-
Social Sciences & Humanities
Education
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Computer Science (miscellaneous)
Patrick FERNADES; Renato DILLI; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2020.
Um framework fuzzy para suporte à seleção em regime de incerteza de recursos na iot.
In:
Semish 2020 47 seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Patrick FERNANDES; Renato DILLI; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2020.
Iot-dfr3: explorando a geração dinâmica de regras fuzzy para classificação de recursos na iot.
In:
Xxxviii simpósio brasileiro de telecomunicações e processamento de sinais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vilnei Marins NEVES; Marília Pit Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2020.
Samsara architecture: exploring situation awareness in cloud computing management.
In:
Xi international green and sustainable computing conference.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Rodrigo MOURA; Lizandro De Souza OLIVEIRA; Guilherme SCHNEIDER; Maurício Lima PILLA; Renata Hax Sander REISER et al.
2020.
Intf-hybridmem: page migration in hybrid memories considering cost efficiency.
In:
Xi international green and sustainable computing conference;.
Brasil.
-
Social Sciences & Humanities
Education
Yuri ROSA; Renata Hax Sander REISER; Luciana FOSS; André Rauber Du BOIS; Marilton Sanchotene AGUIAR et al.
2020.
Aprendendo vetores com uma aventura no espaço.
In:
Semana integrada de inovação; ensino; pesquisa e extensão da ufpel.
Brasil.
-
Social Sciences & Humanities
Education
Giuliana OLIVEIRA; J MARQUES; Y ROSA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al.
2019.
Elementais rpg: aplicação da atividade para o desenvolvimento das habilidades de abstração; reconhecimento de padrões e pensamento algorítmico.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Júlia Krüger VIEIRA; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER.
2019.
Primeiros passos da tradução de redes de petri fuzzy para gramática de grafos com atributo.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Alex BERTEI; Luciana FOSS; Renata Hax Sander REISER.
2019.
A-cc: interval-valued atanassov?s fuzzy extension.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Economics and Econometrics
Catherine GAYER; Laís BARTH; Amanda ARGOU; Renata Hax Sander REISER.
2019.
Aplicação da lógica fuzzy como tomada de decisão no mercado financeiro: uma revisão sistemática.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduardo XAVIER; Marcelo MACHADO; Luciana FOSS; Renata Hax Sander REISER.
2019.
Aplicacação de lógica fuzzy em uma metodologia de avaliação de ux para uma oficina de aprendizagem criativa.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Guilherme SCHNEIDER; Bruno MOURA; Adenauer Correa YAMIN; Renata Hax Sander REISER.
2019.
Balanceamento de carga em nuvens computacionais empregando lógica fuzzy tipo-2 e ordens admissíveis.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rodrigo MOURA; Guilherme SCHNEIDER; Adenauer Correa YAMIN; Maurício Lima PILLA; Renata Hax Sander REISER.
2019.
F-hybridmem: uma proposta para gerência de memórias híbridas explorando lógica fuzzy.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Lidiane COSTA; Adenauer Correa YAMIN; Bedregal B; Renata Hax Sander REISER.
2019.
Generalized atanassov?s intuitionistic fuzzy index: interpreting hesitance; favour and against degrees.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Diogo CARDOSO; Luciana FOSS; Renata Hax Sander REISER.
2019.
Ivfpn: fuzzy petri nets using interval-valued fuzzy sets.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Mônica MATZNAUER; Renata Hax Sander REISER; Helida SANTOS; Bedregal B C.
2019.
Studying typical hesitant fuzzy implication functions: conjugate and dual constructions.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Bedregal B.
2019.
Towards inference schemes in approximate reasoning using n-dimensional fuzzy logic.
In:
Weit - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Mathematics (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Engineering (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
Renata DILLI; Amanda ARGOU; Ana Marilza Pernas FLEISCHMANN; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2018.
Exehda-rr: uma proposta para tratar incertezas e otimizar o processo de classificação de recursos na iot.
In:
10º simpósio brasileiro de computação ubíqua e pervasiva.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
Simão MARTIN; Cavalheiro SIMONE; Renata Hax Sander REISER; Foss L; Ana Rita MAZZINI et al.
2018.
Soccercraft: relato de atividade para ensino aprendizagem de habilidades do pensamento computacional aplicada no sexto ano do ensino fundamental.
In:
Workshop sobre educação em computação (wei_csbc).
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Mathematics (miscellaneous)
-
Social Sciences & Humanities
Education
Catherine GAYER; Amanda ARGOU; Marilton Sanchotene AGUIAR; Clause PIANA; André Rauber DUBOIS et al.
2018.
Sfuzzy avalia e=a: avaliac~ao de discentes na promoc~ao do ensino e da aprendizagem de habilidades via pensamento computacional.
In:
Cbsf 2018 - congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Renato DILLI; Argou AMANDA; Adenauer Correa YAMIN; Renata Hax Sander REISER.
2018.
Resources ranking: decision making under uncertainty combining machine learning and fuzzy logic.
In:
37th north american fuzzy information processing society annual conference.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Mathematics (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
Simão MARTIN; Simone André Da Costa CAVALHEIRO; Luciana FOSS; Marilton Sanchotene AGUIAR; Renata Hax Sander REISER.
2017.
Desenvolvendo o raciocínio lógico utilizando quadrinhos: uma proposta de atividade para o terceiro ano do ensino fundamental via pensamento computacional.
In:
Iv workshop-escola de informática teórica (weit 2017).
Brasil.
-
Physical Sciences
Artificial Intelligence
Samuel Da Silva FURTADO; Lucas AGOSTINI; André Rauber Du BOIS; Júlio Machado NETO; Renata Hax Sander REISER.
2017.
Representing fuzzy bi-implications through quantum computing.
In:
Iv workshop-escola de informática teórica (weit 2017).
Brasil.
-
Physical Sciences
Artificial Intelligence
Lucas Mendes TORTELLI; Dirceu MARASCHINI; Marilton Sanchotene AGUIAR; Aline Brum LORETO; Renata Hax Sander REISER.
2017.
Sistema fuzzy para detecção de bordas em redes neurais por convolução intervalar.
In:
Iv workshop-escola de informática teórica (weit 2017).
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Júlio Machado NETO; Lucas AGOSTINI; Anderson Braga De ÁVILA; Maurício Lima PILLA; Renata Hax Sander REISER.
2017.
Exmod-gm: uma extensão para medidas quânticas para o ambiente d-gm.
In:
Iv workshop-escola de informática teórica (weit 2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno MOURA; Guilherme SCHNEIDER; Adenauer Correa YAMIN; Pilla Mauricio L; Renata Hax Sander REISER.
2017.
Escalonamento de tarefas em grades computacionais empregando lógica fuzzy do tipo 2.
In:
Iv workshop-escola de informática teórica (weit 2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Iuri WEISSHAHN; Rodrigo ACOSTA; Simone André Da Costa CAVALHEIRO; Clausen PIANA; André Rauber DUBOIS et al.
2017.
Desenvolvendo o pensamento computacional com a plataforma lego no terceiro ano do ensino fundamental: proposta de atividade e relato de aplicação ?.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Amanda ARGOU; Renato DILLI; Adenauer Correa YAMIN; Maurício Lima PILLA; Renata Hax Sander REISER.
2017.
Lógica fuzzy na definição da importância dos atributos de qos na seleção de recursos da iot.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Social Sciences & Humanities
Education
André NACHTIGALL; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; Luciana FOSS; André Rauber Du BOIS et al.
2017.
Proposta de atividade para o sexto ano do ensino fundamental: ordenação.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Christiano Martino Otero AVILA; Narúsci BASTOS; Renata Hax Sander REISER; Bruno ZATT.
2017.
Aplicação da lógica fuzzy no ensino e aprendizagem: uma revisão sistemática.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alex BERTEI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER.
2017.
Estudo sobre as abordagens para gramática de grafos fuzzy.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Social Sciences & Humanities
Education
Catherine GAYER; Amanda ARGOU; Renata Hax Sander REISER; Cavalheiro SIMONE; Luciana FOSS et al.
2017.
Sistema fuzzy de avaliação de habilidades para promoção de aprendizagem via pensamento computacional.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Bedregal B; Ivan MEZZOMO.
2017.
Main properties of n-dimensional fuzzy implications.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane COSTA; Mônica MATZNAUER; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2017.
Truly intuitionistic fuzzy properties of implications from generalized atanassov?s intuitionistic fuzzy index.
In:
Workshop escola de informática teórica (weit2017).
Brasil.
-
Physical Sciences
Artificial Intelligence
Bruno MOURA; Adenauer Correa YAMIN; Renata Hax Sander REISER.
2016.
Escalonamento de tarefas em grades computacionais considerando regime de incerteza e imprecisão de dado.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2016.
Otimização de simulação de computação quântica em gpus.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Jonathas A O CONCEIÇÃO; André Rauber DUBOIS; Renata Hax Sander REISER.
2016.
Adicionando transactional boosting em um computador da linguagem haskell.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Júlio MACHADO; Lucas AGOSTINI; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2016.
Aplicando princípios quânticos fuzzy na modelagem de comportamento em robos.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Education
Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER.
2016.
Proposta de escalonamento de transações para stm haskell.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2016.
Transformada de haar à trous otimizada e análise de desempenho.
In:
Erad 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Yan SOARES; Letícia SAMPAIO; Bruno MOURA; Renata Hax Sander REISER; Adenauer Correa YAMIN et al.
2016.
Fgrid: modelagem de variáveis de incertezas para escalonamento em grades computacionais usando lógica fuzzy.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Lucas AGOSTINI; Júlio Machado NETO; Maurício Lima PILLA; Renata Hax Sander REISER.
2016.
Qexvhdj: extensão do simulador quântico em vhdl.
In:
Erad/rs 2016 - xvi escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Alexander LEMKE; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA; André Rauber DUBOIS.
2016.
Quantum interpretation of intuitionistic fuzzy s-implications.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Engineering (miscellaneous)
Lucas AGOSTINI; Júlio MACHADO; Renata Hax Sander REISER; Pilla Maurício L.
2016.
Qexvhdl; uma nova abordagem a computação quântica simulada em hardware.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bruno MOURA; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2016.
Uma abordagem fuzzy intervalar para escalonamento de tarefas em grades computacionais.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Yan SOARES; Letícia SAMPAIO; Bruno MOURA; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2016.
Escalonamento em grades computacionais usando lógica fuzzy.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Jonathas A O CONCEIÇÃO; Renata Hax Sander REISER; André Rauber DUBOIS; Rodrigo M DUARTE.
2016.
Transactional boosting in a purely functional language.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Jonathas A O CONCEIÇÃO; Renata Hax Sander REISER; André Rauber DUBOIS.
2016.
Preserving properties of necessity and possibility connectives over dual and conjugate triangular norms.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Rodrigo M DUARTE; Renata Hax Sander REISER; André Rauber DUBOIS.
2016.
Proposta de um escalonador de transações para uma linguagem funcional pura.
In:
Cnmac 2016 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Yasmin HACKBART; Renata Hax Sander REISER.
2016.
Monitoria de sistemas discretos e análise combinatória e teoria dos grafos nos cursos de computação.
In:
Semana integrada de ensino; pesquisa e extensão (siepe/ufpel).
Brasil.
-
Social Sciences & Humanities
Education
Yuri WEISSHAHN; Gustavi PINHO; Simone André Da Costa CAVALHEIRO; C PIANA; André Rauber DUBOIS et al.
2016.
Representação e análise de dados no quinto ano do ensino fundamental: proposta de atividade e relato de aplicação.
In:
Xxii workshop de informática na escola.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Education
Simone André Da Costa CAVALHEIRO; Ana Marilza Pernas FLEISCHMANN; Marilton Sanchotene AGUIAR; Luciana FOSS; André Rauber DUBOIS et al.
2016.
Information organization via computational thinking: case study in a primary school classroom.
In:
24º wei workshop sobre educação em computação.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Alice De Jesus KOZAKEVICIUS; Maurício Lima PILLA.
2016.
Otimização para aumento de desempenho da transformada de haar à trous.
In:
Cnmac 2016 congresso brasileiro de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
-
Social Sciences & Humanities
Education
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2015.
Estudo de desempenho sobre a biblioteca int-haar.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science Applications
Anderson Braga De ÁVILA; Murilo Figueiredo SCHMALFUSS; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Gpu-aware: simulação quântica distribuíd via vird-gm.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Extensão do ambiente vird-gm para suporte à processos parciais para portas controladas.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lucas AGOSTINI; Júlio Machado NETO; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Introduzindo aplicações no vpe-gm para visualização de emoções entre agentes.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Goivani De Quadros RODRIGUES; Pilla Maurício LIMA; Renata Hax Sander REISER.
2015.
Otimizações de simulações quânticas no ambiente vpe-qgm.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Biomedical Engineering
Júlio MACHADO; Lucas AGOSTINI; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Modelagem da tomografia quântica via vpe-qgm.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rodrigo M DUARTE; André Rauber DUBOIS; Pilla MAURICIO; Renata Hax Sander REISER.
2015.
Implementação de um algoritmo de tabela hash não bloquenate em haskell.
In:
Erad 2015 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science Applications
Goivani De Quadros RODRIGUES; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Otimizações das simulações quânticas no vpe-qgm.
In:
V weciq workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Avila ANDERSON; Renata Hax Sander REISER; Pilla MAURICIO.
2015.
Distribuição da computação de portas quânticas controladas no modelo de mpps.
In:
V weciq workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Pilla Maurício LIMA; Alice De Jesus KOZAKEVICIUS.
2015.
Int-hwt: increasing performance and exactitude of 1d and 2d haar wavelet transforms.
In:
Sim/emicro simpósio sul de microeletrônica e a escola de microeletrônica.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Life Sciences
Neuroscience (miscellaneous)
Lucas AGOSTINI; Júlio Machado NETO; Cristian BOSIN; Maurício Lima PILLA; Bruno ZATT et al.
2015.
Qexvhdl: extensão do simulador quântico em vhdl.
In:
Wscad/wic: simpósio de sistemas computacionais de alto desempenho - workshop de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER.
2015.
Comparando o desempenho de implementações de tabelas hash concorrentes em haskell.
In:
Wscad 2015 - xvi simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Otimização de simulação de computação quântica através da redução e decomposição baseados no operador identidade.
In:
Wscad 2015 - xvi simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Education
-
Social Sciences & Humanities
Language and Linguistics
Wilson CARDOSO; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO.
2015.
Estudo de gramática de grafos fuzzy.
In:
Weit 2015: iii workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Education
Plínio Finkenauer JUNIOR; Simone André Da Costa CAVALHEIRO; Classe PIANA; Ana Rita MAZZINI; André Rauber DUBOIS et al.
2015.
Relato sobre o ensino de algoritmos no contexto do pensamento computacional para estudantes do quinto ano do ensino fundamental.
In:
Cec 2015 - congresso de extensão e cultura.
Brasil.
-
Social Sciences & Humanities
Education
Adson DUARTE; Simone André Da Costa CAVALHEIRO; Renata Hax Sander REISER; Clause PIANA; Marilton Sanchotene AGUIAR et al.
2015.
Relato da atividade colorindo com números nas escolas de ensino fundamental de pelotas.
In:
Cec 2015 - congresso de extensão e cultura.
Brasil.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
Iuri WEISSHAHN; Renata Hax Sander REISER; Ana Rita MAZZINI; André Rauber DUBOIS; Adson DUARTE et al.
2015.
Pensamento computacional no brasil: o estado da arte.
In:
Cic 2105 - xxiv congresso de iniciação científica da universidade federal de pelotas.
Brasil.
-
Social Sciences & Humanities
Education
Wine SILVA; Clause PIANA; Luciana FOSS; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO et al.
2015.
Desenvolvendo as habilidaddes de coleta; análise e representação de dados no ensino fundamental.
In:
Cic 2015 - xxiv congresso de iniciação científica da universidade federal de pelotas.
Brasil.
-
Social Sciences & Humanities
Education
Gustavo SANTOS; Plínio Finkenauer JUNIOR; B ARNHOLD; Simone André Da Costa CAVALHEIRO; Clause PIANA et al.
2015.
Relato sobre o ensino de algoritmos a estudantes do quinto ano do ensino público fundamental.
In:
Weit 2015 iii workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
Iuri WEISSHAHN; Adson DUARTE; Cavalheiro SIMONE; Foss L; Marilton Sanchotene AGUIAR et al.
2015.
Pensamento computacional no brasil: o estado da arte.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Rosana Medina ZANOTTELLI; Renata Hax Sander REISER; Cavalheiro SIMONE; Foss L.
2015.
Sensitivity and dual constructions on the fuzzy f-xor class.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER.
2015.
Comparando o desempenho de implementações de tabelas hash concorrentes em haskell.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Lucas AGOSTINI; Cristian BOSIN; Júlio Machado NETO; Bruno ZATT; Renata Hax Sander REISER et al.
2015.
Descrição do interferômetro de mach zehnder utilizando a nova versão da biblioteca qexvhdl.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Letícia SAMPAIO; Yan SOARES; Bruno MOURA; Samuel SANTANNA; Renata Hax Sander REISER et al.
2015.
Fgrid: modelagem de variáveis de incerteza para escalonamento em grades computacionais usando lógica fuzzy.
In:
Weit 2015 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Biomedical Engineering
Júlio Machado NETO; Lucas AGOSTINI; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA et al.
2015.
Implementação da tomografia quântica via vpe-qgm.
In:
Weit 2015 - workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Cavalheiro SIMONE; Foss L; Bedregal B.
2015.
Robustness of intuitionistic fuzzy implications: the yager?s implication case study.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Murilo Figueiredo SCHMALFUSS; Mateus Figueiredo SCHMALFUSS; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Simulação distribuída de transformações quânticas controladas via processos parciais mistos.
In:
Weit 2016 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alexander LEMKE; Anderson Braga De ÁVILA; Júlia Krüger VIEIRA; Renata Hax Sander REISER; André Rauber DUBOIS et al.
2015.
Towards an interpretation of intuitionistic fuzzy connectives from quantum computing.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Alice De Jesus KOZAKEVICIUS; Renata Hax Sander REISER; Maurício Lima PILLA.
2015.
Transformada de haar não decimada otimizada e sua extensão intervalar.
In:
Weit 2015 - iii workshop-escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Anderson Braga De ÁVILA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2014.
Análise de desempenho das simulações quânticas paralelas e distribuídas no ambiente vpe-qgm.
In:
Erad 2014 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Júlio MACHADO; Pedro Henrique MARCHI; Lucas AGOSTINI; Renata Hax Sander REISER; Maurício Lima PILLA.
2014.
Aplicando simulação quântica na representação e visualização de emoções.
In:
Erad 2014 - 14 escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Pedro Henrique MARCHI; Lucas AGOSTINI; Renata Hax Sander REISER; Maurício Lima PILLA.
2014.
Descrição em vhdl de algoritmos quânticos.
In:
Erad 2014 - 14 escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Maurício Lima PILLA; Renata Hax Sander REISER; Alice De Jesus KOZAKEVICIUS.
2014.
Otimizações na biblioteca int-haar visando aumento de exatidão de cálculo.
In:
Erad 2014 - 14 escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Goivani De Quadros RODRIGUES; Maurício Lima PILLA; Renata Hax Sander REISER.
2014.
Poqus: um simulador de paralelismo quântico orientado posicionalmente.
In:
Erad 2014 - 14 escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Braga De ÁVILA; Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2014.
Simulação distribuída de algoritmos quânticos via gpus.
In:
Wscad 2014 - simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rodrigo M DUARTE; André Rauber DUBOIS; Maurício Lima PILLA; Renata Hax Sander REISER.
2014.
Implementação de algoritmos de tabelas hash concorrentes em haskell.
In:
Wscad 2014 - xv simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2014.
Análise e validação das simulações quânticas paralelas e distribuídas no ambiente vpe-qgm.
In:
Wscad 2014 - xv simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Alice De Jesus KOZAKEVICIUS; Maurício Lima PILLA.
2014.
Estudo de desempenho sobre a biblioteca int-haar.
In:
Wscad 2014 - xv simpósio em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rosana Medina ZANOTTELLI; Alexander LEMKE; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS.
2014.
Towards an atanassov-intuitionistic extension of g-implication operators.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Ivan MEZZOMO; Bedregal B C; Regivan Hugo Nuñes SANTIAGO; Renata Hax Sander REISER.
2014.
Fuzzy ideals of product operator on bounded fuzzy lattices.
In:
Iii congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Education
G M CAMPOS; Andre Da Costa Cavalheiro SIMONE; Luciana FOSS; Ana Marilza Pernas FLEISCHMANN; C F B PIANA et al.
2014.
Organização de informações via pensamento computacional: relato de atividade aplicada no ensino fundamental.
In:
Wie 2014 - xix workshop de informática na escola.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Renata Hax Sander REISER; Adriano Kurz MARON; Maurício Lima PILLA.
2013.
Extensão da biblioteca de execução do ambiente vpe-qgm para suporte à simulação quântica em c++.
In:
Erad 2013 - xxiii escola regional de alto desempenho- forum de ic.
Brasil.
-
Social Sciences & Humanities
Education
Daniel K RETZLAFF; Renata Hax Sander REISER; Adriano Kurz MARON; Maurício Lima PILLA.
2013.
Uma proposta para diminuir a complexidade espacial no ambiente vpe-qgm.
In:
Erad 2013 - xxiii escola regional de alto desempenho- forum de ic.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Braga De ÁVILA; Renata Hax Sander REISER; Adriano Kurz MARON; Maurício Lima PILLA.
2013.
Estendendo o ambiente vird-gm para execução distribuída de processos quânticos.
In:
Erad 2013 - xxiii escola regional de alto desempenho- forum de ic.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS; Renata Hax Sander REISER.
2013.
Int-haar: extensão intervalar da transformada de haar.
In:
Erad 2013 - xxiii escola regional de alto desempenho- forum de ic.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2013.
Uma analise de desempenho da simulação quântica a partir de processos quânticos.
In:
Erad 2013 - xxiii escola regional de alto desempenho- forum de pós-graduação.
Brasil.
-
Life Sciences
Behavioral Neuroscience
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Physics and Astronomy (miscellaneous)
-
Social Sciences & Humanities
Language and Linguistics
Rosana Medina ZANOTELLI; Renata Hax Sander REISER; Simone André Da Costa CAVALHEIRO; Luciana FOSS.
2013.
Fuzzy f-xor class and dual constructions.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Physical Sciences
Artificial Intelligence
Íbero C K BENITEZ; Renata Hax Sander REISER; Adenauer Correa YAMIN; Bedregal BENJAMÍN.
2013.
Fuzzy implications obtained by n-ary aggregation operators.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Physical Sciences
Artificial Intelligence
Ivan MEZZOMO; Bedregal BENJAMÍN; Regivan Hugo Nuñes SANTIAGO; Renata Hax Sander REISER.
2013.
Fuzzy α-ideals of product on bounded fuzzy lattices.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Social Sciences & Humanities
Education
Íbero C K BENITEZ; Renata Hax Sander REISER; Adenauer Correa YAMIN; Bedregal BENJAMÍN.
2013.
Notes on fuzzy s-x(n)or connectives.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2013.
Otimizações na biblioteca int-haar para aumento de exatidão de cálculo.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Alexander LEMKE; Renata Hax Sander REISER; Maurício Lima PILLA; André Rauber DUBOIS.
2013.
Towards aggregating fuzzy s-xor connectives.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Social Sciences & Humanities
Education
Tainã CARVALHO; Daiane ANDRADE; Jayne SILVEIRA; Simone André Da Costa CAVALHEIRO; Luciana FOSS et al.
2013.
Uma discussão introdutória sobre os desafios e as necessidades à implementação do pensamento computacional no ensino fundamental e médio no brasil.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2013.
Validando a biblioteca qgm_c-analyzer para simulação em arquiteturas multicore.
In:
Weit 2013 - second workshop school on theoretical computer science.
Brasil.
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2013.
Validando a simulação quântica em arquiteturas multicore via qgm_c-analyzer.
In:
Wscad 2013 - xiv simpósio em sistemas computacionais workshop de iniciação científica.
Brasil.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2013.
Otimizações na biblioteca int-haar int-haar: extensão intervalar da transformada de haar.
In:
Wscad 2013 - xiv simpósio em sistemas computacionais workshop de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2013.
Simulação quântica distribuída via gpus.
In:
Cic ufpel 2013.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Renata Hax Sander REISER; Adriano Kurz MARON; Maurício Lima PILLA.
2013.
Extraindo o paralelismo da biblioteca qgm-analyzer.
In:
Cic ufpel 203.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2013.
Otimizações na biblioteca int-haar visando incremento na exatidõa de cálculos.
In:
Cic ufpel 2013.
Brasil.
-
Social Sciences & Humanities
Education
Júlio MACHADO; Pedro Henrique MARCHI; Lucas AGOSTINI; Renata Hax Sander REISER.
2013.
Um estudo da esfera de block para representação e visualização de emoções.
In:
Cic ufpel 2013.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Education
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Linguistics and Language
Murilo Figueiredo SCHMALFUSS; Daniel K RETZLAFF; Adriano Kurz MARON; Maurício Lima PILLA; Renata Hax Sander REISER.
2012.
Extraindo o paralelismo da biblioteca qgm-analyser.
In:
Erad 2012 - escola reginal de alto desempenho.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Anderson Braga De ÁVILA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Qcedit - modelagem e geração de circuitos quânticos.
In:
Xxii escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Benjamín René Callejas BEDREGAL; Gleb BELIAKOV; Humberto Bustince SOLA; Javier FERNANDEZ; Renata Hax Sander REISER.
2012.
Negations generated by bounded lattices t-norms.
In:
14th international conference on information processing and management of uncertainty in knowledge-based systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Humberto Bustince SOLA; Javier FERNANDEZ.
2012.
Interval-valued intuitionistic fuzzy implications from k-operators; fuzzy implications and fuzzy coimplications.
In:
14th international conference on information processing and management of uncertainty in knowledge-based systems.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2012.
Robustness on intuitionistic fuzzy connectives.
In:
Cnmac 2012 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane VISINTIN; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2012.
Índice de implicações fuzzy intuicionistas intervalares.
In:
Cnmac 2012 - congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Um estudo das possibilidades de otimização para simulação quântica.
In:
Cnmac 2012 - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Daniel K RETZLAFF; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Exploring a mtbdd package to improve the state vector representation in the vpe-qgm.
In:
Weciq 2012: iv workshop-school in quantum computation and information.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Pamela GNUTZMANN; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Mqcedit: quantum simulations on vpe-qgm via mobile devices.
In:
Weciq 2012: iv workshop-school in quantum computation and information.
Brasil.
-
Physical Sciences
Computer Science Applications
Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2012.
Quantum processes: a new approach for interpretation of quantum gates in the vpe-qgm environment.
In:
Weciq 2012: iv workshop-school in quantum computation and information.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lidiane VISINTIN; Adriano Kurz MARON; Renata Hax Sander REISER; Ana Maria ABEIJON.
2012.
Interpreting fuzzy set operations from quantum computing.
In:
Weciq 2012: iv workshop-school in quantum computation and information.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Anderson Braga De ÁVILA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Estendendo o ambiente vird-gm para execução distribuída de processos quânticos.
In:
Wscad - wic 2012: xiii simpósio em sistemas computacionais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Qgm-canalyzer: biblioteca suporte à simulação quântica em c++.
In:
Wscad - wic 2012: xiii simpósio em sistemas computacionais.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane VISINTIN; Íbero C K BENITEZ; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2012.
Towards a robustness study of intuitionistic fuzzy reasoning.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adriano Kurz MARON; Lidiane VISINTIN; Ana Maria ABEIJON; Renata Hax Sander REISER.
2012.
Interpreting fuzzy connectives from quantum computing- case study in reichenbach implication class.
In:
Congresso brasileiro de sustemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane VISINTIN; Íbero C K BENITEZ; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2012.
Interval-valued intuitionistic automorphisms: relationships and properties.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Artificial Intelligence
Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Qcedit: modelagem de circuitos qu6anticos.
In:
Cic upel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel K RETZLAFF; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Uma proposta de otimização do qme do vpe-qgm utilizando diagramas de decisão binária.
In:
Cic ufpel 2102.
Brasil.
-
Physical Sciences
Artificial Intelligence
Vinícius Rodrigues Dos SANTOS; Renata Hax Sander REISER; Maurício Lima PILLA; Alice De Jesus KOZAKEVICIUS.
2012.
Int-cooley-tukey: uma implementação intervalar para fft.
In:
Cic ufpel 2102.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2012.
Extraindo o paralelismo da biblioteca qgm-analyzer.
In:
Cic ufpel 2012.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Anderson Boettge PINHEIRO; Adriano Kurz MARON; Gustavo Mata ZECHLINSKI; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2011.
Integrando o sistema terracotta ao ambiente d-gm.
In:
Erad 2011 - 11 escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Education
Adriano Kurz MARON; Anderson Boettge PINHEIRO; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Consolidando uma infraestrutura para simulação quântica distribuída.
In:
Erad 2011 - escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adriano Kurz MARON; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Especificando uma arquitetura básica para conversão de circuitos quânticos para o modelo qgm.
In:
Fisl 2011 - fórum internacional software livre : workshop de software livre wsl 2011.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Adriano Kurz MARON; Anderson Braga De ÁVILA; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Introduzindo uma nova abordagem para simulação quântica com baixa complexidade espacial.
In:
Dincon 2011 - x conferência brasileira de dinâmica; controle e aplicações.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Tâmara C Do NASCIMENTO; Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN et al.
2011.
Integrando a tecnologia bluethooth na medição de estoques em armazéns graneleiros.
In:
Viii congresso brasileiro de agroinformática sbiagro 2011.
Brasil.
-
Social Sciences & Humanities
Education
Wagner Guimarães Al ALAM; Anderson Boettge PINHEIRO; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2011.
Sisa3: auditoramento automatizado de silos.
In:
Viii congresso brasileiro de agroinformática - sbiagro 2011.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane VISINTIN; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2011.
Implicações fuzzy intuicionistas intervalares.
In:
Weit 2011 - workshop escola de informática teórica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Lidiane VISINTIN; Gesner Antônio Azevedo Dos REIS; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2011.
Towards to conjugate and dual constructions on interval functions.
In:
Weit 2011 - workshop escola de informática teórica.
Brasil.
-
Physical Sciences
Computer Science Applications
Tâmara C Do NASCIMENTO; Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN et al.
2011.
Integrando a tecnologia bluetooth ao dig-sisa3.
In:
Sbiagro 2011 - simpósio brasileiro de agroinformática.
Brasil.
-
Social Sciences & Humanities
Education
Wagner Guimarães Al ALAM; Tâmara C Do NASCIMENTO; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN et al.
2011.
Sisa3: auditoramento automatizado de silos.
In:
Sbiagro 2011: simpósio brasileiro de agroinformática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marlon DIAS; Lidiane VISINTIN; Renata Hax Sander REISER.
2011.
Estudo introdutório da lógica fuzzy intuicionista intervalar.
In:
Cic/ufpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Lidiane VISINTIN; Renata Hax Sander REISER.
2011.
Estendendo a análise de propriedades de implicações fuzzy para implicações fuzzy intuicionistas intervalares.
In:
Enpos.
Brasil.
-
Physical Sciences
Computer Science Applications
Murilo Figueiredo SCHMALFUSS; Daniel K RETZLAFF; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Qualificando a simulação quântica no vpe-qgm.
In:
Cic/ufpel.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Anderson Braga De ÁVILA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Qcedit modelagem de circuitos quânticos integrada ao vpe-qgm.
In:
Cic/ufpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Simulação quântica via software ? uma extensão do ambiente vpe-qgm visando baixo consumo de memória.
In:
Enpos/ufpel.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Anderson Braga De ÁVILA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Qcedit ? modelagem e geração de circuitos quânticos.
In:
Sacomp/ufpel.
Brasil.
-
Social Sciences & Humanities
Education
Daniel K RETZLAFF; Murilo Figueiredo SCHMALFUSS; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA.
2011.
Qualificando a simulação quântica no vpe-qgm.
In:
Sacomp/ufpel.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Íbero C K BENITEZ; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2010.
Aplicação parallelpassbreak: modelagem e implementação.
In:
Erad 2010 escola regional de alto desempenho.
Brasil.
-
Physical Sciences
General Computer Science
Tâmara C Do NASCIMENTO; Mateus Al Alam De ALMEIDA; Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA et al.
2010.
Arquitetura sw e hw para o digitalizador do sistema automatizado de auditorias em armazéns.
In:
Erad 2010 escola regional de alto desempenho.
Brasil.
-
Physical Sciences
General Computer Science
Anderson Boettge PINHEIRO; Felipe Natale MUNHOZ; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2010.
Modelagem e implementação dos construtores de macro; não-determinismo e projeções no ambiente vird-gm.
In:
Erad 2010 x escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Thiago Ferreira PONTES; Renata Hax Sander REISER; Eduardo COSTA et al.
2010.
Qexvhdl: simulação quântica em vhdl.
In:
Erad 2010 x escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adriano Kurz MARON; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2010.
Validação do protótipo vpe-qgm: modelagem e simulação do algoritmo de grover.
In:
Erad 2010 x escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
General Psychology
Marcelo Cardoso WURDIG; Felipe Natale MUNHOZ; Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2010.
Vird-gm: modelagem e funcionalidades do construtor iterativo paralelo.
In:
Erad 201 x escila regional de alto desempenho0.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gustavo Mata ZECHLINSKI; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2010.
Ambiente sharedd-gm: uma proposta de integração de sistema dsm ao ambiente d-gm.
In:
Erad 2010 x escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Adenauer Correa YAMIN; Maurício Lima PILLA.
2010.
Sisa3 sistema automático de auditoria de armazéns.
In:
Erad 2010 x escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Gesner Antônio Azevedo Dos REIS.
2010.
Interval valued fuzzy coimplication.
In:
17th workshop on logic; language; information and computation.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2010.
Automorphisms acting on $n$-dual fuzzy functions: implications and coimplications.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Marília Do Amaral DIAS; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2010.
A-implicações fuzzy valoradas intervalarmente.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Gesner Antônio Azevedo Dos REIS; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL.
2010.
Analyzing properties of interval-valued fuzzy coimplications obtained via the canonical interval representation.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
General Computer Science
Adriano Kurz MARON; Anderson Boettge PINHEIRO; Renata Hax Sander REISER; Maurício Lima PILLA.
2010.
Modelagem e simulação quântica no ambiente vpe-qgm.
In:
Workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Rfael Burlamaqui AMARAL; Renata Hax Sander REISER.
2010.
Aplicação do algoritmo de deutsch no modelo qgm.
In:
Workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Rfael Burlamaqui AMARAL.
2010.
The quantum states space in the qgm model.
In:
Workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
Adriano Kurz MARON; Anderson Boettge PINHEIRO; Renata Hax Sander REISER.
2010.
Modelagem e implementação da medida projetiva quântica no ambiente vpe-qgm.
In:
Cngresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Thiago Ferreira PONTES; Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA et al.
2010.
Aplicação da metodologia qexvhdl na descrição da transformada de fourier quântica.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Tâmara C Do NASCIMENTO; Renata Hax Sander REISER; Adenauer Correa YAMIN; Maurício Lima PILLA; Maurício TAVARES.
2010.
Aplicando a tecnologia bluetooth no dig-sisa³.
In:
Xi simpósio em sistemas computacionais - workshop em iniciação científica.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO; Marília Do Amaral DIAS.
2010.
On yager's implications and their conjugates.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Gesner Antônio Azevedo Dos REIS.
2010.
The canonical interval representation of conjugate dual fuzzy implications.
In:
Congresso brasileiro de sistemas fuzzy.
Brasil.
-
Physical Sciences
Computer Science Applications
Adriano Kurz MARON; Anderson Boettge PINHEIRO; Renata Hax Sander REISER; Maurício Lima PILLA.
2010.
Integrando os ambientes vpe-qgm e vird-gm para suporte à simulação quântica distribuída.
In:
Wscad - wic 2010 - xi simpósio em sistemas computacionais - workshop de iniciação científica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2009.
An approach to interval-valued r-implications and automorphisms.
In:
International fuzzy systems association world congress - european society for fuzzy logic and technonoly conference 2009.
Portugal.
-
Social Sciences & Humanities
Education
Gustavo Mata ZECHLINSKI; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2009.
Uma proposta de memória distribuída compartilhada para o projeto d-gm.
In:
Xi escola regional de alto desempenho - arquiteturas multicores.
Brasil.
-
Social Sciences & Humanities
Library and Information Sciences
Wagner Guimarães Al ALAM; Felipe Natale MUNHOZ; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2009.
P-icone: paralelização de uma metodologia para cálculo do volume de produtos em armazéns.
In:
Escola regional de alto desempenho - arquiteturas multicores.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Felipe Natale MUNHOZ; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2009.
Modelando não-determinismo e iterações no vird-gm.
In:
Escola regional de alto desempenho - arquiteturas multicores.
Brasil.
-
Physical Sciences
Computer Science Applications
Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2009.
Sistema automatizado de auditoria em armazéns.
In:
Wcama 2009 - i workshop de computação aplicada à gestão do meio ambiente e recursos naturais.
Brasil.
-
Life Sciences
Agricultural and Biological Sciences (miscellaneous)
Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN; Felipe Natale MUNHOZ.
2009.
P-icone: uma contribuição para o mecanismo de distribuição da produção agrícola.
In:
Wcama/sbc - i workshop de computação aplicada à gestão do meio ambiente e recursos naturais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA; Maurício Lima PILLA.
2009.
Simulação quântica em vhdl: um estudo de caso baseado no algoritmo de deutsch.
In:
Xxxv conferencia latinoamericana de informática.
Brasil.
-
Physical Sciences
Computer Science Applications
Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2009.
Sisa^3: uma arquitetura hw/sw para auditoria em armazéns de granéis.
In:
Xxxv conferência latinoamericana de informática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO.
2009.
Analyzing the relations between interval-valued d-implications and interval-valued ql-implications.
In:
Xxxii congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
General Computer Science
Adriano Kurz MARON; Eduarda Rodigues MONTEIRO; Renata Hax Sander REISER.
2009.
Vpe-qgm: uma proposta de simulação do paralelismo quântico integrada à programação visual.
In:
Xxxii congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA; Maurício Lima PILLA.
2009.
Simulação quântica em vhdl: um estudo de caso baseado no algoritmo quântico de grover.
In:
Wscad-ssc 2009: x simpósio em sistemas computacionais workshop de iniciação científica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2009.
Aplicações do protótipo vpe-qgm:simulação via software do algoritmo de grover.
In:
Wscad-ssc 2009: x simpósio em sistemas computacionais - workshop de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science Applications
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Eduardo COSTA; Renata Hax Sander REISER.
2009.
Modelagem de circuitos quânticos em vhdl.
In:
Congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA; Antônio Carlos Da Rocha COSTA et al.
2008.
Qexvhdl project:: towards the description language of quantum circuits.
In:
Quantum optics iv.
Brasil.
-
Physical Sciences
Electrical and Electronic Engineering
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Eduardo COSTA et al.
2008.
Aplicando a linguagem vhdl na descrição de circuitos quânticos.
In:
Xxxi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Eduardo COSTA et al.
2008.
Aplicando a biblioteca qexvhdl na descrição de circuitos quânticos.
In:
Iii workshop em nanociências 2008.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rfael Burlamaqui AMARAL; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2008.
Aplicações das abstrações do modelo qgm na interpretação de algoritmos quânticos.
In:
Iii workshop em nanociências.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO.
2008.
Analyzing the relations between interval-valued d-implications; ql-implications and automorphisms.
In:
13th gamm - imacs international symposium on scientific computing; computer arithmetic and verified numerical computations.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Adriano Kurz MARON; Eduarda Rodigues MONTEIRO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2008.
Aplicaçoes do modelo d-gm na compputação quãntica: desenvolvimento da biblioteca qgm-analyser.
In:
Congresso brasileiro de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Vanessa Sousa Da FONSECA; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2008.
Modelando o paralelismo na arquitetura vird-gm.
In:
Escola regional de alto desempenho.
Brasil.
-
Physical Sciences
General Computer Science
Felipe Natale MUNHOZ; Vanessa Sousa Da FONSECA; Guilian VIVAN; Renata Hax Sander REISER; Adenauer Correa YAMIN.
2008.
Arquitetura de software da vird-gm: modelagem e funcionalidades.
In:
Escola regional de alto desempenho.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
-
Physical Sciences
Mathematics (miscellaneous)
Rfael Burlamaqui AMARAL; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2008.
Interpretações do interferômetro de mach-zehnder no modelo qmg.
In:
Congresso de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO.
2008.
Interval valued d-implications.
In:
Congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Benjamín René Callejas BEDREGAL; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2008.
Xor-implications and e-implications: classes of fuzzy implications based on fuzzy xor.
In:
Third workshop on logical and semantic frameworks; with applications.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA; Antônio Carlos Da Rocha COSTA et al.
2008.
Aplicação da biblioteca qexvhdl na descrição do interferômetro de mach-zehnder.
In:
Jornadas chilenas de computación - encuentro chileno de computación 2008.
Chile.
-
Physical Sciences
Artificial Intelligence
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Renata Hax Sander REISER; Eduardo COSTA; Antônio Carlos Da Rocha COSTA et al.
2008.
Descrição de circuitos quânticos em vhdl.
In:
Viii ermac - encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Eduarda Rodigues MONTEIRO; Diego Porto JACCOTTET; Rfael Burlamaqui AMARAL; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA et al.
2008.
Interpretação do interferômetro quântico de mach-zehnder e aplicação da biblioteca qexvhdl na descrição do circuito.
In:
Viii simpósio de informática do planalto médio - simp 2008.
Brasil.
-
Health Sciences
Psychiatry and Mental Health
Rfael Burlamaqui AMARAL; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2008.
Um estudo de caso para o modelo qgm: interferômetro de mach-zehnder.
In:
Vii simpósio de informática da região centro do rs - sirc 2008.
Brasil.
-
Social Sciences & Humanities
Education
Adriano Kurz MARON; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2008.
Desenvolvimento e modelagem do ambiente vpe-qgm.
In:
Viii ermac - encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe Natale MUNHOZ; Vanessa Sousa Da FONSECA; Renata Hax Sander REISER; Adenauer Correa YAMIN; Maurício Lima PILLA.
2008.
Modelo d-gm: explorando o paralelismo na computação.
In:
Viii ermac - encontro regional de matemática aplicada e computacional; 2008.
Brasil.
-
Social Sciences & Humanities
Statistics, Probability and Uncertainty
Wagner Guimarães Al ALAM; Renata Hax Sander REISER; Maurício Lima PILLA.
2008.
Aplicação do processamento paralelo no cálculo de volume de armazéns horizontais de granéis.
In:
Viii ermac - encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Marcelo Cardoso WURDIG; Renata Hax Sander REISER; Luciano Vitória BARBOZA; Leonardo M KNABACH.
2008.
Uma nova abordagem de ferramenta computacional para análise de circuitos elétricos.
In:
Viii ermac - encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Rfael Burlamaqui AMARAL; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2008.
Quantum lazy evaluation based on q-gm abstraction.
In:
Quantum optics iv.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Vanessa Souza FONSECA; Renata Hax Sander REISER; Adenauer Correa YAMIN; Maurício Lima PILLA.
2007.
O modelo de máquina geométrica: revisão das potencialidades do paralelismo.
In:
Vii escola regional de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vanessa Sousa Da FONSECA; Renata Hax Sander REISER; Adenauer Correa YAMIN; Maurício Lima PILLA; Antônio Carlos Da Rocha COSTA.
2007.
Vird-gm: towards to a grid computing environment.
In:
Seventh ieee international symposium on clustercomputing and the grid ? ccgrid 2007.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
-
Social Sciences & Humanities
Linguistics and Language
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Rafael Burlamaqui AMARAL.
2007.
Toward coherence space-based models of quantum algorithms.
In:
Congresso ibero-americano de inovação tecnológica e áreas estratégicas; ii workshop em nanotecnologia e computação inspirada na biologia.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Benjamín René Callejas BEDREGAL; Helida SANTOS; Roberto Callelas BREDEGAL.
2007.
S-implications on bounded lattices and the interval constructor.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Cognitive Neuroscience
Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2007.
Interval valued r-implications and automorphisms.
In:
Lfsa - second workshop on logical and semantic frameworks; with applications.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Adriano Kurz MARON; Felipe Natale MUNHOZ; Vanessa Souza FONSECA; Renata Hax Sander REISER; Eduarda Rodigues MONTEIRO et al.
2007.
Qgm-analyser: ferramenta computacional para análise das computações quânticas obtidas no modelo qgm.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Eduarda Rodigues MONTEIRO; Felipe Natale MUNHOZ; Adriano Kurz MARON; Rafael Burlamaqui AMARAL; Renata Hax Sander REISER.
2007.
Abordagem visual para computações no qgm.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe Natale MUNHOZ; Vanessa Sousa Da FONSECA; Adriano Kurz MARON; Renata Hax Sander REISER; Maurício Lima PILLA et al.
2007.
Implementação do paralelismo no ambiente vpe-gm utilizando grafos de dependências.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo Cardoso WURDIG; Renata Hax Sander REISER; Luciano Vitória BARBOZA.
2007.
Modelagem e implementação do editor para construção gráfica de circuitos elétricos.
In:
Xxx cnmac - congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Felipe Natale MUNHOZ; Vanessa Sousa Da FONSECA; Renata Hax Sander REISER; Maurício Lima PILLA; Adenauer Correa YAMIN.
2007.
Paralelismo no modelo d-gm: emprego de grafos de dependências.
In:
Workshop de sistemas computacionais de alto desempenho - concurso de trabalhos de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vanessa Sousa Da FONSECA; Renata Hax Sander REISER; Adenauer Correa YAMIN; Antônio Carlos Da Rocha COSTA; Maurício Lima PILLA.
2007.
Vird-gm: introducing a modelling and execution environment for the distributed geometric machine machine.
In:
Conferencia latinoamericana de informática.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Rafael Burlamaqui AMARAL.
2007.
Quantum computing: computation from coherence spaces.
In:
Workshop escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gustavo FRAINER; Luciano Da SILVA; Cláudio GEYER; João LOPES; Adenauer Correa YAMIN et al.
2007.
Towards pervasive applications in a grid computing environment.
In:
Xxxiii conferencia latinoamericana de informática.
Martinica.
-
Physical Sciences
Computer Science Applications
Felipe Natale MUNHOZ; Renata Hax Sander REISER; Eduarda Rodigues MONTEIRO; Juliana VIZZOTTO; Antônio Carlos Da Rocha COSTA.
2006.
Construção de circuitos quânticos integrada a ambiente de programação visual.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Adenauer Correa YAMIN; Vanessa Souza FONSECA; Antônio Carlos Da Rocha COSTA.
2006.
Geometric machine model: from theory to parallel computing environment.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Eduarda Rodigues MONTEIRO; Felipe Natale MUNHOZ; Renata Hax Sander REISER; Juliana VIZZOTTO; Antônio Carlos Da Rocha COSTA.
2006.
Explainig basis aspects of quantum computation based on funcional approach.
In:
Xxix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Benjamín René Callejas BEDREGAL; Graçaliz Pereira DIMURO; Regivan Hugo Nuñes SANTIAGO.
2006.
Properties of fuzzy implications obtained via the interval constructor.
In:
Xxix congresso de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Benjamín René Callejas BEDREGAL; Regivan Hugo Nuñes SANTIAGO; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2006.
Analyzing properties of fuzzy implications obtained via the interval constructor.
In:
12th gamm imacs internacional symposium on scientific computing; computer arithmetic and valided numerics.
Brasil.
-
Physical Sciences
Artificial Intelligence
Antônio Carlos Da Rocha COSTA; Juliana VIZZOTTO; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2006.
Introducing intervals and more complex geometrical objects into quantum computing.
In:
12th gamm imacs internatioal symposium on scientific computing; computer arithmetic and validated numeric.
Alemanha.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Juliana VIZZOTTO; Renata Hax Sander REISER.
2006.
Towards a quantum computational geometry.
In:
Workshop-escola de computação e informação quântica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA.
2005.
Estendendo o modelo de máquina goemétrica a um ambiente de programação visual.
In:
Clei 2005 - conferência latinoamericana de informática.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2005.
Interval mathematics applied to the load flow analysis.
In:
17th imacs world congress - scientific computation; applied mathematics and simulation.
França.
-
Physical Sciences
Mathematics (miscellaneous)
Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Luciano Vitória BARBOZA; Renata Hax Sander REISER.
2005.
Análise intervalar de circuitos intervalares.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2005.
Programming in the quantum geometric machine.
In:
Xviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Luciano Vitória BARBOZA; Marcília Andrade CAMPOS; André Vinícius Dos SANTOS.
2005.
Probabilidades intervalares em modelos ocultos de markov.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2005.
Uma abordagem funcional na implementação do algoritmo de teleportação quântica.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2005.
O simulador para o ambiente de programação visual para o modelo de máquina geométrica.
In:
Xxviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2005.
Estendendo o modelo de máquina geométrica a um ambiente de programação visual.
In:
Xxxi conferência latinoamericana de informática.
Colômbia.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
The distributed version of the interval geometric machine.
In:
Workshop on state-of-the-art in scientific computation.
Dinamarca.
-
Physical Sciences
Artificial Intelligence
Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Desenvolvendo algoritmos quânticos utilizando uma linguagem funcional.
In:
Sirc/rs iii simpósio de informática da região centro/rs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Moreira M I G; Marilton Sanchotene AGUIAR; Renata Hax Sander REISER.
2004.
A web semântica e sistemas multiagentes.
In:
Viii oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Modelando algoritmos funcionais sobre a computação quântica.
In:
Xvi salão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Modelando algoritmos funcionais sobre a computação quântica.
In:
Salão de inicação científica da ufrgs.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos CARDOSO; Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Implementando o ambiente de programação visual para a máquina geométrica.
In:
Workcomp-sul.
Brasil.
-
Physical Sciences
Computer Science Applications
Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Luciano Vitória BARBOZA; José Ubirajara N De NUNEZ.
2004.
Uma ferramenta livre para análise de circuitos elétricos.
In:
5° workshop sobre software livre - wsl2004.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2004.
Towards interval analysis of the load uncertainty in power electric systems.
In:
8th international conference on probability methods applied to power systems.
Estados Unidos.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
The distributed interval geometric machine model.
In:
Para 2004 - workshop on state-of-the-art in scientific computing validated scientific computing validated.
Dinamarca.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
Modelling quantum computations in teh geometric machine model.
In:
11th gamm - imacs international symposium on scientific computing; computer arithmetic; and validated numerics (scan 2004).
Japão.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2004.
The distributed version of the interval geometric machine.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science Applications
Marcos Gonçalve ECHEVARRIE; Luiz Otávio SCHUCH; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2004.
Interface gráfica para o analisador de circuitos elétricos.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Paulo L R SOUZA; Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2004.
Uma ferramenta computacional intervalar para análise de circuitos elétricos.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
André MATEUS; Eduardo COSTA; Delmar CARVALHO; Renata Hax Sander REISER.
2004.
Estudo e implementações de algoritmos genéticos em fpga.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Aplicando algoritmos funcionais em modelos de computação quântica.
In:
Xxvii cnmac.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
The quantum extension of the geometric machine model.
In:
Xxvii cnmac - minissimpósio de matemática e fundamentos da computação - modelos e aplicações.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2004.
Estudo e implementação do editor para o ambiente de programação da máquina geométrica.
In:
Xxvii cnmac.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Lucas Lemos BORBA; Marcos Borba CARDOSO; Renata Hax Sander REISER.
2003.
Implementação do ambiente de programação para a máquina geomátrica.
In:
Slão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
A programming language for the interval geometric machine.
In:
10th workshop on logic; language; information and computation (wollic'2003).
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Marcos Borba CARDOSO.
2003.
Specifying the geometric machine visual language.
In:
The 2003 ieee symposium on visual languages and formal methods (vlfm '03).
Nova Zelândia.
-
Social Sciences & Humanities
Education
Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Utilizando a programação visual no modelo de máquina geométrica.
In:
Xxix conferência latinoamericana de informática.
Bolívia.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Diego Gallo PRESTES; Lucas Lemos BORBA; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2003.
Introduzindo um ambiente de programação visual para a máquina geométrica.
In:
2ºsimpósio de infomática da região centro do rio grande do sul.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2003.
Especificação de construtores recursivos para a linguagem visual da máquina geométrica.
In:
Sipm- simpósio de informática do planalto médio.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Especificando um ambiente visual para utilizar a programção funcional na máquina geométrica.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Marilton Sanchotene AGUIAR.
2003.
The distributed geometric machine.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Stochastic geometric machine.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Atomic and Molecular Physics, and Optics
Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2003.
Fluxo de potência com incerteza de carga.
In:
Xxvi congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Pablo Souza GRIGOLETTI; José Ubirajara N De NUNEZ; Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2003.
Desenvolvimento de uma ferramenta intervalar para a análise de circuitos elétricos.
In:
2ºsimpósio de infomática da região centro do rio grande do sul.
Brasil.
-
Social Sciences & Humanities
Education
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO; Marcos Borba CARDOSO.
2003.
Tutorial sobre programação visual.
In:
Oficina de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2003.
Especificando a recursão espacial na lvmg.
In:
Xviii congresso regional de iniciação científica e tecnológica em engenharia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Borba CARDOSO; Diego Gallo PRESTES; Lucas Lemos BORBA; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA et al.
2003.
Ambiente visual para a máquina geométrica.
In:
Viii simpósio de informática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luciano Vitória GONÇALVES; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2003.
Calculadora de números estocásticos.
In:
Xviii congresso regional de iniciação científica e tecnológica em engenharia.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
José Ubirajara N De NUNEZ; Pablo Souza GRIGOLETTI; Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Luciano Vitória BARBOZA.
2003.
Uma ferramenta para análise de circuitos elétricos.
In:
Xviii congresso regional de iniciação científica e tecnológica em engenharia.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
José Ubirajara N De NUNEZ; Pablo Souza GRIGOLETTI; Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2003.
Uma ferramenta para análise de circuitos elétricos via web.
In:
Xxvi congresso nacional de matemática aplicada e computacionalii.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2003.
Ambiente de programação visual para o modelo de máquina geométrica.
In:
Congresso de iniciação científica - ucpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Diego Gallo PRESTES; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2003.
Introduzindo o ambiente de programação visual para o modleo de máquina geométrica.
In:
Congresso de iniciação científica - ufpel.
Brasil.
-
Physical Sciences
Computer Science Applications
José Ubirajara N De NUNEZ; Pablo Souza GRIGOLETTI; Luciano Vitória BARBOZA; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2003.
Uma ferramenta para análise de circuitos elétricos.
In:
Xii congresso de iniciação científica - ucpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Luciano Vitória GONÇALVES; Graçaliz Pereira DIMURO.
2003.
Calculadora de números estocásticos.
In:
Xii congresso de iniciação científica - ucpel.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Implementações do ambiente ati/linux.
In:
Congresso de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Cognitive Neuroscience
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2002.
The interval geometric machine.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
Computações na máquina geométrica.
In:
Ermac_ encontro regional da matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2002.
Um linguagem visual para processos computacionais modelados na máquina geométrica.
In:
Ermac - escola regional da matemática aplicada e computacional.
Brasil.
-
Life Sciences
Cognitive Neuroscience
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
The interval geometric machine model.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2002.
A versão intervalar do modelo mg.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER; Paulo L R SOUZA.
2002.
Modelos de markov e aplicações.
In:
Vi ofinica da inteligência artificial.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Introducing probabilistic coherence spaces.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA.
2002.
Probabilistic coherence spaces.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Physical Sciences
Artificial Intelligence
Marcília CAMPOS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Interval probabilities with an application to interval markov chains.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
França.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
A bi-dimensional categorizer interval cellular automata model for the analysis of the declivity of topological regions.
In:
10th gamm-imacs international symposium on scientific computing; computer arithmetic and validated numerics.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Marcos Borba CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2002.
Uma linguagem visual para processos concorrentes.
In:
Sirc - 1ºsimpósio de infomática da região centro do rio grande do sul.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renata Hax Sander REISER; Marcos Borba CARDOSO; Antônio Carlos Da Rocha COSTA.
2002.
Uma linguagem visual para processos computacionais representados na máquina geométrica.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Antônio Carlos Da Rocha COSTA; Renata Hax Sander REISER.
2002.
Ati:linux : portando as bibliotecas intervalares do ambiente de técnicas intervalares para a linguagem python.
In:
Ermac_ encontro regional da matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos CARDOSO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2002.
Uma linguagem visual para processos computados na máquina geométrica.
In:
Xii salão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Marcília Andrade CAMPOS; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
2002.
Towards interval markov models.
In:
Xxv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2001.
Um modelo de máquina geométrica.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2001.
Um ambiente iintegrado para o ensino e pesquisa em matemática intervalar.
In:
Xxiv congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Aurélio Magalhães DIAS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
2001.
Ensino e pesquisa em matemática intervalar.
In:
Cic ucpel/ufel.
Brasil.
-
Social Sciences & Humanities
Education
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2001.
Um ambiente para o ensino e pesquisa em matemática intervalar.
In:
Viii salão de iniciação científica da ufrgs.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2000.
Toward a coherent semantic for interval concurrent processes.
In:
Xxiii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
2000.
Coherence semantic in interval computation processes.
In:
International symposium on scientific computing; computer arithemtic; and validated numerics/international conference on interval methods in science and eengineering.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2000.
A biblioteca mat-int: um tutorial interativo para a biblioteca intervalar mat-int.
In:
Encontro regional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2000.
Biblioteca intervalar mat-int: um tutorial interativo.
In:
Congresso regional de iniciação científica e tecnológica em engenharia.
Brasil.
-
Physical Sciences
Artificial Intelligence
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2000.
Biblioteca intervalar mat-int: um tutorial interativo no maple in: congresso nacional de matemática aplicada e computacional.
In:
Xxii congresso nacional de matemática aplicada e computaional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2000.
Matemática intervalar: um tutorial interativo para a biblioteca mat-int.
In:
In: simpósio internacional de iniciação científica da universidade de são paulo.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
2000.
Matemática intervalar: um tutorial para a biblioteca mat-int.
In:
Xii salão de iniciação científica da ufrgs.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Análise categórica da recursao.
In:
Minissimposio em fundamentos matemáticos da computação.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Deriving mu-recursive functions from some categories of unary systems.
In:
Ii workshop on formal methods xiii simpósio brasileiro de engenharia de software.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1999.
Represeting r e ir in coherence sapces.
In:
Xxii congresso nacional de matemática aplicada e computaional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Graçaliz Pereira DIMURO; Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA.
1999.
Deriving descendent algebras from unary systems category.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1999.
A biblioteca mat-int: utilizando a matemática intervalar no controle de erros.
In:
Xxii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1999.
A biblioteca mat-int: utilizando a matemática intervalar no controle de erros.
In:
Xi salão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1999.
A biblioteca mat-int: utilizando a matemática intervalar no controle de erros. in: congresso nacional de matemática aplicada e computacional;.
In:
Xxi congresso nac. de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Aurélio Magalhães DIAS; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1999.
A biblioteca mat-int: utilizando a matemática intervalar no controle de erros.
In:
In: 7º laboratório de pesquisa da ucpel.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
A cathegorical study of primitive recursion on natural numbers.
In:
A cathegorical study of primitive recursion on natural numbers. in: workshop brasileiro de métodos formais; 1.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
A categorical study of the induction and recursion on natural numbers.
In:
Iii semana acadêmica.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Dalcídio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1998.
The recursive functions on bi-structured coherence spaces of rational intervals.
In:
International conference on interval methods and their application in global optimization / interval'98.
China.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
Indução e recursão na categoria dos sistemas unários.
In:
Xxi congresso nac. de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1998.
A representation system for functions in the category of bi-structured coherence spaces.
In:
First brazil joint usa workshop on formal foundations of software systems.
Brasil.
-
Social Sciences & Humanities
Language and Linguistics
André Rauber DUBOIS; Gerardo SCHENEIDER; Renata Hax Sander REISER.
1997.
A indução na programação funcional.
In:
Congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Dalcídio Moraes CLAUDIO.
1997.
Representação de funções no espaço coerente bi-estruturado iiq.
In:
I workshop sobre métodos formais e qualidade de software.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1997.
The recursive functions on bi-structured coherence spaces.
In:
Second brazil joint usa workshop on formal foundations of software systems.
Estados Unidos.
-
Social Sciences & Humanities
Linguistics and Language
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1997.
Representação de funções em espaços coerente bi-estruturados.
In:
Xx congresso nac. de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
André Rauber DUBOIS; Renata Hax Sander REISER; Caruso P D M; Graçaliz Pereira DIMURO.
1996.
Lógica intervalar.
In:
Viii salão de iniciação científica - v feira de iniciação científica.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rafael ACCORSI; Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Marilton Sanchotene AGUIAR.
1996.
Aplicações e comparações entre métodos pontuais e intervalares para sistemas lineares.
In:
Viii salão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Dalcídio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1996.
The interval gauss-seidel iteration.
In:
Second workshop on computer arithmetic; interval and symbolic computation.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1996.
Estudo da linearidade das funções trigonométricas no espaço coerente de intervalos racionais.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Physics and Astronomy (miscellaneous)
Renata Hax Sander REISER; Dalcídio Moraes CLAUDIO; Antônio Carlos Da Rocha COSTA; Graçaliz Pereira DIMURO.
1996.
Gauss-seidel intervalar.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1996.
An object oriented library for interval linear algebra.
In:
Second workshop on computer arithmetic; interval and symbolic computation.
Brasil.
-
Physical Sciences
Artificial Intelligence
Rafael ACCORSI; Renata Hax Sander REISER; Marilton Sanchotene AGUIAR.
1996.
Um confronto entre métodos pontuais; intervalares e precondicionados usando a matriz de hilbert.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
André Rauber DUBOIS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1996.
Lógica intervalar.
In:
Xix congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Renata Hax Sander REISER; Dalcídio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1995.
Precondicionamento em selas intervalares.
In:
Xviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Marilton Sanchotene AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1995.
Álgebra linear computacional : uma biblioteca computacional para o ati visando uma aplicação em ciência e tecnologia.
In:
Iii laboratório de pesquisa da ucpel.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1995.
Uma aplicação do cálculo matricial para o ati.
In:
Vii salão de iniciação científica da ufrgs.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marilton Sanchotene AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1995.
Uma aplicação do cálculo matricial para o ambiente da técnicas intervalares.
In:
Iii laboratório de pesquisa da ucpel.
Brasil.
-
Social Sciences & Humanities
Education
Marilton Sanchotene AGUIAR; Renata Hax Sander REISER; Graçaliz Pereira DIMURO; Cláudio Del Ponte Dos SANTOS.
1995.
Uma biblioteca matricial intervalar para o ambiente de técinicas intervalares.
In:
Xviii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Renata Hax Sander REISER; Dalcídio Moraes CLAUDIO; Graçaliz Pereira DIMURO.
1994.
Algebra matricial intervalar.
In:
Xvii congresso nacional de matemática aplicada e computacional.
Brasil.
-
Social Sciences & Humanities
Education
Renata Hax Sander REISER; Marilton Sanchotene AGUIAR; Cláudio Del Ponte Dos SANTOS; Graçaliz Pereira DIMURO.
1994.
Aplicações didáticas e científicas para as técnicas intervalares.
In:
Ii seminário de iniciação científica.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marilton Sanchotene AGUIAR; Cláudio Del Ponte Dos SANTOS; Renata Hax Sander REISER; Graçaliz Pereira DIMURO.
1994.
Álgebra linear computacional: uma biblioteca para o ati visando uma aplicação em ciência e tecnologia.
In:
Vi salão de iniciação científica.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Santos C D P; Marilton Sanchotene AGUIAR; Graçaliz Pereira DIMURO; Renata Hax Sander REISER.
1994.
Uso de técnicas intervalares em substituição ao método clássico de estimativa de erros.
In:
Vi salão de iniciação científica.
Brasil.