| 1. |
- Beal, Jacob, et al.
(författare)
-
Robust estimation of bacterial cell count from optical density
- 2020
-
Ingår i: Communications Biology. - : Springer Science and Business Media LLC. - 2399-3642. ; 3:1
-
Tidskriftsartikel (refereegranskat)abstract
- Optical density (OD) is widely used to estimate the density of cells in liquid culture, but cannot be compared between instruments without a standardized calibration protocol and is challenging to relate to actual cell count. We address this with an interlaboratory study comparing three simple, low-cost, and highly accessible OD calibration protocols across 244 laboratories, applied to eight strains of constitutive GFP-expressing E. coli. Based on our results, we recommend calibrating OD to estimated cell count using serial dilution of silica microspheres, which produces highly precise calibration (95.5% of residuals <1.2-fold), is easily assessed for quality control, also assesses instrument effective linear range, and can be combined with fluorescence calibration to obtain units of Molecules of Equivalent Fluorescein (MEFL) per cell, allowing direct comparison and data fusion with flow cytometry measurements: in our study, fluorescence per cell measurements showed only a 1.07-fold mean difference between plate reader and flow cytometry data.
|
|
| 2. |
|
|
| 3. |
- Kristan, Matej, et al.
(författare)
-
The first visual object tracking segmentation VOTS2023 challenge results
- 2023
-
Ingår i: 2023 IEEE/CVF International conference on computer vision workshops (ICCVW). - : Institute of Electrical and Electronics Engineers Inc.. - 9798350307443 - 9798350307450 ; , s. 1788-1810
-
Konferensbidrag (refereegranskat)abstract
- The Visual Object Tracking Segmentation VOTS2023 challenge is the eleventh annual tracker benchmarking activity of the VOT initiative. This challenge is the first to merge short-term and long-term as well as single-target and multiple-target tracking with segmentation masks as the only target location specification. A new dataset was created; the ground truth has been withheld to prevent overfitting. New performance measures and evaluation protocols have been created along with a new toolkit and an evaluation server. Results of the presented 47 trackers indicate that modern tracking frameworks are well-suited to deal with convergence of short-term and long-term tracking and that multiple and single target tracking can be considered a single problem. A leaderboard, with participating trackers details, the source code, the datasets, and the evaluation kit are publicly available at the challenge website1
|
|
| 4. |
- He, Liang, et al.
(författare)
-
Discrete element simulation of porous asphalt mixture clogging law
- 2023
-
Ingår i: Jiaotong Yunshu Gongcheng Xuebao/Journal of Traffic and Transportation Engineering. - : Chang'an University. - 1671-1637. ; 23:2, s. 78-91
-
Tidskriftsartikel (refereegranskat)abstract
- To reveal the pore clogging law of porous asphalt mixture, the combination study of model experiment and simulation of porous asphalt mixture clogging was conducted. The pore characteristics of the porous asphalt mixture were analyzed based on the CT-scanning and discrete element software PFC3D V5. 0, and the pore data of the porous asphalt mixture were obtained. The aggregates of different particle sizes were put into PFC3D V5. 0, and the compacted virtual specimens were generated according to the pore characteristics. The accuracy of the model was verified by comparing the pore images of actual specimens with the MATLAB slices. In the self-weight condition, the simulation was set with the porous asphalt mixture specimen being intruded by clogging particles with specific gradation composition. The data of indoor experiments were compared and verified. The particle sizes of clogging particles were changed, and the pore decay rates of the specimen were analyzed. The clogging-sensitive particles were identified. In the self-weight condition, the fluid simulation experiment was introduced, and the change law of specimen clogging was analyzed by changing the seepage rate of fluid. Analysis results show that the virtual specimen generated by PFC3D V5. 0 has high accuracy, and the simulation reveals the clogging law of the specimen. The small particles not only accumulate at the throat position causing clogging, but also congregate and interlock with the particles of larger sizes resulting in clogging too. In the self-weight condition, the clogging is mainly concentrated at the upper 30 mm of the mixture specimen, and the size distribution of corresponding clogging-sensitive particles is 0. 150-0. 600 mm. The size distribution of clogging particles has a great impact on the clogging results. In the conditions of gravity and fluid, with the seepage rate increasing from 0. 005 m • s-1 to 0. 030 m • s-1, the changing rate of pore decay rate increases. In addition, the clogging particles remaining in the mixture decrease, accompanied by the reduction of the pore decay rate. Therefore, the local rainfall conditions should also be considered in the design and maintenance of drainage asphalt pavement. 2 tabs, 20 figs, 30 refs. © 2023 Chang'an University. All rights reserved.
|
|
| 5. |
- Jin, Ying-Hui, et al.
(författare)
-
Chemoprophylaxis, diagnosis, treatments, and discharge management of COVID-19 : An evidence-based clinical practice guideline (updated version)
- 2020
-
Ingår i: Military Medical Research. - : Springer Science and Business Media LLC. - 2054-9369. ; 7:1
-
Tidskriftsartikel (refereegranskat)abstract
- The novel severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is the cause of a rapidly spreading illness, coronavirus disease 2019 (COVID-19), affecting more than seventeen million people around the world. Diagnosis and treatment guidelines for clinicians caring for patients are needed. In the early stage, we have issued "A rapid advice guideline for the diagnosis and treatment of 2019 novel coronavirus (2019-nCoV) infected pneumonia (standard version)"; now there are many direct evidences emerged and may change some of previous recommendations and it is ripe for develop an evidence-based guideline. We formed a working group of clinical experts and methodologists. The steering group members proposed 29 questions that are relevant to the management of COVID-19 covering the following areas: chemoprophylaxis, diagnosis, treatments, and discharge management. We searched the literature for direct evidence on the management of COVID-19, and assessed its certainty generated recommendations using the Grading of Recommendations, Assessment, Development and Evaluation (GRADE) approach. Recommendations were either strong or weak, or in the form of ungraded consensus-based statement. Finally, we issued 34 statements. Among them, 6 were strong recommendations for, 14 were weak recommendations for, 3 were weak recommendations against and 11 were ungraded consensus-based statement. They covered topics of chemoprophylaxis (including agents and Traditional Chinese Medicine (TCM) agents), diagnosis (including clinical manifestations, reverse transcription-polymerase chain reaction (RT-PCR), respiratory tract specimens, IgM and IgG antibody tests, chest computed tomography, chest x-ray, and CT features of asymptomatic infections), treatments (including lopinavir-ritonavir, umifenovir, favipiravir, interferon, remdesivir, combination of antiviral drugs, hydroxychloroquine/chloroquine, interleukin-6 inhibitors, interleukin-1 inhibitors, glucocorticoid, qingfei paidu decoction, lianhua qingwen granules/capsules, convalescent plasma, lung transplantation, invasive or noninvasive ventilation, and extracorporeal membrane oxygenation (ECMO)), and discharge management (including discharge criteria and management plan in patients whose RT-PCR retesting shows SARS-CoV-2 positive after discharge). We also created two figures of these recommendations for the implementation purpose. We hope these recommendations can help support healthcare workers caring for COVID-19 patients.
|
|
| 6. |
- Liu, Xuan, et al.
(författare)
-
Increased southerly and easterly water vapor transport contributed to the dry-to-wet transition of summer precipitation over the Three-River Headwaters in the Tibetan Plateau
- 2023
-
Ingår i: Advances in Climate Change Research. - 1674-9278 .- 2524-1761. ; 14:4, s. 502-510
-
Tidskriftsartikel (refereegranskat)abstract
- The Three-River Headwaters (TRH) region in the Tibetan Plateau is vulnerable to climate change; changes in summer (June–August) precipitation have a significant impact on water security and sustainability in both local and downstream areas. However, the changes in summer precipitation of different intensities over the TRH region, along with their influencing factors, remain unclear. In this study, we used observational and ERA5 reanalysis data and employed a precipitation categorization and water vapor budget analysis to quantify the categorized precipitation variations and investigate their possible linkages with the water vapor budget. Our results showed an increasing trend in summer precipitation at a rate of 0.9 mm per year (p < 0.1) during 1979–2020, with a significant dry-to-wet transition in 2002. The category ‘very heavy precipitation’ (≥10 mm d−1) contributed 65.1% of the increased summer precipitation, which occurred frequently in the northern TRH region. The dry-to-wet transition was caused by the effects of varied atmospheric circulations in each subregion. Southwesterly water vapor transport through the southern boundary was responsible for the increased net water vapor flux in the western TRH region (158.2%), while southeasterly water vapor transport through the eastern boundary was responsible for the increased net water vapor flux in the central TRH (155.2%) and eastern TRH (229.2%) regions. Therefore, we inferred that the dry-to-wet transition of summer precipitation and the increased ‘very heavy precipitation’ over the TRH was caused by increased easterly and southerly water vapor transport.
|
|
| 7. |
- Mishra, A, et al.
(författare)
-
Diminishing benefits of urban living for children and adolescents' growth and development
- 2023
-
Ingår i: Nature. - : Springer Science and Business Media LLC. - 1476-4687 .- 0028-0836. ; 615:7954, s. 874-883
-
Tidskriftsartikel (refereegranskat)abstract
- Optimal growth and development in childhood and adolescence is crucial for lifelong health and well-being1–6. Here we used data from 2,325 population-based studies, with measurements of height and weight from 71 million participants, to report the height and body-mass index (BMI) of children and adolescents aged 5–19 years on the basis of rural and urban place of residence in 200 countries and territories from 1990 to 2020. In 1990, children and adolescents residing in cities were taller than their rural counterparts in all but a few high-income countries. By 2020, the urban height advantage became smaller in most countries, and in many high-income western countries it reversed into a small urban-based disadvantage. The exception was for boys in most countries in sub-Saharan Africa and in some countries in Oceania, south Asia and the region of central Asia, Middle East and north Africa. In these countries, successive cohorts of boys from rural places either did not gain height or possibly became shorter, and hence fell further behind their urban peers. The difference between the age-standardized mean BMI of children in urban and rural areas was <1.1 kg m–2 in the vast majority of countries. Within this small range, BMI increased slightly more in cities than in rural areas, except in south Asia, sub-Saharan Africa and some countries in central and eastern Europe. Our results show that in much of the world, the growth and developmental advantages of living in cities have diminished in the twenty-first century, whereas in much of sub-Saharan Africa they have amplified.
|
|
| 8. |
|
|
| 9. |
- Dong, Ning, et al.
(författare)
-
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor
- 2023
-
Ingår i: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023. - : TU Wien Academic Press.
-
Konferensbidrag (refereegranskat)abstract
- We present an in-order pipelined processor and its verification in the HOL4 interactive theorem prover. The processor implements the RISC ISA Silver and features a general 5-stage pipeline. The correctness of the processor is proved by exhibiting a refinement relation between the traces of the pipelined circuit and the Silver ISA. The processor is constructed by using a HOL4 Verilog library for formally verified hardware, and its correctness is guaranteed down to the Verilog implementation. Additionally, we analyze the information flow properties of the processor by utilizing the refinement relation. The notion of conditional noninterference formulates that a processor should not leak more information via its timing channel than what is expected by a leakage model expressed at the ISA level. We establish the conditional noninterference for our processor and demonstrate the adaptability of the information flow methodology to accommodate various processor designs, attacker models, and environments. Our approach to verify processor implementations and enable information flow analysis at the circuit level is suitable for ISAs beyond Silver.
|
|
| 10. |
- Dong, Ning, et al.
(författare)
-
Refinement-Based Verification of Device-to-Device Information Flow
- 2021
-
Ingår i: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021. - : TU Wien Academic Press.
-
Konferensbidrag (refereegranskat)abstract
- I/O devices are the critical components that allow a computing system to communicate with the external environment. From the perspective of a device, interactions can be divided into two parts, with the processor (mainly memory operations by the driver) and through the communication medium with external devices. In this paper, we present an abstract model of I/O devices and their drivers to describe the expected results of their execution, where the communication between devices is made explicit and the device-to-device information flow is analyzed. In order to handle general I/O functionalities, both half-duplex (transmission and reception) and full-duplex (sending and receiving simultaneously) data transmissions are considered. We propose a refinement-based approach that concretizes a correct-by-construction abstract model into an actual hardware device and its driver. As an example, we formalize the Serial Peripheral Interface (SPI) with a driver. In the HOL4 interactive theorem prover, we verified the refinement between these models by establishing a weak bisimulation. We show how this result can be used to establish both functional correctness and information flow security for both single devices and when devices are connected in an end-to-end fashion.
|
|
