The following pages link to Ming Gu (Q424965):
Displaying 36 items.
- Across-wind loads and effects of super-tall buildings and structures (Q424967) (← links)
- (Q543197) (redirect page) (← links)
- Competent predicate abstraction in model checking (Q543199) (← links)
- (Q557129) (redirect page) (← links)
- A stochastic model for cellassignments in PCS networks (Q557131) (← links)
- Temperature dependence of thermal resistance of a bare joint (Q609909) (← links)
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- A novel fault diagnosis mechanism for wireless sensor networks (Q646093) (← links)
- Multiterminal net assignments by scatter search (Q814239) (← links)
- Probability model and solution on earthquake effects combination in along wind resistant design of tall-flexible buildings (Q944677) (← links)
- Numerical computation of the flow around two square cylinders arranged side-by-side (Q1574816) (← links)
- Estimating the volume of solution space for satisfiability modulo linear real arithmetic (Q2345986) (← links)
- Array theory of bounded elements and its applications (Q2351149) (← links)
- Modeling job shop scheduling with batches and setup times by timed Petri nets (Q2389898) (← links)
- A combinatorial congestion estimation approach with generalized detours (Q2475902) (← links)
- Global minimization of rational functions and the nearest GCDs (Q2481368) (← links)
- Dissections of \(p\colon q\) rectangles into 13 \(p\colon q\) rectangular elements (Q2495523) (← links)
- AN APPROXIMATION METHOD FOR COMPUTING THE DYNAMIC RESPONSES AND EQUIVALENT STATIC WIND LOADS OF LARGE-SPAN ROOF STRUCTURES (Q2846044) (← links)
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (Q2864837) (← links)
- PARAMETRIC VIBRATION OF STAY CABLES UNDER AXIAL NARROW-BAND STOCHASTIC EXCITATION (Q2972246) (← links)
- Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing (Q3001866) (← links)
- Symbolic Model Checking the Knowledge in Herbivore Protocol (Q3003428) (← links)
- (Q3128933) (← links)
- A comparative study on search strategies for cell assignments (Q3155017) (← links)
- Congestion estimation for hexagonal routing (Q3423748) (← links)
- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement (Q3522892) (← links)
- (Q3640459) (← links)
- (Q3640473) (← links)
- On synthesis of 3 × 3 reversible logic functions (Q4653695) (← links)
- A Learning Rule for Local Synaptic Interactions Between Excitation and Shunting Inhibition (Q4664509) (← links)
- Predicting Axonal Response to Molecular Gradients with a Computational Model of Filopodial Dynamics (Q4832449) (← links)
- Maxterm Covering for Satisfiability (Q5277653) (← links)
- Information Security and Privacy (Q5315283) (← links)
- A big data approach to analyzing market volatility (Q5420725) (← links)
- Applied Cryptography and Network Security (Q5443090) (← links)
- Fast Parallel Randomized QR with Column Pivoting Algorithms for Reliable Low-rank Matrix Approximations (Q6300340) (← links)
