咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1741-1750 订阅
排序:
A hybrid approach combining fuzzy consensus and goal programming for information system selection
A hybrid approach combining fuzzy consensus and goal program...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Igoulalene, Idris Benyoucef, Lyes Aix-Marseille University LSIS UMR 7296 Avenue Escadrille Normandie Niemen 13397 Marseille Cedex 20 France
Supply chain coordination (SCC) is nowadays one of the active research topic in Production and Operations Management (POM). this paper deals with the development of a Fuzzy Consensus based Multi-Criteria approach dedi... 详细信息
来源: 评论
Semantic Sub-tree Crossover Operator for Postfix Genetic programming
收藏 引用
7th international conference on Bio-Inspired Computing: theories and Applications (BIC-TA 2012)
作者: Dabhi, Vipul K. Chaudhary, Sanjay Dharmsinh Desai Univ IT Dept Nadiad Gujarat India DAIICT Gandhinagar Gujarat India
Design of crossover operator plays a crucial role in Genetic programming (GP). the most studied issues related to crossover operator in GP are: (i) ensuring that crossover operator always produces syntactically valid ... 详细信息
来源: 评论
E-participation development: A comparative study of the Russian, USA and UK E-petition initiatives  13
E-participation development: A comparative study of the Russ...
收藏 引用
7th international conference on theory and Practice of Electronic Governance, ICEGOV 2013
作者: Bershadskaya, Lyudmila Chugunov, Andrei Trutnev, Dmitrii NRU ITMO E-Gov Center Analyst V.O. Birzhevaya line 14 199034 St.Petersburg Russia
this article considers the results of a comparative analysis of three e-petition portals in: Russian, the UK and the USA. the authors have developed a set of comparison criteria and identified similarities and differe... 详细信息
来源: 评论
Incorporating Regularity of Required Workload to the MMSP-W with Serial Workstations and Free Interruption of the Operations
Incorporating Regularity of Required Workload to the <i>MMSP...
收藏 引用
IFIP WG 5.7 international conference on Advances in Production Management Systems (APMS)
作者: Bautista, Joaquin Alfaro, Rocio Cano, Alberto Univ Politecn Cataluna Avda Diagonal 6477th Floor E-08028 Barcelona Spain
We propose a mathematical model to solve an extension to the mixed-model sequencing problem with work overload minimization (MMSP-W) for production lines with serial workstations and parallel homogeneous processors an... 详细信息
来源: 评论
Hybrid Debugging of Java Programs
Hybrid Debugging of Java Programs
收藏 引用
6th international conference on Software and Data Technologies, ICSOFT 2011
作者: Hermanns, Christian Kuchen, Herbert Institute of Information Systems University of Münster Leonardo-Campus 3 Münster Germany
Until today the most common technique to debug Java programs is trace debugging. In this work we present two different debugging approaches for Java: declarative debugging, which has its origins in the area of functio... 详细信息
来源: 评论
Social media as online mentoring tools for STEM students with and without disabilities
收藏 引用
7th international conference on Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion, UAHCI 2013, Held as Part of 15th international conference on Human-Computer Interaction, HCI 2013
作者: Todd, Robert L. Georgia Institute of Technology CATEA 490 10th Street Atlanta GA 30318 United States
Considerable attention has been given to the need for educating a diverse workforce in science, technology, engineering, and mathematics (STEM). Public and regulatory institutions have stressed the importance of effor... 详细信息
来源: 评论
Human performance assessment study in aviation using functional near infrared spectroscopy
Human performance assessment study in aviation using functio...
收藏 引用
7th international conference on Foundations of Augmented Cognition, AC 2013, Held as Part of 15th international conference on Human-Computer Interaction, HCI international 2013
作者: Harrison, Joshua Izzetoglu, Kurtulus Ayaz, Hasan Willems, Ben Hah, Sehchang Woo, Hyun Shewokis, Patricia A. Bunce, Scott C. Onaral, Banu School of Biomedical Engineering Science and Health Systems Drexel University United States Atlantic City International Airport: Federal Aviation Administration W.J. Hughes Technical Center United States Nutrition Sciences Department College of Nursing and Health Professions Drexel University United States Penn State Hershey Medical Center Penn State College of Medicine United States
functional near infrared (fNIR) spectroscopy is a field-deployable optical neuroimaging technology that provides a measure of the prefrontal cortex's cerebral hemodynamics in response to the completion of sensory,... 详细信息
来源: 评论
Integrated Job Scheduling with Parallel-Batch Processing and Batch Deliveries
Integrated Job Scheduling with Parallel-Batch Processing and...
收藏 引用
7th international conference on Combinatorial Optimization and Applications, COCOA 2013
作者: Feng, Xin Zheng, Feifeng School of Management Xi’an Jiaotong University Xi’an Shaanxi710049 China Glorious Sun School of Business and Management Donghua University Shanghai200051 China State Key Lab for Manufacturing Systems Engineering Xi’an Shaanxi710049 China Ministry of Education Key Lab for Process Control and Efficiency Engineering Xi’an Shaanxi710049 China
this paper studies an integrated scheduling problem which consists of production and distribution stages. Jobs are processed on a parallel-batch machine in the production stage, and then transported to customers in th... 详细信息
来源: 评论
A bicriteria problem of synthesizing optimal object flow service policies
A bicriteria problem of synthesizing optimal object flow ser...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Kogan, Dmitriy I. Kuimova, Anastasia S. Fedosenko, Yuriy S. Moscow State University Instrument Making and Computer Science Moscow Russia Volga State Academy of Water Transport Nizhny Novgorod Russia
We propose a mathematical model of binary object flow servicing in a uniprocessor system with two refillable storage components. this model is used to solve a problem of synthesizing optimal object flow service polici... 详细信息
来源: 评论
Using Metadata to Facilitate Understanding and Certification of Assertions about the Preservation Properties of a Preservation System
Using Metadata to Facilitate Understanding and Certification...
收藏 引用
7th Research conference on Metadata and Semantics Research (MTSR)
作者: Ward, Jewel H. Xu, Hao Conway, Mike C. Russell, Terrell G. de Torcy, Antoine Univ N Carolina Chapel Hill NC USA DICE Chapel Hill NC USA Renaissance Comp Inst Chapel Hill NC USA
Developers of preservation repositories need to provide internal audit mechanisms to verify their assertions about how the recommendations outlined in the Open Archival Information System (OAIS) Reference Model are ap... 详细信息
来源: 评论