咨询与建议

限定检索结果

文献类型

  • 3,396 篇 会议
  • 131 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,900 篇 计算机科学与技术...
    • 1,151 篇 软件工程
    • 418 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 交通运输工程
    • 55 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 674 篇 理学
    • 485 篇 数学
    • 104 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 50 篇 化学
  • 404 篇 管理学
    • 339 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 102 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 64 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 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,430 篇 英文
  • 144 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1761-1770 订阅
排序:
A portable parallel implementation of the lrs vertex enumeration code
A portable parallel implementation of the lrs vertex enumera...
收藏 引用
7th international conference on Combinatorial Optimization and Applications, COCOA 2013
作者: Avis, David Roumanis, Gary School of Informatics Kyoto University Kyoto Japan School of Computer Science McGill University Montréal QC Canada Microsoft Seattle WA United States
We describe a parallel implementation of the vertex enumeration code lrs that automatically exploits available hardware on multi-core computers and runs on a wide range of platforms. the implementation makes use of a ... 详细信息
来源: 评论
Scheduling energy cogeneration units under energy demand uncertainty
Scheduling energy cogeneration units under energy demand unc...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Kopanos, Georgios M. Georgiadis, Michael C. Pistikopoulos, Efstratios N. Imperial College London Centre for Process Systems Engineering London SW7 2AZ United Kingdom Aristotle University of Thessaloniki Department of Chemical Engineering Thessaloniki 54124 Greece
this work presents a methodology for the scheduling of networks that consist of various energy cogeneration units (i.e., generate both electrical energy and heat) under high energy demand uncertainties of bounded form... 详细信息
来源: 评论
Methodology of laboratory workshops on computer modeling with programming in Microsoft Excel Visual Basic for applications
Methodology of laboratory workshops on computer modeling wit...
收藏 引用
international conference on Application of Information and Communication Technologies (AICT)
作者: S. T. Huseynov Faculty of Mathematics & Informatics Ganja State University (GSU) Ganja city Azerbaijan Republic
the paper devoted to methodic of programming and ways of using of object oriented programming software Microsoft Excel Visual Basic for Applications for laboratory workshops of students in studies of computer modeling... 详细信息
来源: 评论
L-shaped algorithm for stochastic disassembly line balancing problem
L-shaped algorithm for stochastic disassembly line balancing...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Bentaha, M.L. Battaïa, O. Dolgui, A. École Nationale Supérieure des Mines EMSE-FAYOL CNRS UMR6158 LIMOS F-42023 Saint-Étienne France
Disassembly Line Balancing Problem considered here both chooses the best disassembly alternative for an end of life product and assigns the corresponding disassembly tasks to the workstations of the line with the aim ... 详细信息
来源: 评论
Manufacturing-remanufacturing failure-prone systems under random demands
Manufacturing-remanufacturing failure-prone systems under ra...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Ouaret, Samir Polotski, Vladimir Kenné, Jean-Pierre Gharbi, Ali H3C 1K3 Canada
the problem of production control for a hybrid manufacturing/ remanufacturing system under uncertainties is analyzed. Two sources of uncertainties are considered: machines random breakdowns and repairs are modeled as ... 详细信息
来源: 评论
Assembly line balancing with resource dependent task times: An application to parallel assembly lines
Assembly line balancing with resource dependent task times: ...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Kara, Yakup Atasagun, Yakup Industrial Engineering Department Selçuk University Konya Turkey
In this study, Resource Dependent Assembly Line Balancing approach is adapted to the concept of Parallel Assembly Line Balancing and this problem is called Parallel Assembly Line Balancing with Resource Dependent Task... 详细信息
来源: 评论
Answer set programming: Language, applications and development tools
Answer set programming: Language, applications and developme...
收藏 引用
7th international conference on Web Reasoning and Rule Systems, RR 2013
作者: Grasso, Giovanni Leone, Nicola Ricca, Francesco Oxford University Department of Computer Science Oxford United Kingdom Dipartimento di Matematica e Informatica Università Della Calabria 87030 Rende Italy
Answer Set programming (ASP) is a powerful language for knowledge representation and reasoning, that has been developed in the field of nonmonotonic reasoning and logic programming. the high knowledge-modeling power o... 详细信息
来源: 评论
Experiential approach to creation and use of assets in designing the family of software intensive systems
Experiential approach to creation and use of assets in desig...
收藏 引用
international conference on Application of Information and Communication Technologies (AICT)
作者: Petr Sosnin Vladimir Maklaev Computer Department Ulyanovsk State Technical University Ulyanovsk Russia
the paper presents an experiential approach to modeling of assets in designing the family of Software Intensive Systems (SIS). the reuse of any asset is being implemented as a typical work of a designer in accordance ... 详细信息
来源: 评论
A study on an efficiency of new exponential Evolutionary programming
A study on an efficiency of new exponential Evolutionary Pro...
收藏 引用
IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications
作者: Kohei Mukaihara Hirotaka Inoue Advanced Engineering Faculty Kure National College of Technology Kure Hiroshima Japan Department of Electrical Engineeringand Computer Science Kure National College of Technology Kure Hiroshima Japan
In this paper, we investigate performances of Evolutionary programming (EP) for optimization problems. An individual of EPs has searching optimum points and strategy parameters. the procedures of EP are consists of an... 详细信息
来源: 评论
A graphical approach for solving single machine scheduling problems approximately
A graphical approach for solving single machine scheduling p...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Gafarov, Evgeny R. Dolgui, Alexandre Lazarev, Alexander A. Werner, Frank Institute of Control Sciences Russian Academy of Sciences Profsoyuznaya st. 65 117997 Moscow Russia Ecole Nationale Superieure des Mines FAYOL-EMSE CNRS: UMR6158 LIMOS F-42023 Saint-Etienne France Fakultät für Mathematik Otto-von-Guericke-Universität Magdeburg PSF 4120 39016 Magdeburg Germany
For five single machine total tardiness problems a fully polynomial-time approximation scheme (FPTAS) based on a graphical algorithm is presented. the FPTAS has the best running time among the known approximation sche... 详细信息
来源: 评论