Works matching DE "PREDICATE calculus"
Results: 1322
Classes of Hard Formulas for QBF Resolution.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 77, p. 1455, doi. 10.1613/jair.1.14710
- By:
- Publication type:
- Article
Variable Elimination in Binary CSPs.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 589, doi. 10.1613/jair.1.11295
- By:
- Publication type:
- Article
Description Logic Knowledge and Action Bases.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 651, doi. 10.1613/jair.3826
- By:
- Publication type:
- Article
Phase Transition for Random Quantified XOR-Formulas.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 1, doi. 10.1613/jair.2120
- By:
- Publication type:
- Article
A Logic for Reasoning about Evidence.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 26, p. 1, doi. 10.1613/jair.1838
- By:
- Publication type:
- Article
Quantification of Underestimation of Physical Activity During Cycling to School When Using Accelerometry.
- Published in:
- Journal of Physical Activity & Health, 2015, v. 12, n. 5, p. 701, doi. 10.1123/jpah.2013-0212
- By:
- Publication type:
- Article
Remote Sensing Quantification of Wetland Habitat Change in South Carolina: Implications for Coastal Resource Policy.
- Published in:
- Geographical Bulletin, 2008, v. 49, n. 2, p. 87
- By:
- Publication type:
- Article
Suppressed-Priming PCR, a Novel Concept of DNA Quantification Based on PCR Kinetics.
- Published in:
- Bioscience, Biotechnology & Biochemistry, 2009, v. 73, n. 9, p. 2121, doi. 10.1271/bbb.90266
- By:
- Publication type:
- Article
DESCRIPTIONS WITH AN ATTITUDE PROBLEM.
- Published in:
- Philosophical Quarterly, 2009, v. 59, n. 237, p. 721, doi. 10.1111/j.1467-9213.2009.616.x
- By:
- Publication type:
- Article
Quantitation of Femtomolar‐Level Protein Biomarkers Using a Simple Microbubbling Digital Assay and Bright‐Field Smartphone Imaging.
- Published in:
- Angewandte Chemie, 2019, v. 131, n. 39, p. 14060, doi. 10.1002/ange.201906856
- By:
- Publication type:
- Article
Stock linkage prediction based on optimized LSTM model.
- Published in:
- Multimedia Tools & Applications, 2022, v. 81, n. 9, p. 12599, doi. 10.1007/s11042-022-12381-6
- By:
- Publication type:
- Article
The Computational Origin of Representation.
- Published in:
- Minds & Machines, 2021, v. 31, n. 1, p. 1, doi. 10.1007/s11023-020-09540-9
- By:
- Publication type:
- Article
Two Undecidable Problems of Analysis.
- Published in:
- Minds & Machines, 2003, v. 13, n. 1, p. 49, doi. 10.1023/A:1021381032553
- By:
- Publication type:
- Article
Uncertainty Quantification of Stochastic Simulation for Black-box Computer Experiments.
- Published in:
- Methodology & Computing in Applied Probability, 2018, v. 20, n. 4, p. 1155, doi. 10.1007/s11009-017-9599-7
- By:
- Publication type:
- Article
The mental representation of universal quantifiers.
- Published in:
- Linguistics & Philosophy, 2022, v. 45, n. 4, p. 911, doi. 10.1007/s10988-021-09337-8
- By:
- Publication type:
- Article
Common nouns as modally non-rigid restricted variables.
- Published in:
- Linguistics & Philosophy, 2021, v. 44, n. 2, p. 363, doi. 10.1007/s10988-019-09293-4
- By:
- Publication type:
- Article
Modified numerals and maximality.
- Published in:
- Linguistics & Philosophy, 2016, v. 39, n. 3, p. 151, doi. 10.1007/s10988-016-9187-2
- By:
- Publication type:
- Article
Quantification of tidal parameters from Solar System data.
- Published in:
- Celestial Mechanics & Dynamical Astronomy, 2016, v. 126, n. 1-3, p. 145, doi. 10.1007/s10569-016-9695-y
- By:
- Publication type:
- Article
Determination of titanium content in pyrope by Raman spectroscopy.
- Published in:
- Journal of Raman Spectroscopy, 2016, v. 47, n. 4, p. 486, doi. 10.1002/jrs.4838
- By:
- Publication type:
- Article
Introducing uncertainty quantification to techno-economic models of manufacturing field-grown plant-made products.
- Published in:
- Food & Bioproducts Processing: Transactions of the Institution of Chemical Engineers Part C, 2021, v. 128, p. 153, doi. 10.1016/j.fbp.2021.04.013
- By:
- Publication type:
- Article
SEGMENTATION AND TRACKING OF PROGENITOR CELLS IN TIME LAPSE MICROSCOPY.
- Published in:
- International Journal of Image & Graphics, 2012, v. 12, n. 1, p. 1250008-1, doi. 10.1142/S0219467812500088
- By:
- Publication type:
- Article
Quantifying non-Gaussianity via the Hellinger distance.
- Published in:
- Theoretical & Mathematical Physics, 2020, v. 204, n. 2, p. 1046, doi. 10.1134/S0040577920080061
- 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
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
Uncertainty Quantification for the Horseshoe (with Discussion).
- Published in:
- Bayesian Analysis, 2017, v. 12, n. 4, p. 1221, doi. 10.1214/17-BA1065
- By:
- Publication type:
- Article
Molecular quantification of virulence gene-containing Aeromonas in water samples collected from different drinking water treatment processes.
- Published in:
- Environmental Monitoring & Assessment, 2011, v. 176, n. 1-4, p. 225, doi. 10.1007/s10661-010-1578-1
- By:
- Publication type:
- Article
Grain growth prediction based on data assimilation by implementing 4DVar on multi-phase-field model.
- Published in:
- Science & Technology of Advanced Materials, 2017, v. 18, n. 1, p. 857, doi. 10.1080/14686996.2017.1378921
- By:
- Publication type:
- Article
A comparison of common metrics used to quantify the effectiveness of conservation interventions.
- Published in:
- PeerJ, 2020, p. 1, doi. 10.7717/peerj.9873
- By:
- Publication type:
- Article
赤松宜林地昆嵛山腮扁叶蜂虫基 指数的评估.
- Published in:
- Forest Research, 2021, v. 34, n. 1, p. 80, doi. 10.13275/j.cnki.lykxyj.2021.01.010
- By:
- Publication type:
- Article
Effects of Prolonged Storage of Whole Plasma or Isolated Plasma DNA on the Results of Circulating DNA Quantification Assays.
- Published in:
- JNCI: Journal of the National Cancer Institute, 2005, v. 97, n. 24, p. 1848, doi. 10.1093/jnci/dji432
- By:
- Publication type:
- Article
Genotype × environment interaction as it relates to egg production in turkeys (Meleagris gallopavo).
- Published in:
- Journal of Animal Science, 2010, v. 88, n. 6, p. 1957, doi. 10.2527/jas.2009-2004
- By:
- Publication type:
- Article
Automatic Electronic Tongue for On-Line Detection and Quantification of Organophosphorus and Carbamate Pesticides Using Enzymatic Screen Printed Biosensors.
- Published in:
- Analytical Letters, 2013, v. 46, n. 11, p. 1743, doi. 10.1080/00032719.2012.745087
- By:
- Publication type:
- Article
A Novel Method for Determination of Ethoxyl Content in Ethyl Cellulose by Headspace Gas Chromatography.
- Published in:
- Analytical Letters, 2012, v. 45, n. 9, p. 1028, doi. 10.1080/00032719.2012.670783
- By:
- Publication type:
- Article
Summary-Sentence Level Hierarchical Supervision for Re-Ranking Model of Two-Stage Abstractive Summarization Framework.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 4, p. 521, doi. 10.3390/math12040521
- By:
- Publication type:
- Article
Catastrophe Bond Diversification Strategy Using Probabilistic–Possibilistic Bijective Transformation and Credibility Measures in Fuzzy Environment.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 16, p. 3513, doi. 10.3390/math11163513
- By:
- Publication type:
- Article
Quantification of Model Uncertainty Based on Variance and Entropy of Bernoulli Distribution.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 21, p. 3980, doi. 10.3390/math10213980
- By:
- Publication type:
- Article
Monte Carlo Based Isogeometric Stochastic Finite Element Method for Uncertainty Quantization in Vibration Analysis of Piezoelectric Materials.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 11, p. 1840, doi. 10.3390/math10111840
- By:
- Publication type:
- Article
A Bayesian-Deep Learning Model for Estimating COVID-19 Evolution in Spain.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 22, p. 2921, doi. 10.3390/math9222921
- By:
- Publication type:
- Article
Quasi-Deterministic Processes with Monotonic Trajectories and Unsupervised Machine Learning.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 18, p. 2301, doi. 10.3390/math9182301
- 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
DETERMINATION OF VARIABLES FOR SOFT SAWNWOOD DEMAND MODELS.
- Published in:
- Acta Facultatis Xylologiae Zvolen, 2022, v. 64, n. 1, p. 147, doi. 10.17423/afx.2022.64.1.13
- By:
- Publication type:
- Article
Lifecycle of Pyrenopeziza protrusa (Helotiales, Dermateaceae sensu lato) in Magnolia obovata revealed by field observation and molecular quantification.
- Published in:
- Mycoscience, 2021, v. 62, n. 6, p. 373, doi. 10.47371/mycosci.2021.08.001
- By:
- Publication type:
- Article
A Joint Logic of Problems and Propositions.
- Published in:
- Doklady Mathematics, 2024, v. 109, n. 2, p. 130, doi. 10.1134/S1064562424701916
- By:
- Publication type:
- Article
Spectra of short monadic sentences about sparse random graphs.
- Published in:
- Doklady Mathematics, 2017, v. 95, n. 1, p. 60, doi. 10.1134/S1064562417010227
- By:
- Publication type:
- Article
Detection, Localization, and Quantification of Damage in Structures via Artificial Neural Networks.
- Published in:
- Shock & Vibration, 2023, p. 1, doi. 10.1155/2023/8829298
- By:
- Publication type:
- Article
Firmicutes Levels in the Mouth Reflect the Gut Condition With Respect to Obesity and Early Childhood Caries.
- Published in:
- Frontiers in Cellular & Infection Microbiology, 2021, v. 11, p. 1, doi. 10.3389/fcimb.2021.593734
- By:
- Publication type:
- Article
Measuring the Success of HIV-1 Cure Strategies.
- Published in:
- Frontiers in Cellular & Infection Microbiology, 2020, v. 10, p. 1, doi. 10.3389/fcimb.2020.00134
- By:
- Publication type:
- Article
Development of a semi‐quantitative PCR assay for the detection of Francisella halioticida and its application to field samples.
- Published in:
- Journal of Fish Diseases, 2021, v. 44, n. 8, p. 1169, doi. 10.1111/jfd.13377
- By:
- Publication type:
- Article
An iterative method to calculate forces exerted by single cells and multicellular assemblies from the detection of deformations of flexible substrates.
- Published in:
- European Biophysics Journal, 2006, v. 35, n. 4, p. 328, doi. 10.1007/s00249-005-0038-2
- By:
- Publication type:
- Article