نتائج البحث

Complexity in Automation of SOS Proofs: An Illustrative Example

• Authors : Gayme, Dennice; Fazel, Maryam; Doyle, John C.

• Source: 45th IEEE Conference on Decision and Control, San Diego, CA, December 13-15, 2006

تفاصيل العنوان

Evidence for Unfractionated Magnesium Isotopes in Genesis SOS Wafers

• Authors : Humayun, M.; Jurewicz, A. J. G.; Olinger, C.

• Source: Meteoritics and Planetary Science, 47(S1), A202-A202, (2012-07) ; 75th Annual Meeting of the Meteoritical Society, Cairns, Australia, Aug 12-17, 2012

تفاصيل العنوان

Help on SOS

• Authors : Packard, Andrew; Topcu, Ufuk; Seiler, Peter

• Source: IEEE Control Systems, 30(4), 18-23, (2010-08)

تفاصيل العنوان

Regulation of SOS mutagenesis by proteolysis

• Authors : Frank, Ekaterina G.; Ennis, Don G.; Gonzalez, Martín

Subjects: UmuD/D'; UmuC; Lon

• Source: Proceedings of the National Academy of Sciences of the United States of America, 93(19), 10291-10296, (1996-09-17)

تفاصيل العنوان

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

• Authors : Xu, Xiangru; Grizzle, Jessy W.; Tabuada, Paulo

Subjects: Control barrier functions (CBFs); correct by construction; quadratic program

• Source: IEEE Transactions on Automation Science and Engineering, 15(3), 1216-1229, (2018-07)

تفاصيل العنوان

Rice grassy stunt tenuivirus nonstructural protein p5 interacts with itself to form oligomeric complexes in vitro and in vivo

• Authors : Chomchan, Pritsana; Li, Shi-Fang; Shirako, Yukio

Subjects: GENUS TENUIVIRUS; 2-HYBRID SYSTEM; VIRUS

• Source: Journal of Virology, 77(1), 769-775, (2003-01)

تفاصيل العنوان

Limitations of Semidefinite Programs for Separable States and Entangled Games

• Authors : Harrow, Aram W.; Natarajan, Anand; Wu, Xiaodi

• Source: Communications in Mathematical Physics, 366(2), 423-468, (2019-03)

تفاصيل العنوان

Photoacoustic computed tomography without accurate ultrasonic transducer responses

• Authors : Sheng, Qiwei; Wang, Kun; Xia, Jun ...

• Source: SPIE BiOS, San Francisco, CA, 8-10 February 2015

تفاصيل العنوان

Synergistic image reconstruction for hybrid ultrasound and photoacoustic computed tomography

• Authors : Matthews, Thomas P.; Wang, Kun; Wang, Lihong V. ...

Subjects: ultrasound computed tomography; photoacoustic computed tomography; joint image reconstruction

• Source: SPIE BiOS, San Francisco, CA, 8-10 February 2015

تفاصيل العنوان

Joint Reconstruction of Absorbed Optical Energy Density and Sound Speed Distributions in Photoacoustic Computed Tomography: A Numerical Investigation

• Authors : Huang, Chao; Wang, Kun; Schoonover, Robert W.

Subjects: Photoacoustic computed tomography; optoacoustic tomography; ultrasound tomography

• Source: IEEE Transactions on Computational Imaging, 2(2), 136-149, (2016-06)

تفاصيل العنوان