Works matching DE "PREDICATE calculus"
Results: 1334
Making Predictions: Computing Populations.
- Published in:
- Science, Technology & Human Values, 2013, v. 38, n. 3, p. 398, doi. 10.1177/0162243912439610
- By:
- Publication type:
- Article
Deterioro de recubrimientos orgánicos: Principales modelos y métodos de cuantifícación.
- Published in:
- Ingeniería y Desarrollo, 2012, v. 30, n. 2, p. 261
- By:
- Publication type:
- Article
Development of primer sets for multiplex and qPCR assays targeting Skeletonema species and their application to field samples.
- Published in:
- Journal of Oceanography, 2019, v. 75, n. 4, p. 319, doi. 10.1007/s10872-018-00504-3
- By:
- Publication type:
- Article
The Abductive Loop: Tracking Irrational Sets.
- Published in:
- Foundations of Science, 2008, v. 13, n. 1, p. 5, doi. 10.1007/s10699-007-9115-6
- By:
- Publication type:
- Article
Estimating posterior quantity of interest expectations in a multilevel scalable framework.
- Published in:
- Numerical Linear Algebra with Applications, 2021, v. 28, n. 3, p. 1, doi. 10.1002/nla.2352
- By:
- Publication type:
- Article
Scalable hierarchical PDE sampler for generating spatially correlated random fields using nonmatching meshes.
- Published in:
- Numerical Linear Algebra with Applications, 2018, v. 25, n. 3, p. 1, doi. 10.1002/nla.2146
- By:
- Publication type:
- Article
Optimal solution error quantification in variational data assimilation involving imperfect models.
- Published in:
- International Journal for Numerical Methods in Fluids, 2017, v. 83, n. 3, p. 276, doi. 10.1002/fld.4266
- By:
- Publication type:
- Article
Calculation of Optimal Bounds on the Probability of Failure of Soft Biological Tissues.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2014, v. 14, n. 1, p. 93, doi. 10.1002/pamm.201410034
- By:
- Publication type:
- Article
Uncertainty Quantification and Non-Linear Bayesian Update of PCE Coefficients.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2013, v. 13, n. 1, p. 379, doi. 10.1002/pamm.201310185
- By:
- Publication type:
- Article
Sensitivity analysis of linear dynamical systems in uncertainty quantification.
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2013, v. 13, n. 1, p. 507, doi. 10.1002/pamm.201310246
- By:
- Publication type:
- Article
Diffuse reflectance spectroscopy: toward real-time quantification of steatosis in liver.
- Published in:
- Transplant International, 2015, v. 28, n. 4, p. 465, doi. 10.1111/tri.12517
- By:
- Publication type:
- Article
Chebyshev inequality–based inflated convex hull for uncertainty quantification and optimization with scarce samples.
- Published in:
- Structural & Multidisciplinary Optimization, 2021, v. 64, n. 4, p. 2267, doi. 10.1007/s00158-021-02981-5
- By:
- Publication type:
- Article
Inverse uncertainty quantification for imprecise structure based on evidence theory and similar system analysis.
- Published in:
- Structural & Multidisciplinary Optimization, 2021, v. 64, n. 4, p. 2183, doi. 10.1007/s00158-021-02974-4
- By:
- Publication type:
- Article
Evidence-theory-based structural reliability analysis with epistemic uncertainty: a review.
- Published in:
- Structural & Multidisciplinary Optimization, 2021, v. 63, n. 6, p. 2935, doi. 10.1007/s00158-021-02863-w
- By:
- Publication type:
- Article
Probabilistic analytical target cascading using kernel density estimation for accurate uncertainty propagation.
- Published in:
- Structural & Multidisciplinary Optimization, 2020, v. 61, n. 5, p. 2077, doi. 10.1007/s00158-019-02455-9
- By:
- Publication type:
- Article
Stochastic optimization methods for ship resistance and operational efficiency via CFD.
- Published in:
- Structural & Multidisciplinary Optimization, 2018, v. 57, n. 2, p. 735, doi. 10.1007/s00158-017-1775-4
- By:
- Publication type:
- Article
Unified uncertainty representation and quantification based on insufficient input data.
- Published in:
- Structural & Multidisciplinary Optimization, 2017, v. 56, n. 6, p. 1305, doi. 10.1007/s00158-017-1722-4
- By:
- Publication type:
- Article
Predictive quantification of surrogate model fidelity based on modal variations with sample density.
- Published in:
- Structural & Multidisciplinary Optimization, 2015, v. 52, n. 2, p. 353, doi. 10.1007/s00158-015-1234-z
- By:
- Publication type:
- Article
Principal angles between subspaces and reduced order modelling accuracy in optimization.
- Published in:
- Structural & Multidisciplinary Optimization, 2014, v. 50, n. 2, p. 237, doi. 10.1007/s00158-013-1043-1
- By:
- Publication type:
- Article
Optimization of scattering resonances.
- Published in:
- Structural & Multidisciplinary Optimization, 2008, v. 36, n. 5, p. 443
- By:
- Publication type:
- Article
Skin biopsy as an additional diagnostic tool in non-systemic vasculitic neuropathy.
- Published in:
- Acta Neuropathologica, 2010, v. 120, n. 1, p. 109, doi. 10.1007/s00401-010-0662-5
- By:
- Publication type:
- Article
On a Diophantine Representation of the Predicate of Provability.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 36, doi. 10.1007/s10958-014-1830-2
- By:
- Publication type:
- Article
Extended Fuzzy Constructive Logic.
- Published in:
- Journal of Mathematical Sciences, 2014, v. 199, n. 1, p. 16, doi. 10.1007/s10958-014-1829-8
- By:
- Publication type:
- Article
Virtual Algebraic Isomorphisms between Predicate Calculi of Finite Rich Signatures.
- Published in:
- Algebra & Logic, 2022, v. 60, n. 6, p. 389, doi. 10.1007/s10469-022-09666-y
- By:
- Publication type:
- Article
Sessions of the Seminar "Algebra i Logika".
- Published in:
- 2020
- Publication type:
- Calendar
Categorical horn classes. 2.
- Published in:
- Algebra & Logic, 2011, v. 49, n. 6, p. 526, doi. 10.1007/s10469-011-9115-z
- By:
- Publication type:
- Article
Finite groups with an almost regular automorphism of order four.
- Published in:
- Algebra & Logic, 2006, v. 45, n. 5, p. 326, doi. 10.1007/s10469-006-0030-7
- By:
- Publication type:
- Article
Stochastic modeling of the Ogden class of stored energy functions for hyperelastic materials: the compressible case.
- Published in:
- ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2017, v. 97, n. 3, p. 273, doi. 10.1002/zamm.201500255
- By:
- Publication type:
- Article
Quantification of the abundance and distribution of the common jellyfish Aurelia aurita s.l. with a Dual-frequency IDentification SONar (DIDSON).
- Published in:
- Journal of Plankton Research, 2009, v. 31, n. 8, p. 805, doi. 10.1093/plankt/fbp029
- By:
- Publication type:
- Article
Discrete Approximation and Quantification in Distributionally Robust Optimization.
- Published in:
- Mathematics of Operations Research, 2019, v. 44, n. 1, p. 19, doi. 10.1287/moor.2017.0911
- By:
- Publication type:
- Article
Direct quantification of nanoparticle surface hydrophobicity.
- Published in:
- Communications Chemistry, 2018, v. 1, n. 1, p. N.PAG, doi. 10.1038/s42004-018-0054-7
- By:
- Publication type:
- Article
A Gas Chromatography–Triple Quadrupole Mass Spectrometry Assay for the Quantification of Opiates in Human Blood Samples.
- Published in:
- Journal of Analytical Toxicology, 2019, v. 43, n. 3, p. 188, doi. 10.1093/jat/bky077
- By:
- Publication type:
- Article
Determination of Transglutaminase Activity Using Fluorescence Spectrophotometer.
- Published in:
- Food Biotechnology, 2008, v. 22, n. 3, p. 297, doi. 10.1080/08905430802265775
- By:
- Publication type:
- Article
Noninvasive age estimation for wild Indo‐Pacific bottlenose dolphins (Tursiops aduncus) using speckle appearance based on quantification‐theory model I analysis.
- Published in:
- Marine Mammal Science, 2023, v. 39, n. 2, p. 662, doi. 10.1111/mms.12999
- By:
- Publication type:
- Article
Quantification and genetic profiling of DNA isolated from free-floating feces of the North Atlantic right whale ( Eubalaena glacialis).
- Published in:
- Marine Mammal Science, 2008, v. 24, n. 2, p. 341, doi. 10.1111/j.1748-7692.2008.00192.x
- By:
- Publication type:
- Article
Evaluation of PCR-based Quantification Techniques to Estimate the Abundance of Atrazine Chlorohydrolase Gene atzA in Rhizosphere Soils.
- Published in:
- Journal of Environmental Quality, 2010, v. 39, n. 6, p. 1999, doi. 10.2134/jeq2010.0192
- By:
- Publication type:
- Article
Adsorption of Humic Substances: The Effects of Heterogeneity and System Characteristics.
- Published in:
- Journal: American Water Works Association, 2019, v. 111, n. 2, p. 60, doi. 10.1002/awwa.1237
- Publication type:
- Article
Associating X-Ray Microtomography with Permeability Contrasts in Bioturbated Media.
- Published in:
- Ichnos, 2014, v. 21, n. 4, p. 234, doi. 10.1080/10420940.2014.958224
- By:
- Publication type:
- Article
Comparison of Uncertainty Quantification Approaches in a Supersonic Biplane Airfoil Problem.
- Published in:
- Transactions of the Japan Society of Aeronautical & Space Science, 2017, v. 60, n. 1, p. 10, doi. 10.2322/tjsass.60.10
- By:
- Publication type:
- Article
一种感光不均匀数字 PCR 荧光图像分割算法.
- Published in:
- Telecommunication Engineering, 2022, v. 62, n. 1, p. 123, doi. 10.3969/j.issn.1001-893x.2022.01.018
- By:
- Publication type:
- Article
Recurrence Quantification Analysis of Spectrum Predictability in Cognitive Radio Systems.
- Published in:
- Telecommunication Engineering, 2015, v. 55, n. 2, p. 124, doi. 10.3969/j.issn.1001-893x.2015.02.002
- By:
- Publication type:
- Article
Quantification and purification of lutein and zeaxanthin recovered from distillers dried grains with solubles (DDGS).
- Published in:
- Bioresources & Bioprocessing, 2018, v. 5, n. 1, p. 1, doi. 10.1186/s40643-018-0219-3
- By:
- Publication type:
- Article
Monogermanes GeH and GeH of high isotopic and chemical purity.
- Published in:
- Doklady Chemistry, 2014, v. 458, n. 2, p. 185, doi. 10.1134/S0012500814100036
- By:
- Publication type:
- Article
Quantification of climate for tourism in the northwest of Iran.
- Published in:
- Meteorological Applications, 2009, v. 16, n. 4, p. 545, doi. 10.1002/met.155
- By:
- Publication type:
- Article
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 751, doi. 10.1017/S0960129515000365
- By:
- Publication type:
- Article
Quantification of integrity.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 2, p. 207, doi. 10.1017/S0960129513000595
- By:
- Publication type:
- Article
Coalgebraic logic over general measurable spaces – a survey.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 175, doi. 10.1017/S0960129510000526
- By:
- Publication type:
- Article
A simple formula for quantification and comparison of systemic drug dosage patterns in the context of application times.
- Published in:
- Anaesthesiology & Rescue Medicine / Anestezjologia i Ratownictwo, 2013, n. 4, p. 401
- By:
- Publication type:
- Article
Quantification and Statistics in Six Anthropology Journals.
- Published in:
- Field Methods, 1999, v. 11, n. 2, p. 146, doi. 10.1177/1525822X9901100205
- By:
- Publication type:
- Article
Damage Detection and Quantification Using Transmissibility Coherence Analysis.
- Published in:
- Shock & Vibration, 2015, v. 2015, p. 1, doi. 10.1155/2015/290714
- By:
- Publication type:
- Article