The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages. SJ programs featuring session types (protocols) are statically checked by the SJ compiler to verify the key property of communication safety, meaning that parties engaged in a session only communicate...

We study a parallel service queueing system with servers of types s1, . . . , sJ , customers of types c1, . . . , cI , bipartite compatibility graph G, where arc (ci, sj) indicates that server type sj can serve customer type ci, and service policy of first come first served FCFS, assign longest idle server ALIS. For a general renewal stream of arriving customers and general service time distrib...

The session-typed programming language Session Java (SJ) has proved to be an effective tool for distributed programming, promoting structured programming for communications and compile-time safety. This paper investigates the use of SJ for session-typed parallel programming, and introduces new language primitives for chained iteration and multi-channel communication. These primitives allow the ...

Author Contributions: Research was designed by SJ, TE, LL, and AJW. Behavioral experiments were performed by TE, AC, SJ, SEJ, and SQ, and analyzed by SJ, AC, SQ, and AJW; immunocytochemistry and imaging were performed by LL, SJ, and AJW, and analyzed by LL, SQ, and SJ. Paper was written by SJ and AJW. Funding: Canadian Institutes of Health Research (CIHR): 130570. Canadian Foundation for Innova...

The aim of this study was compare changes in upper body muscle strength and size in trained men performing resistance training (RT) programs involving multi-joint plus single-joint (MJ+SJ) or only multi-joint (MJ) exercises. Twenty young men with at least 2 years of experience in RT were randomized in 2 groups: MJ+SJ (n = 10; age, 27.7 ± 6.6 years) and MJ (n = 10; age, 29.4 ± 4.6 years). Both g...

BACKGROUND A progressive deformity associated with adolescent idiopathic scoliosis (AIS) negatively affects a patient's health-related quality of life (HRQOL). Although the Scoliosis Research Society-22 (SRS-22) is the standard measurement tool for assessing HRQOL in patients with AIS, it is partially suboptimal for evaluating HRQOL in Japanese patients with AIS because of cultural differences....

The present study aimed to compare the effects of equal-volume resistance training performed with single-joint (SJ) or multi-joint exercises (MJ) on VO2max, muscle strength and body composition in physically active males. Thirty-six participants were divided in two groups: SJ group (n = 18, 182.1 ± 5.2, 80.03 ± 2.78 kg, 23.5 ± 2.7 years) exercised with only SJ exercises (e.g., dumbbell fly, kne...

BACKGROUND Shen-Qi-Jie-Yu-Fang (SJ Fang) is a herbal preparation used in traditional Chinese medicine, and is a potentially important new therapeutic agent in postpartum depression (PPD). Previously, we have elucidated the effects of SJ Fang on hormone receptors and monoamine neurotransmitters involved in the hypothalamic-pituitary-adrenal and hypothalamic-pituitary-gonadal axes in PPD rats. Ho...

PURPOSE To investigate whether the difference in jump height between countermovement jumps (CMJ) and squat jumps (SJ) could be explained by a difference in active state during propulsion. METHODS Simulations were performed with a model of the human musculoskeletal system comprising four body segments and six muscles. The model's only input was STIM, the stimulation of muscles, which could be ...