The following pages link to Limin Jia (Q277713):
Displayed 33 items.
- System reliability evaluation based on convex combination considering operation and maintenance strategy (Q277715) (← links)
- Maintaining distributed logic programs incrementally (Q456472) (← links)
- Train flow chaos analysis based on an improved cellular automata model (Q508484) (← links)
- Modelling of the automatic depth control electrohydraulic system using RBF neural network and genetic algorithm (Q613799) (← links)
- Networked timetable stability improvement based on a bilevel optimization programming model (Q1718056) (← links)
- A fuzzy optimization model for high-speed railway timetable rescheduling (Q1936036) (← links)
- Modeling of the safe region based on support vector data description for health assessment of wheelset bearings (Q1984923) (← links)
- Cascading failures in networks with the harmonic closeness under edge attack strategies (Q2120635) (← links)
- Modelling the walking behavior of pedestrians in the junction with chamfer zone of subway station (Q2162221) (← links)
- Netter: probabilistic, stateful network models (Q2234099) (← links)
- Optimal feedback control of pedestrian counter flow in bidirectional corridors with multiple inflows (Q2241767) (← links)
- Optimal guidance strategy for crowd evacuation with multiple exits: a hybrid multiscale modeling approach (Q2241768) (← links)
- Optimization based high-speed railway train rescheduling with speed restriction (Q2321553) (← links)
- Urban expressway traffic state forecasting based on multimode maximum entropy model (Q2393393) (← links)
- A new bus lane on urban expressway with no-bay bus stop (Q2793124) (← links)
- Monitors and blame assignment for higher-order session types (Q2828298) (← links)
- (Q2923599) (← links)
- (Q2923941) (← links)
- Space–time correlation analysis of traffic flow on road network (Q2978349) (← links)
- (Q2993761) (← links)
- CHOQUET INTEGRAL–OWA BASED ADAPTIVE NEURAL FUZZY INFERENCE SYSTEM WITH APPLICATION (Q3019528) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- Research of mining meta-association rules for dynamic association rule based on model of Grey-Markov (Q3407021) (← links)
- (Q3413694) (← links)
- A Program Logic for Verifying Secure Routing Protocols (Q3460424) (← links)
- Reconciling noninterference and gradual typing (Q5145625) (← links)
- Analysis of real-time system conflict based on fuzzy time Petri nets (Q5172236) (← links)
- AURA (Q5178753) (← links)
- Spatial correlation analysis of urban traffic state under a perspective of community detection (Q5242129) (← links)
- Dependent types and program equivalence (Q5255080) (← links)
- Session-typed concurrent contracts (Q5919613) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- Train re-scheduling based on an improved fuzzy linear programming model (Q6105514) (← links)