咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1931-1940 订阅
排序:
Elastic Properties of Spark Plasma Sintered (SPS) ZrB2/SiC-Sm2Zr2O7 Composites
Elastic Properties of Spark Plasma Sintered (SPS) ZrB<sub>2<...
收藏 引用
7th China international conference on High-Performance Ceramics (CICC 7)
作者: Yan, Zhenyu Zhu, Shizhen Xu, Qiang Liu, Ying Beijing Inst Technol Beijing 100081 Peoples R China Natl Key Lab Sci & Technol Mat Under Shock & Impact Beijing Peoples R China
Due to extremely low oxygen transportation at elevated temperature, samarium zirconate (Sm2Zr2O7) with pyrochlore structure was introduced into ZrB2-based functional gradient composites as oxygen insulation. the elast... 详细信息
来源: 评论
Shutdown reduction methods for compressors in condensate stabilization units
Shutdown reduction methods for compressors in condensate sta...
收藏 引用
IEEE international conference on System of Systems Engineering (SoSE)
作者: Elaheh Esfandiari Jahromi Leili Esmaeilani Salahedin Sadeghifard Alireza niknam Instrument Engineering Department Boushehr IRAN Instrumentation Department Boushehr IRAN
In this paper, the procedure of determination, analysis and rectification of repeatable trips causes of off-gas compressors located in condensate stabilization unit of South Pars Gas Complex 2nd refinery, that have in... 详细信息
来源: 评论
A requirement change management framework for distributed software environment
A requirement change management framework for distributed so...
收藏 引用
international conference on Computer Sciences and Convergence Information Technology (ICCIT)
作者: Yasir Hafeez Muhammad Riaz Sohail Asghar Hummera Naz Syed Mushhad Mustuzhar Gilani Asma Batool Mehmood Ahmed M. Shabbir Hassan Department of Computer Science & Software Engineering International Islamic University Islamabad Pakistan University Institute of Information Technology PMAS-Arid Agriculture University Rawalpindi Pakistan
Objective: In this research, we present a framework which has been introduced for improving the efficiency of requirement change management in GSD environment. Method: In this research, we have used structured, semi s... 详细信息
来源: 评论
Beyond Watson and Crick: programming DNA self-assembly for nanofabrication
Beyond Watson and Crick: Programming DNA self-assembly for n...
收藏 引用
IEEE international conference on Nano/Micro Engineered and Molecular Systems (NEMS)
作者: Paul W.K. Rothemund Department of Bioengineering California Institute of Technology USA
the specificity of Watson-Crick base-pairing allows great control over the design and synthesis of artificial DNA nanostructures. Periodic one-dimensional (1D) tubes, 2D lattices, and 3D crystals are easily created fr... 详细信息
来源: 评论
Tabu search based implementation of object tracking using joint color texture histogram
Tabu search based implementation of object tracking using jo...
收藏 引用
international conference on Industrial and Information Systems, ICIIS
作者: Bharath Kumar Koora Nitin R. Satpute Akshay Adiga EEE Department Birla Institute of Technology and Science Pilani Rajasthan India
Object tracking has many applications like security and surveillance, traffic control and many others. In this Paper new methodology has been proposed which uses tabu search algorithm along with joint color texture hi... 详细信息
来源: 评论
Fast Algorithms of Anisotropic Diffusion Filters for Parallel Processors
Fast Algorithms of Anisotropic Diffusion Filters for Paralle...
收藏 引用
international conference on Computing and Convergence Technology
作者: Hyun Kyu Kim Hyo Jong Lee Division of Computer Science and Engineering Chonbuk National University Jeonju Korea Division of Computer Science and Engineering Center for Advanced Image & Information Technology Chonbuk National University Jeonju Korea
A noise in digital image degrades the performance of image processing. these images are most often used in medical field for diagnosis and treatment. thus, there is a huge demand for high quality images from the medic... 详细信息
来源: 评论
Self-adaptive genetically programmed differential evolution
Self-adaptive genetically programmed differential evolution
收藏 引用
international conference on Electrical and Computer Engineering (ICECE)
作者: Pravakar Roy Md. Jahidul Islam Md. Monirul Islam Department of Computer Science and Engineering Bangladesh University of Engineering and Technology Dhaka Bangladesh
Differential evolution (DE) is a simple and efficient technique for real parameter optimization over continuous spaces. Its success is highly dependent on the choice of correct trial vector generation strategies and c... 详细信息
来源: 评论
Detection of multi-clustered genes and community structure for the plant pathogenic fungus Fusarium graminearum
Detection of multi-clustered genes and community structure f...
收藏 引用
10th international conference on Computational Methods in Systems Biology, CMSB 2012
作者: Bennett, Laura Lysenko, Artem Papageorgiou, Lazaros G. Urban, Martin Hammond-Kosack, Kim Rawlings, Chris Saqi, Mansoor Tsoka, Sophia Department of Informatics School of Natural and Mathematical Sciences King's College London Strand London WC2R 2LS United Kingdom Department of Computational and Systems Biology Rothamsted Research Harpenden Herts AL5 2JQ United Kingdom Centre for Process Systems Engineering Department of Chemical Engineering University College London Torrington Place London WC1E 7JE United Kingdom Department of Plant Biology and Crop Sciences Rothamsted Research Harpenden Herts AL5 2JQ United Kingdom
Exploring the community structure of biological networks can reveal the roles of individual genes in the context of the entire biological system, so as to understand the underlying mechanism of interaction. In this st... 详细信息
来源: 评论
Power quality and reliability improvement of distribution system by optimal number, location and size of DGs using Particle Swarm Optimization
Power quality and reliability improvement of distribution sy...
收藏 引用
international conference on Industrial and Information Systems, ICIIS
作者: S. Chandrashekhar Reddy P. V. N. Prasad A. Jaya Laxmi Department of EEE Christu Jyoti Institute of Technology and Sciences Jangaon Andhra Pradesh India Department of EE University College of Engineering Osmania University Hyderabad India Department of EEE J.N.T.U.H College of Engineering J.N.T. University Hyderabad India
Distributed Generators (DGs) are now commonly used in distribution systems to reduce the power disruption in the power system network. Due to the installation of DGs in the system, the total power loss can be reduced ... 详细信息
来源: 评论
Reactive power and voltage control in grid connected wind farms
Reactive power and voltage control in grid connected wind fa...
收藏 引用
international conference on Industrial and Information Systems, ICIIS
作者: Pooja Sharma D. thukaram Electrical Department Indian Institute of Science Bangalore India
Wind power, as an alternative to fossil fuels, is plentiful, renewable, widely distributed, clean, produces no greenhouse gas emissions during operation, and uses little land. In operation, the overall cost per unit o... 详细信息
来源: 评论