UScholar Works
 
Filters: Department: "Electrical & Computer Engineering" Collection: "ir_uspace"
1 - 25 of 6
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Myers, Chris J.Formal verification of genetic circuitsResearchers are beginning to be able to engineer synthetic genetic circuits for a range of applications in the environmental, medical, and energy domains [1]. Crucial to the success of these efforts is the development of methods and tools to verify the correctness of these designs. This verification...2012-01-01
2 Myers, Chris J.Learning genetic regulatory network connectivity from time series dataAbstract-Recent experimental advances facilitate the collection of time series data that indicate which genes in a cell are expressed. This information can be used to understand the genetic regulatory network that generates the data. Typically, Bayesian analysis approaches are applied which neglect ...2011
3 Tasdizen, TolgaThree-dimensional alignment and merging of confocal microscopy stacksWe describe an efficient, robust, automated method for image alignment and merging of translated, rotated and flipped confocal microscopy stacks. The samples are captured in both directions (top and bottom) to increase the SNR of the individual slices. We identify the overlapping region of the two s...2013-01-01
4 Mastrangelo, Carlos H.Detection of biomolecular binding by fourier-transform SPRSurface plasmon resonance (SPR) is a widely used label-free detection technique that has many applications in drug discovery, pharmacokinetics, systems biology and food science. The SPR technique measures the dynamics of a biomolecular interaction at a surface, yielding kinetic association and diss...2010
5 Myers, Chris J.Learning genetic regulatory network connectivity from time series dataAbstract. Recent experimental advances facilitate the collection of time series data that indicate which genes in a cell are expressed. This paper proposes an efficient method to generate the genetic regulatory network inferred from time series data. Our method fi_x000C_rst encodes the data into le...2006
6 Myers, Chris J.A compositional minimization approach for large asynchronous design verificationThis paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false ...2012-01-01
1 - 25 of 6