咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,593 篇 电子文献
  • 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是401-410 订阅
排序:
Goal-Directed Equation Solving  7
Goal-Directed Equation Solving
收藏 引用
7th National conference on Artificial Intelligence, AAAI 1988
作者: Dershowitz, Nachum Sivakumar, G. Department of Computer Science University of Illinois at Urbana-Champaign 1304 W. Springfield Ave UrbanaIL61801 United States
Solving equations in equational Horn-clause theories is a programming paradigm that combines logic programming and functional programming in a clean manner. Languages like EQLOG, SLOG and RITE, express programs as rew... 详细信息
来源: 评论
Energy Loss Reduction and Load Balancing through Network Reconfiguration in Practical LV Distribution Feeder using GAMS  7
Energy Loss Reduction and Load Balancing through Network Rec...
收藏 引用
7th international conference on Power Systems (ICPS)
作者: Muruganantham, B. Selvam, M. Muthamizh Gnanadass, R. Padhy, N. P. Pondicherry Engn Coll Dept Elect & Elect Engn Pondicherry 605014 India Indian Inst Technol Dept Elect Engn Roorkee 247667 Uttrakand India
the intuition of the power companies is to supply quality power to the consumers with reduced line losses. Reduction of transmission and Distribution line losses is a great challenge for most of the developing countri... 详细信息
来源: 评论
Credit Decision System for Micro, Small and Medium Enterprises (MSMEs) Based on Neural Network Algorithm and Nonlinear programming  7
Credit Decision System for Micro, Small and Medium Enterpris...
收藏 引用
7th international conference on Intelligent Computing and Signal Processing, ICSP 2022
作者: Zhang, Lijiang Wei, Mian Yi, Zhenxiang Southeast University School of Electronic Science & Engineering Nanjing China Nanjing Audit University School of Government Auditing Nanjing China
Micro, Small and Medium Enterprises (MSMEs) play an important role in economic development However, due to the prevalence of information asymmetry, MSMEs are hard to borrow money and banks have difficulties in accurat... 详细信息
来源: 评论
Effects of CHE and CHISEL programming operation on the characteristics of SONOS memory
Effects of CHE and CHISEL programming operation on the chara...
收藏 引用
7th international conference on Solid-State and Integrated Circuits Technology
作者: Sun, L Pan, L Zeng, Y Chen, J Pang, HQ Li, XY Zhu, J Tsing Hua Univ Inst Microelect Beijing 100084 Peoples R China
this paper presents the characteristics of programmed SONOS memory. the CHE and CHISEL programming mechanisms are analyzed and the effects C of programming bias to the program speed and saturated. V-T under different ... 详细信息
来源: 评论
Gradient-Based Artificial Bee Colony for Damping Controllers Design
Gradient-Based Artificial Bee Colony for Damping Controllers...
收藏 引用
IEEE 7th international Power Engineering and Optimization conference (PEOCO)
作者: Eslami, Mahdiyeh Shareef, Hussain Mohamed, Azah Khajehzadeh, Mohammad Natl Univ Malaysia Dept Elect Elect & Syst Engn Bangi 43600 Malaysia Islamic Azad Univ Dept Civil Engn Anar Branch Tehran Iran
A novel optimization algorithm by combining the artificial bee colony (ABC) algorithm and the sequential quadratic programming (SQP), that is the gradient based ABC algorithm, is presented to resolve the problems of g... 详细信息
来源: 评论
Cartesian genetic programming in a changing environment  7
Cartesian genetic programming in a changing environment
收藏 引用
7th international Joint conference on Computational Intelligence, IJCCI 2015
作者: Slany, Karel Department of Computer Systems Faculty of Information Technology Brno University of Technology Božetěchova 2 Brno612 66 Czech Republic
Evolutionary algorithm are prevalently being used in static environments. In a dynamically changing environment an evolutionary algorithm must be also able to cope with the changes of the environment. this paper descr... 详细信息
来源: 评论
TOUR thROUGH CEDAR.
TOUR THROUGH CEDAR.
收藏 引用
Proceedings - 7th international conference on Software Engineering.
作者: Teitelman, Warren
来源: 评论
Implementation of the parallel superposition in bulk-synchronous parallel ML
Implementation of the parallel superposition in bulk-synchro...
收藏 引用
7th international conference on Computational Science (ICCS 2007)
作者: Gava, Frederic Univ Paris 10 Lab Algorithms Complex & Log Paris France
Bulk-Synchronous Parallel ML (BSML) is a functional data-parallel language to code Bulk-Synchronous Parallel (BSP) algorithms. It allows an estimation of execution time, avoids deadlocks and non-determinism. this pape... 详细信息
来源: 评论
FARM 2019 - Proceedings of the 7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design, co-located with ICFP 2019
FARM 2019 - Proceedings of the 7th ACM SIGPLAN International...
收藏 引用
7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design, FARM 2019, co-located with ICFP 2019
the proceedings contain 12 papers. the topics discussed include: music as language: putting probabilistic temporal graph grammars to good use;a functional model of jazz improvisation;fun with interfaces (SVG interface...
来源: 评论
the Effects of Providing a Space for Students to Progress with Self-Directed Free Study  7
The Effects of Providing a Space for Students to Progress wi...
收藏 引用
7th IEEE international conference on Engineering Education (ICEED)
作者: Fujisawa, Takeshi Bailey, Matthew Kanazawa Tech Coll Global Informat Technol Dept Kanazawa Ishikawa Japan
In a class focused on practical programming, it is not uncommon to find a large difference in student ability levels. When such a gap in proficiency exists, students with a high level of understanding tend to find the... 详细信息
来源: 评论