1,255 results on '"Xiaobing Wang"'
Search Results
152. Automatic Generation of Specification from Natural Language Based on Temporal Logic.
153. Arbitrary Shape Scene Text Detection With Adaptive Text Region Representation.
154. Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.
155. Model Checking Python Programs with MSVL.
156. A Proof System for a Unified Temporal Logic.
157. Reinforcement Learning Based on Multi-subnet Clusters.
158. Model Checking Java Programs with MSVL.
159. Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.
160. R2 CNN: Rotational Region CNN for Arbitrarily-Oriented Scene Text Detection.
161. Numerical Analysis of Capacitive Deionization Process Using Activated Carbon Electrodes
162. Influence of Assembly Gap on Microstructural Evolution in Electron Beam Lap Welding of Inconel 718 and Electroformed Nickel
163. Multistage Modulation Formation of Hydrophilic–Hydrophobic Boron Carbon Nitride Nanomaterials
164. Ultrasound cascade regulation of nano-oxygen hybrids triggering ferroptosis augmented sonodynamic anticancer therapy
165. A method of photometric data extraction for asteroids from time-domain surveys
166. Electrochemical removal of ammonium nitrogen in high efficiency and N2 selectivity using non-noble single-atomic iron catalyst
167. A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.
168. Extending UML for Model Checking.
169. End-to-End Scene Text Recognition in Videos Based on Multi Frame Tracking.
170. Deep Residual Text Detection Network for Scene Text.
171. Design and synthesis of an S-scheme TiO2 homojunction with an adjusted, well-defined phase for directional carrier transfer in solar water splitting
172. Study on low-temperature plasma γ-Al2O3 catalytic viscosity reduction of polyacrylamide solution
173. GDF15 negatively regulates chemosensitivity via TGFBR2-AKT pathway-dependent metabolism in esophageal squamous cell carcinoma
174. Preparation of ultrathin graphene film via capillary liquid bridge for uniform lithium nucleation in anode free lithium metal battery
175. Runtime Verification Monitor Construction for Three-valued PPTL.
176. Experimental study on reducing the viscosity of sewage containing PAM catalyzed by low temperature plasma synergistic AC/Mn + TiO2
177. Recent advances on the structural modification of parthenolide and its derivatives as anticancer agents
178. Application of virus-induced gene silencing in Pogostemon cablin advances our understanding of patchoulol and sesquiterpene metabolism
179. Poly(lactic-co-glycolic acid) (PLGA) nanoparticles loaded with tetramethylpyrazine and conjugated with TED-1 polypeptide reduce formation of β-amyloid and alleviate oxidative stress in alzheimer’s disease
180. Maternal separation affects anxiety-like behavior beginning in adolescence and continuing through adulthood and related to Dnmt3a expression
181. Effectiveness and prognosis of covered stents with different diameters in transjugular intrahepatic portosystemic shunt: a meta-analysis.
182. Aerodynamic Characteristics Analysis of Rectifier Drum of High-Speed Train Environmental Monitoring Devices
183. Protection schemes for distribution lines in DC power grid.
184. A Method Based on MSVL for Verification of the Social Network Privacy Policy.
185. Inhibition of polysulfide shuttling in high-polarity electrolytes via liquid/quasi-solid interface in lithium-sulfur batteries
186. Numerical simulation of air DBD under standard atmospheric pressure
187. Self-Calibrating Electrochemical Sensors Based on Uniformly Dispersed Ag Nanoclusters in Nitrogen-Doped Carbon Sheets for Determination of Nitrite
188. The Mechanism of Cu2+ Sorption by Rice Straw Biochar and Its Sorption–Desorption Capacity to Cu2+ in Soil
189. Simultaneous and Ratiometric Electrochemical Determination of Uric Acid and Hypoxanthine Based on In Situ Carbonized Polydopamine Graphene Paper
190. Novel Triazoles with Potent and Broad-Spectrum Antifungal Activity In Vitro and In Vivo
191. A mobileBERT-based preset class fusion text classification algorithm
192. Biomolecular Characterization of Salt tolerant Plant Growth Promoting Rhizobacteria Isolated from Spinach (Spinacia oleracea L.) Grown in Saline Soil
193. Ferroelectric Polarization‐Enhanced Performance of Flexible CuInP 2 S 6 Piezoelectric Nanogenerator for Biomechanical Energy Harvesting and Voice Recognition Applications
194. Anion‐pillared microporous material incorporated mixed‐matrix fiber adsorbents for removal of trace propyne from propylene
195. The research of Shaolin Wushu in China: data analysis based on Citespace V
196. Evaluating the effect of body mass index and 25-hydroxy-vitamin D level on basal cell carcinoma: a Mendelian randomization research
197. Critical Techniques for Overcoming the Diffusion Limitations in Heterogeneously Catalytic Depolymerization of Lignin
198. Requirement specification extraction and analysis based on propositional projection temporal logic
199. Bulky ammonium iodide and in-situ formed 2D Ruddlesden-Popper layer enhances the stability and efficiency of perovskite solar cells
200. Sulfur-Doped g-C3N4-Supported Ni Species with a Wide Temperature Window for Acetylene Semihydrogenation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.