Zobrazeno 1 - 10
of 978
pro vyhledávání: '"Ribeiro Rodrigo"'
We propose the first steps in the development of a tool to automate the translation of Redex models into a (hopefully) semantically equivalent model in Coq, and to provide tactics to help in the certification of fundamental properties of such models.
Externí odkaz:
http://arxiv.org/abs/2402.03488
Autor:
Ribeiro, Rodrigo
In this paper, we study a class of random walks that build their own tree. At each step, the walker attaches a random number of leaves to its current position. The model can be seen as a subclass of the Random Walk in Changing Environments (RWCE) int
Externí odkaz:
http://arxiv.org/abs/2310.19190
In this paper, we investigate the global clustering coefficient (a.k.a transitivity) and clique number of graphs generated by a preferential attachment random graph model with an additional feature of allowing edge connections between existing vertic
Externí odkaz:
http://arxiv.org/abs/2307.03732
We consider the notion of classical parking functions by introducing randomness and a new parking protocol, as inspired by the work presented in the paper ``Parking Functions: Choose your own adventure,'' (arXiv:2001.04817) by Carlson, Christensen, H
Externí odkaz:
http://arxiv.org/abs/2211.00536
Autor:
Araújo¹, David Augusto Batista Sá1 (AUTHOR), Ribeiro, Rodrigo Mariano1 (AUTHOR), Lima, Pedro Lucas Grangeiro Sá Barreto1 (AUTHOR), de Queiroz, Dánton Campos1 (AUTHOR), Pitombeira, Milena Sales2 (AUTHOR), Martins, Bernardo3 (AUTHOR), Coimbra, Pablo Picasso Araújo2 (AUTHOR), Nogueira, Cleto Dantas4 (AUTHOR), Braga-Neto, Pedro5 (AUTHOR), Silva, Guilherme Diogo6 (AUTHOR), Nóbrega, Paulo Ribeiro5,7,8 (AUTHOR) paulo_r_med@yahoo.com.br
Publikováno v:
BMC Neurology. 9/5/2024, Vol. 24 Issue 1, p1-7. 7p.
Autor:
Ribeiro Rodrigo A., Mello Renato G. B., Melchior Raquel, Dill Juliana C., Hohmann Clarissa B., Lucchese Angélica M., Stein Ricardo, Ribeiro Jorge Pinto, Polanczyk Carisi A.
Publikováno v:
Arquivos Brasileiros de Cardiologia, Vol 85, Iss 1, Pp 3-8 (2005)
OBJETIVO: Estimar o custo anual do manejo da doença arterial coronária (DAC) em valores do SUS e convênios. MÉTODOS: Estudo de coorte, incluindo pacientes ambulatoriais com DAC comprovada. Considerou-se para estimar custos diretos: consultas, exa
Externí odkaz:
https://doaj.org/article/17fdef29632649a9aecf34aa07f8f5a8
We investigate a self-interacting random walk, whose dynamically evolving environment is a random tree built by the walker itself, as it walks around. At time $n=1,2,\dots$, right before stepping, the walker adds a random number (possibly zero) $Z_n$
Externí odkaz:
http://arxiv.org/abs/2110.00657
We consider random walks in i.i.d. elliptic random environments which are not uniformly elliptic. We introduce a computable condition in dimension $d=2$ and a general condition valid for dimensions $d\ge 2$ expressed in terms of the exit time from a
Externí odkaz:
http://arxiv.org/abs/2107.00113
Autor:
Silvestro, Laura, Navarrete, Ivan, Araújo, Alamanda, Krann, Maira, Lima, Geannina, Ribeiro, Rodrigo Scoczynski, Eugenin, Claudia, Gleize, Philippe Jean Paul
Publikováno v:
In Construction and Building Materials 26 April 2024 425