![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...
-
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...