Search Results - First-order variable elimination algorithm

Temporal instability of partial least squares regressions for estimating leaf photosynthetic traits from hyperspectral information by Song, Guangman, Wang, Quan, Jin, Jia

“… (iterative stepwise, genetic algorithm, and uninformative variable elimination), in combination with different spectral transforms…”
Get full text

Non-destructive detection of egg white and yolk morphology transformation and salt content of salted duck eggs in salting by hyperspectral imaging by Chen, Yuanzhe, Chen, Zhuoting, Yan, Qian, Liu, Yuming, Wang, Qiaohua

“… (Savitzky-Golay SG, continuum removal CR, and first-order derivation FD) and three…”
Get full text

Hyperspectral Modeling of Soil Organic Matter Based on Characteristic Wavelength in East China by Zhao, Mingsong, Gao, Yingfeng, Lu, Yuanyuan, Wang, Shihang

“… (inverse-log reflectance (LR), continuum removal (CR) and first-order derivative reflectance (FDR…”
Get full text

Dead-Time Compensation for the First-Order Dead-Time Processes: Towards a Broader Overview by Huba, Mikulas, Bistak, Pavol, Vrancic, Damir, Zakova, Katarina

“…The article reviews the results of a number of recent papers dealing with the revision of the simplest approaches to the control of first-order time-delayed systems…”
Get full text

Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm by Siaulys, K., Maciejowski, J. M.

“… This is applicable to first order formulas in which quantified variables appear at most quadratically…”
Get full text

Lifted Variable Elimination for Probabilistic Logic Programming by BELLODI, ELENA, LAMMA, EVELINA, RIGUZZI, FABRIZIO, COSTA, VITOR SANTOS, ZESE, RICCARDO

“… In this paper we adapt Generalized Counting First Order Variable Elimination (GC-FOVE) to the problem of computing the probability of queries to probabilistic logic programs under the distribution semantics…”
Get full text

On the Descriptive Complexity of Color Coding by Bannach, Max, Tantau, Till

“…—when the powerful second-order quantifiers representing a random coloring can be replaced by equivalent, simple first-order formulas…”
Get full text

Inference with Aggregation Parfactors: Lifted Elimination with First-Order d-Separation by Iwao Takiyama, Felipe, Gagliardi Cozman, Fabio

“… We present a new elimination rule for lifted variable elimination, and show how to use first-order d-separation to extend the reach of existing elimination rules…”
Get full text

Prediction of plant-level tomato biomass and yield using machine learning with unmanned aerial vehicle imagery by Tatsumi, Kenichi, Igarashi, Noa, Mengxue, Xiao

“… (FN) from multiple machine learning algorithms using selected variable sets. To realize our objective, ultra-high-resolution RGB and multispectral images were collected by a UAV on ten days in 2020…”
Get full text

Algorithms for Testing Satisfiability Formulas by Vlada, Marin

“…The present paper presents algorithms for testing satisfiabily of clausalformulas in the propositional logic and the firs-order logic…”
Get full text

Robust Variable Structure Control Approach of Two Series-Connected Five-Phase PMSMs Under Healthy and Faulty Operation Modes by Ajmi, Ali, Krim, Saber, Hosseyni, Anissa, Mansouri, Majdi, Mimouni, Mohamed Faouzi

“…In this paper a robust vector control method based on second order Super Twisting Sliding Mode Controllers (STSMCs) for two series-connected Five-Phase…”
Get full text

Predicting Vascular Plant Richness in a Heterogeneous Wetland Using Spectral and Textural Features and a Random Forest Algorithm by Cabezas, Julian, Galleguillos, Mauricio, Perez-Quezada, Jorge F.

“… Plant richness was measured at 44 sampling plots in a 16-ha anthropogenic peatland. Several spectral indices, first-order statistics…”
Get full text

Deciding Boolean Algebra with Presburger Arithmetic by Kuncak, Viktor, Nguyen, Huu Hai, Rinard, Martin

“…We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines Boolean algebras of sets of uninterpreted elements (BA…”
Get full text

Tree-width for first order formulae by Adler, Isolde, Weyer, Mark

“…We introduce tree-width for first order formulae \phi, fotw(\phi). We show that computing fotw is fixed-parameter tractable with parameter fotw…”
Get full text

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics by Riguzzi, Fabrizio, Bellodi, Elena, Zese, Riccardo, Cota, Giuseppe, Lamma, Evelina

“…) under the distribution semantics, with proposals such as LP2 and Weighted First-Order Model Counting (WFOMC). Moreover, techniques for dealing with aggregation parfactors can be directly applied to PLP…”
Get full text

Review, Evaluation and Application of Condensing Algorithms for Model Predictive Control based on a First-Order Method by Schmitt, Lukas, Nickig, Niklas, Bahr, Matthias, Gosling, Sonke, Abel, Dirk

“… Focusing on optimization with a first-order method, numerical properties such as the condition number of the Hessian are evaluated and suboptimality due to early termination of the optimization…”
Get full text

INTEGRATED SCORE ESTIMATION by Jun, Sung Jae, Pinkse, Joris, Wan, Yuanyuan

“… (2015, Journal of Econometrics 187(1), 201–216). Here, we establish that the MMSE, or more precisely $$\root 3 \of n |\hat \theta _M - \theta _0 |$$ , (locally first order…”
Get full text

Higher order reconstruction for MRI in the presence of spatiotemporal field perturbations by Wilm, Bertram J., Barmet, Christoph, Pavan, Matteo, Pruessmann, Klaas P.

“…Despite continuous hardware advances, MRI is frequently subject to field perturbations that are of higher than first order in space and thus violate the traditional k…”
Get full text

Realizability modulo theories by Rodríguez, Andoni, Sánchez, César

“…In this paper we study the problem of realizability of reactive specifications written in LTLT, which is the extension of LTL where atomic propositions can be literals from a first-order theory…”
Get full text

Lifted Variable Elimination for Probabilistic Logic Programming by Bellodi, Elena, Lamma, Evelina, Riguzzi, Fabrizio, Vitor Santos Costa, Zese, Riccardo

“… In this paper we adapt Generalized Counting First Order Variable Elimination (GC-FOVE) to the problem of computing the probability of queries to probabilistic logic programs under the distribution semantics…”
Get full text