期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Biobanking in LMIC settings for infectious diseases: Challenges and enablers
1
作者 Sameera Ezzat Ruzica Biga Zisis Kozlakidis 《Biosafety and Health》 CSCD 2022年第5期290-292,共3页
Biobanking facilities are well established in high-income settings,where substantial funding has been invested in infrastructure.In contrast,such facilities are much less developed in resource-restricted settings.Howe... Biobanking facilities are well established in high-income settings,where substantial funding has been invested in infrastructure.In contrast,such facilities are much less developed in resource-restricted settings.However,low-and middle-income countries(LMICs)still face a disproportionately high infectious diseases burden.Thus,the further development of infrastructure facilities,including biobanks is warranted as an important component of this unfolding clinical research environment.This perspective manuscript summarises the challenges and enablers for biobanking in LMICs,with a particular focus on infectious diseases,incorporating some of the lessons learned from the recent coronavirus disease 2019(COVID-19)pandemic. 展开更多
关键词 BIOBANKING Research infrastructures Infectious diseases Low-and-middle income countries LMICs
原文传递
A dynamic logic for verification of synchronous models based on theorem proving
2
作者 Yuanrui Zhang Frédéric Mallet Zhiming Liu 《Frontiers of Computer Science》 SCIE EI CSCD 2022年第4期235-237,共3页
1Introduction Synchronous models,a modelling paradigm proposed along with the development of synchronous programming languages[1]in,the 198os,are well-adapted for modelling and specifying reactive systemsa.type of sys... 1Introduction Synchronous models,a modelling paradigm proposed along with the development of synchronous programming languages[1]in,the 198os,are well-adapted for modelling and specifying reactive systemsa.type of systems that consecutively interact with their environment at a particular environment-determined rate.In a synchronous model,system behaviours are interpreted as a sequence of reactions. 展开更多
关键词 THEOREM adapted PROGRAMMING
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部