咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是361-370 订阅
排序:
RNA Secondary Structure Comparison Based on Dynamic programming
RNA Secondary Structure Comparison Based on Dynamic Programm...
收藏 引用
7th international conference on Computing and Convergence Technology (ICCCT)
作者: Zhang, Hao Li, Zhi Liu, Yuanning Li, Yanpu Duan, Yunna Xu, Dong Jilin Univ Coll Comp Sci & Technol Changchun Peoples R China Univ Missouri Life Sci Ctr Dept Comp Sci Columbia MO 65211 USA Univ Sci & Technol Coll Appl Tech Changchun Peoples R China
Traditional description methods of RNA secondary structure could lead higher complexity of time in RNA structure comparison. this article offers a vector method of describing RNA secondary structure. then, we compare ... 详细信息
来源: 评论
Proceedings of 7th international conference on APL, APL 1975'
Proceedings of 7th International Conference on APL, APL 1975...
收藏 引用
7th international conference on APL, APL 1975
the proceedings contain 56 papers. the topics discussed include: what�s wrong with APL?;SIAL/74 - an APLSV analog-logical block-diagram simulator;a formal definition of APL statement syntax;a portable APL translator;l...
来源: 评论
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... 详细信息
来源: 评论
Optimal design of experiments via linear programming
收藏 引用
STATISTICAL PAPERS 2016年 第4期57卷 893-910页
作者: Burclova, Katarina Pazman, Andrej Comenius Univ Fac Math Phys & Informat Bratislava 84248 Slovakia
We investigate the possibility of extending some results of Pazman and Pronzato (Ann Stat 42(4):1426-1451, 2014) to a larger set of optimality criteria. Namely, the problems of computing D-, A-, and -optimal designs i... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Electric vehicle charging load prediction considering the orderly charging
收藏 引用
ENERGY REPORTS 2022年 8卷 124-134页
作者: Tian, Jiang Lv, Yang Zhao, Qi Gong, Yucheng Li, Chun Ding, Hongen Yu, Yu State Grid Jiangsu Elect Power Co Ltd Suzhou Power Supply Branch Suzhou 215004 Peoples R China
the prediction of the orderly charging load of electric vehicles is of great significance for planning of charging facilities, analysis of bearing capacity of the distribution network and later rectification and recon... 详细信息
来源: 评论
Software and Data Technologies: 7th international conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers  1
收藏 引用
丛书名: Communications in Computer and Information Science 411
2013年
作者: Daniela Nicklas, Nils Koppaetzky (auth.), José Cordeiro, Slimane Hammoudi, Marten van Sinderen (eds.)
this book constitutes the thoroughly refereed proceedings of the 7th international conference on Software and Data Technologies, ICSOFT 2012, held in Rome, Italy, in July 2012. the 14 revised full papers presented wer...
来源: 评论
A calculus of signals
A calculus of signals
收藏 引用
7th IEEE international conference on Electronics, Circuits and Systems
作者: Ratzko, C Sanders, JW Univ Oxford Programming Res Grp OUCL Oxford OX1 3QD England
An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to traditional differential calculus is indicated;it is applied to the analysis of circuits with feedback;and at yield... 详细信息
来源: 评论
Research on edge detection method of infrared image based-on dynamic programming theory
Research on edge detection method of infrared image based-on...
收藏 引用
7th international conference on Signal Processing
作者: Yan, XK Shi, CC Zhao, BJ He, PK Beijing Inst Technol Dept Elect Engn Beijing 100081 Peoples R China
In this paper, a dynamic programming (DR) method, concerning the edge detection of infrared (IR) target U from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory... 详细信息
来源: 评论
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...
来源: 评论