E-LIB Suche - Ergebnisse für: Condon, Anne E.

1

Automatable Verification of Sequential Consistency:

Condon, Anne E. ; Hu, Alan J.
Theory of Computing Systems. 36 (2003) 5 - p. 431-460 , 2003

Link: https://doi.org/10.1007/..

2

DNA Word Design Strategy for Creating Sets of Non-interacti..:

Li, Ming ; Lee, Hye Jin ; Condon, Anne E..
Langmuir. 18 (2002) 3 - p. 805-812 , 2002

Link: https://doi.org/10.1021/..

3

On Combinatorial DNA Word Design:

Marathe, Amit ; Condon, Anne E. ; Corn, Robert M.
Journal of Computational Biology. 8 (2001) 3 - p. 201-219 , 2001

Link: https://doi.org/10.1089/..

4

Automatable verification of sequential consistency:

, In: Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures,

Condon, Anne E. ; Hu, Alan J. - p. 113-121 , 2001

Link: https://dl.acm.org/doi/1..

5

DNA computing on surfaces:

Liu, Qinghua ; Wang, Liman ; Frutos, Anthony G....
Nature. 403 (2000) 6766 - p. 175-179 , 2000

Link: https://doi.org/10.1038/..

6

Multiple Word DNA Computing on Surfaces:

Wang, Liman ; Liu, Qinghua ; Corn, Robert M...
Journal of the American Chemical Society. 122 (2000) 31 - p. 7435-7440 , 2000

Link: https://doi.org/10.1021/..

7

A system-level specification framework for I/O architecture:

, In: Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures,

Hill, Mark D. ; Condon, Anne E. ; Plakal, Manoj. - p. 138-147 , 1999

Link: https://dl.acm.org/doi/1..

8

Surface-based DNA computing operations: DESTROY and READOUT:

Wang, Liman ; Liu, Qinghua ; Frutos, Anthony G...
Biosystems. 52 (1999) 1-3 - p. 189-191 , 1999

Link: https://doi.org/10.1016/..

9

Progress toward demonstration of a surface based DNA comput..:

Liu, Qinghua ; Frutos, Anthony G. ; Wang, Liman...
Biosystems. 52 (1999) 1-3 - p. 25-33 , 1999

Link: https://doi.org/10.1016/..

10

Lamport clocks : verifying a directory cache-coherence p..:

, In: Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures,

Plakal, Manoj ; Sorin, Daniel J. ; Condon, Anne E.. - p. 67-76 , 1998

Link: https://dl.acm.org/doi/1..

11

A Surface-Based Approach to DNA Computation:

SMITH, LLOYD M. ; CORN, ROBERT M. ; CONDON, ANNE E....
Journal of Computational Biology. 5 (1998) 2 - p. 255-267 , 1998

Link: https://doi.org/10.1089/..

12

The power of surface-based DNA computation (extended abstra..:

, In: Proceedings of the first annual international conference on Computational molecular biology,

Cai, Weiping ; Condon, Anne E. ; Corn, Robert M.... - p. 67-74 , 1997

Link: https://dl.acm.org/doi/1..

13

Improved free energy parameters for RNA pseudoknotted secon..:

Andronescu, Mirela S ; Pop, Cristina ; Condon, Anne E
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2802035. , 2010

Link: http://www.ncbi.nlm.nih...

14

The CRA Distributed Mentor Project: Mentoring Undergraduate..:

Alexander, Baine B ; Condon, Anne E ; Vernon, Mary K
https://journals.psu.edu/wepan/article/view/57990/57678. , 1969

Link: https://journals.psu.edu..

15

Global Groundwater Modeling and Monitoring: Opportunities a..:

Condon, Laura E. ; Kollet, Stefan ; Bierkens, Marc F. P....
Water Resources Research. 57 (2021) 12 - p. , 2021

Link: https://doi.org/10.1029/..