Albert Lin

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 11

Top Topics

High Reliability

Conformal Prediction

Transitive Closure

Top Venues

Frontiers Neurorobotics

Publications

Albert Lin, Somil Bansal
Verification of neural reachable tubes via scenario optimization and conformal prediction. L4DC (2024)
Alex Zhang, Khanh Nguyen, Jens Tuyls, Albert Lin, Karthik Narasimhan
Language-Guided World Models: A Model-Based Approach to AI Control. CoRR (2024)
Albert Lin, Somil Bansal
Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction. CoRR (2023)
Albert Lin, Somil Bansal
Generating Formal Safety Assurances for High-Dimensional Reachability. ICRA (2023)
Lu Mi, Richard Xu, Sridhama Prakhya, Albert Lin, Nir Shavit, Aravinthan D. T. Samuel, Srinivas C. Turaga
Connectome-constrained Latent Variable Model of Whole-Brain Neural Activity. ICLR (2022)
Albert Lin, Somil Bansal
Generating Formal Safety Assurances for High-Dimensional Reachability. CoRR (2022)
Theodore C. Feldman, Nathanael Fillmore, Nhan V. Do, Mary Brophy, David Kaplan, Albert Lin
Phenotyping Hepatic Immune-Related Adverse Events After Immune Checkpoint Inhibitor Therapy. AMIA (2022)
James Derek Lomas, Albert Lin, Suzanne Dikker, Deborah Forster, Maria Luce Lupetti, Gijs Huisman, Julika Habekost, Caiseal Beardow, Pankaj Pandey, Nashra Ahmad, Krishna P. Miyapuram, Tim Mullen, Patrick Cooper, Willem van der Maden, Emily S. Cross
Resonance as a Design Strategy for AI and Social Robots. Frontiers Neurorobotics 16 (2022)
Yu-Kai Chen, Yi-Chen Lai, Wen-Chi Lu, Albert Lin
Design and Implementation of High Reliability Electrical Power System for 2U NutSat. IEEE Trans. Aerosp. Electron. Syst. 57 (1) (2021)
Amin Nejatbakhsh, Erdem Varol, Eviatar Yemini, Vivek Venkatachalam, Albert Lin, Aravinthan D. T. Samuel, Oliver Hobert, Liam Paninski
Demixing Calcium Imaging Data in C. elegans via Deformable Non-negative Matrix Factorization. MICCAI (5) (2020)
Amitava Majumdar, Balakrishna Jayadev, Da Cheng, Albert Lin
Architecture for Reliable Scan-Dump in the Presence of Multiple Asynchronous Clock Domains in FPGA SoCs. ATS (2017)
Gilberto Antonio Marcon dos Santos, Zachary Barnes, Eric Lo, Bryan Ritoper, Lauren Nishizaki, Xavier Tejeda, Alex Ke, Han Lin, Curt Schurgers, Albert Lin, Ryan Kastner
Small Unmanned Aerial Vehicle System for Wildlife Radio Collar Tracking. MASS (2014)
Jie Zhang, Albert Lin, Nishant Patil, Hai Wei, Lan Wei, H.-S. Philip Wong, Subhasish Mitra
Carbon Nanotube Robust Digital VLSI. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (4) (2012)
Ryan Kastner, Albert Lin, Curt Schurgers, Jules S. Jaffe, Peter Franks, Brent S. Stewart
Sensor platforms for multimodal underwater monitoring. IGCC (2012)
Hai Wei, Jie Zhang, Lan Wei, Nishant Patil, Albert Lin, Max M. Shulaker, Hong-Yu Chen, H.-S. Philip Wong, Subhasish Mitra
Carbon nanotube imperfection-immune digital VLSI: Frequently asked questions updated. ICCAD (2011)
Jie Zhang, Nishant Patil, Albert Lin, H.-S. Philip Wong, Subhasish Mitra
Carbon nanotube circuits: Living with imperfections and variations. DATE (2010)
Jie Zhang, Shashikanth Bobba, Nishant Patil, Albert Lin, H.-S. Philip Wong, Giovanni De Micheli, Subhasish Mitra
Carbon nanotube correlation: promising opportunity for CNFET circuit yield enhancement. DAC (2010)
Nishant Patil, Albert Lin, Jie Zhang, H.-S. Philip Wong, Subhasish Mitra
Digital VLSI logic technology using Carbon Nanotube FETs: frequently asked questions. DAC (2009)
Nishant Patil, Jie Deng, Albert Lin, H.-S. Philip Wong, Subhasish Mitra
Design Methods for Misaligned and Mispositioned Carbon-Nanotube Immune Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (10) (2008)
Jie Deng, Albert Lin, Gordon C. Wan, H.-S. Philip Wong
Carbon nanotube transistor compact model for circuit design and performance optimization. ACM J. Emerg. Technol. Comput. Syst. 4 (2) (2008)
Albert Lin
Taiwan foundry for system-in-package (SIP). ASP-DAC (2000)
Paul R. Cohen, Robert Schrag, Eric K. Jones, Adam Pease, Albert Lin, Barbara Starr, David Gunning, Murray Burke
The DARPA High-Performance Knowledge Bases Project. AI Mag. 19 (4) (1998)
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
The Flux OSKit: A Substrate for Kernel and Language Research. SOSP (1997)