Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Xu, Xieyang"'
Autor:
Xu, Xieyang, Yuan, Yifei, Kincaid, Zachary, Krishnamurthy, Arvind, Mahajan, Ratul, Walker, David, Zhai, Ennan
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network snapshot, relational network verification analyzes specifications con
Externí odkaz:
http://arxiv.org/abs/2403.17277
We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus increase network reliability. A key challenge in its development is th
Externí odkaz:
http://arxiv.org/abs/2209.12870
Publikováno v:
In Water Research 15 September 2020 183
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sun M; State Key Laboratory of Biocontrol, School of Life Sciences/School of Ecology, Sun Yat-sen University, Guangzhou 510275, China.; Milner Centre for Evolution, Department of Life Science, University of Bath, Bath BA27AY, United Kingdom., Halimubieke N; Milner Centre for Evolution, Department of Life Science, University of Bath, Bath BA27AY, United Kingdom.; Department of Anthropology, University College London, London WC1H 0BW, United Kingdom., Fang B; State Key Laboratory of Biocontrol, School of Life Sciences/School of Ecology, Sun Yat-sen University, Guangzhou 510275, China.; State Key Laboratory of Desert and Oasis Ecology, Xinjiang Institute of Ecology and Geography, Chinese Academy of Sciences, Urumqi 830011, China., Valdebenito JO; Milner Centre for Evolution, Department of Life Science, University of Bath, Bath BA27AY, United Kingdom.; Bird Ecology Lab, Instituto de Ciencias Marinas y Limnológicas, Universidad Austral de Chile, Independencia 631, Valdivia 5110566, Chile.; Instituto Milenio Biodiversidad de Ecosistemas Antárticos y Subantárticos (BASE), Santiago 8331150, Chile., Xu X; State Key Laboratory of Biocontrol, School of Life Sciences/School of Ecology, Sun Yat-sen University, Guangzhou 510275, China., Sheppard SK; Ineos Oxford Institute, University of Oxford, Oxford OX1 3RE, United Kingdom., Székely T; Milner Centre for Evolution, Department of Life Science, University of Bath, Bath BA27AY, United Kingdom.; Department of Evolutionary Zoology and Human Biology, University of Debrecen, Debrecen 4032, Hungary., Zhang T; Key Laboratory of Adaptation and Evolution of Plateau Biota, Northwest Institute of Plateau Biology, Chinese Academy of Sciences, Xining 810008, China.; Qinghai Provincial Key Laboratory of Animal Ecological Genomics, Xining 810008, China., He S; Xining National Terrestrial Wildlife Epidemic Monitoring Station, Xining 810008, China., Lu R; Xining National Terrestrial Wildlife Epidemic Monitoring Station, Xining 810008, China., Ward S; Department of Life Science, University of Bath, Bath BA27AY, United Kingdom., Urrutia AO; State Key Laboratory of Biocontrol, School of Life Sciences/School of Ecology, Sun Yat-sen University, Guangzhou 510275, China., Liu Y; State Key Laboratory of Biocontrol, School of Life Sciences/School of Ecology, Sun Yat-sen University, Guangzhou 510275, China.
Publikováno v:
FEMS microbes [FEMS Microbes] 2024 Jul 04; Vol. 5, pp. xtae020. Date of Electronic Publication: 2024 Jul 04 (Print Publication: 2024).