The following pages link to Fang Yu (Q255818):
Displaying 49 items.
- Continuous Riemann solvers for traffic flow at a junction (Q255819) (← links)
- Multiple-server flexible blind quantum computation in networks (Q302400) (← links)
- Application of blind quantum computation to two-party quantum computation (Q726068) (← links)
- Bifurcation analysis and transient spatio-temporal dynamics for a diffusive plant-herbivore system with Dirichlet boundary conditions (Q888645) (← links)
- On spiking neural P systems and partially blind counter machines (Q926511) (← links)
- Effective discovery of exception class association rules (Q1613269) (← links)
- A geometrical model for diffusion of hydrophilic compounds in human stratum corneum (Q1644656) (← links)
- Research on the efficient computation mechanism -- in the case of \(N\)-vehicle exploration problem (Q1782048) (← links)
- Stabilization effect of magnetic fields on two-dimensional compressible current-vortex sheets (Q1949324) (← links)
- On a fractional Kirchhoff type problem with critical exponential growth nonlinearity (Q1985376) (← links)
- Efficient mediated semi-quantum key distribution (Q2078695) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- On modeling repeated binary responses and time-dependent missing covariates (Q2259926) (← links)
- Local well-posedness and blow-up phenomenon for a generalization two-component Camassa-Holm system (Q2285551) (← links)
- The efficient computation of aircraft range problem (Q2300528) (← links)
- Stability of contact discontinuities in three-dimensional compressible steady flows (Q2435323) (← links)
- Security problems in the quantum signature scheme with a weak arbitrator (Q2444020) (← links)
- Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states (Q2690544) (← links)
- Multiple solutions for a singular nonhomogenous biharmonic equation in Heisenberg group (Q2699530) (← links)
- Variational analysis of Nash equilibria for a model of traffic flow (Q2911109) (← links)
- Nonlinear geometric optics for contact discontinuities in three dimensional compressible isentropic steady flows (Q2924872) (← links)
- (Q2987575) (← links)
- Bayesian Hierarchical Modeling and Selection of Differentially Expressed Genes for the EST Data (Q3008868) (← links)
- (Q3016633) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- A Temporal Logic for the Interaction of Strategies (Q3090849) (← links)
- RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA (Q3224956) (← links)
- Transient spatio-temporal dynamics of a diffusive plant–herbivore system with Neumann boundary conditions (Q3304640) (← links)
- Structurally Stable Singularities for a Nonlinear Wave Equation (Q3460435) (← links)
- (Q3502482) (← links)
- Designing an Efficient Hardware Implication Accelerator for SAT Solving (Q3502694) (← links)
- TCTL Inevitability Analysis of Dense-Time Systems (Q3559794) (← links)
- Symbolic String Verification: Combining String Analysis and Size Analysis (Q3617765) (← links)
- (Q4445941) (← links)
- String Analysis via Automata Manipulation with Logic Circuit Representation (Q4633540) (← links)
- (Q5037965) (← links)
- Dynamics of a plant-herbivore model with a chemically-mediated numerical response (Q5040330) (← links)
- On a nonhomogeneous Kirchhoff-type elliptic problem with critical exponential in dimension two (Q5065509) (← links)
- Compressive strength test of recycled concrete based on multi - constrained mathematical model (Q5070022) (← links)
- Structural Stability of Supersonic Contact Discontinuities in Three-Dimensional Compressible Steady Flows (Q5253460) (← links)
- Automated Technology for Verification and Analysis (Q5394172) (← links)
- THERMODYNAMICAL BEHAVIORS OF NONFLAT BRANS–DICKE GRAVITY WITH INTERACTING NEW AGEGRAPHIC DARK ENERGY (Q5408337) (← links)
- On Spiking Neural P Systems and Partially Blind Counter Machines (Q5429215) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464751) (← links)
- SAT-BASED MODEL CHECKING FOR REGION AUTOMATA (Q5484902) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900953) (← links)
- On a biharmonic elliptic problem with slightly subcritical non-power nonlinearity (Q6060281) (← links)
- Single-peak solution for a fractional slightly subcritical problem with non-power nonlinearity (Q6649621) (← links)
- Multi-peak solutions to a biharmonic elliptic problem with non-power nonlinearity (Q6649927) (← links)
