-
languages (such as advanced type systems and functional logic programming) to bridging the gap between ad hoc array processing and formally verified functional programming using interactive theorem provers
-
electrophysiological methods (e.g., patch clamp recording, multiple-electrode array recordings, or OECT recordings) Work with cell studies (in vitro studies) Microscopy of cells and cell clusters (e.g., confocal and/or
Searches related to array
Enter an email to receive alerts for array positions