Results 11 to 20 of about 2,145,260 (311)
Quantification of Integrity [PDF]
2010 23rd IEEE Computer Security Foundations Symposium, 2010 Three integrity measures are introduced: contamination, channel suppression and program suppression. Contamination is a measure of how much untrusted information reaches trusted outputs; it is the dual of leakage, which is a measure of information-flow confidentiality.
Clarkson, Michael R., Schneider, Fred B.
openaire +2 more sources
South Carolina stream quantification tool version 1.1 : user manual [PDF]
, 2022 The Spreadsheet User Manual (user manual) introduces key concepts and provides instruction on how to use the South Carolina Stream Quantification Tool (SC SQT) workbooks.
South Carolina Stream Quantification Tool Steering Committee +1 more
core +1 more source
South Carolina stream quantification tool version 1.0 : user manual [PDF]
, 2021 The Spreadsheet User Manual (user manual) introduces key concepts and provides instruction on how to use the South Carolina Stream Quantification Tool (SC SQT) workbooks.
South Carolina Stream Quantification Tool Steering Committee +1 more
core +1 more source
WulfLab/Macrophage-Quantification: Macrophage quantification code
, 2022 Code for the quantification of macrophage ...
WulfLab
core +1 more source
Branching Quantification v. Two-way Quantification [PDF]
Journal of Semantics, 2009 We discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae.
Nina Gierasimczuk, Jakub Szymanik
openaire +2 more sources
Beverage Plant Research, 2022 Acylated flavonol glycosides (AFGs) are a new group of flavonoids with multiple pharmacological functions. In the present work, two AFGs were isolated with a combined chromatography technology from Camellia sinensis and identified as quercetin ...
Feifei Zhou +10 more
doaj +1 more source
Multidimensional integration using machine learning and Monte Carlo methods for acoustic predictions [PDF]
ESAIM: Proceedings and SurveysTo predict underwater noise radiated by a ship, various numerical methods are available. In underwater acoustics, the most effective prediction methods consist in solving an acoustic analogy using an integral formulation.
Coiffard Théo +5 more
doaj +1 more source
GENERATIONS IN BAYESIAN NETWORKS
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2019 This paper focuses on the study of some aspects of the theory of oriented graphs in Bayesian networks. In some papers on the theory of Bayesian networks, the concept of “Generation of vertices” denotes a certain set of vertices with many parents ...
Alexander Litvinenko +3 more
doaj +1 more source
jrreimer/Uncertainty-quantification-for-ecological-models-with-random-parameters: v1.0.0
, 2022 Scripts and supporting files used in manuscript "Uncertainty quantification for ecological models with random parameters.
jrreimer
core +1 more source
Foods, 2023 Low-cost fish species are often used to adulterate or substitute for Atlantic salmon products, posing a serious threat to market order and public health. Hence, reliable techniques are urgently needed to detect Atlantic salmon adulteration. In this study,
Xiao-Yu Ma +3 more
doaj +1 more source