咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2041-2050 订阅
排序:
Application of combinatorial configurations in the logistic control processes
Application of combinatorial configurations in the logistic ...
收藏 引用
作者: Riznyk, Volodymyr Talan, Marta Yurchak, Iryna Barabash, Ivanna Department of Telecommunications and Electrical Engineering University of Technology and Agriculture in Bydgoszcz 7 Al. Kaliski 85-796 Bydgoszcz Poland CAD Department Lviv Polytechnic National University S. Bandery street 12 Lviv Ukraine
Applications of the combinatorial configurations as mathematical models for innovative design of logistic control processes, is known, provide improving the quality indices of the processes with respect to functional ... 详细信息
来源: 评论
Optimization-based litho machine scheduling with multiple reticles and setups
Optimization-based litho machine scheduling with multiple re...
收藏 引用
2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011
作者: Yan, Bing Chen, Hsin Yuan Luh, Peter B. Wang, Simon Chang, Joey Department of Electrical and Computer Engineering University of Connecticut Storrs CT 06269-2157 United States Inotera Memories Inc. Hwa-Ya Technology Park 667 Fuhsing 3rd Rd Kueishan Taoyuan 333 Taiwan
the increasing demand for on-time delivery and low cost is forcing semiconductor manufacturers to seek more efficient schedules to allocate machines and other resources to minimize the cost associated with other featu... 详细信息
来源: 评论
Mixed-integer programming for optimal path planning of robotic manipulators
Mixed-integer programming for optimal path planning of robot...
收藏 引用
2011 7th IEEE international conference on Automation Science and Engineering, CASE 2011
作者: Ding, Hao Reißig, Gunther Groß, Dominic Stursberg, Olaf Institute of Control and System Theory Department of Electrical Engineering and Computer Science University of Kassel Germany Germany
One of the fundamental problems in the field of robotic motion planning is to safely and efficiently drive the end effector of a robotic manipulator to a specified goal position. Here, safety refers to the requirement... 详细信息
来源: 评论
Fastest mixing Markov chain on symmetric K-partite sensor networks
Fastest mixing Markov chain on symmetric K-partite sensor ne...
收藏 引用
international Wireless Communications and Mobile Computing conference, IWCMC
作者: Saber Jafarizadeh Abbas Jamalipour School of Electrical and Information Engineering University of Sydney NSW Australia
In this paper analytical solution of fastest mixing Markov chain problem over a sensor network with K-partite topology is provided. the solution procedure consists of Stratification of sensor network's connectivit... 详细信息
来源: 评论
A novel linear programming formulation of maximum lifetime routing problem in wireless sensor networks
A novel linear programming formulation of maximum lifetime r...
收藏 引用
international Wireless Communications and Mobile Computing conference, IWCMC
作者: Bilge Kartal Cetin Neeli R. Prasad Ramjee Prasad Center of TeleInfrastruktur (CTIF) Department of Electronic Systems University of Aalborg Aalborg Denmark
In wireless sensor networks, one of the key challenge is to achieve minimum energy consumption in order to maximize network lifetime. In fact, lifetime depends on many parameters: the topology of the sensor network, t... 详细信息
来源: 评论
Collaborative and competitive strategies for agile scrum development
Collaborative and competitive strategies for agile scrum dev...
收藏 引用
international conference on Networked Computing and Advanced Information Management (NCM)
作者: Rohit Ramanujam Ickjai Lee School of Business (IT) James Cook University Cairns QLD Australia
Agile scrum software development has attracted a great deal of attention in recent years due to its flexibility, responsiveness and reliability. this article extends it to multi-vendor competing situations, and introd... 详细信息
来源: 评论
Consistent reconfiguration protocols for adaptive high-performance applications
Consistent reconfiguration protocols for adaptive high-perfo...
收藏 引用
international Wireless Communications and Mobile Computing conference, IWCMC
作者: Carlo Bertolli Gabriele Mencagli Marco Vanneschi Department of Computing Imperial College London London UK Department of Computer Science University of Pisa Pisa Italy
programming models for Pervasive Computing applications typically include the possibility of specifying software components according to multiple alternative versions, each optimized for a certain class of computing a... 详细信息
来源: 评论
Structural features of ball-milled nanostructured K2Bi8Se13 thermoelectric material
收藏 引用
MATERIALS SCIENCE AND ENGINEERING B-ADVANCED functional SOLID-STATE MATERIALS 2011年 第19期176卷 1568-1573页
作者: Lioutas, Ch. B. Hatzikraniotis, E. Ioannou, M. Paraskevopoulos, K. M. Kyratsi, th. Univ Cyprus Dept Mech & Mfg Engn CY-1678 Nicosia Cyprus Aristotle Univ Thessaloniki Solid State Phys Sect Dept Phys GR-54124 Thessaloniki Greece
In this work. K2Bi8Se13 material was ball-milled in order to develop nanostructures through the modification of structural features. Structural changes during ball-milling were followed by powder X-ray diffraction mea... 详细信息
来源: 评论
A fast method for detecting eye accessing cues used in Neuro-Linguistic programming
A fast method for detecting eye accessing cues used in Neuro...
收藏 引用
IEEE international conference on Intelligent Computer Communication and Processing (ICCP)
作者: Ruxandra Vrânceanu Constantin Vertan Rãzvan Condorovici Laura Florea Corneliu Florea Image Processing and Analysis Laboratory University Politehnica of Bucharest Romania
In this paper a simple and efficient method is proposed for detecting eye positions which are used in Neuro-Linguistic programming (NLP) as clues for the human internal representational system and mental activity. the... 详细信息
来源: 评论
Synchronizing Automata and Petri Net based controllers
Synchronizing Automata and Petri Net based controllers
收藏 引用
international conference on Electrical and Electronics Engineering, ELECO
作者: Mustafa Seçkin Durmuş Uğur Yildinm Oytun Eriş Mehmet Turan Söylemez Control Engineering Department Istanbul Technical University Maslak Istanbul Turkey
In designing safe and reliable interlocking systems for railways which are compatible with the related CENELEC (European Committee for Electrotechnical Standardization) standards semi-formal methods and diverse progra... 详细信息
来源: 评论