Computing & Information Technology

Method for Verifying Social Media Data Received from Third-Party Providers

Privacy-Preserving Social Media Data Outsourcing

Hybrid Automata Mining from Input/Output Traces of Cyber-Physical Systems

Co-Simulation of Physical Model and Self-Adaptive Predictive Controller Using Hybrid Automata

RIM: Robust Intersection Management for Connected Autonomous Vehicles

Shifting Weight-Based Interfaces for Simulated Hydrodynamics in Mixed-Reality Fluid Vessels (SWISH)

Fidelity-Driven Runtime Thermal Management for Near-Sensor Architectures

Collaborative Illumination Estimation for Mobile Mixed-Reality Devices

GaN-Based Threshold Switching Device and Memory Diode

A 3D In-the-Air Finger-Motion-Based User Login Framework for Gesture Interface