Filters








192,375 Hits in 5.7 sec

Selective context-sensitivity guided by impact pre-analysis

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2014 SIGPLAN notices  
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

Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2013 Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14  
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

Kihong Heo, Hakjoo Oh, Hongseok Yang
2017 Formal methods in system design  
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

Tan Li
2022 Acta geodynamica et geomaterialia  
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

Edoardo Baldoni, Silvia Coderoni, Elisa Di Giuseppe, Marco D'Orazio, Roberto Esposti, Gianluca Maracchini
2021 Sustainability  
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

Martin Möckel, Rudolf A. Boer, Anna Christine Slagman, Stephan Haehling, Morten Schou, Jörn Ole Vollert, Jan C. Wiemer, Stefan Ebmeyer, F. Javier Martín‐Sánchez, Alan S. Maisel, Evangelos Giannitsis
2019 European Journal of Heart Failure  
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

Chen, Yu, Wen, Zhang, Yin, Wu, Yao
2019 International Journal of Environmental Research and Public Health  
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

Qing Zhang, Yuhu Yang
2017 Periodica Polytechnica: Mechanical Engineering  
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

Michael K. McWilliam, Antariksh C. Dicholkar, Frederik Zahle, Taeseong Kim
2022 Energies  
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

Kira L. Newman, Jay Varkey, Justin Rykowski, Arun V. Mohan
2015 Journal of general internal medicine  
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

Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
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]

Tamara T. Mueller, Alexander Ziller, Dmitrii Usynin, Moritz Knolle, Friederike Jungmann, Daniel Rueckert, Georgios Kaissis
2021 arXiv   pre-print
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

Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2015 SIGPLAN notices  
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]

Lingsong Meng, Dorina Avram, George Tseng, Zhiguang Huo
2021 arXiv   pre-print
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

Valerie B. Sitterle, Dane F. Freeman, Simon R. Goerger, Tommer R. Ender
2015 Procedia Computer Science  
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