Search

Your search keyword '"Zhang, Lijun"' showing total 250 results

Search Constraints

Start Over You searched for: Author "Zhang, Lijun" Remove constraint Author: "Zhang, Lijun" Publication Type eBooks Remove constraint Publication Type: eBooks
250 results on '"Zhang, Lijun"'

Search Results

1. DeepCDCL: A CDCL-based Neural Network Verification Framework

2. Discussion on the potential of ChatGPT in the field of early childhood education

3. Soft Contrastive Learning for Implicit Feedback Recommendations

4. Heterogeneous Graph Attribute Completion via Efficient Meta-path Context-Aware Learning

5. NeCa: Network Calibration for Class Incremental Learning

6. Task-Agnostic Generalized Meta-learning Based on MAML for Few-Shot Bearing Fault Diagnosis

7. Scenario Approach for Parametric Markov Models

8. A Neural Approach Towards Real-time Management for Integrated Energy System Incorporating Carbon Trading and Electrical Vehicle Scheduling

9. Spatial-Temporal Electric Vehicle Charging Demand Forecasting: A GTrans Approach

12. New Astrometry Data of NEA (99942) Apophis

13. Space-Based Observation Approach for Multiple GEO Defunct Satellites Pose Parameters Determination

14. Non-stationary Dueling Bandits for Online Learning to Rank

15. Thoughts and Suggestions on 'Technology+' Psychological Training for College Students

16. Identifying Urban Functional Regions by LDA Topic Model with POI Data

17. CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper)

19. Adaptive Feature Generation for Online Continual Learning from Imbalanced Data

20. INGCF: An Improved Recommendation Algorithm Based on NGCF

21. Verifying Pufferfish Privacy in Hidden Markov Models

22. EPMC Gets Knowledge in Multi-agent Systems

26. Detectability of Finite-State Automata

28. Generalized Reversibility of Cellular Automata

30. Detectability of Labeled Petri Nets

31. Observability of Boolean Control Networks

32. Detectability of Boolean Control Networks

34. Preliminaries

36. Congruence Relations for Büchi Automata

37. Probabilistic Verification of Neural Networks Against Group Fairness

38. Formal Verification of Consensus in the Taurus Distributed Database

39. BESS Configuration for Power Shortage of Regional Power System by Slice Cutting Approach

40. Experimental Study on Mechanism of Cavity Filler Block to Reduce Interior Noise

41. A Novel Group Key Management Protocol Based on Secure Key Calculation Code

42. Needs Analysis of the AR Application in the Packaging Design of Ya’an Tibetan Tea

43. A Semi-structured Data Classification Model with Integrating Tag Sequence and Ngram

44. Improving Neural Network Verification through Spurious Region Guided Refinement

46. 'One-Time Face Recognition System' Drives Changes in Civil Aviation Smart Security Screening Mode

48. Research on Optimal Configuration of Energy Hub Considering System Flexibility

50. License Plate Detection and Recognition Technology for Complex Real Scenarios

Catalog

Books, media, physical & digital resources