Zobrazeno 1 - 10
of 118
pro vyhledávání: '"Xi, Hongwei"'
Autor:
Fu, Qiancheng, Xi, Hongwei
We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and programs decouples their semantics, allowing the type system to assume t
Externí odkaz:
http://arxiv.org/abs/2309.08673
Autor:
Xi, Hongwei, Wu, Hanwen
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on some underlying set of roles and the notion of negation is generalized to endomorphisms on this set. We formulate both multirole l
Externí odkaz:
http://arxiv.org/abs/2309.01317
The FAST Ultra-Deep Survey (FUDS) is a blind survey that aims for the direct detection of HI in galaxies at redshifts $z<0.42$. The survey uses the multibeam receiver on the Five Hundred Meter Aperture Spherical Telescope (FAST) to map six regions, e
Externí odkaz:
http://arxiv.org/abs/2204.03152
Autor:
Xi, Hongwei, Staveley-Smith, Lister, For, Bi-Qing, Freudling, Wolfram, Zwaan, Martin, Hoppmann, Laura, Liang, Fu-Heng, Peng, Bo
The Arecibo Ultra Deep Survey (AUDS) is a blind HI survey aimed at detecting galaxies beyond the local Universe in the 21-cm emission line of neutral hydrogen (HI). The Arecibo $L$-band Feed Array (ALFA) was used to image an area of 1.35~deg$^2$ to a
Externí odkaz:
http://arxiv.org/abs/2012.09516
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Xi, Hongwei, Zhu, Dengping
We present a type system capable of guaranteeing the memory safety of programs that may involve (sophisticated) pointer manipulation such as pointer arithmetic. With its root in a recently developed framework Applied Type System (ATS), the type syste
Externí odkaz:
http://arxiv.org/abs/1810.12190
Autor:
Wu, Hanwen, Xi, Hongwei
The fast growth of service-oriented programming (SOP) is evident in this day and age of the Internet, and handling communication is of paramount importance in SOP. Session types are a formalism that is proposed to specify interactions between communi
Externí odkaz:
http://arxiv.org/abs/1810.12146
Autor:
Wang, Xiaotong1 (AUTHOR), Xi, Hongwei1 (AUTHOR), Wei, Changzheng1 (AUTHOR) czwei@3healthcare.com
Publikováno v:
Skin Research & Technology. Sep2023, Vol. 29 Issue 9, p1-9. 9p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wu, Hanwen, Xi, Hongwei
Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specification/verification of concurrency. This work forma
Externí odkaz:
http://arxiv.org/abs/1808.00077