357 results on '"Kong, Weiqiang"'
Search Results
52. Ternary eutectic electrolytes attune the electrode/electrolyte interphase layer toward long-life zinc ion batteries
53. Economic analysis and optimization of household solar heating technologies and systems
54. Compiler testing: a systematic literature analysis
55. Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview
56. Economic analysis and optimization of combined solar district heating technologies and systems
57. Large-scale solar district heating plants in Danish smart thermal grid: Developments and recent trends
58. Experimental investigations on phase separation for different heights of sodium acetate water mixtures under different conditions
59. Test method for evaluating and predicting thermal performance of thermosyphon solar domestic hot water system
60. Se@MoSe2/Si composite boosts excellent lithium storage capability with enhanced electrochemical activity
61. Thermal performance assessment and improvement of a solar domestic hot water tank with PCM in the mantle
62. The value of metagenomic next-generation sequencing for the diagnosis of pulmonary tuberculosis using bronchoalveolar lavage fluid.
63. Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
64. Experimental investigations on heat content of supercooled sodium acetate trihydrate by a simple heat loss method
65. Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
66. Mitochondria dysfunction in airway epithelial cells is associated with type 2-low asthma
67. Laboratory Testing of Solar Combi System with Compact Long Term PCM Heat Storage
68. Testing of PCM Heat Storage Modules with Solar Collectors as Heat Source
69. Laboratory Test of a Cylindrical Heat Storage Module with Water and Sodium Acetate Trihydrate
70. Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview
71. Identifying Driving Factors in Cascaded Packed Bed Latent Thermal Energy Storage: An Experimental Validation
72. Testing, Development and Demonstration of Large Scale Solar District Heating Systems
73. Side by Side Tests of two SDHW Systems with Solar Collectors with and Without Antireflection Treatment
74. Thermal Conductivity Enhancement of Sodium Acetate Trihydrate by Adding Graphite Powder and the Effect on Stability of Supercooling
75. Laboratory Test of a Prototype Heat Storage Module Based on Stable Supercooling of Sodium Acetate Trihydrate
76. A new Laplace transformation method for dynamic testing of solar collectors
77. Bounded Model Checking of Synchronous Reactive Models in Ptolemy II
78. Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking
79. Formalization and Model Checking of SysML State Machine Diagrams by CSP#
80. Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation
81. Translation rules of SysML state machine diagrams into CSP# toward formal model checking
82. Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
83. Simulation and design of collector array units within large systems
84. Simulation and design of collector array units within large systems
85. Simulation and design of collector array units within large systems
86. Induction-Guided Falsification
87. Unknown Security Attack Detection of Industrial Control System by Deep Learning
88. Investigation of Thermal Performance of Flat Plate and Evacuated Tubular Solar Collectors According to a New Dynamic Test Method
89. Detecting Compiler Bugs Via a Deep Learning-Based Framework
90. Equilibrated PtIr/IrOxAtomic Heterojunctions on Ultrafine 1D Nanowires Enable Superior Dual‐Electrocatalysis for Overall Water Splitting
91. A verification framework for behavioral safety of self‐driving cars
92. A formal semantics of extended hierarchical state transition matrices using CSP#
93. Conjugated Cobalt Phthalocyanine as Durable Electrode Materials for Lithium-Ion Storage
94. Numerical study of a high-temperature thermal energy storage system with metal and inorganic salts as phase change materials
95. Numerical study of a high-temperature thermal energy storage system with metal and inorganic salts as phase change materials
96. Investigation on an air solar-driven open sorption system for comfort cooling
97. Review on sodium acetate trihydrate in flexible thermal energy storages:Properties, challenges and applications
98. Numerical investigation of the photo-thermal characteristics of a direct absorption solar collector using Monte Carlo and finite volume methods
99. Material and Component Development for Thermal Energy Storage:Task 58 / ES Annex 33
100. Reuse of brine from desalination
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.