咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2701-2710 订阅
排序:
Towards a visual notation for pipelining in a visual programming language for programming FPGAs  06
Towards a visual notation for pipelining in a visual program...
收藏 引用
CHINZ 2006: 7th international conference NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction(SIGCHI-NZ)
作者: Johnston, C.T. Bailey, D.G. Lyons, P. Institute of Information Sciences and Technology Massey University Private Bag 11222 Palmerston North New Zealand
VERTIPH is a visual language designed to aid in the development of image processing algorithms on FPGAs (Field Programmable Gate Arrays). We justify the use of a visual language for this purpose, and describe the key ... 详细信息
来源: 评论
OFF-LINE programming OF ROBOTS FOR METAL DEPOSITION
OFF-LINE PROGRAMMING OF ROBOTS FOR METAL DEPOSITION
收藏 引用
7th international conference on Trends in Welding Research
作者: Ericsson, M. Danielsson, F. Carlsson, H. Nylen, P. Univ Trollhattan Uddevalla SE-46181 Trollhattan Sweden
Metal Deposition (MD) is a rapid prototyping technique to build parts by depositing metal in a required fashion. When a complex-shaped part is to be built, a simulation tool is needed to define robot trajectories. thr... 详细信息
来源: 评论
Is external code quality correlated with programming experience or feelgood factor?
收藏 引用
7th international conference on Extreme programming and Agile Processes in Software Engineering, XP 2006
作者: Madeyski, Lech Institute of Applied Informatics Wroclaw University of Technology Wyb.Wyspianskiego 27 50370 Wroclaw Poland
this paper is inspired by an article by Müller and Padberg who study the feelgood factor and programming experience, as candidate drivers for the pair programming performance. We not only reveal a possible threat... 详细信息
来源: 评论
On the relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML)
On the relationship between the Object Constraint Language (...
收藏 引用
7th international conference on Parallel and Distrubuted Computing, Applications and Technologies
作者: Hamie, Ali Univ Brighton Sch Comp Math & Informat Sci Brighton BN2 4AT E Sussex England
the Object Constraint Language (OCL) is a formal specification language that could be used for constraining the modelling elements that occur in UML diagrams. the Java Modeling Language (JML) is a behavioural interfac... 详细信息
来源: 评论
Design and control of material flow networks for the recycling of WEEE
Design and control of material flow networks for the recycli...
收藏 引用
14th IEEE international Symposium on Electronics and the Environment (ISEE)/7th Electronics Recycling Summit
作者: Herrmann, C. Luger, T. Spengler, T. Schmid, E. Walther, G. Tech Univ Braunschweig Inst Machine Tools & Prod Technol Braunschweig Germany Tech Univ Braunschweig Dept Product & Logist Management PL Braunschweig Germany
Treatment and recycling of Waste Electrical and Electronic Equipment (WEEE) become more and more regulated by laws and directives in several countries. the necessary operations are carried out in recycling networks in... 详细信息
来源: 评论
Optical derotator for scanning vibrometer measurements on rotating objects
Optical derotator for scanning vibrometer measurements on ro...
收藏 引用
7th international conference on Vibration Measurements by Laser Techniques
作者: Boedecker, Sebastian Draebenstedt, Alexander Heller, Lars Kraft, Arne Leonhardt, Andreas Pape, Christian Ristau, Sergej Reithmeier, Eduard Rembe, Christian Polytec GmbH R&D Polytec Pl 1-7 D-76337 Waldbronn Germany Leibniz Univ Hannover Inst Mess & Regelungstech D-30167 Hannover Germany
In this paper we present an optical derotator for scanning vibrometer measurements on rotating objects. the main part of an optical derotator is a rotating prism. Several concepts are known from literature. We have ch... 详细信息
来源: 评论
the application of a setting management software in relaying protection
The application of a setting management software in relaying...
收藏 引用
7th IET international conference on Advances in Power System Control, Operation and Management, APSCOM 2006
作者: Zhang, Jinai Liu, Qianjin Lin, Zhenzhi South China University of Technology China
A set of setting management software has been developed and applied in many power companies and transformer substations in Guangdong, China. the software is projected based on practicality with the characteristic of u... 详细信息
来源: 评论
A programming model for vehicle schedule problem with accident  4
收藏 引用
7th international conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science
作者: Zeng, Chuanhua Xu, Yang Xie, Weicheng Xihua Univ Coll Automobile & Transportat Engn Chengdu 610039 Peoples R China Southwest Jiaotong Univ Intelligent Control Dev Ctr Chengdu 610031 Peoples R China Xihua Univ Coll Elect & Informat Engn Chengdu 610039 Peoples R China
A good transport schedule plan may be discomfited when a transportation accident happens. In order to get an adjusted transport schedule, we put forward a model for the vehicle routing problem with stochastic in conti... 详细信息
来源: 评论
Product-mix decision with compromise LP having fuzzy objective function coefficients (CLPFOFC)  4
收藏 引用
7th international conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science
作者: Susanto, Sani Vasant, Pandian Bhatracharya, Arijit Kahraman, Cengiz Parahyangan Catholic Univ Dept Ind Engn Fac Ind Technol Jln Ciumbuleiut 94 Bandung 40141 Indonesia Univ Teknol Petronas EEE Program Perak Malaysia Bouddhik Sampada Bhawan Patent Off Kolkata 700091 West Bengal India Tech Univ Istanbul Dept Ind Engn TR-34367 Istanbul Turkey
this paper outlines, first, a compromise linear programming (LP) having fuzzy objective function coefficients (CLPFOFC) and thereafter, a real-world industrial problem for product-mix selection involving 29 constraint... 详细信息
来源: 评论
Mining h-Dimensional Enhanced Semantic Association Rule based on immune-based gene expression programming
Mining h-Dimensional Enhanced Semantic Association Rule base...
收藏 引用
7th international conference on Web Information Systems Engineering
作者: Zeng, Tao Tang, Changjie Liu, Yintian Qiu, Jiangtao Zhu, Mingfang Dai, Shucheng Xiang, Yong Sichuan Univ Sch Comp Chengdu 610065 Peoples R China Shaanxi Univ Tech Dept Comp Sci & Tech Hanzhong 723003 Peoples R China Chengdu Electromech Coll Chengdu 610031 Peoples R China
Rule mining is very important for data mining. However, traditional association rule is relatively weak in semantic representation. To address it, the main contributions of this paper included: (1) proposing formal co... 详细信息
来源: 评论