Now showing items 21-30 of 75
Hardware Mechanisms for Efficient Memory System Security
(2018)
The security of a computer system hinges on the trustworthiness of the operating system and the hardware, as applications rely on them to protect code and data. As a result, multiple protections for safeguarding the hardware ...
Acoustic Methods for Histotripsy Feedback
(2019)
Histotripsy is a therapeutic ultrasound modality that employs clouds of inertial cavitation to noninvasively destroy unwanted tissue. Histotripsy systems are, traditionally, transmit-only systems incapable of receiving ...
Advances in Game-Theoretic, Set-Theoretic and Optimal Control to Enhance Mobility
(2022)
Advances in mobility technology are expected to greatly improve our access to transportation and the convenience of life. Many challenges in achieving the safety, efficiency, and comfort of mobility systems still exist. ...
Design and Testing Novel Wearable Instrumentation for Assessing Pelvic Floor Function and Exploring Continence Mechanisms
(2020)
Urinary incontinence (UI) and fecal incontinence (FI) affect 20% of North Americans, with a higher prevalence in women and the elderly. The prevention and treatment of these conditions unfortunately leaves much to be ...
3D Scene Understanding with Deep Learning
(2022)
3D scene understanding is crucial for robotics, augmented reality and autonomous vehicles.
In those applications, the 3D structure can be computed by using stereo cameras or depth sensors.
One can process these 3D measurements ...
Improving Collaboration Between Drivers and Automated Vehicles with Trust Processing Methods
(2021)
Trust has gained attention in the Human-Robot Interaction (HRI) field, as it is considered an antecedent of people's reliance on machines.
In general, people are likely to rely on and use machines they trust, and to refrain ...
Learning, Inference, and Unmixing of Weak, Structured Signals in Noise
(2020)
In this thesis, we study two methods that can be used to learn, infer, and unmix weak, structured signals in noise: the Dynamic Mode Decomposition algorithm and the sparse Principal Component Analysis problem. Both problems ...
Algorithm/Architecture Co-Design for Low-Power Neuromorphic Computing
(2017)
The development of computing systems based on the conventional von Neumann architecture has slowed down in the past decade as complementary metal-oxide-semiconductor (CMOS) technology scaling becomes more and more difficult. ...
Power, Interconnect, and Reliability Techniques for Large Scale Integrated Circuits.
(2012)
Historically, consumer computing products have moved to increasingly smaller form factors, from the personal computer, to the laptop, and now to devices such as smart phones and tablets. These products have a high amount ...
Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty
(2022)
The theory of formal methods had a profound effect on computer science. By providing tools that can verify a program’s correctness or generate software that is “correct-by-construction,” Formal Methods made it much easier ...