16,195 research outputs found

    Yi- Chun Chen Clarinet Recital Program Notes

    No full text
    This report is the program notes of Yi-Chun Chen's Clarinet Recital, which was performed on March 23rd, 2022. The repertoire of this recital includes four famous clarinet compositions from the Romantic period, and the twentieth century. This document will be divided into five chapters to discuss the life of the composers, the background of the compositions, the analysis and interpretation of these masterpieces. The content of this document will be divided into four chapters. The first chapter includes clarinet Concerto No. 1, Op. 26, composed by Louis Spohr. The second chapter is Sonata for clarinet and piano, composed by Francis Poulenc. The third chapter discusses Robert Schumann\ue2s Fantasy Pieces for clarinet and piano, Op. 73. The fourth chapter refers to Sonatina for clarinet and piano by Malcolm Arnold

    Bambusananus cuihuashanensis Yang & Chen 2013

    No full text
    Bambusananus cuihuashanensis Yang & Chen, 2013 Figs. 3–4 Bambusananus cuihuashanensis Yang & Chen, 2013: 110. Material examined. China: 1♂ (Holotype), 2♂♂ 4♀♀ (Paratypes), Shaanxi Prov., Xi’an City, Cuihuashan, 27–28 June 2008, coll. Jianda Li (GUGC). Distribution. China (Shaanxi).Published as part of Xing, Ji-Chun & Li, Zi-Zhong, 2016, Key to species of the genus Bambusananus Li & Xing (Hemiptera: Cicadellidae: Deltocephalinae), and with description of a new species from China, pp. 265-272 in Zootaxa 4085 (2) on page 268, DOI: 10.11646/zootaxa.4085.2.6, http://zenodo.org/record/105262

    Timed Runtime Monitoring for Multiparty Conversations

    Full text link
    We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreographies based on multiparty session types, developed with our industrial partners. Drawing from recent work on multiparty session types for real-time interactions, we extend Scribble with clocks, resets, and clock predicates constraining the times in which interactions should occur. We present a timed API for Python to program distributed implementations of Scribble specifications. A dynamic verification framework ensures the safe execution of applications written with our timed API: we have implemented dedicated runtime monitors that check that each interaction occurs at a correct timing with respect to the corresponding Scribble specification. The performance of our implementation and its practicability are analysed via benchmarking

    Pei-Chen Chen Piano Recital Program Notes

    No full text
    This report is Pei-Chen Chen's Piano Recital Program Notes on April, 26, 2023. The program includes Bagatelle Op.119 by Ludwig van Beethoven (1770-1827) , Preludes 1er Livre by Claude Debussy (1862-1918) . This note will discuss the life of the two composers, the compositional background of these two works and the textures of the character pieces

    Bambusananus yangae Xing & Chen 2013, nom. nov.

    No full text
    <i>Bambusananus yangae</i> Xing & Chen, nom. nov. <p> <i>Bambusananus yangae</i>, <i>nomen novum</i> for <i>Bambusananus lii</i> Yang & Chen, 2012: 50, preoccupied by <i>Bambusananus lii</i> (McKamey & Hicks, 2007)</p> <p> The new name is based on the surname of the first author of the junior homonym. Accordingly, the genus <i>Bambusananus</i> currently includes the following species: <i>Bambusananus maculipennis</i> (Li & Wang, 1993), <i>Bambusananus bipunctatus</i> (Li, 1999), <i>Bambusananus lii</i> (McKamey & Hicks, 2007), <i>Bambusananus furcatus</i> Li & Xing, 2011 and <i>Bambusananus yangae</i> Xing & Chen, <b>nom. nov.</b>.</p>Published as part of <i>Xing, Ji-Chun & Chen, Xiang-Sheng, 2013, Nomenclatural changes in the genus Bambusananus Li & Xing, 2011 (Hemiptera: Cicadellidae: Deltocephalinae: Athysanini), pp. 599-600 in Zootaxa 3635 (5)</i> on page 599, DOI: 10.11646/zootaxa.3635.5.12, <a href="http://zenodo.org/record/5262395">http://zenodo.org/record/5262395</a&gt

    Bambusananus yangae Xing & Chen 2013

    No full text
    Bambusananus yangae Xing & Chen, 2013 Figs. 11–12 Bambusananus lii Yang & Chen, 2012: 50; Chen, Yang & Li, 2012: 57. Bambusananus yangae Xing & Chen, 2013: 599, nom.nov. for Bambusananus lii Yang & Chen, 2012, nec Bambusananus lii (McKamey & Hicks, 2007). Material examined. China: 1♂ (Holotype), 5♂♂ 2♀♀ (Paratype), Guizhou Prov., Yanhe County, Mayanghe, Lijiaba, 11 June 2007, coll. Xiangsheng Chen; 6♂♂ 5♀♀, Guizhou Prov., Suiyang County, Kuankuoshui, 2–9 June 2010, coll. Jichun Xing, Renhuai Dai and Hu Li (GUGC). Distribution. China (Guizhou).Published as part of Xing, Ji-Chun & Li, Zi-Zhong, 2016, Key to species of the genus Bambusananus Li & Xing (Hemiptera: Cicadellidae: Deltocephalinae), and with description of a new species from China, pp. 265-272 in Zootaxa 4085 (2) on pages 268-269, DOI: 10.11646/zootaxa.4085.2.6, http://zenodo.org/record/105262

    Sipyloidea wuzhishanensis Chen & He 2002

    No full text
    Sipyloidea wuzhishanensis (Chen & He, 2002) E/T Marmessoidea wuzhishanensis, Chen & He, 2002: 105 (in Chen et al., 2002), figs. 6a–b. Types. Holotype: ♀, Wuzhishan, Hainan, China, 29.V.1997, Yang Chi-Kun & Cheng Gun-Fang (BFU); Paratypes: 2♂, Wuzhishan, Hainan, China, 29.V.1997, Yang Chi-Kun & Cheng Gun-Fang (BFU). Distribution. Hainan (Wuzhishan), China.Published as part of Ho, George Wai-Chun, 2016, Contribution to the knowledge of Chinese Phasmatodea III: Catalogue of the phasmids of Hainan Island, China, with descriptions of one new genus, one new species and two new subspecies and proposals of three new combinations, pp. 314-340 in Zootaxa 4150 (3) on page 327, DOI: 10.11646/zootaxa.4150.3.4, http://zenodo.org/record/25841

    Ramulus viridulus Chen & Li 2002

    No full text
    <i>Ramulus viridulus</i> (Chen & Li, 2002) E/T <p> <i>Baculum viridulum</i>, Chen & Li, 2002: 112 (in Chen <i>et al.</i>, 2002), fig. 15.</p> <p> <b>Type.</b> Holotype: ♂, Danzhou City, Hainan, China, 9.VII.1974, Yang Chi-Kun (BFU). <b>Distribution</b>. Hainan (Danzhou), China.</p>Published as part of <i>Ho, George Wai-Chun, 2016, Contribution to the knowledge of Chinese Phasmatodea III: Catalogue of the phasmids of Hainan Island, China, with descriptions of one new genus, one new species and two new subspecies and proposals of three new combinations, pp. 314-340 in Zootaxa 4150 (3)</i> on page 331, DOI: 10.11646/zootaxa.4150.3.4, <a href="http://zenodo.org/record/258416">http://zenodo.org/record/258416</a&gt

    A Smart Healthcare Kit for Home Healthcare

    No full text
    Author Contributions: Writing—original draft preparation, Chun-Yang Chou, and Chun-Hung Chou; writing—review and editing, Chun-Yang Chou, Ding-Yang Hsu and Chun-Hung Chou All authors have read and agreed to the published version of the manuscript.</p
    corecore