Probabilistic analysis applied to robots

Probabilistic analysis applied to robots

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-08-23T12:48:01Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao_mestrado_rafael_araujo.pdf: 1319314 bytes, checksum: 15854b595d618c609a911b95573a01ad (MD5) === Ma...

Full description

Bibliographic Details
Main Author:	ARAÚJO, Rafael Pereira de
Other Authors:	http://lattes.cnpq.br/2794026545404598
Language:	English
Published:	Universidade Federal de Pernambuco 2017
Subjects:	Veriﬁcação de Modelos Probabilísticos Linguagem Especíﬁca de Domínio Algoritmos de Movimentação de Robôs PRISM Fórmulas Probabilísticas Temporais Engenharia Directionada a Modelos
Online Access:	https://repositorio.ufpe.br/handle/123456789/20827

Similar Items

La fecundidad en la ciudad de Rosario, Argentina: proyecciones y retroproyecciones de la tasa global de fecundidad y las tasas específicas de fecundidad
by: Lucia Andreozzi, et al.
Published: (2020-12-01)

Measuring inconsistency in probabilistic knowledge bases
by: Glauber De Bona
Published: (2016)

Measuring inconsistency in probabilistic knowledge bases
by: De Bona, Glauber
Published: (2016)

Basic Laws of Object Modeling
by: Ghevi, Rohit
Published: (2014)

Determinantes demográficos y actitudinales de los comportamientos ante la práctica de actividad físico-deportiva de tiempo libre en ciudad de la habana (Cuba). Identificación del perfil poblacional mediante redes bayesianas
by: Francisco Ruiz Juan, et al.
Published: (2008-12-01)

Application of markov chain for the forecast monthly rainfall in Santa Catarina during el niño southern oscillation
by: Rosandro Boligon Minuzzi
Published: (2017-09-01)

A paisagem nos Planos Diretores Municipais – uma proposta metodológica para a identificação e caracterização de unidades de paisagem no município de Oeiras
by: Nuno David
Published: (2018-06-01)

Recuperación de la información: taxonomía de sus modelos Information Retrieval: Taxonomy of their Models
by: Yunior César Fonseca Reyna
Published: (2012-09-01)

Análise e otimização estocásticas de concepções de estruturas de concreto armado utilizando modelos de seleção
by: ANDRADE, Nilma Fontes de Araujo
Published: (2015)

Um modelo de consciência para aplicação em artefatos inteligentes
by: Halfpap, Dulce Maria
Published: (2013)

Modelo para Caracterização Visual de Cenas Aplicado à Localização Robótica em Ambientes Externos Dinâmicos e ao Reconhecimento de Objetos
by: OLIVEIRA, C. J. M.
Published: (2018)

Determinantes probabilísticos del riesgo de deserción en las Universidades de Nariño y del Valle (Colombia) a partir de los registros establecidos por el Ministerio de Educación Nacional (2007-2017).
by: Marco Antonio Burgos Flóres, et al.
Published: (2020-03-01)

Administración Científica del Inventario, reabastecimiento óptimo de pedidos de la Empresa “Aspersud – O y M
by: Pillaca Huaytalla, Edith
Published: (2015)

Comportamiento probabilístico espacial de la composición sustancial en yacimientos lateríticos del oriente cubano
by: Justino Tomás António, et al.
Published: (2018-06-01)

Flexibilidade em linhas de produtos dinâmicas cientes de qualidade : uma abordagem baseada em linguagens específicas de domínio
by: Pessoa, Leonardo Monteiro
Published: (2014)

Probabilidade para o ensino médio
by: Dourado Júnior, José Nobre
Published: (2015)

Previsão de tempo por conjuntos para a região nordeste do Brasil
by: Cleiton da Silva Silveira, et al.
Published: (2014-09-01)

Análise temporal e espectral dedicada ao reconhecimento computacional de locutores via modelamento probabilístico e determinístico
by: Fabrício Ramos Silva, et al.
Published: (2020-02-01)

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
by: Januário, Francisco de Assis Pereira
Published: (2015)

Modelos probabilísticos em classificação não hierárquica
by: Pinto, Sara Lúcia Ferreira Tavares
Published: (2005)

Empleo de las redes bayesianas para apoyar la toma de decisiones sobre la propagación de la Covid-19
by: Freddy E. Torres Cordero, et al.
Published: (2021-05-01)

Modelo para previsão de itens sobressalentes baseado em confiabilidade industrial: estudo desenvolvido em uma do setor petrolífero
by: Cavalcante, Danilo Gonçalves
Published: (2018)

Formal verification applied to attitude control software of unmanned aerial vehicles
by: Chaves, Lennon Corrêa, et al.
Published: (2018)

Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
by: Ismail, Hussama Ibrahim
Published: (2016)

Probabilistic study of potential bubble group confinements in early childhood education and primary education in the Valencian Community
by: Antonio Fernández-Baíllo, et al.
Published: (2021-07-01)

O uso do modelo hipercubo na solução de problemas de localização probabilísticos The use of the hypercube model in the solution of probabilistic location problems
by: Fernando Chiyoshi, et al.
Published: (2000-08-01)

EXTREME PRECIPITATION EVENTS AND ASSOCIATED RISK OF FAILURE IN HYDRAULIC PROJECTS IN THE STATE OF MATO GROSSO DO SUL, BRAZIL
by: Ana Clara Costa Oliveira, et al.
Published: (2021-04-01)

Coincidencia y equiparación en los modelos de recuperación de información
by: Celia Chain Navarro
Published: (2004-12-01)

A linguagem probabilística e o jogo de par ou ímpar: produção de significações / The probabilistic language and the game of even or odd: production of meanings
by: Jaqueline Lixandrão Santos, et al.
Published: (2017-12-01)

Ground level photosynthetically active radiation dynamics in stands of Acacia mearnsii De Wild
by: SYLVIO PÉLLICO NETTO, et al.
Published: (2015-09-01)

O mercado automotivo do grande Recife: análise atual e pespectivas
by: SOUZA, Luciano Brandão de
Published: (2014)

Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
by: Avelar, Andréia Borges
Published: (2011)

PRECISE - Um processo de verificação formal para modelos de características de aplicações móveis e sensíveis ao contexto
by: Marinho, Fabiana Gomes
Published: (2016)

Towards tool handling by a NAO robot using programming by demonstration
by: José G. Hoyos-Gutiérrez, et al.
Published: (2014-08-01)

On the design of integrated modular avionics assisted by formal modeling.
by: Fabiano Costa Carvalho
Published: (2009)

Determinantes del acceso al crédito para la Pyme del Ecuador
by: María del Carmen Franco Gómez, et al.
Published: (2019-04-01)

AJUSTE DE MODELO LINEAR DE TENDÊNCIA E PREVISÃO PARA SÉRIES DE PRODUÇÃO DE LEITE
by: Matheus Silva de Oliveira, et al.
Published: (2017-04-01)

Program synthesis from denotational semantics
by: MARANHÃO, Heitor Paceli
Published: (2017)

Verificação da segurança de estruturas marítimas utilizando métodos probabilísticos de níveis II e III
by: Maria Teresa Reis, et al.
Published: (2011-07-01)

Análise comparativa de alguns algoritmos na soluçao do problema da mochila
by: Ivanqui, Ivan Ludgero
Published: (2012)