Search

Your search keyword '"Wang, Wen-Fang"' showing total 127 results
Start Over Author "Wang, Wen-Fang"
127 results on '"Wang, Wen-Fang"'

101. A Logic of Knowing How

Author

Wang, Yanjing, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

102. Symbolic Model Checking for Dynamic Epistemic Logic

Author

van Benthem, Johan, van Eijck, Jan, Gattinger, Malvin, Su, Kaile, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

103. Boolean Network Games and Iterated Boolean Games

Author

Seligman, Jeremy, Thompson, Declan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

104. An Argument for Permissivism from Safespots

Author

Raleigh, Thomas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

105. Boolean Game with Prioritized Norms

Author

Sun, Xin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

106. ‘Transitivity’ of Consequence Relations

Author

Ripley, David, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

107. Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Author

Rendsvig, Rasmus K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

108. Algebraic Semantics for Dynamic Dynamic Logic

Author

Ma, Minghui, Seligman, Jeremy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

109. A General Framework for Modal Correspondence in Dynamic Epistemic Logic

Author

Motoura, Shota, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

110. Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

Author

Aucher, Guillaume, van Benthem, Johan, Grossi, Davide, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

111. Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs

Author

Liao, Beishui, Huang, Huaxin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

112. On the Expressivity of First-Order Modal Logic with 'Actually'

Author

Kocurek, Alexander W., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

113. Causal Models and the Ambiguity of Counterfactuals

Author

Lee, Kok Yong, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

114. Introspection, Normality and Agglomeration

Author

Klein, Dominik, Gratzl, Norbert, Roy, Olivier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

115. A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

116. Trace Semantics for IPDL

Author

Ju, Fengkui, Cui, Nana, Li, Shujiao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

117. A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation

Author

Herzig, Andreas, Lorini, Emiliano, Maffre, Faustine, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

118. Informational Dynamics of ‘Might’ Assertions

Author

Hawke, Peter, Steinert-Threlkeld, Shane, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

119. Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models

Author

Ghosh, Sujata, Halder, Tamoghna, Sharma, Khyati, Verbrugge, Rineke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

120. A Note on Reliability-Based Preference Dynamics

Author

Ghosh, Sujata, Velázquez-Quesada, Fernando R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

121. Epistemic Updates on Bilattices

Author

Bakhtiarinoodeh, Zeinab, Rivieccio, Umberto, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

122. Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

Author

Rendsvig, Rasmus Kræmmer, van der Hoek, Wiebe, Holliday, Wesley H., and Wang, Wen-fang

Subjects
protocols, modeling, Faculty of Humanities, dynamical systems, dynamic epistemic logic, model transformers
Abstract

I artiklen tages et dynamisk system-perspektiv på dynamisk epistemisk logik, og undersøger opdateringskraften af forskellige måder at definere evolutionsafbildninger på.

Published
2015

123. Development of a CRISPR/Cas9 D10A Nickase (nCas9)-Mediated Genome Editing Tool in Streptomyces .

Author

Ma JX, He WY, Hua HM, Zhu Q, Zheng GS, Zimin AA, Wang WF, and Lu YH

Subjects
Humans, Gene Editing, CRISPR-Cas Systems genetics, Deoxyribonuclease I genetics, RNA, Guide, CRISPR-Cas Systems, DNA, Streptomyces genetics, Streptomyces metabolism, Actinomycetales metabolism
Abstract

Streptomycetes have a strong ability to produce a vast array of bioactive natural products (NPs) widely used in agriculture and veterinary/human medicine. The recently developed CRISPR/Cas9-based genome editing tools have greatly facilitated strain improvement for target NP overproduction as well as novel NP discovery in Streptomyces . However, CRISPR/Cas9 shows high toxicity to the host, limiting its application in many Streptomyces strains with a low DNA transformation efficiency. In this study, we developed a low-toxicity CRISPR/Cas9 D10A nickase (nCas9)-based genome editing tool in the model strain Streptomyces coelicolor M145. We showed that in the presence of both targeting sgRNA and Cas proteins, utilization of nCas9 instead of Cas9 significantly reduced the toxicity to the host and greatly enhanced cell survival. Using this tool, we achieved deletion of single genes and gene clusters with efficiencies of 87-100 and 63-87%, and simultaneous deletion of two genes or gene clusters with efficiencies of 47 and 43%, respectively. The editing efficiency of nCas9 is comparable to that of the Cas9-mediated editing tool. Finally, the nCas9-based editing tool was successfully applied for genome editing in the industrial rapamycin-producing strain Streptomyces rapamycinicus , in which CRISPR/Cas9 cannot work well. We achieved the deletion of three tested genes with an efficiency of 27.2-30%. Collectively, the CRISPR/nCas9-based editing tool offers a convenient and efficient genetic modification system for the engineering of streptomycetes, particularly those with low DNA transformation efficiency.

Published
2023
Full Text
View/download PDF

124. [Application regularity and solution strategies of mineral medicine Cinnabaris in pediatric preparations].

Author

Wang WF, Lu HF, Zhu MM, Yang YJ, Feng L, and Jia XB

Subjects
Humans, Child, Medicine, Chinese Traditional, Minerals, Quality Control, Mercury, Drugs, Chinese Herbal
Abstract

Mineral medicine is a characteristic element of advantage of traditional Chinese medicine(TCM), which embodies unique scientific connotation. Cinnabaris is a characteristic drug in Chinese medicinal preparations, especially in Chinese medicinal pediatric preparations. Because of the adverse reactions caused by mercury contained, the safety and application of Cinnabaris have attracted much attention. To explore the application regularity and the value of the pediatric preparations containing Cinnabaris, this study statistically analyzed 32 Cinnabaris-contained pediatric preparations in the 2020 edition of the Chinese Pharmacopoeia and 105 pediatric preparations containing Cinnabaris in the Dictionary of Traditional Chinese Medicine Prescriptions(Vol. Ⅰ and Ⅱ). The statistical results indicated that the pediatric preparations and formulae containing Cinnabaris had great advantages in the treatment of pediatric convulsions, but there were still problems in dosage form, dosage, and quality control. In this study, ICP-MS and LC-AFS were further used to determine the content of total mercury and soluble mercury in 15 commercially available pediatric preparations containing Cinnabaris. It was found that the total mercury content was far higher than soluble mercury content in the sample preparations, and there was no obvious correlation between them. According to the results, the research and application strategies of Cinnabaris were put forward in order to provide references for the rational application of Cinnabaris in pediatric preparations.

Published
2022
Full Text
View/download PDF

125. [Expression of miR-106b-5p in children with primary immune thrombocytopenia and its correlation with T cells].

Author

Wang WF, Wang XS, Tan SY, Zhong LL, and Chen J

Subjects
Child, Humans, Lymphocyte Count, MicroRNAs genetics, Purpura, Thrombocytopenic, Idiopathic genetics, T-Lymphocytes, Regulatory, Th17 Cells
Abstract

Objectives: To study the expression level of plasma miR-106b-5p in primary immune thrombocytopenia (ITP) and its correlation with the levels of T helper 17 cell (Th17) and regulatory T cell (Treg) and the Th17/Treg ratio., Methods: A total of 79 children with ITP (ITP group) and 40 healthy children (control group) were selected as subjects. According to the treatment response, the 79 children with ITP were divided into three groups: complete response ( n =40), partial response ( n =18), and non-response ( n =21). Quantitative real-time PCR was used to measure the expression level of miR-106b-5p. Flow cytometry was used to measure the frequencies of Th17 and Treg, and the Th17/Treg ratio was calculated. The correlation of the expression level of plasma miR-106b-5p with the frequencies of Th17 and Treg and the Th17/Treg ratio was analyzed., Results: Compared with the control group, the ITP group had significantly higher levels of miR-106b-5p, Th17, and Th17/Treg ratio ( P <0.05) and a significantly lower level of Treg ( P <0.05). After treatment, the ITP group had significant reductions in the levels of miR-106b-5p, Th17, and Th17/Treg ratio ( P <0.05) and a significant increase in the level of Treg ( P <0.05). Compared with the partial response and non-response groups, the complete response group had significantly lower levels of miR-106b-5p, Th17, and Th17/Treg ratio ( P <0.05) and a significantly higher level of Treg ( P <0.05). The correlation analysis showed that in the children with ITP, the expression level of plasma miR-106b-5p was positively correlated with the Th17 level and the Th17/Treg ratio ( r =0.730 and 0.816 respectively; P <0.001) and was negatively correlated with the Treg level ( r =-0.774, P <0.001)., Conclusions: A higher expression level of miR-106b-5p and Th17/Treg imbalance may be observed in children with ITP. The measurement of miR-106b-5p, Th17, Treg, and Th17/Treg ratio during treatment may be useful to the evaluation of treatment outcome in children with ITP.

Published
2022
Full Text
View/download PDF

126. [Effect of MiR-96 on Cell Invasion and Apoptosis in Pediatric Acute Myeloid Leukemia via Regulating MYB].

Author

Wang XL, Wang WF, and Hao JM

Subjects
Apoptosis, Cell Line, Tumor, Cell Proliferation, Child, HL-60 Cells, Humans, Proto-Oncogene Proteins c-myb, Leukemia, Myeloid, Acute genetics, MicroRNAs genetics
Abstract

Objective: To analyze the relationship of the expression of transcription factor MYB targeted regulation by miR-96 to cell invasion and apoptosis in pediatric acute myeloid leukemia (AML)., Methods: A total of 65 children with AML in The 928 Hospital of PLA Joint Logistics Support Forces from January 2017 to November 2019 were selected, including 35 cases diagnosed as primary AML and 30 cases as complete remission AML. Thirty children with immune thrombocytopenia were selected as control group. The clinical characteristics were analyzed and compared between the two groups. The levels of miR-96 and MYB in peripheral blood samples were detected by qRT-PCR and compared between the two groups. The miR-96 mimics and its negative control (NC), inhibitor-miR-96 and its NC transfected HL60 cells induced by liposome (Lipofectamine 2000), respectively, Then the expression levels of MYB were detected with Western blot and compared among four HL60 cell groups. The invasion ability of four HL60 cell groups were detected with Transwell assay. The cell proliferation ability of four HL60 cell groups were detected with MTT at 24 h, 48 h, and 72 h, respectively. The apoptosis rates of four HL60 cell groups were detected with flow cytometry., Results: Compared with control group, the level of miR-96 in AML children were higher, but MYB lower (P<0.05). Compared with complete remission AML, the level of miR-96 in primary AML was higher, but MYB lower (P<0.05). Western blot analysis showed that, the expression level of MYB in the four HL60 cell groups was different (P<0.05), the lowest was in miR-96 mimics group, followed by miR-96 NC group and inhibitor-miR-96 NC group, and the highest in inhibitor-miR-96 group (P<0.05), while there was no difference between miR-96 NC group and inhibitor-miR-96 NC group (P>0.05). The promotion of over-expression level of miR-96 on the invasion ability of HL 60 cells was confirmed by Transwell assay. MTT assay showed that miR-96 could promote the proliferation of HL60 cells, inhibit the apoptosis of HL60 cells, and the effect was time-dependent manner (r=0.804). The inhibition of miR-96 on HL60 cells apoptosis was also confirmed with flow cytometry., Conclusion: MiR-96 has significant negative effect on invasion and apoptosis of AML cells by targeting regulation MYB, and it might be a potential novel strategy for pediatric AML treatment.

Published
2021
Full Text
View/download PDF

127. [Current research on alveolar bone dehiscences and fenestrations].

Author

Wang WF and Li ZH

Subjects
Alveolar Bone Loss diagnostic imaging, Alveolar Bone Loss etiology, Alveolar Bone Loss prevention & control, Alveolar Process diagnostic imaging, Bone Substitutes therapeutic use, Cone-Beam Computed Tomography, Dental Implantation methods, Humans, Alveolar Bone Loss surgery, Alveolar Process pathology, Guided Tissue Regeneration, Periodontal methods
Published
2013

Catalog

Books, media, physical & digital resources
See catalog results