publicações selecionadas
-
artigo académico
- Predicting hospital emergency department visits accurately: a systematic review. International Journal of Health Planning and Management. 2023
- An Image Processing Application for Quantification of Protein Aggregates in Caenorhabditis Elegans 2011
- On the discovery of business processes orchestration patterns. Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. 2008
-
artigo de conferência
- Sea of Cells: Learn Biology through Virtual Reality 2021
- Automatic left ventricular segmentation in 4D interventional ultrasound data using a patient-specific temporal synchronized shape prior 2019
- Segmentation of kidney and renal collecting system on 3D computed tomography images. IEEE International Conference on Serious Games and Applications for Health. 2018
- Classification algorithms for body posture 2017
- Instrumented vest for postural reeducation 2017
- Kidney segmentation in 3D CT images using B-Spline Explicit Active Surfaces. IEEE International Conference on Serious Games and Applications for Health. 2016
- A proof of concept of an augmented reality system for nuss surgery 2015
- Computer-aided recognition of dental implants in X-ray images 2015
- Improving the robustness of interventional 4D ultrasound segmentation through the use of personalized prior shape models 2015
- Robust temporal alignment of multimodal cardiac sequences 2015
- Semi-automatic 3D segmentation of costal cartilage in CT data from Pectus Excavatum patients 2015
- Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation. Proceedings of SPIE. 2015
- A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy. Proceedings of SPIE. 2015
- Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction. Proceedings of SPIE. 2015
- An electromagnetic tracker system for the design of a dental superstructure 2014
- Electromagnetic tracker feasibility in the design of a dental superstructure for edentulous patients 2014
- Hand-held robotic device for laparoscopic surgery and training 2014
- Real-time hand tracking for rehabilitation and character animation. IEEE International Conference on Serious Games and Applications for Health. 2014
- Tooth Adventure: A new approach to oral health best practices awareness 2013
- Palco: A multisensor realtime 3D cartoon production system 2013
- Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans. Proceedings of SPIE. 2012
- Pectus excavatum postsurgical outcome based on preoperative soft body dynamics simulation. Proceedings of SPIE. 2012
- Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum. Proceedings of SPIE. 2012
- Type checking cryptography implementations. Computational Methods in Applied Sciences. 2012
- A laparoscopic surgery training interface 2011
- Shacc: A functional prototyper for a component calculus. Computational Methods in Applied Sciences. 2011
- The role of coordination analysis in software integration projects. Computational Methods in Applied Sciences. 2011
- Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum. Proceedings of SPIE. 2011
- A digital game development education project 2010
- COORDINSPECTOR : a tool for extracting coordination data from legacy code 2008
- CoordInspector: A Tool for Extracting Coordination Data from Legacy Code 2008
- Extracting and verifying coordination models from source code 2008
- Prototyping behavioural specifications in the net framework 2004
-
artigo de revista
- Dense motion field estimation from myocardial boundary displacements. International Journal for Numerical Methods in Biomedical Engineering. 2016
- Accuracy Comparison of Implant Impression Techniques: A Systematic Review. Clinical Implant Dentistry and Related Research. 2015
- Finite element analysis of pectus carinatum surgical correction via a minimally invasive approach. Computer Methods in Biomechanics and Biomedical Engineering. 2015
- Automatic modeling of pectus excavatum corrective prosthesis using artificial neural networks. Medical Engineering & Physics. 2014
- Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants.. Computational and Mathematical Methods in Medicine. 2014
- Collecting system percutaneous access using real-time tracking sensors : first pig model in vivo experience. Journal of Urology. 2013
- Kidney targeting and puncturing during percutaneous nephrolithotomy: Recent advances and future perspectives. Journal of Endourology. 2013
- Variations of the soft tissue thicknesses external to the ribs in Pectus Excavatum patients. Journal of Pediatric Surgery. 2013
- Slicing for architectural analysis. Computational Methods in Applied Sciences. 2010
- Higher-order lazy functional slicing. Journal of Universal Computer Science. 2007
- Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science. 2006
- Program slicing by calculation. Journal of Universal Computer Science. 2006
- Architectural prototyping: From CCS to. Net. Electronic Notes in Theoretical Computer Science. 2005
-
capítulo de livro
-
teses