Results 11 to 20 of about 9,322,932 (385)
Data, 2022 Due to the huge amount of data obtained from students’ academic results in most tertiary institutions such as the colleges, polytechnics and universities, data mining has become one of the most effective tools for discovering vital knowledge from ...
Wisam Ibrahim +4 more
doaj +1 more source
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +5 more sources
Моделирование и анализ информационных систем, 2020 To ensure traffic safety of railway transport, non-destructive test of rails is regularly carried out by using various approaches and methods, including eddy-current flaw detection methods.
Egor V. Kuzmin +4 more
doaj +1 more source
Decoding by linear programming [PDF]
IEEE Transactions on Information Theory, 2005 This paper considers a natural error correcting problem with real valued input/output. We wish to recover an input vector f/spl isin/R/sup n/ from corrupted measurements y=Af+e.
E. Candès, T. Tao
semanticscholar +1 more source
PGC-1β maintains mitochondrial metabolism and restrains inflammatory gene expression
Scientific Reports, 2022 Metabolic programming of the innate immune cells known as dendritic cells (DCs) changes in response to different stimuli, influencing their function. While the mechanisms behind increased glycolytic metabolism in response to inflammatory stimuli are well-
Hannah Guak +9 more
doaj +1 more source
Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis
IEEE Access, 2023 In this paper we describe a class of cryptographic guess-and-determine attacks which is based on the notion of a linearizing set. A linearizing set-based attack is applied to a system of Multivariate Quadratic equations (MQ) over $GF(2)$ field, which ...
Alexander Semenov +3 more
doaj +1 more source
Classification of the presence of malignant lesions on mammogram using deep learning [PDF]
Digital DiagnosticsBACKGROUND: Breast cancer is one of the leading causes of cancer-related mortality in women [1]. Regular mass screening with mammography plays a critical role in the early detection of changes in breast tissue.
Alisher A. Ibragimov +5 more
doaj +1 more source
Przegląd Naukowy Inżynieria i Kształtowanie Środowiska, 2021 This study investigates the lower Tigris basin’s the normalized difference vegetation index (NDVI) sensitivity in 2000–2016 to regional climate variability reflected by the monthly precipitation and temperature time series of seven global datasets as ...
Ali S. Alhumaima, Sanjar M. Abdullaev
doaj +1 more source
Programming in logic without logic programming [PDF]
, 2015 In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial ...
Kowalski, Robert, Sadri, Fariba
core +3 more sources
Stan: A Probabilistic Programming Language.
Journal of Statistical Software, 2017 Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log probability function over parameters conditioned on specified data and constants.
Bob Carpenter +9 more
semanticscholar +1 more source