As a child growing up in New Haven, CT and Palo Alto, CA, Chi-Bin Chien was so academically gifted that he skipped straight from the third to the eighth grade and, at the unbelievable age of 12, entered Johns Hopkins University as a Physics major. He was accepted to do graduate work in Physics at Caltech at the age of 15 but was considered too young to enter the program, so he took a fellowship...

Chi calculus was proposed as a process calculus that has a uniform treatment of names. Preliminary properties of chi calculus have been examined in literature. In this paper a more systematic study of bisimilarities for chi processes is carried out. The notion of L-bisimilarity is introduced to give a possible classification of bisimilarities on chi processes. It is shown that the set of L-bisi...

Tai chi is a complex multicomponent mind-body exercise. Many studies have provided evidence that tai chi benefits patients with a variety of chronic disorders. This form of mind-body exercise enhances cardiovascular fitness, muscular strength, balance, and physical function and seems to be associated with reduced stress, anxiety, and depression and improved quality of life. Thus, despite certai...

A long unichord in a graph is an edge that is the unique chord of some cycle of length at least 5. A graph is long-unichord-free if it does not contain any long-unichord. We prove a structure theorem for long-unichord-free graph. We give an O(nm)-time algorithm to recognize them. We show that any long-unichord-free graph G can be colored with at most O(ω) colors, where ω is the maximum number o...

In this paper I show a variety of ways to represent and think about statistical aspects of CHI and its sister conferences. In particular, I look at author counts, gender analysis, and representations of repeat authors. I use these visualizations to motivate questions about what the preferred state of CHI should be. For example, should we strive for gender equality at CHI, and if so, why, and if...

Objective To summarize the evidence on the health benefits of tai chi. Sources of information A literature review was conducted on the benefits of tai chi for 25 specific conditions, as well as for general health and fitness, to update a 2014 review of systematic reviews. Systematic reviews and recent clinical trials were assessed and organized into 5 different groups: evidence of benefit as ex...

The paper carries out a systematic investigation into the axiomatization problem of the asymmetric chi calculus. As a crucial step in attacking the problem, an open style bisimilarity is defined for each of the eighteen L-bisimilarities and the two are proved to be equal. On top of the open bisimilarities, explicit definitions of the eighteen L-congruences are given, which suggest immediately p...

Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-bisimilarity is introduced to give a possible classification of bisimilarities on chi processes. It is shown that the set of L-bisimilarities forms a four element lattice and that well-known bisimilarities for chi pro...

An outerstring graph is an intersection graph of curves lying in a halfplane with one endpoint on the boundary of the halfplane. It is proved that the outerstring graphs are χ-bounded, that is, their chromatic number is bounded by a function of their clique number. This generalizes a series of previous results on χ-boundedness of outerstring graphs with various restrictions of the shape of the ...