Výsledky vyhľadávania - First-order variable elimination algorithm

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

“… (iterative stepwise, genetic algorithm, and uninformative variable elimination), in combination with different spectral transforms…”
Získať plný text

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

“… (Savitzky-Golay SG, continuum removal CR, and first-order derivation FD) and three…”
Získať plný text

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

“… (inverse-log reflectance (LR), continuum removal (CR) and first-order derivative reflectance (FDR…”
Získať plný text

Dead-Time Compensation for the First-Order Dead-Time Processes: Towards a Broader Overview Autor 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…”
Získať plný text

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

“… This is applicable to first order formulas in which quantified variables appear at most quadratically…”
Získať plný text

Lifted Variable Elimination for Probabilistic Logic Programming Autor 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…”
Získať plný text

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

“…—when the powerful second-order quantifiers representing a random coloring can be replaced by equivalent, simple first-order formulas…”
Získať plný text

Inference with Aggregation Parfactors: Lifted Elimination with First-Order d-Separation Autor 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…”
Získať plný text

Prediction of plant-level tomato biomass and yield using machine learning with unmanned aerial vehicle imagery Autor 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…”
Získať plný text

Algorithms for Testing Satisfiability Formulas Autor Vlada, Marin

“…The present paper presents algorithms for testing satisfiabily of clausalformulas in the propositional logic and the firs-order logic…”
Získať plný text

Robust Variable Structure Control Approach of Two Series-Connected Five-Phase PMSMs Under Healthy and Faulty Operation Modes Autor 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…”
Získať plný text

Predicting Vascular Plant Richness in a Heterogeneous Wetland Using Spectral and Textural Features and a Random Forest Algorithm Autor 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…”
Získať plný text

Deciding Boolean Algebra with Presburger Arithmetic Autor 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…”
Získať plný text

Tree-width for first order formulae Autor 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…”
Získať plný text

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics Autor 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…”
Získať plný text

Review, Evaluation and Application of Condensing Algorithms for Model Predictive Control based on a First-Order Method Autor 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…”
Získať plný text

INTEGRATED SCORE ESTIMATION Autor 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…”
Získať plný text

Higher order reconstruction for MRI in the presence of spatiotemporal field perturbations Autor 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…”
Získať plný text

Realizability modulo theories Autor 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…”
Získať plný text

Lifted Variable Elimination for Probabilistic Logic Programming Autor 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…”
Získať plný text