Showing 161 - 180 results of 4,001 for search '(("specification" OR "verification") OR ("specifications" OR "purifications"))', query time: 0.18s Refine Results
  1. 161
  2. 162

    Incidence and mortality rates of 14 site-specific infectious diseases in 10 diverse areas of China: findings from China Kadoorie Biobank, 2006-2018 by Huang, R, Kartsonaki, C, Turnbull, I, Pei, P, Chen, Y, Liu, J, Du, H, Sun, D, Yang, L, Barnard, M, Lv, J, Yu, C, Chen, J, Li, L, Chen, Z, Bragg, F

    Published 2024
    “…The observed burden of, and disparities in, site-specific infections can inform targeted prevention efforts.…”
    Journal article
  3. 163

    Expectation vs. reality: towards verification of psychological games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

    Published 2024
    “…In this paper, we start to bridge that gap, proposing methods to solve PGs and implementing them within PRISM-games, a formal verification tool for stochastic games. We discuss how to model these games, highlight specific challenges for their analysis and illustrate the usefulness of our approach on several case studies, including human behaviour in traffic scenarios.…”
    Book section
  4. 164
  5. 165

    Discriminative deep metric learning for face verification in the wild by Hu, Junlin, Lu, Jiwen, Tan, Yap Peng

    Published 2015
    “…Our method achieves very competitive face verification performance on the widely used LFW and YouTube Faces (YTF) datasets.…”
    Get full text
    Get full text
    Conference Paper
  6. 166

    Robust text-independent speaker verification in environmental noise by Panda, Ashish

    Published 2011
    “…Automatic speaker verification has many potential applications in security, surveillance and access control. …”
    Get full text
    Thesis
  7. 167
  8. 168

    Gain design and verification of autopilot control loops for UVAs by Huang, Qian.

    Published 2013
    “…In the second part, verifications of designed autopilot system are implemented for both linear and non-linear simulation models. …”
    Get full text
    Thesis
  9. 169
  10. 170
  11. 171
  12. 172

    Electrochemical Methods for Water Purification, Ion Separations, and Energy Conversion by Alkhadra, Mohammad A, Su, Xiao, Suss, Matthew E, Tian, Huanhuan, Guyes, Eric N, Shocron, Amit N, Conforti, Kameron M, de Souza, J Pedro, Kim, Nayeong, Tedesco, Michele, Khoiruddin, Khoiruddin, Wenten, I Gede, Santiago, Juan G, Hatton, T Alan, Bazant, Martin Z

    Published 2024
    “…This review provides a comprehensive description of the principles and applications of electrochemical methods for water purification, ion separations, and energy conversion. …”
    Get full text
    Article
  13. 173

    Wastewater purification using a membrane photocatalytic oxidation reactor by Tan, Koh Min.

    Published 2008
    “…In this study, an externally hybrid membrane photocatalytic oxidation (MPCO) bubbling reactor system was developed and coupled with suspended TiO2 catalyst to destroy the model bacteria (Escherichia Coliform) primarily for controlling biomass fouling in the Reverse Osmosis (RO) purification of biologically treated wastewater into potable water.…”
    Get full text
    Thesis
  14. 174
  15. 175

    Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

    Published 2022
    “…Probabilistic model checking techniques for this class of models allow us to formally specify quantitative specifications of either collective or individual behaviour and then automatically synthesise strategies for the agents under which these specifications are guaranteed to be satisfied. …”
    Book section
  16. 176

    Analyses of human vaccine-specific circulating and bone marrow-resident B cell populations reveal benefit of delayed vaccine booster dosing with blood-stage malaria antigens by Barrett, JR, Silk, SE, Mkindi, CG, Kwiatkowska, KM, Hou, MM, Lias, AM, Kalinga, WF, Mtaka, IM, McHugh, K, Bardelli, M, Davies, H, King, LDW, Edwards, NJ, Chauhan, VS, Mukherjee, P, Rwezaula, S, Chitnis, CE, Olotu, AI, Minassian, AM, Draper, SJ, Nielsen, CM

    Published 2024
    “…Here, using flow cytometry – including agnostic definition of B cell populations with the clustering tool CITRUS – we report enhanced induction of DBPRII-specific plasma cell and memory B cell responses in protein/adjuvant versus viral vector vaccinees. …”
    Journal article
  17. 177

    Psychoacoustic model compensation for robust speaker verification in environmental noise by Panda, Ashish, Srikanthan, Thambipillai

    Published 2013
    “…We investigate the problem of speaker verification in noisy conditions in this paper. Our work is motivated by the fact that environmental noise severely degrades the performance of speaker verification systems. …”
    Get full text
    Get full text
    Journal Article
  18. 178
  19. 179

    2D + 3D approach in face verification algorithm by Hendinata, Joshua

    Published 2015
    “…This project aimed to combine best of both worlds by using ubiquitous gadget such as laptop and mobile camera to create a low-cost and robust, yet accurate face verification system. The system implements a stereo camera setup to calculate face disparity map which capture face depth information. …”
    Get full text
    Final Year Project (FYP)
  20. 180

    A contract negotiation scheme for safety verification of interconnected systems by Tan, X, Papachristodoulou, A, Dimarogonas, DV

    Published 2024
    “…This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-squares (SOS) techniques. …”
    Journal article