Huan Long

Learn More
Cilia/flagella are conserved eukaryotic organelles that play an important role in the control of cell motility and detection of environmental cues. However, the molecular mechanisms underlying ciliary/flagellar assembly, maintenance, disassembly, and signal transduction are not yet completely understood. Recent studies demonstrated that post-translational(More)
  • Xian Xu, Fu Yuxi, Supervisor, Reviewer Prof Prof, Prof2 Reviewer, Min Zhang +6 others
  • 2008
Higher-order process calculi, for its abstraction capability and theoretical significance, have constantly been receiving much attention in the field of process calculi, and stand as a mathematical tool for describing and analyzing mobile systems with dynamically changing inter-connection structures. In this thesis we contribute to the higher-order paradigm(More)
BACKGROUND Disabled-1 (Dab1) is an adaptor protein that is essential for the intracellular transduction of Reelin signaling, which regulates the migration and differentiation of postmitotic neurons during brain development in vertebrates. Dab1 function depends on its tyrosine phosphorylation by Src family kinases, especially Fyn. RESULTS We have isolated(More)
Primary and motile cilia/flagella function as cellular antennae, receiving signals from the environment and subsequently activating signaling pathways that are critical for cellular homeostasis and differentiation [1-3]. Recent work with the green alga Chlamydomonas and the nematode C. elegans demonstrated that ectosomes can be released from the cilium and(More)
Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This paper focuses on the parameterization of names, i.e. a construct that maps a name to a process, in the higher-order setting. We provide two results concerning its computation(More)
The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency theory. The former is the most classic model for mobile processes and the latter is well known for its nested structure. However, the relationship between these two models deserves further investigation. In this paper, we(More)
  • 1