Skip to main content

and
  1. No Access

    Article

    MSNet: a lightweight multi-scale deep learning network for pedestrian re-identification

    Pedestrian re-identification is highly dependent on discriminative features that enable images to encapsulate an arbitrary combination of multiple scales by different spatial scales. However, current models di...

    Keyu Pan, Yishi Zhao, Tao Wang, Shihong Yao in Signal, Image and Video Processing (2023)

  2. No Access

    Article

    Fabrication of Protective Textile with N-doped TiO2 Embedded Citral Microcapsule Coating and Its Air Purification Properties

    The protective textile was successfully prepared using N-doped TiO2 (N-TiO2) embedded citral microcapsule coating. N-TiO2 loaded citral microcapsules were synthesized through interfacial polymerization. Results s...

    Shuo Wang, Huihui Ding, Yishi Zhao, Yonggui Li, Wei Wang in Fibers and Polymers (2020)

  3. No Access

    Chapter and Conference Paper

    A Performance Evaluation Model for Taxi Cruising Path Recommendation System

    Recommending an appropriate route to reduce taxi drivers’ mileage spent without a fare is a long-standing challenge. The current solution has been to get the best route which has optimal performance, and the p...

    Huimin Lv, Fang Fang, Yishi Zhao in Advances in Knowledge Discovery and Data M… (2017)

  4. No Access

    Chapter and Conference Paper

    Performance Modelling of Optimistic Fair Exchange

    In this paper we explore the overhead introduced by secure functions in considering a case study in non-repudiation. We present a model of an optimistic fair exchange protocol specified using the Markovian pro...

    Yishi Zhao, Nigel Thomas in Analytical and Stochastic Modelling Techniques and Applications (2016)

  5. No Access

    Chapter and Conference Paper

    Formal Performance Modelling: From Protocols to People

    In this paper we consider two very different case studies explored using scalable analysis techniques and stochastic process algebra. The first case study is a classical computer science problem: determining t...

    Nigel Thomas, Michael Harrison, Yishi Zhao, **ao Chen in Computer Performance Engineering (2013)

  6. No Access

    Chapter and Conference Paper

    Mean Value Analysis for a Class of PEPA Models

    In this paper a class of closed queueing network is modelled in the Markovian process algebra PEPA and solved using the classical Mean Value Analysis (MVA). This approach is attractive as it negates the need t...

    Nigel Thomas, Yishi Zhao in Computer Performance Engineering (2009)

  7. No Access

    Chapter and Conference Paper

    Approximate Solution of a PEPA Model of a Key Distribution Centre

    In this paper we explore the trade-off between security and performance in considering a model of a key distribution centre. The model is specified using the Markovian process algebra PEPA. The basic model suf...

    Yishi Zhao, Nigel Thomas in Performance Evaluation: Metrics, Models and Benchmarks (2008)