Search

Your search keyword '"Deng, Yuxin"' showing total 511 results
Start Over Author "Deng, Yuxin"
511 results on '"Deng, Yuxin"'

105. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

Author

Du, Wenjie, Deng, Yuxin, Gebler, Daniel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fränzle, Martin, editor, Kapur, Deepak, editor, and Zhan, Naijun, editor

Published
2016
Full Text
View/download PDF

106. Self-Powered Fast Response X-Ray Detector Based on Vertical p-NiO/Ga2O3 Heterojunction Diode

Author

Zhang, Silong, Deng, Yuxin, Chen, Liang, Zhou, Leidang, Lu, Xing, Wang, Fangbao, Du, Xue, Li, Yang, He, Shiyi, and Ouyang, Xiaoping

Abstract

Ga2O3, as an ultra-wide band gap material with physical properties such as large atomic number, low intrinsic carrier density, and high irradiation tolerance, has shown great potential in X-ray detection. This letter reports a self-powered X-ray detector based on vertical p-NiO/Ga2O3 heterojunction diodes (HJDs). Benefiting from the high quality and high built-in potential of the p-n heterojunction, the HJD detector exhibited a pronounced photovoltaic response to X-rays at 0 V with a sensitivity of 212 nC $\cdot $ Gy $^{-1}\cdot $ cm−2 and a fast response time of less than 0.02 s in transient X-ray response measurements, which was much faster than that of the reported Ga2O3 Schottky barrier diode (SBD) detector. The power-voltage (P-V) test indicated that the device conformed to typical photovoltaic characteristics with a maximum output power of 2.95 nW. Moreover, the HJD detector showed a good linear property to various X-ray dose rates from 0.0383 Gy $\cdot \text{s}^{-1}$ to 1.149 Gy $\cdot \text{s}^{-1}$ .

Published
2024
Full Text
View/download PDF

107. Radiation effects of high-fluence reactor neutron on Ni/β-Ga2O3 Schottky barrier diodes.

Author

Zhou, Leidang, Chen, Hao, Xu, Tongling, Ruan, Jinlu, Lai, Yuru, Deng, Yuxin, Chen, Jiaxiang, Zou, Xinbo, Lu, Xing, Chen, Liang, and Ouyang, Xiaoping

Subjects
NEUTRON irradiation, SCHOTTKY barrier diodes, NEUTRONS, CARRIER density, RADIATION, TRANSPORTATION rates
Abstract

This study investigates the broad-energy-spectrum reactor-neutron irradiation effects on the electrical characteristics of Ni/β-Ga2O3 Schottky barrier diodes (SBDs), where the irradiated neutron fluence was up to 1 × 1016 cm−2. On the one hand, the high neutron fluence of 1016 cm−2 resulted in a reduction in forward current density by two orders of magnitude and an extremely high on-resistance property due to the radiation-generated considerable series resistance in the SBD. On the other hand, the irradiation brought little influence on the Ni/β-Ga2O3 Schottky contact, since the extracted ideality factor and barrier height from temperature-dependent current–voltage (I–V–T) characteristics showed no significant changes after the radiation. Moreover, the capacitance–voltage (C–V) characterization revealed that the net carrier density in the β-Ga2O3 material was only reduced by 25% at the neutron fluence of 1015 cm−2 but a significant reduction by 2–3 orders at 1016 cm−2. Within the neutron fluence range of 2 × 1014 cm−2 up to 1016 cm−2, the carrier removal rates trended to be saturated with the increased fluences, following an exponential regular. In addition, the C–V measurement on the 1016 cm−2 irradiated sample exhibited an obvious frequency dispersion, and the extracted carrier distribution was not uniform. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

113. Modal Characterisations of Probabilistic and Fuzzy Bisimulations

Author

Deng, Yuxin, Wu, Hengyang, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Merz, Stephan, editor, and Pang, Jun, editor

Published
2014
Full Text
View/download PDF

114. Alpha particle detection based on a NiO/β-Ga2O3 heterojunction diode.

Author

Zhou, Leidang, Chen, Hao, Deng, Yuxin, Zhang, Silong, Chen, Liang, Lu, Xing, and Ouyang, Xiaoping

Subjects
ALPHA rays, DIODES, HETEROJUNCTIONS, STRAY currents, HIGH voltages, DETECTORS
Abstract

Alpha particle detection has been achieved using a NiO/β-Ga2O3 heterojunction diode (HJD) detector, demonstrating the great potential of β-Ga2O3 devices for ionizing particle detection. Featuring a large area (700 × 700 μm2) and a low reverse leakage current (10−10 A), the HJD detector exhibited apparent energy spectra of 239Pu-generated alpha particles with an energy of 5.155 MeV at various bias voltages from −20 to −150 V. The peak energy of the energy spectra increased with the bias voltages. In contrast, the full width at half-maximum of the spectra was almost unchanged at high bias voltages, leading to an increased energy resolution with the increase in the bias voltages. The detector's charge collection efficiency (CCE) and energy resolution reached 14.82% and 17.54% at −150 V, respectively. The compromised CCE and energy resolution were revealed to be limited by the insufficient depletion width of the NiO/β-Ga2O3 HJD. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

125. sj-pdf-1-imr-10.1177_03000605231154657 - Supplemental material for Hepatic epithelioid angiomyolipoma is scattered and unsuitable for surgery: a case report

Author

Cai, Xiangreng, Sun, Shuchuan, Deng, Yuxin, Liu, Jiangxin, and Pan, Siyuan

Subjects
111199 Nutrition and Dietetics not elsewhere classified, Cardiology, 170199 Psychology not elsewhere classified, 111799 Public Health and Health Services not elsewhere classified, 110604 Sports Medicine, FOS: Health sciences, 110306 Endocrinology, 110308 Geriatrics and Gerontology, 111099 Nursing not elsewhere classified, 111708 Health and Community Services, 160807 Sociological Methodology and Research Methods, 111702 Aged Health Care, 111403 Paediatrics, 110904 Neurology and Neuromuscular Diseases, 110203 Respiratory Diseases, 110315 Otorhinolaryngology, FOS: Clinical medicine, 110319 Psychiatry (incl. Psychotherapy), FOS: Sociology, FOS: Psychology, 110599 Dentistry not elsewhere classified, 110323 Surgery, 110305 Emergency Medicine, 111599 Pharmacology and Pharmaceutical Sciences not elsewhere classified, 111299 Oncology and Carcinogenesis not elsewhere classified, 110314 Orthopaedics
Abstract

Supplemental material, sj-pdf-1-imr-10.1177_03000605231154657 for Hepatic epithelioid angiomyolipoma is scattered and unsuitable for surgery: a case report by Xiangreng Cai, Shuchuan Sun, Yuxin Deng, Jiangxin Liu and Siyuan Pan in Journal of International Medical Research

Published
2023
Full Text
View/download PDF

126. The Buffered π-Calculus: A Model for Concurrent Languages

Author

Deng, Xiaojie, Zhang, Yu, Deng, Yuxin, Zhong, Farong, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dediu, Adrian-Horia, editor, Martín-Vide, Carlos, editor, and Truthe, Bianca, editor

Published
2013
Full Text
View/download PDF

127. Compositional Reasoning for Markov Decision Processes : (Extended Abstract)

Author

Deng, Yuxin, Hennessy, Matthew, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Arbab, Farhad, editor, and Sirjani, Marjan, editor

Published
2012
Full Text
View/download PDF

128. On the Semantics of Markov Automata

Author

Deng, Yuxin, Hennessy, Matthew, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Aceto, Luca, editor, Henzinger, Monika, editor, and Sgall, Jiří, editor

Published
2011
Full Text
View/download PDF

129. A Framework for Verifying Data-Centric Protocols

Author

Deng, Yuxin, Grumbach, Stéphane, Monin, Jean-François, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bruni, Roberto, editor, and Dingel, Juergen, editor

Published
2011
Full Text
View/download PDF

130. Online Illusory Truth

Author

Van Der Wege, Mija, Carothers-Liske, Lauren, Deng, Yuxin, Hairston, Kennadi, Hirayama, Yumeka, LeBlanc, Tracy, Kpachavi, Ian, Tolbert, Alexis, Zheng, Ran, and Conour, Cecily

Published
2022
Full Text
View/download PDF

131. Text-based irony use

Author

Van Der Wege, Mija, Jacobsen, Jessi, Anderson, Evan, Jenkins, Sophia, Gleason, Shayna, Waterfield, Martha, Mullen, Aidan, Tritschler, Katie, Lei, Anny, Mappy, Lyn, Plank, Kelsey, Lo, Wendy, Conour, Cecily, LeBlanc, Tracy, Deng, Yuxin, and Hirayama, Yumeka

Abstract

A series of studies investigating how people use and comprehend irony over text-based media.

Published
2022
Full Text
View/download PDF

139. Verifying Anonymous Credential Systems in Applied Pi Calculus

Author

Li, Xiangxi, Zhang, Yu, Deng, Yuxin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Garay, Juan A., editor, Miyaji, Atsuko, editor, and Otsuka, Akira, editor

Published
2009
Full Text
View/download PDF

140. Testing Finitary Probabilistic Processes : (Extended Abstract)

Author

Deng, Yuxin, van Glabbeek, Rob, Hennessy, Matthew, Morgan, Carroll, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bravetti, Mario, editor, and Zavattaro, Gianluigi, editor

Published
2009
Full Text
View/download PDF

141. Game Characterizations of Process Equivalences

Author

Chen, Xin, Deng, Yuxin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Ramalingam, G., editor

Published
2008
Full Text
View/download PDF

144. Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

Author

Luo, Zhengqin, Cai, Xiaojuan, Pang, Jun, Deng, Yuxin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Katz, Jonathan, editor, and Yung, Moti, editor

Published
2007
Full Text
View/download PDF

145. Scalar Outcomes Suffice for Finitary Probabilistic Testing

Author

Deng, Yuxin, van Glabbeek, Rob, Morgan, Carroll, Zhang, Chenyi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and De Nicola, Rocco, editor

Published
2007
Full Text
View/download PDF

146. Measuring Anonymity with Relative Entropy

Author

Deng, Yuxin, Pang, Jun, Wu, Peng, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dimitrakos, Theo, editor, Martinelli, Fabio, editor, Ryan, Peter Y. A., editor, and Schneider, Steve, editor

Published
2007
Full Text
View/download PDF

148. Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China

Author

Wu, Jingwei, Mao, Wanxi, Deng, Yuxin, and Xu, Jinghong

Abstract

We compared the child privacy protections of six top smart speaker manufacturers, all from the United States and China, based on qualitative content analysis of privacy policies. We presented six principles revealing the similarities and differences between those markets and proposed suggestions for manufacturers and regulators.

Published
2023
Full Text
View/download PDF

149. Compositional Reasoning for Probabilistic Finite-State Behaviors

Author

Deng, Yuxin, Palamidessi, Catuscia, Pang, Jun, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Middeldorp, Aart, editor, van Oostrom, Vincent, editor, van Raamsdonk, Femke, editor, and de Vrijer, Roel, editor

Published
2005
Full Text
View/download PDF

150. Axiomatizations for Probabilistic Finite-State Behaviors

Author

Deng, Yuxin, Palamidessi, Catuscia, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Sassone, Vladimiro, editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results