Search Results - First-order variable elimination algorithm

Algoritmos de inferência exata para modelos de primeira ordem.

Exact inference algorithms for first-order models.

Authors: Takiyama, Felipe Iwao

Thesis Advisors: Cozman, Fabio Gagliardi

Subject Terms: AC-FOVE, Algoritmo de eliminação de variáveis em primeira ordem, Algoritmo de inferência exata, Exact inference algorithm, First-order variable elimination algorithm

File Description: application/pdf

Availability: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-23122014-145932/

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language.

Authors: Taghipour, Nima Fierens, Daan Davis, Jesse et al.

Source: Journal of Artificial Intelligence Research. May2013, Vol. 47, p393-439. 47p.

Subject Terms: Mathematical decoupling, Probabilistic inference, Algorithms, Programming languages, First-order logic

Algoritmos de inferência exata para modelos de primeira ordem.

Exact inference algorithms for first-order models.

Authors: Felipe Iwao Takiyama

Thesis Advisors: Fabio Gagliardi Cozman, Kate Cerqueira Revoredo, Paulo Eduardo Santos

Source: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Subject Terms: AC-FOVE, Algoritmo de eliminação de variáveis em primeira ordem, Algoritmo de inferência exata, Exact inference algorithm, First-order variable elimination algorithm

Availability: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-23122014-145932/

Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm

Authors: Siaulys, K Maciejowski, JM

Index Terms: 40 Engineering, 4901 Applied Mathematics, 4007 Control Engineering, Mechatronics and Robotics, 49 Mathematical Sciences, 4010 Engineering Practice and Education, Conference Object

URL: https://www.repository.cam.ac.uk/handle/1810/287166

Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm

Authors: Braun, Tanya Möller, Ralf

Index Terms: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1807.00743

Identifying feature genes of chickens with different feather pecking tendencies based on three machine learning algorithms and WGCNA.

Authors: Wen, Jiying Yang, Shenglin Zhu, Jinjin et al.

Source: Frontiers in Veterinary Science. 2024, p1-12. 12p.

Validation of new proprietary software (r-Algo) for predicting meat chemical composition from ultrasound images of skeletal muscles in live animals: Pectoralis major muscles of broiler chickens.

Authors: Ahmadi, B. Schwarz, T. Bartlewski, P. M.

Source: Journal of Animal & Feed Sciences. 2024, Vol. 33 Issue 3, p368-379. 12p.

Subjects: Chicken as food, Image analysis, Anatomical planes, Broiler chickens, Linoleic acid, Pectoralis muscle

Lifted Variable Elimination for Probabilistic Logic Programming

Authors: Bellodi, Elena Lamma, Evelina Riguzzi, Fabrizio et al.

Index Terms: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/1405.3218

Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm

Authors: Siaulys, K Maciejowski, JM DSpace at Cambridge pro (8.1)

Contributors: Siaulys, K Maciejowski, JM DSpace at Cambridge pro (8.1)

Source: 2016 IEEE 55th Conference on Decision and Control (CDC). :1452-1457

Subject Terms: 4007 Control Engineering, Mechatronics and Robotics, 0209 industrial biotechnology, 4901 Applied Mathematics, 49 Mathematical Sciences, 02 engineering and technology, 4010 Engineering Practice and Education, 40 Engineering

File Description: application/pdf

Access URL: https://www.repository.cam.ac.uk/bitstream/1810/287166/1/quantifier_elimination_CDC16_final.pdf
https://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#SiaulysM16
http://publications.eng.cam.ac.uk/882837/

River sensing: the inclusion of red band in predicting reach-scale types using machine learning algorithms.

Authors: Oludapo Olusola, Adeyemi Olumide, Onafeso Adeola Fashae, Olutoyin et al.

Source: Hydrological Sciences Journal/Journal des Sciences Hydrologiques; Sep2022, Vol. 67 Issue 11, p1740-1754, 15p

Subject Terms: RANDOM forest algorithms, BOOSTING algorithms, MACHINE learning, SUPPORT vector machines, REMOTE sensing, LANDSAT satellites

Geographic Terms: NIGERIA

Company/Entity: SENTINEL-1 (Artificial satellite)

Fluconazole Dosing for the Prevention of Candida spp. Infections in Hemato-Oncologic Pediatric Patients: Population Pharmacokinetic Modeling and Probability of Target Attainment Simulations.

Authors: Adamiszak, Arkadiusz Derwich, Katarzyna Bartkowska-Śniatkowska, Alicja et al.

Source: Pharmaceutics; Apr2025, Vol. 17 Issue 4, p488, 13p

Subject Terms: MONTE Carlo method, CHILD patients, PRODUCT attributes, BODY weight, TREATMENT effectiveness

GlioSurvQNet: A DuelContextAttn DQN Framework for Brain Tumor Prognosis with Metaheuristic Optimization.

Authors: Renugadevi, M. Gonuguntla, Venkateswarlu Masad, Ihssan S. et al.

Source: Diagnostics (2075-4418); Sep2025, Vol. 15 Issue 18, p2304, 24p

Subject Terms: BRAIN tumors, REINFORCEMENT learning, CLINICAL decision support systems, TUMOR grading, SURVIVAL analysis (Biometry), METAHEURISTIC algorithms, RADIOMICS

Development of a Population Pharmacokinetic Gabapentin Model Leveraging Therapeutic Drug Monitoring Concentrations.

Authors: Al-Zubaydi, Firas Wassef, Andrew Kagan, Leonid et al.

Source: Pharmaceutics; Dec2024, Vol. 16 Issue 12, p1514, 11p

Subject Terms: DRUG monitoring, TYPE 2 diabetes diagnosis, PARAMETER estimation, BODY mass index, GABA

Probabilistic Theorem Proving.

Authors: Gogate, Vibhav Domingos, Pedro

Source: Communications of the ACM. Jul2016, Vol. 59 Issue 7, p107-115. 9p. 1 Diagram, 5 Charts, 2 Graphs.

Subject Terms: PROBABILISTIC inference, FIRST-order logic, GENERALIZATION, MATHEMATICS theorems, INFERENCE (Logic)

Artificial Intelligence in CNS Radiation Oncology (AI-RAD)

Authors: Bhabha Atomic Research Centre (BARC) Dr Archya Dasgupta, Assistant Professor, Radiation Oncology

Contributors: Bhabha Atomic Research Centre (BARC) Dr Archya Dasgupta, Assistant Professor, Radiation Oncology

Source: Artificial Intelligence in Radiation Oncology for CNS Tumors

Algoritmos de inferência exata para modelos de primeira ordem. ; Exact inference algorithms for first-order models.

Authors: Takiyama, Felipe Iwao Cozman, Fabio Gagliardi

Contributors: Takiyama, Felipe Iwao Cozman, Fabio Gagliardi

Subject Terms: AC-FOVE, Algoritmo de eliminação de variáveis em primeira ordem, Algoritmo de inferência exata, Exact inference algorithm, First-order variable elimination algorithm

File Description: application/pdf

Availability: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-23122014-145932/
https://doi.org/10.11606/D.3.2014.tde-23122014-145932

Multi-Objective Design of a Horizontal Flow Subsurface Wetland.

Authors: Mendez-Valencia, Jhonatan Sánchez-López, Carlos Reyes-Pérez, Eneida

Source: Water (20734441); May2024, Vol. 16 Issue 9, p1253, 10p

Subject Terms: ADVECTION, WETLANDS, SOIL biology, CONSTRUCTED wetlands, EVOLUTIONARY algorithms, WATER depth, RF values (Chromatography), WETLAND conservation

Promising Results About the Possibility to Identify Prostate Cancer Patients Employing a Random Forest Classifier: A Preliminary Study Preoperative Patients Selection.

Authors: Faiella, Eliodoro Pileri, Matteo Ragone, Raffaele et al.

Source: Diagnostics (2075-4418); Feb2025, Vol. 15 Issue 4, p421, 12p

Subject Terms: MACHINE learning, FEATURE extraction, PROSTATE cancer patients, RANDOM forest algorithms, LYMPH nodes

The kinetic behavior of matrine in pig intestinal lumen after oral administration and its physiologically based pharmacokinetic modeling.

Authors: Yang, Bo Jia, YiWei Wang, FuHao et al.

Source: Frontiers in Veterinary Science. 2025, p1-12. 12p.

Effectiveness of Wetlands for Improving Different Water Quality Parameters in Various Climatic Conditions.

Authors: Shrestha, Aruna Benjankar, Rohan Kalra, Ajay et al.

Source: Hydrology (2306-5338); Aug2025, Vol. 12 Issue 8, p216, 19p

Subject Terms: WETLANDS, WATER quality, CLIMATE change, NONPOINT source pollution, ORGANIC compounds removal (Sewage purification), WETLAND hydrology, HYDROLOGIC models, WATERSHED management

Geographic Terms: ILLINOIS