AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

2021 ◽  
Vol 36 (6) ◽  
pp. 1325-1341
Author(s):  
Ying-Jie Wang ◽  
Liang-Ze Yin ◽  
Wei Dong
Keyword(s):  
Linux Kernel ◽  
Accurate Analysis

Left Ventricular Hypertrophy

2014 ◽  
Vol 19 (2) ◽  
pp. 11-15
Author(s):  
Steven L. Demeter
Keyword(s):  
Risk Factors ◽  
Left Ventricular Hypertrophy ◽  
Ventricular Hypertrophy ◽  
Left Ventricular Mass Index ◽  
Medical Science ◽  
Careful Analysis ◽  
Left Ventricular ◽  
Hypertensive Disease ◽  
Accurate Analysis ◽  
Clear Explanation

Abstract The fourth, fifth, and sixth editions of the AMA Guides to the Evaluation of Permanent Impairment (AMA Guides) use left ventricular hypertrophy (LVH) as a variable to determine impairment caused by hypertensive disease. The issue of LVH, as assessed echocardiographically, is a prime example of medical science being at odds with legal jurisprudence. Some legislatures have allowed any cause of LVH in a hypertensive individual to be an allowed manifestation of hypertensive changes. This situation has arisen because a physician can never say that no component of LVH was not caused by the hypertension, even in an individual with a cardiomyopathy or valvular disorder. This article recommends that evaluators consider three points: if the cause of the LVH is hypertension, is the examinee at maximum medical improvement; is the LVH caused by hypertension or another factor; and, if apportionment is allowed, then a careful analysis of the risk factors for other disorders associated with LVH is necessary. The left ventricular mass index should be present in the echocardiogram report and can guide the interpretation of the alleged LVH; if not present, it should be requested because it facilitates a more accurate analysis. Further, if the cause of the LVH is more likely independent of the hypertension, then careful reasoning and an explanation should be included in the impairment report. If hypertension is only a partial cause, a reasoned analysis and clear explanation of the apportionment are required.

ECG Analysis: A Brief Review

2019 ◽  
Vol 12 ◽  
Author(s):  
Saumendra Kumar Mohapatra ◽  
Mihir Narayan Mohanty
Keyword(s):  
Technology Development ◽  
Accurate Result ◽  
Early Stage ◽  
Heart Diseases ◽  
Short Review ◽  
Disease Diagnosis ◽  
Accurate Analysis ◽  
Ecg Analysis ◽  
Proper Analysis ◽  
Living Being

Background: In recent years cardiac problems found proportional to technology development. Cardiac signal (Electrocardiogram) relates to the electrical activity of the heart of a living being and it is an important tool for diagnosis of heart diseases. Method: Accurate analysis of ECG signal can provide support for detection, classification, and diagnosis. Physicians can detect the disease and start the diagnosis at an early stage. Apart from cardiac disease diagnosis ECG can be used for emotion recognition, heart rate detection, and biometric identification. Objective: The objective of this paper is to provide a short review of earlier techniques used for ECG analysis. It can provide support to the researchers in a new direction. The review is based on preprocessing, feature extraction, classification, and different measuring parameters for accuracy proof. Also, different data sources for getting the cardiac signal is presented and various application area of the ECG analysis is presented. It explains the work from 2008 to 2018. Conclusion: Proper analysis of the cardiac signal is essential for better diagnosis. In automated ECG analysis, it is essential to get an accurate result. Numerous techniques were addressed by the researchers for the analysis of ECG. It is important to know different steps related to ECG analysis. A review is done based on different stages of ECG analysis and its applications in society.

Reluctant Cold Warriors

2019 ◽  
Author(s):  
Vladimir Kontorovich
Keyword(s):  
Cold War ◽  
National Security ◽  
Soviet Economy ◽  
Accurate Analysis ◽  
Policy Makers ◽  
Large Numbers ◽  
The Us ◽  
Comprehensive Survey ◽  
The Cold War ◽  
The Military

The academic study of the Soviet economy in the US was created to help fight the Cold War, part of a broader mobilization of the social sciences for national security needs. The Soviet strategic challenge rested on the ability of its economy to produce large numbers of sophisticated weapons. The military sector was the dominant part of the economy, and the most successful one. However, a comprehensive survey of scholarship on the Soviet economy from 1948-1991 shows that it paid little attention to the military sector, compared to other less important parts of the economy. Soviet secrecy does not explain this pattern of neglect. Western scholars developed strained civilian interpretations for several aspects of the economy which the Soviets themselves acknowledged to have military significance. A close reading of the economic literature, combined with insights from other disciplines, suggest three complementary explanations for civilianization of the Soviet economy. Soviet studies was a peripheral field in economics, and its practitioners sought recognition by pursuing the agenda of the mainstream discipline, however ill-fitting their subject. The Soviet economy was supposed to be about socialism, and the military sector appeared to be unrelated to that. By stressing the militarization, one risked being viewed as a Cold War monger. The conflict identified in this book between the incentives of academia and the demands of policy makers (to say nothing of accurate analysis) has broad relevance for national security uses of social science.

Chloride secretion and conductance of teleost opercular membrane: effects of prolactin

1982 ◽  
Vol 242 (3) ◽  
pp. R380-R389 ◽  
Author(s):  
J. K. Foskett ◽  
T. E. Machen ◽  
H. A. Bern
Keyword(s):  
Active Transport ◽  
Short Circuit ◽  
Chloride Secretion ◽  
Alternative Interpretation ◽  
Chloride Cells ◽  
Dependent Manner ◽  
Transport Pathway ◽  
Accurate Analysis ◽  
Equivalent Circuit Analysis ◽  
Fish Yield

Effects of prolactin on transport properties of opercular membranes from seawater-adapted tilapia, Sarotherodon mossambicus, have been examined. These membranes are high conductance (average Gt approximately 4 mS.cm-2) tissues with short-circuit currents (I) equal to net chloride secretion. Despite high Gt, nonlinear current-voltage relationships suggest that opercular membranes cannot be classified as "leaky" tissues. Variability among membranes is reflected in a linear relationship between I and Gt with a slope equal to 26 mV and the zero-current Gt intercept equal to 0.45 mS.cm-2. Prolactin injections decrease I and Gt in a dose-dependent manner. Phosphodiesterase inhibition, without effect on I in untreated fish, often partially reverses these prolactin effects. Gt-I data from prolactin-treated fish yield a slope of 18 mV and a Gt intercept of 0.10 mS.cm-2. The effects of prolactin are discussed in terms of conventional equivalent circuit analysis. Discrepancies between predictions based on this model and the actual data indicate that an alternative interpretation, based on a heterogeneous cell population, is more accurate. Analysis of this circuit suggests that the ratio of paracellular to active transport pathway conductances associated with chloride cells is constant and that differences in Gt and I are due to parallel changes in these conductances. Prolactin may effectively "remove" chloride cells from these membranes as well as inhibit (reversible by elevated cellular cAMP levels) active transport pathway conductance of remaining cells.

scholarly journals Production Theory and Community Services Planning: Application to Solid Waste Disposal

1974 ◽  
Vol 6 (2) ◽  
pp. 25-31
Author(s):  
Marlys Knutson ◽  
Michael Boehlje ◽  
Dean Schreiner
Keyword(s):  
Solid Waste ◽  
Waste Disposal ◽  
Community Services ◽  
Service Planning ◽  
Alternative Methods ◽  
Solid Waste Disposal ◽  
Accurate Analysis ◽  
Transportation Services ◽  
Goods And Services ◽  
Labor Resources

A basic management responsibility in community service planning is to evaluate alternative methods of providing various public goods and services such as transportation services, sewage and solid waste disposal, and water for home and industry. These alternative methods frequently involve new or different technologies and various combinations of inputs such as capital and labor.For example, in the disposal of solid waste, the use of different sizes and types of bulldozers, compactors and cranes may lead to significantly different combinations of capital and labor resources. For accurate analysis, the quality and quantity of the service that can be provided with limited amounts of the various resources or inputs must be considered. Thus, the basic concepts that have been used in private business to allocate limited resources to obtain the desired output are equally applicable to the management and planning of community services.

Machine learning for load balancing in the Linux kernel

2020 ◽  
Author(s):  
Jingde Chen ◽  
Subho S. Banerjee ◽  
Zbigniew T. Kalbarczyk ◽  
Ravishankar K. Iyer
Keyword(s):  
Machine Learning ◽  
Load Balancing ◽  
Linux Kernel

scholarly journals Operating Rooms efficiency: leveraging data to improve management of elective surgery

2020 ◽  
Vol 30 (Supplement_5) ◽  
Author(s):  
C Quercioli ◽  
G A Carta ◽  
G Cevenini ◽  
G Messina ◽  
N Nante ◽  
...  
Keyword(s):  
Historical Data ◽  
Elective Surgery ◽  
District General Hospital ◽  
Operating Rooms ◽  
Accurate Estimation ◽  
Surgical Time ◽  
Accurate Analysis ◽  
Management Efficiency ◽  
Scheduling Model ◽  
The Mean

Abstract Background Careful scheduling of elective surgery Operating Rooms (ORs) is crucial for their efficient use, to avoid low/over utilization and staff overtime. Accurate estimation of procedures duration is essential to improve ORs scheduling. Therefore analysis of historical data about surgical times is fundamental to ORs management. We analyzed the effect, in a real setting, of an ORs scheduling model based on estimated optimum surgical time in improving ORs efficiency and decreasing the risk of overtime. Methods We studied all the 2014-2019 elective surgery sessions (3,758 sessions, 12,449 interventions) of a district general hospital in Siena's Province, Italy. The hospital had3 ORs open 5 days/week 08:00-14:00. Surgery specialties were general surgery, orthopedics, gynecology and urology. Based on a pilot study conducted in 2016, which estimated a 5 times greater risk of having an OR overtime for sessions with a surgical time (incision-suture)>200 minutes, from 2017 all the ORs were scheduled using a maximum surgical time of 200 minutes calculated summing the mean surgical times for intervention and surgeon (obtained from 2014-2016 data). We carried out multivariate logistic regression to calculate the probability of ORs overtime (of 15 and 30 minutes) for the periods 2014-2016 and 2017-2019adjusting for raw ORs utilization. Results The 2017-2019 risk of an OR overtime of 15 minutes decreased by 25% compared to the 2014-2016 period (OR = 0.75, 95%CI=0.618-0.902, p = 0.003); the risk of a OR overtime of 30 minutes decreased by 33% (OR = 0.67, 95%CI= 0.543-0.831, p < 0.001). Mean raw OR utilization increase from 62% to 66% (p < 0.001). Mean number of interventions per surgery sessions increased from 3.1 to 3.5 (p < 0.001). Conclusions This study has shown that an analysis of historical data and an estimate of the optimal surgical time per surgical session could be helpful to avoid both a low and excessive use of the ORs and therefore to increase the efficiency of the ORs. Key messages An accurate analysis of surgical procedures duration is crucial to optimize operating room utilization. A data-based approach can improve OR management efficiency without extra resources.

Sign in / Sign up

Export Citation Format

Share Document