Results 201 to 210 of about 254,753 (253)
Integrating Metabolomics and Machine Learning for Advanced Chemical Detection. [PDF]
Sensors (Basel)Picone G.
europepmc +1 more source
Sensitive Spectral and Temporal-Spatial Characteristic Analysis of Leaf SPAD in Maize Under Variety and Nitrogen Coupling Effects. [PDF]
Food Sci NutrZhang F +7 more
europepmc +1 more source
High-Accuracy and Efficient Classification of Uranium Slag by Origin and Category via LIBS Integrated with Hybrid Machine Learning. [PDF]
Sensors (Basel)Zhang M +9 more
europepmc +1 more source
IoTDI-ImbS: A Precise Identification Model and Algorithm for IoT Devices from Network Traffic. [PDF]
Sensors (Basel)Qian J, Zhao S, Wang Z, Li Z.
europepmc +1 more source
Clarifying the scope and capabilities of ROTS in differential expression analysis. [PDF]
BioinformaticsSuomi T, Kettunen J, Pusa T, Elo LL.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Computers & Operations Research, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José H. Dulá, Francisco J. López
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
José H. Dulá, Francisco J. López
openaire +2 more sources
2017
In neuroimaging studies, a number of preprocessing steps are often applied to MRI data to correct for artifacts that arise during acquisition. This chapter discusses the main options for arterial spin labeling (ASL) data, along with some of the specific ways in which these can improve the data, but can also interact with subsequent analysis steps.
Michael Chappell +2 more
+4 more sources
In neuroimaging studies, a number of preprocessing steps are often applied to MRI data to correct for artifacts that arise during acquisition. This chapter discusses the main options for arterial spin labeling (ASL) data, along with some of the specific ways in which these can improve the data, but can also interact with subsequent analysis steps.
Michael Chappell +2 more
+4 more sources
2006
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there has been a great deal of recent interest and progress in solving such instances efficiently.
Horst Samulowitz +2 more
openaire +1 more source
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there has been a great deal of recent interest and progress in solving such instances efficiently.
Horst Samulowitz +2 more
openaire +1 more source
2015
For SAT and QBF formulas many techniques are applied in order to reduce/modify the number of variables and clauses of the formula, before the formula is passed to the actual solving algorithm. It is well known that these preprocessing techniques often reduce the computation time of the solver by orders of magnitude.
Ralf Wimmer 0001 +4 more
openaire +2 more sources
For SAT and QBF formulas many techniques are applied in order to reduce/modify the number of variables and clauses of the formula, before the formula is passed to the actual solving algorithm. It is well known that these preprocessing techniques often reduce the computation time of the solver by orders of magnitude.
Ralf Wimmer 0001 +4 more
openaire +2 more sources