CL Chen,GFG Feng,XP Guan 被引量: 157发表: 2005年 Symbolic controller synthesis for discrete and timed systems This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by finding a winning strategy for certa...
CRISPRAnalyzeR assists you with the analysis of your screening data. It contains 4 different sections, each offering interactive visualizations and tables. Up to eight Hit Calling Algorithms CRISPRAnalyzeR combines the power of several CRISPR Analysis Workflows and incorporates them into a streamlined an...
(2010). New algorithms and methods to estimate maximum-likelihood phylogenies: assessing the performance of PhyML 3.0. Syst Biol 59: 307–321. Hatfull GFG, Cresawn S, Hendrix R. (2008). Comparative genomics of the mycobacteriophages: insights into bacteriophage evolution. Res Microbiol 159: ...
[0009] This expression corresponds to the shape of a line connecting the medoids in R-G space. Two such clustering algorithms are provided. In the first clustering algorithm, a PAM (Partitioning Around Medoids) method is applied to the image data from each gene spot in order to determine the...
The objective of this study was to estimate the diffusion coefficient of moisture vapor in asphalt mixtures by using finite element (FE) and finite difference (FD) numerical algorithms that employ digital images to discretize the composite. X-ray computed tomography was used to characterize the ...
Among them, the decision tree classification method can effectively excavate the spectral characteristics of the image and can solve the problem of the overlap of the remote sensing image spectrum to a greater extent. The commonly used algorithms in the DT decision tree classification method are: C...
Towards a more harmonized processing of eddy covariance CO2 fluxes: Algorithms and uncertainty estimation. Biogeosci. Discuss. 2006, 3, 961–992. [Google Scholar] Gurney, K.R.; Law, R.; Denning, S.; Rayner, P.; Baker, D.; Bousquet, P.; Bruhwiler, L.; Chen, Y.-H.; Ciais, P....
Therefore, algorithms for ultrasound image filtering and analysis primarily focus on the characteristics of speckle noise and try to minimize its effects on image interpretation [8]. To analyse the effectiveness or accuracy of speckle reduction techniques, it is necessary to add controlled noise to ...
Progress in the field of electronics, information technology, and control algorithms now mean that this type of machine incorporates advanced supervision and control systems. The ultimate goal here, is to increase both the productivity and the accuracy of machine tools and to improve their programming...
Due to complex electromagnetic processes and practical application requirements, an optimal procedure is necessary to obtain better design results or to improve the performance of the motor for special needs. Recently, heuristic algorithms, especially the genetic algorithm (GA), have been used in motor...