咨询与建议

限定检索结果

文献类型

  • 3,410 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

  • 3,617 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,406 篇 工学
    • 1,903 篇 计算机科学与技术...
    • 1,157 篇 软件工程
    • 418 篇 电气工程
    • 272 篇 控制科学与工程
    • 200 篇 信息与通信工程
    • 129 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 57 篇 交通运输工程
    • 56 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 46 篇 化学工程与技术
    • 42 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 406 篇 管理学
    • 340 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 108 篇 教育学
    • 105 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 314 篇 linear programmi...
  • 252 篇 programming
  • 188 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 optimization
  • 119 篇 integer programm...
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 computer program...
  • 49 篇 mathematical mod...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,401 篇 英文
  • 190 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3619 条 记 录,以下是2211-2220 订阅
排序:
Integration of order scheduling with delivery vehicles routing for two-echelon supply chain system
Integration of order scheduling with delivery vehicles routi...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Jen-Shiang Chen Department of Business Administration Far East University Taiwan
this study considers together machine scheduling and finished product delivery. A single machine scheduling model is developed that incorporated delivery vehicle routing decisions which serves one customer location wi... 详细信息
来源: 评论
Linear programming models for deriving priority weights from interval-valued intuitionistic preference relations with multiplicative transitivity
Linear programming models for deriving priority weights from...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Wang Zhoujing Wang Linfeng W. Li Kevin Luo Jian Departrnent of Automation Xiamen University Xiamen Fujian China School of Computer Science and Engineering Beihang University Beijing China University of Windsor Windsor ON CA
It has been an increasing trend to develop multicriteria decision-making models with imprecise, uncertain, or vague decision data. An effective way to express a decision maker's (DM's) uncertain preference inf... 详细信息
来源: 评论
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems
A Flexible Approach to Automated Development of Cross Toolki...
收藏 引用
7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
作者: Pakulin, Nikolay Rubanov, Vladimir Russian Acad Sci Inst Syst Programming Moscow Russia
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ... 详细信息
来源: 评论
Supply function equilibrium with generation constraints solved through mixed-integer programming
Supply function equilibrium with generation constraints solv...
收藏 引用
international conference on European Electricity Market, EEM
作者: Sameh El Khatib Francisco D. Galiana McGill University Canada Department of Electrical and Computer Engineering McGill University Canada BBC Brown Boveri Research Center Baden Switzerland
Supply function equilibrium (SFE) developed by Klemperer and Mayer is a popular approach to analyze market power and study gaming strategies in electricity markets. We extend the notion of SFE to the case where power ... 详细信息
来源: 评论
A centrally coordinated parallel auction algorithm for large scale assignment problems
A centrally coordinated parallel auction algorithm for large...
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Amgad Naiem Mohammed El-Beltagy Mohamed Rasmy Cairo University Egypt
We present a novel parallel auction algorithm implementation for solving the linear sum assignment problem. It is implemented using the message passing interface (MPI) on a computer cluster. Our approach enables dynam... 详细信息
来源: 评论
Airline robust overbooking strategy with limited information
Airline robust overbooking strategy with limited information
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Hui Yu Jing-guang Chen Department of Economics and Business Administration Chongqing University China
Overbooking is not only an important content of revenue management, but also an effective way to increase airlines' profits. Arrival rate of ticketed passengers is a key factor to determine the number of overbooki... 详细信息
来源: 评论
Automated conflict-free distributed implementation of component-based models
Automated conflict-free distributed implementation of compon...
收藏 引用
5th international Symposium on Industrial Embedded Systems, SIES 2010
作者: Bonakdarpour, Borzoo Bozga, Marius Jaber, Mohamad Quilbeuf, Jean Sifakis, Joseph VERIMAG Centre Équation 2 avenue de Vignate 38610 Gières France
We propose a method for generating distributed implementations from high-level models expressed in terms of a set of components glued by rendezvous interactions. the method is a 2-phase transformation preserving all f... 详细信息
来源: 评论
Regression test selection technique for multi-programming language
Regression test selection technique for multi-programming la...
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Walid Said Abd El-hamid Sherif Said El-etriby Mohiy Mohammed Hadhoud Faculty of Computer and Information Menoufia University Shibin El Kom Egypt
Regression testing is a maintenance activity applied to modified software to provide confidence that the changed parts are correct and that the unchanged parts have not been adversely affected by the modifications. Re... 详细信息
来源: 评论
Modeling and scheduling of real-life assembly job shop with timed colored Petri net
Modeling and scheduling of real-life assembly job shop with ...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Daxin Zang Xiaoding Shi MaoZhong Jin Software Engineering Institute Beijing Aeronautics and Astronautics University Beijing China CNR Datong Shanxi China
this paper analyzes the requirement of a real-life assembly job-shop scheduling, which is different from the classical scheduling problems, ensuring not only the sequences having the minimization makespan as possible,... 详细信息
来源: 评论
Aspect oriented GoF design patterns
Aspect oriented GoF design patterns
收藏 引用
the international conference on Informatics and Systems (INFOS)
作者: Noura El Maghawry Ahmed R. Dawood University in Cairo Egypt
Design patterns provided experienced solutions to common problems in software development, but recent studies have shown that several design patterns involve crosscutting concerns where object oriented abstractions fa... 详细信息
来源: 评论