咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
A Generative Probabilistic Model for Leaning Complex Visual Stimuli  7th
A Generative Probabilistic Model for Leaning Complex Visual ...
收藏 引用
7th Annual international conference on Biologically Inspired Cognitive Architectures (BICA)
作者: Potapov, Alexey Potapova, Vita ITMO Univ Dept Comp Photon & Videomat St Petersburg Russia St Petersburg State Univ Fac Liberal Arts & Sci St Petersburg Russia
the problem of representing and learning complex visual stimuli in the context of modeling the process of conditional reflex formation is considered. the generative probabilistic framework is chosen which has been rec... 详细信息
来源: 评论
A predictor-corrector smoothing method for symmetric conic linear programming
A predictor-corrector smoothing method for symmetric conic l...
收藏 引用
2010 7th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2010
作者: Chi, Xiaoni Chen, Wenlue College of Mathematics and Information Science Huanggang Normal University Huanggang 438000 China
A predictor-corrector smoothing Newton method is presented for solving the symmetric conic linear programming (SCLP). the proposed algorithm reformulates the SCLP as a nonlinear system of equations and then applies Ne... 详细信息
来源: 评论
ILP: Approach to Energy Efficient VM migration  16
ILP: Approach to Energy Efficient VM migration
收藏 引用
7th international conference on Computing, Communication and Networking Technologies (ICCCNT)
作者: Parekh, Binal Hasan, Mosin Birla Vishvakarma Mahavidyalaya Dept Comp Engn Vallabh Vidyanagar Gujarat India
In recent years, high power consumption in the cloud data center environment become major issue. Ever increasing resource demands increase the power consumption in cloud environment. High power consumption increase th... 详细信息
来源: 评论
Lightweight GUIs for functional programming  7th
Lightweight GUIs for functional programming
收藏 引用
7th international Symposium on programming Languages - Implementations, Logics and Programs (PLILP 95)
作者: Vullinghs, T Tuijnman, D Schulte, W Universität Ulm Ulm D-89069 Germany
Graphical user interfaces (GUIs) are hard to combine with functional programming. Using a suitable combination of monads, we are able to tame the imperative aspects of graphical I/O in a straightforward and elegant wa... 详细信息
来源: 评论
Proceedings of the 7th international Working conference on Scientific and Statistical Database Management
Proceedings of the 7th International Working Conference on S...
收藏 引用
Proceedings of the 7th international Working conference on Scientific and Statistical Database Management
the proceedings contains 33 papers. Topics discussed include computer architecture, databases, interfaces (computers), computer programming languages, statistical methods, data handling, information management, natura... 详细信息
来源: 评论
DESIGN FOR AN AUTOMATIC programming SYSTEM.
DESIGN FOR AN AUTOMATIC PROGRAMMING SYSTEM.
收藏 引用
Proceedings of the 7th international Joint conference on Artificial Intelligence.
作者: Smith, Douglas R.
来源: 评论
A bi-level programming model for oilfield development and its solution algorithm based on interactive intuitionistic fuzzy method  7
A bi-level programming model for oilfield development and it...
收藏 引用
7th international conference on Information Technology and Quantitative Management (ITQM) - Information Technology and Quantitative Management Based on Artificial Intelligence
作者: Min, Chao Hu, Yanjie Hou, Chunhua He, Jing Liu, Zhibin Southwest Petr Univ Sch Sci Chengdu 610500 Peoples R China Southwest Petr Univ Inst Artificial Intelligence Chengdu 610500 Peoples R China Explorat & Dev Res Inst Shengli Oilfield Co Dongyin 257001 Peoples R China Swinburne Univ Technol Melbourne Vic Australia
A bi-level programming model is constructed for the oilfield development in this paper with the objective to maximize the total benefit. the management level of the oil company is regarded as the leader in this model,... 详细信息
来源: 评论
Designing and implementing different use cases of aspect-oriented programming with AspectJ for developing mobile applications  2018
Designing and implementing different use cases of aspect-ori...
收藏 引用
7th ACM international conference on Software Engineering and New Technologies (ICSENT)
作者: Mcheick, Hamid Godmaire, Steve 555 Boul Univ Chicoutimi PQ Canada
the separation of concerns as a conceptual paradigm, aims to manage the complexity of the software systems by dividing them into different concerns and aspects. the benefits of this paradigm such as adaptability, reus... 详细信息
来源: 评论
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... 详细信息
来源: 评论
SUPERBLOCK SCHEDULING USING GENETIC programming FOR EMBEDDED SYSTEMS
SUPERBLOCK SCHEDULING USING GENETIC PROGRAMMING FOR EMBEDDED...
收藏 引用
7th IEEE international conference on Cognitive Informatics (ICCI 2008)
作者: Mahajan, Anjali Ali, M. S. GH Raisoni Coll Engn Nagpur Maharashtra India PRM Inst Technol Badnera India
Instruction scheduling is an important issue in the compiler optimization for embedded systems. the instruction scheduling problem is mainly solved heuristically since finding an optimal solution requires significant ... 详细信息
来源: 评论