Rachel Lim

According to our database, Rachel Lim authored at least 5 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Dual Scan Mammoscope (DSM) - A New Portable Photoacoustic Breast Imaging System With Scanning in Craniocaudal Plane.

Nikhila Nyayapathi, Rachel Lim, Huijuan Zhang, Wenhan Zheng, Yuehang Wang, Melinda Tiao, Kwang W. Oh, X. Cynthia Fan, Ermelinda Bonaccio, Kazuaki Takabe, Jun Xia

IEEE Trans. Biomed. Eng., 2020

Safe and Coordinated Hierarchical Receding Horizon Control for Mobile Manipulators.

Jessica EnShiuan Leu, Rachel Lim, Masayoshi Tomizuka

Proceedings of the 2020 American Control Conference, 2020

2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.

Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2013

Coastal and marine habitat mapping for the straits of Malacca using spot and Landsat data.

Ping Chen, Soo Chin Liew, Rachel Lim, Leong Keong Kwoh

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Ambidextrous Socialization: Exercising Control in Social Media Environment.

Sirkka L. Jarvenpaa, Rachel Lim, Virpi Kristiina Tuunainen

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013