75 research outputs found

    Elastic wave surfaces for the (111) plane of cubic crystals

    Get PDF
    The nature of inverse velocity surfaces as well as energy surfaces for elastic wave propagation in the (111) plane have been studied for a number of cubic crystals. The sections of inverse velocity surfaces by the (111) plane exhibit six-fold symmetry in all cases. Cuspidal edges are exhibited with a six-fold symmetry by both the slow transverse and fast transverse shear modes in the (111) plane, unlike the case of the (100) and (110) planes for which only the slow transverse shear mode exhibits cuspidal edges. The slow transverse mode energy surface exhibits cuspidal edges along (112) direction or an equivalent symmetry direction. The inverse velocity surfaces of the A-15 compounds exhibit unusually large inflexions for the slow transverse mode, whereas their energy surfaces have large cuspidal edges which intersect each other resulting in common regions of cusps

    Fast Retinal Vessel Detection and Measurement Using Wavelets and Edge Location Refinement

    Get PDF
    The relationship between changes in retinal vessel morphology and the onset and progression of diseases such as diabetes, hypertension and retinopathy of prematurity (ROP) has been the subject of several large scale clinical studies. However, the difficulty of quantifying changes in retinal vessels in a sufficiently fast, accurate and repeatable manner has restricted the application of the insights gleaned from these studies to clinical practice. This paper presents a novel algorithm for the efficient detection and measurement of retinal vessels, which is general enough that it can be applied to both low and high resolution fundus photographs and fluorescein angiograms upon the adjustment of only a few intuitive parameters. Firstly, we describe the simple vessel segmentation strategy, formulated in the language of wavelets, that is used for fast vessel detection. When validated using a publicly available database of retinal images, this segmentation achieves a true positive rate of 70.27%, false positive rate of 2.83%, and accuracy score of 0.9371. Vessel edges are then more precisely localised using image profiles computed perpendicularly across a spline fit of each detected vessel centreline, so that both local and global changes in vessel diameter can be readily quantified. Using a second image database, we show that the diameters output by our algorithm display good agreement with the manual measurements made by three independent observers. We conclude that the improved speed and generality offered by our algorithm are achieved without sacrificing accuracy. The algorithm is implemented in MATLAB along with a graphical user interface, and we have made the source code freely available

    Global, regional, and national progress towards Sustainable Development Goal 3.2 for neonatal and child health: all-cause and cause-specific mortality findings from the Global Burden of Disease Study 2019

    Get PDF
    Background Sustainable Development Goal 3.2 has targeted elimination of preventable child mortality, reduction of neonatal death to less than 12 per 1000 livebirths, and reduction of death of children younger than 5 years to less than 25 per 1000 livebirths, for each country by 2030. To understand current rates, recent trends, and potential trajectories of child mortality for the next decade, we present the Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2019 findings for all-cause mortality and cause-specific mortality in children younger than 5 years of age, with multiple scenarios for child mortality in 2030 that include the consideration of potential effects of COVID-19, and a novel framework for quantifying optimal child survival. Methods We completed all-cause mortality and cause-specific mortality analyses from 204 countries and territories for detailed age groups separately, with aggregated mortality probabilities per 1000 livebirths computed for neonatal mortality rate (NMR) and under-5 mortality rate (USMR). Scenarios for 2030 represent different potential trajectories, notably including potential effects of the COVID-19 pandemic and the potential impact of improvements preferentially targeting neonatal survival. Optimal child survival metrics were developed by age, sex, and cause of death across all GBD location-years. The first metric is a global optimum and is based on the lowest observed mortality, and the second is a survival potential frontier that is based on stochastic frontier analysis of observed mortality and Healthcare Access and Quality Index. Findings Global U5MR decreased from 71.2 deaths per 1000 livebirths (95% uncertainty interval WI] 68.3-74-0) in 2000 to 37.1 (33.2-41.7) in 2019 while global NMR correspondingly declined more slowly from 28.0 deaths per 1000 live births (26.8-29-5) in 2000 to 17.9 (16.3-19-8) in 2019. In 2019,136 (67%) of 204 countries had a USMR at or below the SDG 3.2 threshold and 133 (65%) had an NMR at or below the SDG 3.2 threshold, and the reference scenario suggests that by 2030,154 (75%) of all countries could meet the U5MR targets, and 139 (68%) could meet the NMR targets. Deaths of children younger than 5 years totalled 9.65 million (95% UI 9.05-10.30) in 2000 and 5.05 million (4.27-6.02) in 2019, with the neonatal fraction of these deaths increasing from 39% (3.76 million 95% UI 3.53-4.021) in 2000 to 48% (2.42 million; 2.06-2.86) in 2019. NMR and U5MR were generally higher in males than in females, although there was no statistically significant difference at the global level. Neonatal disorders remained the leading cause of death in children younger than 5 years in 2019, followed by lower respiratory infections, diarrhoeal diseases, congenital birth defects, and malaria. The global optimum analysis suggests NMR could be reduced to as low as 0.80 (95% UI 0.71-0.86) deaths per 1000 livebirths and U5MR to 1.44 (95% UI 1-27-1.58) deaths per 1000 livebirths, and in 2019, there were as many as 1.87 million (95% UI 1-35-2.58; 37% 95% UI 32-43]) of 5.05 million more deaths of children younger than 5 years than the survival potential frontier. Interpretation Global child mortality declined by almost half between 2000 and 2019, but progress remains slower in neonates and 65 (32%) of 204 countries, mostly in sub-Saharan Africa and south Asia, are not on track to meet either SDG 3.2 target by 2030. Focused improvements in perinatal and newborn care, continued and expanded delivery of essential interventions such as vaccination and infection prevention, an enhanced focus on equity, continued focus on poverty reduction and education, and investment in strengthening health systems across the development spectrum have the potential to substantially improve USMR. Given the widespread effects of COVID-19, considerable effort will be required to maintain and accelerate progress. Copyright (C) 2021 The Author(s). Published by Elsevier Ltd

    Probabilistic Lossy Channel Systems

    No full text
    Consider a system of finite state machines communicating with each other over unbounded FIFO buffers. Such a model of computation is, clearly, turing powerful. This model has been used as the backbone of ISO protocol specification languages Estelle and SDL, as it allows one to abstract away from the details, such as errors in communication, that occur at lower levels of the protocol stack. It has recently been shown (in the literature) that realistic models which implicitly model errors in the communication buffers are more tractable than models which assume perfect communication. In this paper, we propose to make the model more realistic by modeling the probability of loss in the buffers. Given specifications in such a model we provide algorithms for the probabilistic reachability problem and the probabilistic model-checking (against linear-time PTL requirements) problem

    Model Checking Probabilistic Lossy Channel Systems

    No full text
    Lossy channel systems model a set of finite state processes interacting with each other over unbounded, lossy FIFO channels. This computational model is an abstraction of protocols in the lower layers of the network protocol hierarchy. In spite of its unbounded FIFO queues the Lossy channel system model is not turing-powerful. It has been shown that the reachability problem is decidable [1]. However, the model-checking problem, against specifications in linear time temporal logic (LTL), is known to be undecidable [2]. Given that the rate of message loss in communication systems can be probabilistically characterized we consider a probabilistic version of Lossy channel systems. We show that the problem of checking whether a LTL requirement holds almost always. i.e., with probability 1, of probabilistic lossy channel systems (PLCS) is decidable. As can be expected the probability of message loss does not play a part in the model-checking procedure. 1 Introduction Finite state machines w..
    corecore