Submissions from 2023
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
Serious Games and Mixed Reality Applications for Healthcare, Gianfranco DiGiuseppe, Marco Gesi, Sara Condino, Rosanna Maria Viglialoro, and Marina Carbone
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
Mammography Image-Based Diagnosis of Breast Cancer Using Machine Learning: A Pilot Study, Maha M. Alshammari, Afnan Almuhanna, and Jamal Alhiyafi
Submissions from 2020
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
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
Review of the Augmented Reality Systems for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marina Carbone, Marco Gesi, and Vincenzo Ferrari
Wearable Augmented Reality Application for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marco Gesi, and Vincenzo Ferrari
Submissions from 2018
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
Online Task Assignment for Crowdsensing in Predictable Mobile Social Networks, Mingjun Xiao, Jie Wu, Liusheng Huang, Ruhong Cheng, and Yunsheng Wang
Submissions from 2015
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
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
Cloud-Based Multicasting with Feedback in Mobile Social Networks, Yunsheng Wang, Jie Wu, and Wei-Shih Yang
Submissions from 2012
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
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
Hypercube-based Multi-path Social Feature Routing in Human Contact Networks, Jie Wu and Yunsheng Wang
Submissions from 2010
Engaging Computer Science Students Through Cooperative Education, James Huggins
Abstract State Machines and the Inquiry Process, James Huggins and Charles Wallace
Submissions from 2002
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
Abstract State Machines 1988-1998: Commented ASM Bibliography, James Huggins and Egon Borger
Specification and Verification of Pipelining in the ARM2 RISC Microprocessor, James Huggins and David Van Campenhout
Submissions from 1997
Equivalence is in the Eye of the Beholder, James Huggins and Yuri Guravich
