Zobrazeno 1 - 10
of 13 694
pro vyhledávání: '"Gadelha A"'
Autor:
Batista Jael Soares, de Oliveira Moacir Franco, Teófilo Tiago Da Silva, De Sousa Ana Caroline Freitas Caetano, Santos Wanderson Lucas Alves Dos, Lopes Igor Renno Guimarães, Gadelha Ana Indira Bezerra Barros, Tertulino Moisés Dantas, de Oliveira Gurgel João Vitor, de Oliveira Radan Elvis Matias
Publikováno v:
Acta Veterinaria, Vol 71, Iss 3, Pp 344-350 (2021)
Pathoanatomical studies of diseases that affect wild animals are extremely important as appropriate measures can then be taken for the prevention and control of such diseases. We report here the case of death of a greater rhea (Rhea americana) by int
Externí odkaz:
https://doaj.org/article/7055daf0f45c40c6980ca8fb4c7cf57b
Autor:
Wilkinson, Sean R., Aloqalaa, Meznah, Belhajjame, Khalid, Crusoe, Michael R., Kinoshita, Bruno de Paula, Gadelha, Luiz, Garijo, Daniel, Gustafsson, Ove Johan Ragnar, Juty, Nick, Kanwal, Sehrish, Khan, Farah Zaib, Köster, Johannes, Gehlen, Karsten Peters-von, Pouchard, Line, Rannow, Randy K., Soiland-Reyes, Stian, Soranzo, Nicola, Sufi, Shoaib, Sun, Ziheng, Vilne, Baiba, Wouters, Merridee A., Yuen, Denis, Goble, Carole
Recent trends within computational and data sciences show an increasing recognition and adoption of computational workflows as tools for productivity, reproducibility, and democratized access to platforms and processing know-how. As digital objects t
Externí odkaz:
http://arxiv.org/abs/2410.03490
Autor:
Ahmed, Waqas, Kommineni, Vamsi Krishna, König-Ries, Birgitta, Gaikwad, Jitendra, Gadelha, Luiz, Samuel, Sheeba
Artificial Intelligence (AI) is revolutionizing biodiversity research by enabling advanced data analysis, species identification, and habitats monitoring, thereby enhancing conservation efforts. Ensuring reproducibility in AI-driven biodiversity rese
Externí odkaz:
http://arxiv.org/abs/2407.07550
Autor:
Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
This paper presents Efficient SMT-Based Context-Bounded Model Checker (ESBMC) v7.6, an extended version based on previous work on ESBMC v7.3 by K. Song et al. The v7.3 introduced a new Clang-based C++ front-end to address the challenges posed by mode
Externí odkaz:
http://arxiv.org/abs/2406.17862
Autor:
Chen, Yun-Chun, Ling, Selena, Chen, Zhiqin, Kim, Vladimir G., Gadelha, Matheus, Jacobson, Alec
We propose a novel technique for adding geometric details to an input coarse 3D mesh guided by a text prompt. Our method is composed of three stages. First, we generate a single-view RGB image conditioned on the input coarse geometry and the input te
Externí odkaz:
http://arxiv.org/abs/2406.01592
We present a differentiable representation, DMesh, for general 3D triangular meshes. DMesh considers both the geometry and connectivity information of a mesh. In our design, we first get a set of convex tetrahedra that compactly tessellates the domai
Externí odkaz:
http://arxiv.org/abs/2404.13445
Autor:
Petrov, Dmitry, Goyal, Pradyumn, Thamizharasan, Vikas, Kim, Vladimir G., Gadelha, Matheus, Averkiou, Melinos, Chaudhuri, Siddhartha, Kalogerakis, Evangelos
We introduce GEM3D -- a new deep, topology-aware generative model of 3D shapes. The key ingredient of our method is a neural skeleton-based representation encoding information on both shape topology and geometry. Through a denoising diffusion probabi
Externí odkaz:
http://arxiv.org/abs/2402.16994
Autor:
Cheng, Ta-Ying, Gadelha, Matheus, Groueix, Thibault, Fisher, Matthew, Mech, Radomir, Markham, Andrew, Trigoni, Niki
Current controls over diffusion models (e.g., through text or ControlNet) for image generation fall short in recognizing abstract, continuous attributes like illumination direction or non-rigid shape change. In this paper, we present an approach for
Externí odkaz:
http://arxiv.org/abs/2402.08654
Autor:
Menezes, Rafael, Aldughaim, Mohannad, Farias, Bruno, Li, Xianzhiyu, Manino, Edoardo, Shmarov, Fedor, Song, Kunjian, Brauße, Franz, Gadelha, Mikhail R., Tihanyi, Norbert, Korovin, Konstantin, Cordeiro, Lucas C.
ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for previously unsupported programs and properties. ESBMC employs a new static interval analysis
Externí odkaz:
http://arxiv.org/abs/2312.14746
Autor:
Cai, Shengqu, Ceylan, Duygu, Gadelha, Matheus, Huang, Chun-Hao Paul, Wang, Tuanfeng Yang, Wetzstein, Gordon
Traditional 3D content creation tools empower users to bring their imagination to life by giving them direct control over a scene's geometry, appearance, motion, and camera path. Creating computer-generated videos, however, is a tedious manual proces
Externí odkaz:
http://arxiv.org/abs/2312.01409