Issue Date | Title | Author(s) |
2020-01 | Relational proofs for quantum programs | Barthe G; Hsu J; Ying M; Yu N; Zhou L |
2019-06-08 | An applied quantum hoare logic | Zhou L; Yu N; Ying M; McKinley KS; Fisher K |
2018-05-01 | Membrane capacitive deionisation as an alternative to the 2nd pass for seawater reverse osmosis desalination plant for bromide removal | Dorji, P; Choi, J; Kim, DI; Phuntsho, S; Hong, S; Shon, HK |
2019-10-01 | Collaborative networks in gene editing | Huang, Y; Porter, A; Zhang, Y; Barrangou, R |
2018-05-18 | SEREEGA: Simulating Event-Related EEG Activity | Krol, L; Pawlitzki, J; Lotte, F; Gramann, K; Zander, T |
2018-11-01 | SEREEGA: Simulating event-related EEG activity | Krol, LR; Pawlitzki, J; Lotte, F; Gramann, K; Zander, TO |
2016-01-01 | A comprehensive review of hybrid forward osmosis systems: Performance, applications and future prospects | Chekli, L; Phuntsho, S; Kim, JE; Kim, J; Choi, JY; Choi, JS; Kim, S; Kim, JH; Hong, S; Sohn, J; Shon, HK |
2016-11-01 | A hybrid similarity measure method for patent portfolio analysis | Zhang, Y; Shang, L; Huang, L; Porter, AL; Zhang, G; Lu, J; Zhu, D |
2018-05-15 | Transport of small and neutral solutes through reverse osmosis membranes: Role of skin layer conformation of the polyamide film | Fujioka, T; O'Rourke, BE; Michishio, K; Kobayashi, Y; Oshima, N; Kodamatani, H; Shintani, T; Nghiem, LD |
2019-03-20 | Debonding detection in a carbon fibre reinforced concrete structure using guided waves | Giri, P; Kharkovsky, S; Zhu, X; Clark, SM; Samali, B |