I agree that this site is using cookies. You can find further informations here.
X
Barbosa, Joao
171  results:
Bookchapter (Online) X
Search for persons X
?
1

Data Type Inference for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 16-37 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Typed SLD-Resolution: Dynamic Typing for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 123-141 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Hybrid Image-/Data-Parallel Rendering Using Island Parallel..:

, In: 2022 IEEE 12th Symposium on Large Data Analysis and Visualization (LDAV),
Zellmann, Stefan ; Wald, Ingo ; Barbosa, Joao... - p. 1-10 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Benefits of University-Industry R&D Collaborations: A Syste..:

, In: Lecture Notes in Mechanical Engineering; Innovations in Industrial Engineering II,
Barbosa, João ; Fernandes, Gabriela ; Tereso, Anabela - p. 257-280 , 2022
Link: https://doi.org/10.1007/..
 
?
5

LOOM: Interweaving tightly coupled visualization and numeri..:

, In: ISAV'21: In Situ Infrastructures for Enabling Extreme-Scale Analysis and Visualization,
Barbosa, Joao ; Navratil, Paul ; Paulo Santos, Luis. - p. 1-5 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Ergowear: an ambulatory, non-intrusive, and interoperable s..:

, In: 2021 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC),
Resende, Andre ; Cerqueira, Sara ; Barbosa, Joao... - p. 56-61 , 2021
Link: https://doi.org/10.1109/..
 
?
7

Implementation of a double-precision multiplier accumulator..:

, In: Proceedings of the 21st annual symposium on Integrated circuits and system design,
Barros, Abner Correa ; Medeiros, Victor Wanderley Costa ; Souza, Viviane Lucy Santos... - p. 40-45 , 2008
Link: https://dl.acm.org/doi/1..
 
?
8

The Design of Walking Sticks: Use, Manufacturing and Abando..:

, In: Advances in Intelligent Systems and Computing; Advances in Usability and User Experience,
Cabral, Rebeca Coutinho ; Barbosa, João Carlos Lutz ; Rebello, Luiza Helena Boueri. - p. 921-928 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Correction to: Towards a Glaucoma Risk Index Based on Simul..:

, In: Medical Image Computing and Computer Assisted Intervention – MICCAI 2018; Lecture Notes in Computer Science,
Orlando, José Ignacio ; Barbosa Breda, João ; van Keer, Karel... - p. E1-E1 , 2018
Link: https://doi.org/10.1007/..
 
?
10

Towards a Glaucoma Risk Index Based on Simulated Hemodynami..:

, In: Medical Image Computing and Computer Assisted Intervention – MICCAI 2018; Lecture Notes in Computer Science,
Orlando, José Ignacio ; Barbosa Breda, João ; van Keer, Karel... - p. 65-73 , 2018
Link: https://doi.org/10.1007/..
 
?
11

Hardware module for low-resource and real-time stereo visio..:

, In: Proceedings of the 30th Symposium on Integrated Circuits and Systems Design: Chip on the Sands,
Cambuim, Lucas F. S. ; Barbosa, João P. F. ; Barros, Edna N. S. - p. 53-58 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

An FPGA-based accelerator for multiple real-time template m..:

, In: Proceedings of the 29th Symposium on Integrated Circuits and Systems Design: Chip on the Mountains,
Albuquerque, Erika S. ; Ferreira, Antonyus P. A. ; Silva, João G. M.... - p. 1-6 , 2017
Link: https://dl.acm.org/doi/1..
 
?
13

Poster : high performance FPGA-based implementation of t..:

, In: Proceedings of the 2011 companion on High Performance Computing Networking, Storage and Analysis Companion,
Medeiros, Victor Wanderley Costa de ; Rocha, Rodrigo Camarotti Ferreira da ; Ferreira, Antonyus Pyetro do Amaral... - p. 41-42 , 2011
Link: https://dl.acm.org/doi/1..
 
?
14

xOOHDM : Integrated development environment for creating..:

, In: Proceedings of the XXXIII Brazilian Symposium on Software Engineering,
Glória, João Paulo Barbosa ; de Medeiros, Adriana Pereira - p. 273-278 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

List of Contributors:

, In: The Heart in Rheumatic, Autoimmune and Inflammatory Diseases,
Agostini, Carlo ; Alunno, Alessia ; Ayvazyan, Lilit... - p. xi-xvii , 2017
Link: https://doi.org/10.1016/..
 
1-15