Results 91 to 100 of about 37,485,858 (384)
On fast large-scale program analysis in Datalog
International Conference on Compiler Construction, 2016 Designing and crafting a static program analysis is challenging due to the complexity of the task at hand. Among the challenges are modelling the semantics of the input language, finding suitable abstractions for the analysis, and handwriting efficient ...
Bernhard Scholz +3 more
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background B‐acute lymphoblastic leukemia (B‐ALL) is the most common pediatric cancer, and while most children in high‐resource settings are cured, therapy carries risks for long‐term toxicities. Understanding parents’ concerns about these late effects is essential to guide anticipatory support and inform evolving therapeutic approaches ...
Kellee N. Parker +7 more
wiley +1 more source
Fortran 4 program for two-impulse rendezvous analysis [PDF]
, 1967 Program determines if rendezvous in near space is possible, and performs an analysis to determine the approximate required values of the magnitude and direction of two thrust applications of the upper stage of a rocket firing.
Barling, W. H., Jr. +2 more
core +1 more source
Combining the logical and the probabilistic in program analysis
MAPL@PLDI, 2017 Conventional program analyses have made great strides by leveraging logical reasoning. However, they cannot handle uncertain knowledge, and they lack the ability to learn and adapt. This in turn hinders the accuracy, scalability, and usability of program
Xin Zhang, X. Si, M. Naik
semanticscholar +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background The delipid extracorporeal lipoprotein filter from plasma (DELP) treatment can effectively reduce blood lipid, increase blood flow, and improve neurological deficits in patients with acute ischemic stroke (AIS). However, its effect on vision and retinal microcirculation in stroke patients has never been reported.
Ning Li +9 more
wiley +1 more source
Computer program performs flow analysis through turbines [PDF]
, 1966 Computer program based on an equation for the velocity gradient along an arbitrary quasi- orthogonal analyzes flow through a turbomachine. The program obtains meridional solutions for a hub-to-shroud analysis and blade-to-blade analysis at the hub, mean,
Katsanis, T.
core +1 more source
Naukovì zapiski Nacìonalʹnogo unìversitetu «Ostrozʹka akademìâ». Serìâ «Fìlologìâ», 2020 The article examines and analyzes the linguistic and psychological features of political discourse using a computer-based Linguistic Inquiry and Word Count (LIWC) content analysis program to explore the relationship between political discourse and the ...
A. Yanovets, O. Smal
semanticscholar +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül +2 more
wiley +1 more source
An Algebraic Framework for Compositional Program Analysis [PDF]
, 2013 The purpose of a program analysis is to compute an abstract meaning for a program which approximates its dynamic behaviour. A compositional program analysis accomplishes this task with a divide-and-conquer strategy: the meaning of a program is computed ...
Farzan, Azadeh, Kincaid, Zachary
core
LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis
arXiv.org, 2023 Xiangzhe Xu +8 more
semanticscholar +1 more source