A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Selective context-sensitivity guided by impact pre-analysis
2014
SIGPLAN notices
Preserved Fulltext
The idea is to use a pre-analysis to estimate the impact of contextsensitivity on the main analysis's precision, and to use this information to find out when and where the main analysis should turn on ...
We formalize this approach and prove that the analysis always benefits from the pre-analysisguided context-sensitivity. ...
Conclusion We proposed a method of designing a selective "X-sensitive" analysis, where the selection is guided by an impact pre-analysis. ...
doi:10.1145/2666356.2594318
fatcat:454qu6eqpfco5pmtje4toyma6q
Selective context-sensitivity guided by impact pre-analysis
2013
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The idea is to use a pre-analysis to estimate the impact of contextsensitivity on the main analysis's precision, and to use this information to find out when and where the main analysis should turn on ...
We formalize this approach and prove that the analysis always benefits from the pre-analysisguided context-sensitivity. ...
Conclusion We proposed a method of designing a selective "X-sensitive" analysis, where the selection is guided by an impact pre-analysis. ...
doi:10.1145/2594291.2594318
dblp:conf/pldi/OhLHYY14
fatcat:hf4iovwsxnejhk5exgfse3z7ti
Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
2017
Formal methods in system design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Instead it uses the impact pre-analysis for Octagon from our previous work and automatically labels variable pairs in the codebase as positive or negative. ...
the original Octagon analysis), while increasing false alarms by only 2%. ...
partially context-sensitive one by the impact pre-analysis. ...
doi:10.1007/s10703-017-0306-7
fatcat:peexqa2hizgf3hbeezb3i7dyx4
The effect of crack characteristics on the mechanical properties and energy characteristics of coal-rock composite structure
2022
Acta geodynamica et geomaterialia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The sensitivity factors are used to analyze the influence of crack angle, crack length, crack number and crack position on the peak stress, total crack number, and impact energy index of the coal-rock ...
Therefore, this paper uses the PFC numerical simulation software to analyzes the influence of the crack characteristics on the mechanical properties, failure characteristics, and impact energy index of ...
ACKNOWLEDGEMENTS This study was supported by the National Natural Science Foundation of China [No. 51604164] and by the Natural Science Foundation of Inner Mongolia (No. 2021LHMS05015). ...
doi:10.13168/agg.2022.0003
fatcat:sacylwooobek5e6fy7pzvrmkha
A Software Tool for a Stochastic Life Cycle Assessment and Costing of Buildings' Energy Efficiency Measures
2021
Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The software also includes advanced specific tools for parametrization and sensitivity analysis. ...
This article presents a novel software tool for the assessments of life-cycle environmental impacts and costs, which is aimed to support decision-making in the design phase of retrofit interventions in ...
Use stage
(modules B2,
B4 and B6)
Maintenance
sl k (years)
x
Replacement
SL j (years)
x
Energy need
Q
pre
H ,
Q
post
H (kWh/year)
x
Energy impact
EI i (unit of indicator)
x ...
doi:10.3390/su13147975
fatcat:qp4rwyrq4bhxjom5zwpt3s2iei
Improve Management of acute heart failure with ProcAlCiTonin in EUrope: results of the randomized clinical trial IMPACT EU Biomarkers in Cardiology (BIC) 18
2019
European Journal of Heart Failure
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Pre-specified secondary endpoints included 30-day all-cause mortality and readmission and rate of pneumonia. ...
To determine whether initiation of antibiotic therapy (ABX) by procalcitonin (PCT) within 8 h of admission in patients presenting to the emergency department with symptoms and signs of acute heart failure ...
Chest X-ray and C-reactive protein also suffer from low sensitivity in the setting of AHF. ...
doi:10.1002/ejhf.1667
pmid:31833168
fatcat:leyzzb6usngprjacg53uo5yb6u
Pre-evacuation Time Estimation Based Emergency Evacuation Simulation in Urban Residential Communities
2019
International Journal of Environmental Research and Public Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A sensitivity analysis is also conducted to find the critical parameters in evacuation simulations. ...
This method integrates the residents' pre-evacuation behavior data obtained by surveys to explore the influencing factors of pre-evacuation time and builds a predictive model to forecast pre-evacuation ...
The sensitivity index S(x i,n , y i,n ) can be calculated by the following equations: S(x i,n , y i,n ) = x i,n ∆x i / y i,n ∆y i,n (6) ∆x i = x i,n − x i,0 (7) x i,n = x i,0 × 1 + IPC × step n , range ...
doi:10.3390/ijerph16234599
pmid:31756961
pmcid:PMC6926970
fatcat:yk7zb6agc5dvxcopt5avqymzmm
Analysis of Transverse Vibration Acceleration of a High-Speed Elevator with Random Parameters under Random Excitation
2017
Periodica Polytechnica: Mechanical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
calculating the response sensitivity of random parameters. ...
This paper provides an effective method for the analysis of the vibration characteristics of the high speed elevator car system. ...
obtained by solving Eq. (13), and the acceleration response's sensitivity vector of the observation point is obtained by pre-multiplying the transformation matrix T. ...
doi:10.3311/ppme.9013
fatcat:dgyuocwyzjaz7j4vrlurk4l7r4
Post-Optimum Sensitivity Analysis with Automatically Tuned Numerical Gradients Applied to Swept Wind Turbine Blades
2022
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Post-Optimum Sensitivity Analysis (POSA) extends numerical design optimization to provide additional information on how the design and performance would change if various parameters and constraints were ...
Swept blades can reduce wind turbine loads by twisting out of the wind when the wind speed increases. ...
Data Availability Statement: The data used in this work can be made available by contacting Michael Kenneth McWilliam at mimc@dtu.dk or Taeseong Kim at tkim@dtu.dk. ...
doi:10.3390/en15092998
fatcat:xmgn6dhlvzdsjcxldnvdq2tftq
Yelp for Prescribers: A Quasi-Experimental Study of Providing Antibiotic Cost Data and Prescription of High-Cost Antibiotics in an Academic and Tertiary Care Hospital
2015
Journal of general internal medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
DESIGN: Quasi-experimental pre-post analysis. , p=0.002). ...
First, the study was a pre-post quasi-experimental analysis; thus, it lacked a control group and was sensitive to unmeasured bias. ...
Sensitivity Analyses To assess our study results' robustness, we conducted a sensitivity analysis. ...
doi:10.1007/s11606-015-3253-2
pmid:25749882
pmcid:PMC4510246
fatcat:2nklz6qnynbm5incd2cbjcjowq
Learning a strategy for adapting a program analysis via bayesian optimisation
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
by 3.3x of the baseline flow-and context-insensitive analysis, rather than 40x or more of the fully sensitive version. ...
Also, they show that among all program queries that require flow-or context-sensitivity, our partially flow-and context-sensitive analysis answers the 75% of them, while increasing the analysis cost only ...
For instance, our method can be combined with the impact pre-analysis [18] to find a better strategy for selective context-sensitivity. ...
doi:10.1145/2814270.2814309
dblp:conf/oopsla/OhYY15
fatcat:x5yncypgofb35cw6kjlibwxjoy
Partial sensitivity analysis in differential privacy
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2109.10582v1 fatcat:7i7ahns3ufaorjcymatrx3cbdy
Furthermore, we explore our findings in the context of neural network training on synthetic data by investigating the partial sensitivity of input pixels on an image classification task. ...
Here we extend the view of individual RDP by introducing a new concept we call partial sensitivity, which leverages symbolic automatic differentiation to determine the influence of each input feature on ...
attributes. 1
Discussion and Conclusions Our work extends sensitivity analysis to the level of individual input attributes by introducing partial sensitivity. ...
arXiv:2109.10582v2
fatcat:lz7r73qumzf4viss2hbsgmamde
Learning a strategy for adapting a program analysis via bayesian optimisation
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
by 3.3x of the baseline flow-and context-insensitive analysis, rather than 40x or more of the fully sensitive version. ...
Also, they show that among all program queries that require flow-or context-sensitivity, our partially flow-and context-sensitive analysis answers the 75% of them, while increasing the analysis cost only ...
For instance, our method can be combined with the impact pre-analysis [18] to find a better strategy for selective context-sensitivity. ...
doi:10.1145/2858965.2814309
fatcat:osfeez6qyzarrcpueopxq4sqpy
Outcome-guided Sparse K-means for Disease Subtype Discovery via Integrating Phenotypic Data with High-dimensional Transcriptomic Data
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Hence, we extended a sparse K-means method to an outcome-guided sparse K-means (GuidedSparseKmeans) method, which incorporated a phenotypic variable from the clinical dataset to guide gene selections from ...
We demonstrated the superior performance of the GuidedSparseKmeans by comparing with existing clustering methods in simulations and applications of high-dimensional transcriptomic data of breast cancer ...
We recommend to use sensitivity analysis to select λ. When λ → ∞, the selected genes as well as the clustering results are purely driven by the guidance of the clinical variable U g . ...
arXiv:2103.09974v1
fatcat:fexfhsx5wrglnbpqkrlfmtsz4i
Systems Engineering Resiliency: Guiding Tradespace Exploration within an Engineered Resilient Systems Context
2015
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The analytical methods are derived from existing ontological bases, and seek to promote consistency and comparability from one analysis to the next. ...
This work strives to lay the initial foundations for systems engineering the analysis of resiliency in this context through the development of modular, composable, and scalable analytical constructs and ...
SERC is a federally funded University Affiliated Research Center managed by Stevens Institute of Technology. ...
doi:10.1016/j.procs.2015.03.013
fatcat:htsoalaqezbpjf72pe3jew3uky
« Previous
Showing results 1 — 15 out of 192,375 results