4225 .
An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm
Balbo, Giafranco ; Chiola, Giovanni ; Bruell, Steven C. ; 陳伯榮 ; Chen, Po-zung
,
1992-03
[Graduate Institute & Department of Computer Science and Information Engineering] Journal Article IEEE Transactions on Parallel and Distributed Systems 3(2), pp.221-240
, Member, IEEE, and Po-zung Chen, Member, ZEEE Abstract- We use a colored generalized stochastic Petri net
(CGSPN) model to study both the correctness
4226 .
Significance of the pH-induced conformational changes in the structure of C-reactive protein measured by dual polarization interferometry
Sheu, Bor-ching ; Lin, Yun-han ; Lin, Chih-chen ; Lee, Adam Shih-yuan ; Chang, Wen-chun ; Wu, Jung-hsin ; TSai, Jui-chang ; Lin, Shi-ming
,
2010-10-15
[Graduate Institute & Department of Chemistry] Journal Article Biosensors and Bioelectronics 26(2), pp.822-827
and thickness)
of adsorbed protein layers ot the sensur (solid)–liquid interface.
Also, SPR biosensors have been wedely used to study conforma-
tional
4234 .
Local and intermediate-range structure of amorphous MoS3: Model calculation study
Chien, F. Z. ; Moss, S. C. ; Liang, K. S. ; Chianelli, R. R
,
1984-04
[Graduate Institute & Department of Physics] Journal Article Physical Review B (Condensed Matter) 29(8), pp.4606-4615
淡江大學物理學系 Chien, F. Z. Moss, S. C. Liang, K. S. Chianelli, R. R Local and intermediate-range structure of amorphous MoS3: Model calculation study