3,822 research outputs found
Tsung-Jui Wu PhD Dissertation Appendix
No full textThis dataset includes supplemental materials of the Ph.D. thesis of Tsung-Jui Wu (UH ID: 1618063). Four appendices are listed below:
Appendix A Compiled published age and Nd-Sr isotopic composition of late Cretaceous to Cenozoic NE Asia igneous rock
Appendix B Data and reference of the early Cretaceous adakitic rocks in NE Asia
Appendix C New zircon U-Pb age result of Sikhote-Alin igneous rocks
Appendix D Whole-rock geochemical result of SIkhote-Alin igneous rock
Landwirtschaftliche Ausstellung Dresden, 16-21. Jui 1898, Hacker, Berlin W.
No full textLANDWIRTSCHAFTLICHE AUSSTELLUNG DRESDEN, 16-21. JUI 1898, HACKER, BERLIN W.
Landwirtschaftliche Ausstellung Dresden, 16-21. Jui 1898, Hacker, Berlin W. ( -
Philippine Sea plate magmatism and its implications for regional tectonics and geochemical mantle domains
No full text<p>This file includes Supplementary Tables S1-S5 and the movie 1 for: Shengping Qian, Jeremy Tsung-Jui Wu, Jonny Wu. Philippine Sea plate magmatism and its implications for regional tectonics and geochemical mantle domains. submitted in 2023</p>
Effects of cadmium and zinc on oxygen consumption, ammonium excretion, and osmoregulation of white shrimp (Litopenaeus vannamei)
No full textA Positive Perspective on Term Representation (Invited Talk)
No full textWe use the focused proof system LJF as a framework for describing term structures and substitution. Since the proof theory of LJF does not pick a canonical polarization for primitive types, two different approaches to term representation arise. When primitive types are given the negative polarity, LJF proofs encode terms as tree-like structures in a familiar fashion. In this situation, cut elimination also yields the familiar notion of substitution. On the other hand, when primitive types are given the positive polarity, LJF proofs yield a structure in which explicit sharing of term structures is possible. Such a representation of terms provides an explicit method for sharing term structures. In this setting, cut elimination yields a different notion of substitution. We illustrate these two approaches to term representation by applying them to the encoding of untyped λ-terms. We also exploit concurrency theory techniques - namely traces and simulation - to compare untyped λ-terms using such different structuring disciplines
sj-docx-1-aut-10.1177_13623613231225899 – Supplemental material for Investigating the impact of probiotic on neurological outcomes in Rett syndrome: A randomized, double-blind, and placebo-controlled pilot study
No full textSupplemental material, sj-docx-1-aut-10.1177_13623613231225899 for Investigating the impact of probiotic on neurological outcomes in Rett syndrome: A randomized, double-blind, and placebo-controlled pilot study by Lee Chin Wong, Chia-Jui Hsu, Yen-Tzu Wu, Hsu-Feng Chu, Jui-Hsiang Lin, Hsin-Pei Wang, Su-Ching Hu, Ying-Chieh Tsai, Wen-Che Tsai and Wang-Tso Lee in Autism</p
sj-docx-1-taj-10.1177_20406223241239775 – Supplemental material for Comparison of different medical treatments for primary hyperaldosteronism: a systematic review and network meta-analysis
No full textSupplemental material, sj-docx-1-taj-10.1177_20406223241239775 for Comparison of different medical treatments for primary hyperaldosteronism: a systematic review and network meta-analysis by Wen-Yu Ho, Ching-Chung Hsiao, Ping-Hsun Wu, Jui-Yi Chen, Yu-Kang Tu, Vin-Cent Wu and Jia-Jin Chen in Therapeutic Advances in Chronic Disease</p
Metallothionein induction and heavy metal accumulation in white shrimp Litopenaeus vannamei exposed to cadmium and zinc
No full textA High Port-Count Wavelength-Selective Switch Using a Large Scan-Angle, High Fill-Factor, Two-Axis MEMS Scanner Array
No full text
- …
