咨询与建议

限定检索结果

文献类型

  • 1,018 篇 期刊文献
  • 814 篇 会议
  • 22 篇 学位论文

馆藏范围

  • 1,854 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,595 篇 工学
    • 1,324 篇 计算机科学与技术...
    • 486 篇 软件工程
    • 177 篇 电气工程
    • 136 篇 控制科学与工程
    • 134 篇 机械工程
    • 55 篇 信息与通信工程
    • 50 篇 土木工程
    • 39 篇 交通运输工程
    • 37 篇 建筑学
    • 15 篇 化学工程与技术
    • 15 篇 石油与天然气工程
    • 15 篇 航空宇航科学与技...
    • 14 篇 材料科学与工程(可...
    • 11 篇 力学(可授工学、理...
    • 11 篇 生物工程
    • 10 篇 仪器科学与技术
    • 10 篇 电子科学与技术(可...
    • 9 篇 动力工程及工程热...
  • 614 篇 管理学
    • 595 篇 管理科学与工程(可...
    • 118 篇 工商管理
    • 12 篇 图书情报与档案管...
  • 481 篇 理学
    • 358 篇 数学
    • 166 篇 系统科学
    • 31 篇 生物学
    • 17 篇 物理学
    • 6 篇 统计学(可授理学、...
  • 78 篇 经济学
    • 65 篇 应用经济学
    • 14 篇 理论经济学
  • 15 篇 医学
    • 8 篇 基础医学(可授医学...
  • 8 篇 法学
  • 8 篇 教育学
    • 6 篇 教育学
  • 8 篇 农学
  • 4 篇 艺术学
  • 2 篇 文学
  • 1 篇 哲学
  • 1 篇 历史学

主题

  • 1,854 篇 constraint progr...
  • 174 篇 scheduling
  • 84 篇 optimization
  • 65 篇 integer programm...
  • 42 篇 combinatorial op...
  • 39 篇 mixed integer pr...
  • 35 篇 local search
  • 35 篇 integer linear p...
  • 29 篇 constraint satis...
  • 28 篇 mathematical pro...
  • 28 篇 machine learning
  • 25 篇 mixed integer li...
  • 23 篇 linear programmi...
  • 23 篇 column generatio...
  • 22 篇 large neighborho...
  • 22 篇 mixed-integer pr...
  • 22 篇 planning
  • 22 篇 global constrain...
  • 22 篇 constraint propa...
  • 20 篇 search

机构

  • 24 篇 pontificia univ ...
  • 13 篇 univ autonoma ch...
  • 13 篇 univ st andrews ...
  • 12 篇 univ toronto dep...
  • 11 篇 univ san sebasti...
  • 10 篇 univ cient sur l...
  • 9 篇 univ bologna dei...
  • 9 篇 brown univ provi...
  • 8 篇 univ tehran coll...
  • 8 篇 univ cent chile ...
  • 7 篇 carnegie mellon ...
  • 7 篇 univ playa ancha...
  • 7 篇 natl univ irelan...
  • 7 篇 univ valparaiso ...
  • 7 篇 new mexico state...
  • 6 篇 katholieke univ ...
  • 6 篇 natl yunlin univ...
  • 6 篇 univ nantes lina...
  • 6 篇 natl univ irelan...
  • 6 篇 hacettepe univ d...

作者

  • 30 篇 crawford broderi...
  • 28 篇 beck j. christop...
  • 26 篇 stuckey peter j.
  • 24 篇 monfroy eric
  • 23 篇 soto ricardo
  • 23 篇 schaus pierre
  • 21 篇 rousseau louis-m...
  • 20 篇 milano michela
  • 18 篇 van hentenryck p...
  • 17 篇 lombardi michele
  • 17 篇 o'sullivan barry
  • 16 篇 miguel ian
  • 14 篇 wallace mark
  • 14 篇 hofstedt petra
  • 14 篇 guns tias
  • 13 篇 castro carlos
  • 13 篇 loudni samir
  • 12 篇 boizumault patri...
  • 12 篇 nightingale pete...
  • 12 篇 nijssen siegfrie...

语言

  • 1,741 篇 英文
  • 86 篇 其他
  • 12 篇 中文
  • 6 篇 法文
  • 2 篇 土耳其文
  • 1 篇 德文
  • 1 篇 西班牙文
  • 1 篇 葡萄牙文
检索条件"主题词=Constraint Programming"
1854 条 记 录,以下是1731-1740 订阅
排序:
Multi-Objective Optimization based Robust Sensor Network Design
收藏 引用
IFAC Proceedings Volumes 2010年 第5期43卷 79-84页
作者: Prakash R. Kotecha Mani Bhushan Ravindra D. Gudi Department of Chemical Engineering Indian Institute of Technology Bombay Powai Mumbai 400 076 (Tel:91-22-25767204)
In this article, we propose an explicit integer optimization formulation for the design of reliable and robust (to uncertainty in reliability data) sensor networks. The robustness is achieved by incorporating simultan... 详细信息
来源: 评论
Overload-Checking and Edge-Finding for Robust Cumulative Scheduling
收藏 引用
INFORMS JOURNAL ON COMPUTING 2023年 第6期35卷 1419-1438页
作者: Fahimi, Hamed Quimper, Claude-Guy Shahid Chamran Univ Ahvaz Fac Math Sci & Comp Dept Comp Sci Ahvaz *** Iran Univ Laval Fac Sci & Genie Dept Informat & Genie Logiciel Quebec City PQ G1V 0A6 Canada
Scheduling frameworks are not necessarily stable. The aim is to introduce schedules resistant to disruptions such as when resources become unavailable, the supply chain for them breaks down, etc. A schedule is robust ... 详细信息
来源: 评论
Configurable Domain Objects for Resource Modelling in Treatment Scheduling
收藏 引用
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 2015年 第5期25卷 871-885页
作者: Schneeweiss, Denny Hofstedt, Petra Brandenburg Univ Technol Cottbus Senftenberg Programming Languages & Compiler Res Grp D-03046 Cottbus Germany
This paper presents the concept and realization of configurable resource models as extension of a treatment scheduling system for users in the medical sector. Our approach aims to ease the handling of automated treatm... 详细信息
来源: 评论
Web service selection and composition based on uncertain quality of service
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2022年 第1期34卷
作者: Zeyneb Yasmina, Remaci Fethallah, Hadjila Fadoua, Lahfa Abou Baker Belkaid Univ LRIT Lab Dept Comp Sci Tilimsen Algeria
Web services are becoming a major utility for accomplishing complex tasks over the Internet. In practice, the end-users usually search for Web service compositions that best meet the quality of service (QoS) requireme... 详细信息
来源: 评论
The patient bed assignment problem solved by autonomous bat algorithm
收藏 引用
APPLIED SOFT COMPUTING 2019年 81卷 105484-000页
作者: Taramasco, Carla Olivares, Rodrigo Munoz, Roberto Soto, Ricardo Villar, Matias de Albuquerque, Victor Hugo C. Univ Vaparaiso Valparaiso Chile Pontificia Univ Catolica Vaparaiso Valparaiso Chile Univ Fortaleza Grad Program Appl Informat Fortaleza Ceara Brazil
The patient bed assignment problem consists of managing, in the best possible way, a set of beds with particular features and assigning them to a set of patients with special requirements. This assignment problem can ... 详细信息
来源: 评论
Metaheuristics with restart and learning mechanisms for the no-idle flowshop scheduling problem with makespan criterion
收藏 引用
COMPUTERS & OPERATIONS RESEARCH 2022年 138卷 105616-105616页
作者: Oztop, Hande Tasgetiren, M. Fatih Kandiller, Levent Pan, Quan-Ke Izmir Demokrasi Univ Dept Ind Engn Izmir Turkey Yasar Univ Dept Int Logist Management Izmir Turkey Yasar Univ Dept Ind Engn Izmir Turkey Shanghai Univ Sch Mechatron Engn & Automat Shanghai 200072 Peoples R China Liaocheng Univ Sch Comp Sci Liaocheng 252000 Shandong Peoples R China
The no-idle permutation flowshop scheduling problem (NIPFSP) extends the well-known permutation flowshop scheduling problem, where idle time is not allowed on the machines. This study proposes a new mixed-integer line... 详细信息
来源: 评论
A Logic-Based Benders Decomposition Approach for Mapping Applications on Heterogeneous Multicore Platforms
收藏 引用
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2016年 第1期15卷 19-19页
作者: Emeretlis, Andreas Theodoridis, George Alefragis, Panayiotis Voros, Nikolaos Univ Patras Elect & Comp Engn Dept GR-26110 Patras Greece Technol Educ Inst Western Greece Embedded Syst Design & Applicat Lab Comp & Informat Engn Dept Patras Greece
The development of efficient methods for mapping applications on heterogeneous multicore platforms is a key issue in the field of embedded systems. In this article, a novel approach based on the Logic-Based Benders de... 详细信息
来源: 评论
constraint-based Diversification of JOP Gadgets
收藏 引用
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2021年 72卷 1471-1505页
作者: Tsoupidi, Rodothea Myrsini Lozano, Roberto Castaneda Baudry, Benoit KTH Royal Inst Technol Stockholm Sweden Univ Edinburgh Edinburgh Midlothian Scotland
Modern software deployment process produces software that is uniform, and hence vulnerable to large-scale code-reuse attacks, such as Jump-Oriented programming (JOP) attacks. Compiler-based diversification improves th... 详细信息
来源: 评论
A Matheuristic Approach for Solving the Dynamic Facility Layout Problem
收藏 引用
Procedia Computer Science 2017年 108卷 1374-1383页
作者: Sadan Kulturel-Konak Penn State Berks Reading PA USA
The Dynamic Facility Layout Problem (DFLP) is designing a facility over a multi-period planning horizon where the interdepartmental material flows change from one period to the next one due to changes in product deman... 详细信息
来源: 评论
A LOCAL SEARCH ALGORITHM FOR THE INVENTORY MATCHING PROBLEM IN A STEEL COMPANY
收藏 引用
IFAC Proceedings Volumes 2006年 第3期39卷 359-364页
作者: Birger Raa Wim Van der Stricht Department of Industrial Management Ghent University Technologiepark 903 9052 Zwijnaarde Systems and Models Sidmar (Arcelor Group) J. Kennedylaan 51 9042 Gent Belgium
The problem studied is the selection of slabs from a slab yard for the hot rolling program in a steel company, with the objective of minimizing and balancing the incurred workload on the slab yard. A local search algo... 详细信息
来源: 评论