咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 73 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 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. ...
  • 6 篇 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是271-280 订阅
排序:
A Novel Sequential Quadratic programming Based Material Allocation Optimization Algorithm  7
A Novel Sequential Quadratic Programming Based Material Allo...
收藏 引用
7th international conference on Systems and Informatics, ICSAI 2021
作者: Fan, Zhen-Hua Duan, Tong-Le Wu, Jin-Liang 54th Research Institute China Electronics Technology Group Corporation Shijiazhuang China
Material allocation is a nonlinear optimization problem. For this problem, a quadratic programming based material allocation optimization algorithm is proposed. In the proposed algorithm, firstly, the objective functi... 详细信息
来源: 评论
Static analysis usage for customizable semantic checks of C and C++ programming languages constraints
Static analysis usage for customizable semantic checks of C ...
收藏 引用
7th IEEE international conference on Software Testing, Verification and Validation Workshops, ICSTW 2014
作者: Ignatyev, Valery Institute for System Programming Russian Academy of Sciences Moscow Russia
We propose the formal model of programming language constraints, which allows specifying stylistic, syntax and contextual rules. We also give the classification of those constraints. We describe the developed program ... 详细信息
来源: 评论
A New Web-Based Cross-Energy Optimization and Simulation Environment  7
A New Web-Based Cross-Energy Optimization and Simulation Env...
收藏 引用
7th international Energy and Sustainability conference (IESC)
作者: Schwenk, Andreas Rhein, Beate Randerath, Hubert TH Koln Univ Appl Sci Fac Informat Media & Elect Engn Betzdorfer Str 2 D-50679 Cologne Germany
Making reliable and comprehensible decisions in the context of renewable energy requires complex software solutions. Based on previous work that specifies the Cross Energy Management programming Language (CEMPL), we p... 详细信息
来源: 评论
Integer programming Approach Based on Pattern for a Class of Staff Scheduling Problems  7
Integer Programming Approach Based on Pattern for a Class of...
收藏 引用
Joint 7th international conference on Soft Computing and Intelligent Systems (SCIS) and 15th international Symposium on Advanced Intelligent Systems (ISIS)
作者: Ohara, Makoto Tamaki, Hisashi Kobe Univ Grad Sch Law Nada Ku Rokko Dai 2-1 Kobe Hyogo 6578501 Japan Kobe Univ Grad Sch Syst Informat Nada Ku Kobe Hyogo 6578501 Japan
In the workplace, e.g. convenience stores, where the workers engage in the required works, it is indispensable to make such a work schedule that the workers should be appropriately assigned to the work every time peri... 详细信息
来源: 评论
Avoiding infinite recursion with stratified aspects
Avoiding infinite recursion with stratified aspects
收藏 引用
3rd international conference on Grid Service Engineering and Management, GSEM 2006 - Co-located with the 7th international conference on Net.ObjectDays 2006, NODe 2006
作者: Bodden, Eric Forster, Florian Steimann, Friedrich Sable Research Group McGill University 3480 University Street Montréal QC H3A 2A7 Canada LG Programmiersysteme Fernuniversität in Hagen Universitätsstraße 1 D-58097 Hagen Germany
Infinite recursion is a known problem of aspect-oriented programming with Aspectj: if no special precautions are taken, aspects advising aspects can easily and unintentionally advise themselves. We present a compiler ... 详细信息
来源: 评论
A projected least-squares approach to constrained nyquist filter design
A projected least-squares approach to constrained nyquist fi...
收藏 引用
7th international conference on Signal Processing
作者: Lai, XP Shandong Univ Dept Informat Sci & Control Engn Weihai 264209 Peoples R China
Least-squares design of Nyquist filter with specified passband and stopband ripples relates to a constrained FIR filter design problem with constraints in time and frequency-domain. this paper deals with these constra... 详细信息
来源: 评论
Quadratic programming Approach for Security Constrained Optimal Power Flow  7
Quadratic Programming Approach for Security Constrained Opti...
收藏 引用
7th international conference on Information Technology and Electrical Engineering (ICITEE)
作者: Wibowo, Rony Seto Maulana, Rendhi Taradini, Annisaa Pamuji, Feby A. Soeprijanto, Adi Penangsang, Ontoseno Inst Teknol Sepuluh Nopember Surabaya Indonesia
this paper proposes an approach for optimal power flow considering several contingency states. Initially, contingency selection is conducted to measure how much a specific contingency may affect the operation cost. th... 详细信息
来源: 评论
Analysis of Bank Branch Performance Using Goal programming  7
Analysis of Bank Branch Performance Using Goal Programming
收藏 引用
IEEE 7th international conference on Industrial Engineering and Applications (ICIEA)
作者: Robielos, Rex Aurelius C. Tejada, Elaiza Ann D. Mapua Univ Sch Ind Engn & Engn Management Manila Philippines Mapua Univ Sch Informat Technol Manila Philippines
this study aims to use alternative data on measuring bank branch performance within the NCR in the Philippines. It is also aimed to identify optimal solution in maximizing the bank branches performance as a community ... 详细信息
来源: 评论
An Adaptive Action Model for Legged Navigation Planning
An Adaptive Action Model for Legged Navigation Planning
收藏 引用
7th IEEE/RAS international conference on Humanoid Robots
作者: Chestnutt, Joel Nishiwaki, Koichi Kuffner, James Kagami, Satoshi Carnegie Mellon Univ Inst Robot 5000 Forbes Ave Pittsburgh PA 15213 USA AIST Waterfront 3F Digital Human Res Ctr Tokyo 135-0064 Japan
Navigation planning for legged robots via foot placement planning has enabled several humanoids to traverse interesting environments autonomously. In this paper we explore methods of adapting foot placement actions to... 详细信息
来源: 评论
What is programming? Putting all together, Part II -the Cognitive Skills associated  7
What is Programming? Putting all together, Part II -The Cogn...
收藏 引用
7th international conference in Software Engineering Research and Innovation (CONISOFT)
作者: Juarez-Ramirez, Reyes Jimenez, Samantha Tapia-Ibarra, Veronica Univ Autonoma Baja California Tijuana BC Mexico Inst Tecnol Leon Guanajuato Mexico
programming demands a high level of intellectual work and also cognitive skills of high level order. To learn programming is not an easy task, neither to teach nor train those skills. In this paper we present, as a se... 详细信息
来源: 评论