咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,402 篇 工学
    • 1,899 篇 计算机科学与技术...
    • 1,155 篇 软件工程
    • 418 篇 电气工程
    • 270 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 41 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 403 篇 管理学
    • 338 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 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...
  • 65 篇 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,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是2011-2020 订阅
排序:
Drafting Force Forecasting Using Genetic programming
Drafting Force Forecasting Using Genetic Programming
收藏 引用
7th China international Silk conference on Inheritance and Innovation - Modern Silk Road
作者: Nibikora, Ildephonse Wang, Jun Donghua Univ Shanghai 201620 Peoples R China
Genetic programming was used to find out a mathematical model for drafting force from drafting process parameters on the drawing frame, which fits the experimental data as much as possible. the study used rayon fibers... 详细信息
来源: 评论
Stackless Preemptive Multi-threading for TinyOS
Stackless Preemptive Multi-Threading for TinyOS
收藏 引用
7th IEEE international conference on Distributed Computing in Sensor Systems (DCOSS)
作者: McCartney, William P. Sridhar, Nigamanth Cleveland State Univ Cleveland OH 44115 USA
programming support for multi-threaded applications on embedded microcontroller platforms has attracted a considerable amount of research attention in the recent years. this paper is focused on this problem, and prese... 详细信息
来源: 评论
Analysis of frameworks for developing genetic algorithms
Analysis of frameworks for developing genetic algorithms
收藏 引用
作者: Kryvyy, Rostyslav Tkachenko, Serhii Karkuljovskyy, Volodymyr CAD Department Lviv Polytechnic National University S. Bandery street 12 Lviv Ukraine
this paper deals with popular frameworks that simplify the implementation of software products based on genetic algorithms. © 2011 LVIV POLYTECHNIC NATL UNIV.
来源: 评论
A constraint shifting homotopy method for convex multi-objective programming
A constraint shifting homotopy method for convex multi-objec...
收藏 引用
7th international conference on Scientific Computing and Applications
作者: Shang, Yufeng Yu, Bo Dalian Univ Technol Sch Math Sci Dalian 116024 Peoples R China Aviat Univ Air Force Sect Math Changchun 130022 Peoples R China
In this paper, a constraint shifting combined homotopy method for solving multi-objective programming problems with both equality and inequality constraints is presented. It does not need the starting point to be an i... 详细信息
来源: 评论
ICER'11 - Proceedings of the ACM SIGCSE 2011 international Computing Education Research Workshop
ICER'11 - Proceedings of the ACM SIGCSE 2011 International C...
收藏 引用
7th international Computing Education Research Workshop, ICER 2011
the proceedings contain 23 papers. the topics discussed include: the scientific approach to teaching: research as a basis for course design;deciding to major in computer science: a grounded theory of students' sel...
来源: 评论
A functional framework to evade network IDS
A functional framework to evade network IDS
收藏 引用
Hawaii international conference on System Sciences
作者: Pastrana, Sergio Orfila, Agustin Ribagorda, Arturo Carlos III University of Madrid Spain
Signature based Network Intrusion Detection Systems (NIDS) apply a set of rules to identify hostile traffic in network segments. Currently they are so effective detecting known attacks that hackers seek new techniques... 详细信息
来源: 评论
Integer programming and ant colony optimization for planning intermodal freight transportation operations
Integer programming and ant colony optimization for planning...
收藏 引用
2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011
作者: Anghinolfi, Davide Paolucci, Massimo Sacone, Simona Siri, Silvia Department of Communication Computer and Systems Science University of Genova Italy
In this paper we deal with the operational planning of transportation operations in an intermodal network. the objective is to satisfy a given transportation demand by using road vehicles and trains, in order to minim... 详细信息
来源: 评论
A fuzzy programming approach for the strategic design of distribution networks
A fuzzy programming approach for the strategic design of dis...
收藏 引用
2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011
作者: Costantino, Nicola Dotoli, Mariagrazia Falagario, Marco Fanti, Maria Pia Mangini, Agostino M. Sciancalepore, Fabio Ukovich, Walter Department of Mechanics and Management Engineering Politecnico di Bari Bari Italy Department of Electrotechnics and Electronics Politecnico di Bari Bari Italy Department of Industrial Engineering and Information Technology University of Trieste Trieste Italy
the paper addresses the optimal design of the last branch of the supply chain, i.e., the Distribution Network (DN). We extend a deterministic optimization model previously proposed by the authors, using fuzzy numbers ... 详细信息
来源: 评论
ATL transformation for the generation of SCA model
ATL transformation for the generation of SCA model
收藏 引用
7th international conference on Semantics, Knowledge, and Grids, SKG 2011
作者: Louhichi, Soumaya Graiet, Mohamed Kmimech, Mourad Bhiri, Mohamed Tahar Gaaloul, Walid Cariou, Eric MIRACL ISIMS BP 1030 Sfax 3018 Tunisia 9 rue Charles Fourier 91 011 Évry Cedex France Université de Pau et des Pays de l'Adour Avenue de l'Université BP 1155 64013 PAU Cedex France
Service Component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet applications. this technology supports the management of dynamic a... 详细信息
来源: 评论
Preference-Based Argumentation Capturing Prioritized Logic programming
收藏 引用
7th international Workshop on Argumentation in Multi-Agent Systems (ArgMAS) in Association with the 9th international conference on Autonomous Agents and Multi-Agent Systems (AAMAS)
作者: Wakaki, Toshiko Shibaura Inst Technol Minuma Ku Saitama 3378570 Japan
First, we present a novel approach to an abstract preference-based argumentation framework (an abstract PAF), which generalizes Dung's abstract argumentation framework (AF) to deal with additional preferences over... 详细信息
来源: 评论