Zobrazeno 1 - 10
of 305
pro vyhledávání: '"Miraldo, P."'
Autor:
Liu, Xinhang, Tai, Yu-Wing, Tang, Chi-Keung, Miraldo, Pedro, Lohit, Suhas, Chatterjee, Moitreya
Extensions of Neural Radiance Fields (NeRFs) to model dynamic scenes have enabled their near photo-realistic, free-viewpoint rendering. Although these methods have shown some potential in creating immersive experiences, two drawbacks limit their ubiq
Externí odkaz:
http://arxiv.org/abs/2406.03723
Encoding 3D points is one of the primary steps in learning-based implicit scene representation. Using features that gather information from neighbors with multi-resolution grids has proven to be the best geometric encoder for this task. However, prio
Externí odkaz:
http://arxiv.org/abs/2402.06752
Autor:
Piedade, Valter, Miraldo, Pedro
RANSAC-based algorithms are the standard techniques for robust estimation in computer vision. These algorithms are iterative and computationally expensive; they alternate between random sampling of data, computing hypotheses, and running inlier count
Externí odkaz:
http://arxiv.org/abs/2309.08690
Autor:
Delattre, Fabien, Dirnfeld, David, Nguyen, Phat, Scarano, Stephen, Jones, Michael J., Miraldo, Pedro, Learned-Miller, Erik
We present an approach to estimating camera rotation in crowded, real-world scenes from handheld monocular video. While camera rotation estimation is a well-studied problem, no previous methods exhibit both high accuracy and acceptable speed in this
Externí odkaz:
http://arxiv.org/abs/2309.08588
Autor:
Elisa Pineda, Petya Atanasova, Nalinda Tharanga Wellappuli, Dian Kusuma, Himali Herath, Alexa Blair Segal, Stefanie Vandevijvere, Ranjit Mohan Anjana, Abu Ahmed Shamim, Saira Afzal, Fahmida Akter, Faiza Aziz, Ananya Gupta, Abu Abdullah Hanif, Mehedi Hasan, Renuka Jayatissa, Sujeet Jha, Vinitaa Jha, Prasad Katulanda, Khadija Irfan Khawaja, Balachandran Kumarendran, Menka Loomba, Sara Mahmood, Malay Kanthi Mridha, Rajendra Pradeepa, Garudam Raveendiran Aarthi, Akansha Tyagi, Anuradhani Kasturiratne, Franco Sassi, Marisa Miraldo
Publikováno v:
The Lancet Regional Health - Southeast Asia, Vol 26, Iss , Pp 100428- (2024)
Summary: Background: The increasing prevalence of diet-related non-communicable diseases (NCDs) in South Asia is concerning, with type 2 diabetes projected to rise to 68%, compared to the global increase of 44%. Encouraging healthy diets requires str
Externí odkaz:
https://doaj.org/article/da3e9690c7194b19af758e47f19611e7
We are using the Agda programming language and proof assistant to formally verify the correctness of a Byzantine Fault Tolerant consensus implementation based on HotStuff / LibraBFT. The Agda implementation is a translation of our Haskell implementat
Externí odkaz:
http://arxiv.org/abs/2205.08718
LibraBFT is a Byzantine Fault Tolerant (BFT) consensus protocol based on HotStuff. We present an abstract model of the protocol underlying HotStuff / LibraBFT, and formal, machine-checked proofs of their core correctness (safety) property and an exte
Externí odkaz:
http://arxiv.org/abs/2203.14711
Previous incremental estimation methods consider estimating a single line, requiring as many observers as the number of lines to be mapped. This leads to the need for having at least $4N$ state variables, with $N$ being the number of lines. This pape
Externí odkaz:
http://arxiv.org/abs/2203.01879
Autor:
Cardoso, Joao R., Miraldo, Pedro
Publikováno v:
Journal of Computational and Applied Mathematics, 2021
We propose three iterative methods for solving the Moser-Veselov equation, which arises in the discretization of the Euler-Arnold differential equations governing the motion of a generalized rigid body. We start by formulating the problem as an optim
Externí odkaz:
http://arxiv.org/abs/2109.00505
Autor:
Francisco Goiana-da-Silva, Juliana Sá, Miguel Cabral, Raisa Guedes, Rafael Vasconcelos, João Sarmento, Alexandre Morais Nunes, Rita Moreira, Marisa Miraldo, Hutan Ashrafian, Ara Darzi, Fernando Araújo
Publikováno v:
Frontiers in Public Health, Vol 12 (2024)
Vertical integration models aim for the integration of services from different levels of care (e.g., primary, and secondary care) with the objective of increasing coordination and continuity of care as well as improving efficiency, quality, and acces
Externí odkaz:
https://doaj.org/article/23b45a4ed0c949d38cbce2cad35f14df