14,963 research outputs found
Gilliesia pulchra Zhou 2004
No full text<i>Gilliesia pulchra</i> Zhou, 2004 <p> <b>Material examined:</b> 2 male imagoes and 2 female imagoes (reared from nymphs), 2 female subimagoes, 21 nymphs, Bang-Gun-Jian Mountain, De-Hong City, Yunnan Province, China, 97°50′52″E, 24°23′13″N, 1800 m alt., 28-VI-2022, leg. Xuhongyi Zheng, Pengxu Mu; 2 male imagoes and 1female imago, Nan-Zhu forestry center, Chi-Shui City, Guizhou Province, China, 105.42°E, 28.34°N, 9-VI-1995, leg. Changhai Sun, Beixin Wang.</p> <p>Holotype: male imago, Jing-Fu-Shan Mountain, Huang-Cao-Ping, Chongqing municipality, China, 107.10°E, 29.00°N, 1200 m alt., 3-IX-2000, leg. Chuangren Li, Changfa Zhou.</p>Published as part of <i>Gong, De-Wen & Zhou, Chang-Fa, 2023, The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae), pp. 531-540 in Zootaxa 5263 (4)</i> on page 532, DOI: 10.11646/zootaxa.5263.4.4, <a href="http://zenodo.org/record/7835942">http://zenodo.org/record/7835942</a>
Bi jiao fa de ren shi lun yu fang fa lun /
No full textBen shu jie shi le bi jiao fa xue bu tong pai bie zhi jian cun zai de zhu duo zheng yi he fen qi, Nei rong bao kuo fa lü ren shi lun yu fa lü wen hua de zhuan bian, Shen ceng bi jiao fa yan jiu, Ou zhou si fa de bian zuan, Xin ou zhou gong tong fa de meng xiang yu ou zhou si fa zhi xian shi, Bi jiao fa yu ou zhou fa lü de guo ji hua, Yi zhong ou zhou gong tong fa lü yu yan deng.Yi zi: Epistemology and methodology of comparative law.Ben shu jie shi le bi jiao fa xue bu tong pai bie zhi jian cun zai de zhu duo zheng yi he fen qi, Nei rong bao kuo fa lü ren shi lun yu fa lü wen hua de zhuan bian, Shen ceng bi jiao fa yan jiu, Ou zhou si fa de bian zuan, Xin ou zhou gong tong fa de meng xiang yu ou zhou si fa zhi xian shi, Bi jiao fa yu ou zhou fa lü de guo ji hua, Yi zhong ou zhou gong tong fa lü yu yan deng
FIGURE 5 in The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae)
No full textFIGURE 5. Wings of Gilliesia pulchra (digital photos): A. Forewing and hindwing of male; B. Male hindwing enlarged; C. Forewing and hindwing of female; D. Female hindwing enlarged.Published as part of Gong, De-Wen & Zhou, Chang-Fa, 2023, The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae), pp. 531-540 in Zootaxa 5263 (4) on page 536, DOI: 10.11646/zootaxa.5263.4.4, http://zenodo.org/record/783594
FIGURE 3 in The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae)
No full textFIGURE 3. Nymphal legs of Gilliesia pulchra exuviae (digital photos): A. Foreleg; B. Midleg; C. Patellar-tibial fusion line of Midleg; D. Hindleg; E. Inner apex of foretibia; F. Foreleg claw.Published as part of Gong, De-Wen & Zhou, Chang-Fa, 2023, The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae), pp. 531-540 in Zootaxa 5263 (4) on page 534, DOI: 10.11646/zootaxa.5263.4.4, http://zenodo.org/record/783594
Picat: A Scalable Logic-based Language and System (Invited Talk)
No full textThis talk will give the design principles of the Picat language (http://www.picat-lang.org), highlight the high-level and intuitive abstractions provided by Picat for easy programming, and contemplate why Picat is more robust and scalable than Prolog and could be more accessible than Prolog to ordinary programmers for scripting and modeling tasks
Encoding the Hamiltonian Cycle Problem into SAT Based on Vertex Elimination (Short Paper)
No full textThis paper presents a SAT encoding, called vertex elimination encoding (VEE), for the Hamiltonian Cycle Problem (HCP). The encoding maps a Hamiltonian cycle in the reduced graph after vertex elimination to a Hamiltonian cycle in the original graph. While VEE is not competitive for large dense graphs due to its large encoding sizes, it can be utilized to reduce graphs when they are sparse. This paper compares VEE with the distance encoding, and shows that the hybridization of these two encodings is effective for the benchmarks. For the knight’s tour problem, in particular, the hybrid encoding solves some middle-sized instances that were beyond the reach for previous eager SAT encodings
Complete solo piano works of Zhou Long
No full textAccess to thesis restricted until 07/2023.Zhou Long is a contemporary composer of Chinese American descent, who
belongs to a generation of Chinese composers that began introducing traditional
Chinese music to western audiences. He gained international recognition after
receiving the 2011 Pulitzer Prize for his opera, Madame White Snake (2011). Very
few performances, recordings, and publications currently exist on Zhou’s piano
music, and this doctoral lecture recital is the first time an artist has performed the
complete collection of Zhou’s solo piano pieces. The pieces include: Mongolian Folk-
Tune Variations, Wu Kui, Pianogongs, and Pianobells. In his piano music, Zhou
makes use of unconventional extended piano techniques, imitates and evokes Chinese
traditional instruments, and likes to make connections with other art genres. Also, the
prominence of percussive elements in Zhou’s music is of a great importance. In this
lecture recital, the author has mainly focused on 1) the background information of
Zhou Long and his solo piano works; 2) the influence of Chinese traditional
instruments, ancient literatures and aesthetic concepts, in addition to folk elements on
his piano music; 3) how the composer combined those elements with western music
and compositional skills; and 4) the exploration of the percussive usage of the piano
along with various sound effect. Much of the discussion were from the author’s own
observations; it also include insights from an interview the author conducted with the
composer. Through the combined presentation of the lecture and performance of Zhou
Long’s four piano pieces, the author intended to help bring exposure to his piano
works, and to serve as a guide for piano students and teachers interested in exploring
Zhou’s piano music.Thesis (D.A.
Bian mai ping mai zhang ju
No full textV.1-40. 初集 : 十二種 -- v.41-64. 二集 : 十四種 -- v.65-72. 三集 : 六種.V.1-40. Chu ji : shi er zhong -- v.41-64. Er ji : shi si zhong -- v.65-72. San ji : liu zhong.v.41-45. Mai yi jian mo : ba juan / Zhou Xuehai zhuan ji -- v.46-47. Mai jian bu yi : [er juan] / Zhou Xuehai zhu -- v.48. Zhen jia zhi jue : [er juan] / Zhou Xuehai -- Bian mai fa pian : [er juan] / Zhang Ji zhuan ; Zhou Xuehai zhang ju.[周學海校刻].綫裝.框16.8x12.1公分, 11行21字, 小字雙行同. 白口, 四周雙邊, 單黑魚尾. 版心上鐫題名, 中鐫卷次, 下鐫葉次.分初集, 二集, 三集.題名據叢書書名頁.書名頁刻"周氏醫學叢書, 宣統三年[1911]季秋十月海昌朱兆華題端", 背頁刻"福慧雙修館藏版"《中國叢書綜錄》(p.711)著錄.鈐"莊兆祥印", "莊兆祥".Xian zhuang.Kuang 16.8 x 12.1 gong fen, 11 hang 21 zi, xiao zi shuang hang tong. Bai kou, si zhou shuang bian, dan hei yu wei. Ban xin shang juan ti ming, zhong juan juan ci, xia juan ye ci.Fen chu ji, er ji, san ji.Ti ming ju cong shu shu ming ye.Detailed notes in vernacular field only.Detailed notes in vernacular field only.[Zhou Xuehai jiao ke].Qian "Zhuang Zhaoxiang yin", "Zhuang Zhaoxiang"
FIGURE 4 in The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae)
No full textFIGURE 4. Male imaginal structures of Gilliesia pulchra (digital photos): A. Imago; B. Subimago; C. Abdomen (dorsal view); D. Head (dorsal view); E. Genitalia (dorsal view); F. Genitalia (lateral view); G. Subgenital plate; H. Foreleg; I. Midleg; J. Hindleg; K. Claw.Published as part of Gong, De-Wen & Zhou, Chang-Fa, 2023, The imaginal and nymphal morphology of Gilliesia pulchra Zhou, 2004 and its contribution to understanding generic phylogeny (Ephemeroptera: Leptophlebiidae), pp. 531-540 in Zootaxa 5263 (4) on page 535, DOI: 10.11646/zootaxa.5263.4.4, http://zenodo.org/record/783594
A Tabled Prolog Program for Solving Sokoban
No full textThis paper presents our program in B-Prolog submitted to the third ASP solver competition for the Sokoban problem. This program, based on dynamic programming, treats Sokoban as a generalized shortest path problem. It divides a problem into independent subproblems and uses tabling to store subproblems and their answers. This program is very simple but quite efficient. Without use of any sophisticated domain knowledge, it easily solved 11 of the 15 instances used in the competition
- …
