Suchergebnisse - First-order variable elimination algorithm

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

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

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

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

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

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

Dead-Time Compensation for the First-Order Dead-Time Processes: Towards a Broader Overview von 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 …”
Volltext

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

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

Lifted Variable Elimination for Probabilistic Logic Programming von 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 …”
Volltext

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

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

Inference with Aggregation Parfactors: Lifted Elimination with First-Order d-Separation von 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 …”
Volltext

Prediction of plant-level tomato biomass and yield using machine learning with unmanned aerial vehicle imagery von 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 …”
Volltext

Algorithms for Testing Satisfiability Formulas von Vlada, Marin

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

Robust Variable Structure Control Approach of Two Series-Connected Five-Phase PMSMs Under Healthy and Faulty Operation Modes von 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 …”
Volltext

Predicting Vascular Plant Richness in a Heterogeneous Wetland Using Spectral and Textural Features and a Random Forest Algorithm von 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 …”
Volltext

Deciding Boolean Algebra with Presburger Arithmetic von 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 …”
Volltext

Tree-width for first order formulae von 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 …”
Volltext

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics von 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 …”
Volltext

Review, Evaluation and Application of Condensing Algorithms for Model Predictive Control based on a First-Order Method von 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 …”
Volltext

INTEGRATED SCORE ESTIMATION von 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 …”
Volltext

Higher order reconstruction for MRI in the presence of spatiotemporal field perturbations von 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 …”
Volltext

Realizability modulo theories von 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 …”
Volltext

Lifted Variable Elimination for Probabilistic Logic Programming von 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 …”
Volltext