|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Efficient initial solution to extremal optimization algorithm for weighted MAXSAT problem 显示文摘 | Menai M E Barouche M | 2003 | Lecture Notes in Computer Science2003，2718，4： | 1 |
| 2 | Association between maternal blood cadmium during pregnancy and birth weight and the risk of fetal growth restriction: The EDEN mother–child cohort study显示文摘 | Mehdi Menai Barbara Heude Remy Slama Anne Forhan Josiane Sahuquillo Marie-Aline Charles Chadi Yazbeck | 2012 | Reproductive Toxicology2012，，4： | 1 |
| 3 | Thermomechanics of the cooling stage in casting processes:three dimensional finite element analysis and experimental validation显示文摘 | Bellet M Decultieux F Menai M | 1996 | Metallurgical and Materials Transactions B1996，27，1： | 1 |
| 4 | Association between maternal blood cadmium during pregnancy and birth weight and the risk of fetal growth restriction:the EDEN mother-child cohort study显示文摘 | Menai M Heude B Slama R | 2012 | Reprod Toxicol2012，34，4： | 1 |
| 5 | Data Structures in Multi-Objective Evolutionary Algorithms显示文摘Data structures used for an algorithm can have a great impact on its performance,particularly for the solution of large and complex problems,such as multi-objective optimization problems(MOPs).Multi-objective evolutionary algorithms(MOEAs) are considered an attractive approach for solving MOPs,since they are able to explore several parts of the Pareto front simultaneously.The data structures for storing and updating populations and non-dominated solutions(archives) may affect the efficiency of the search process.This article describes data structures used in MOEAs for realizing populations and archives in a comparative way,emphasizing their computational requirements and general applicability reported in the original work. | Najwa Altwaijry Mohamed El Bachir Menai | 2012 | Journal of Computer Science & Technology2012，27，6： | 1 |
| 6 | Efficient Initial Solution to Extremal Optimization Algorithm for Weighted MAXSAT Problem显示文摘 | Menai M E Batouche M | 2003 | Lecture Notes in Computer Science2003，2718，4： | 1 |
| 7 | Association between maternal blood cadmium during pregnancy and birth weight and the risk of fetal growth restriction:the EDEN mother-child cohort study显示文摘 | Menai M Heude B Slama R | 2012 | Reprod Toxicol2012，34，4： | 1 |
| 8 | Impact of preprocessing on medical data classification显示文摘在任何数据采矿任务的预处理阶段的意义是众所周知的。在尝试医药数据分类前,包括多重、可能无关的特征的噪音,不完全性,和存在,特征 ofmedical 数据集需要被探讨。在这份报纸,我们证明选择预处理方法的正确联合在数据集的分类潜力上有可观的影响。考虑的预处理操作包括数字属性,属性子集的选择,并且处理失踪的价值的 discretization。分类被一个蚂蚁殖民地优化算法作为案例研究执行。25 真实世界的医药数据集上的试验性的结果显示出那在预兆的精确性的重要相对改进,在一些情况中超过 60% ,被获得。 | Sarab ALMUHAIDEB Mohamed El Bachir MENAI | 2016 | Frontiers of Computer Science2016，10，6： | 1 |
| 9 | A Taxonomy of Exact Methods for Partial Max-SAT显示文摘Partial Maximum Boolean Satisfiability (Partial Max-SAT or PMSAT) is an optimization variant of Boolean satisfiability (SAT) problem, in which a variable assignment is required to satisfy all hard clauses and a maximum number of soft clauses in a Boolean formula. PMSAT is considered as an interesting encoding domain to many real-life problems for which a solution is acceptable even if some constraints are violated. Amongst the problems that can be formulated as such are planning and scheduling. New insights into the study of PMSAT problem have been gained since the introduction of the Max-SAT evaluations in 2006. Indeed, several PMSAT exact solvers have been developed based mainly on the Davis-Putnam-Logemann-Loveland (DPLL) procedure and Branch and Bound (B&B) algorithms. In this paper, we investigate and analyze a number of exact methods for PMSAT. We propose a taxonomy of the main exact methods within a general framework that integrates their various techniques into a unified perspective. We show its effectiveness by using it to classify PMSAT exact solvers which participated in the 2007~2011 Max-SAT evaluations, emphasizing on the most promising research directions. | Mohamed El Bachir Menai Tasniem Nasser Al-Yahya | 2013 | Journal of Computer Science & Technology2013，28，2： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员