Follow

Submissions from 2023

Link

Comprehensible Machine-Learning-Based Models for the Pre-Emptive Diagnosis of Multiple Sclerosis Using Clinical Data: A Retrospective Study in the Eastern Province of Saudi Arabia, Sunday O. Olatunj, Nawal Alsheikh, Lujain Alnajrani, Alhatoon Alanazy, Meshael Almusairii, Salam Alshammasi, Aisha Alansari, Rim Zaghdoud, Alaa Alahmadi, Mohammed Imran Basheer Ahmed, Mohammed Salih Ahmed, and Jamal Alhiyafi

Submissions from 2022

PDF

Serious Games and Mixed Reality Applications for Healthcare, Gianfranco DiGiuseppe, Marco Gesi, Sara Condino, Rosanna Maria Viglialoro, and Marina Carbone

Link

Preemptive Diagnosis of Alzheimer’s Disease in the Eastern Province of Saudi Arabia Using Computational Intelligence Techniques, Sunday O. Olatunji, Aisha Alansari, Heba Alkhorasani, Meelaf Alsubaii, Rasha Sakloua, Reem Alzahrani, Yasmeen Alsaleem, Reem Alassaf, Mehwash Farooqui, Mohammed Imran Basheer Ahmed, and Jamal Alhiyafi

Submissions from 2021

Link

Mammography Image-Based Diagnosis of Breast Cancer Using Machine Learning: A Pilot Study, Maha M. Alshammari, Afnan Almuhanna, and Jamal Alhiyafi

Submissions from 2020

PDF

Novel EM Guided Endovascular Instrumentation for In Situ Endograft Fenestration, Gianfranco DiGiuseppe, S. Condino, R. Piazza, R. M. Viglialoro, D. M. Morcellin, R. N. Berchiolli, F. Micheletti, F. Rossi, R. Pini, V. Ferrari, and M. Ferrari

Link

Interactive Serious Game for Shoulder Rehabilitation Based on Real-Time Hand Tracking, Rosanna Maria Viglialoro, Sara Condino, Virginia Mamone, Marina Carbone, Vincenzo Ferrari, Giulia Ghelarducci, Mauro Ferrari, Marco Gesi, and Giuseppe Turini

Submissions from 2019

PDF

Review of the Augmented Reality Systems for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marina Carbone, Marco Gesi, and Vincenzo Ferrari

PDF

Wearable Augmented Reality Application for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marco Gesi, and Vincenzo Ferrari

Submissions from 2018

PDF

How to Build a Patient-Specific Hybrid Simulator for Orthopaedic Open Surgery: Benefits and Limits of Mixed-Reality Using the Microsoft HoloLens, Giuseppe Turini, Sara Condino, Paolo D. Parch, Rosanna M. Viglialoro, Nicola Piolanti, Marco Gesi, Mauro Ferrari, and Vincenzo Ferrari

Submissions from 2016

Link

Online Task Assignment for Crowdsensing in Predictable Mobile Social Networks, Mingjun Xiao, Jie Wu, Liusheng Huang, Ruhong Cheng, and Yunsheng Wang

Submissions from 2015

Link

A Semiautomatic Method for In Vivo Three- Dimensional Quantitative Analysis of Fascial Layers Mobility Based on 3D Ultrasound Scans, Giuseppe Turini, Sara Condino, S. Parrini, A. Stecco, F. Busoni, Vincenzo Ferrari, Mauro Ferrari, and Marco Gesi

Link

NextMe: Localization Using Cellular Traces in Internet of Things, Daqiang Zhang, Shengjie Zhao, Laurence T. Yang, Min Cheng, Yunsheng Wang, and Huazhong Liu

Submissions from 2013

Link

Cloud-Based Multicasting with Feedback in Mobile Social Networks, Yunsheng Wang, Jie Wu, and Wei-Shih Yang

Submissions from 2012

Link

The Pledge of the Computing Professional: Recognizing and Promoting Ethics in the Computing Professions, James Huggins, Bill Albrecht, Ken Christensen, Venu Desigi, and Jody Paul

Link

Computer Guidance System for Single-Incision Bimanual Robotic Surgery, Giuseppe Turini, Marina Carbone, Gianluigi Petroni, Marta Niccolini, Arianna Menciassi, Mauro Ferrari, Vincenzo Ferrari, and Franco Mosca

Link

Hypercube-based Multi-path Social Feature Routing in Human Contact Networks, Jie Wu and Yunsheng Wang

Submissions from 2010

Link

Engaging Computer Science Students Through Cooperative Education, James Huggins

Link

Abstract State Machines and the Inquiry Process, James Huggins and Charles Wallace

Submissions from 2002

Link

An Abstract State Machine Primer, James Huggins and Charles Wallace

Submissions from 2000

An Automatic Verification Tool for UML, James Huggins, Kevin Compton, Yuri Gurevich, and Wuwei Shen

The Static and Dynamic Semantics of C: Preliminary Version, James Huggins and Wuwei Shen

Submissions from 1998

PDF

Abstract State Machines 1988-1998: Commented ASM Bibliography, James Huggins and Egon Borger

Link

Specification and Verification of Pipelining in the ARM2 RISC Microprocessor, James Huggins and David Van Campenhout

Submissions from 1997

Link

Equivalence is in the Eye of the Beholder, James Huggins and Yuri Guravich