咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是401-410 订阅
排序:
Introduction of static load balancing in incremental parallel programming  7
收藏 引用
7th European conference on Parallel Computing, Euro-Par 2001
作者: Goodman, Joy O’Donnell, John Glasgow University United Kingdom
Formal program transformation in a functional language can be used to support incremental design of parallel programs. this paper illustrates the method with a detailed example: a program transformation that improves ... 详细信息
来源: 评论
CloudOpt: Multi-goal optimization of application deployments across a cloud
CloudOpt: Multi-goal optimization of application deployments...
收藏 引用
2011 7th international conference on Network and Service Management, CNSM 2011
作者: Li, Jim Z.W. Woodside, Murray Chinneck, John Litoiu, Marin Carleton University Ottawa ON Canada York University Toronto ON Canada
CloudOpt is a comprehensive approach to find optimal deployments for large service centers and clouds. It uses a combination of bin-packing, mixed integer programming and performance models to make decisions affecting... 详细信息
来源: 评论
Self-evaluation first ECTS course in a programming subject
Self-evaluation first ECTS course in a programming subject
收藏 引用
2011 7th international conference on Next Generation Web Services Practices, NWeSP 2011
作者: Gibaja, Eva Zafra, Amelia Luque, Maria Ventura, Sebastián Department of Computing and Numerical Analisys University of Ćordoba Spain
this paper presents our experience in a programming course unit during its first year of EHEA. the course unit features described are the students' profile, teaching methodology and assessment criteria. the virtua... 详细信息
来源: 评论
Development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities
Development of concurrent object-oriented logic programming ...
收藏 引用
7th international conference on Biomedical Electronics and Devices, BIODEVICES 2014 - Part of 7th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014
作者: Morozov, Alexei A. Vaish, Abhishek Polupanov, Alexander F. Antciperov, Vyacheslav E. Lychkov, Igor I. Alfimtsev, Aleksandr N. Deviatkov, Vladimir V. Kotel'nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya 11 Moscow Russia Indian Institute of Information Technology Deoghat Jhalwa Allahabad UP India Bauman Moscow State Technical University Vtoraya Baumanskaya 5 Moscow Russia Moscow State University of Psychology and Education Sretenka 29 Moscow Russia
A logic programming approach to the intelligent monitoring of anomalous human activity is considered. the main idea of this approach is in using of a first order logic for describing abstract concepts of anomalous hum... 详细信息
来源: 评论
Research on the method for interval linear bi-level programming based on a partial order on intervals
Research on the method for interval linear bi-level programm...
收藏 引用
2011 8th international conference on Fuzzy Systems and Knowledge Discovery, FSKD 2011, Jointly with the 2011 7th international conference on Natural Computation, ICNC'11
作者: Wang, Jianzhong Du, Gang School of Air Traffic Management Civil Aviation University of China Tianjin China School of Management Tianjin University Tianjin China
Satisfactory solutions of interval programming and interval linear bi-level programming are defined based on a new partial order on intervals. the optimality condition for interval programming is investigated. Based o... 详细信息
来源: 评论
Optimizing resource acquisition decisions by two-stage fuzzy programming
Optimizing resource acquisition decisions by two-stage fuzzy...
收藏 引用
7th international conference on Machine Learning and Cybernetics
作者: Sun, Gao-Ji Liu, Yan-Kui Hebei Univ Coll Math & Comp Sci Baoding 071002 Hebei Peoples R China
Based on credibility theory, this paper reports on the application of fuzzy programming with recourse to strategic planning decisions regarding resource acquisition. To solve the two-stage fuzzy programming problem, a... 详细信息
来源: 评论
Using a functional Board Game Language to Teach Middle School programming
Using a Functional Board Game Language to Teach Middle Schoo...
收藏 引用
IEEE Frontiers in Education conference (FIE)
作者: Parham-Mocello, Jennifer Erwig, Martin Niess, Margaret Nelson, Aiden Weber, Jason Berliner, Garrett Oregon State Univ Sch EECS Corvallis OR 97331 USA Oregon State Univ Coll Educ Corvallis OR USA
In this work (a full paper on an innovative practice), we report on middle school students' experiences while learning a new text-based, functional domain-specific teaching language for programming well-known, sim... 详细信息
来源: 评论
Avoidance of no-fly zone for Hypersonic Vehicle based on Adaptice Radau Pseudospectral Method  7
Avoidance of no-fly zone for Hypersonic Vehicle based on Ada...
收藏 引用
7th international conference on Intelligent Computing and Signal Processing, ICSP 2022
作者: Tian, Ruocen Zhang, Qingzhen Cui, Langfu Yu, Yue Beihang University School of Automation Science and Electrical Engineering Beijing China Beijing Aerospace Automatic Control Institute Beijing China
Aiming at the reentry trajectory planning of hypersonic vehicle, considering the constraints of no fly zone in the process, the reentry guidance scheme is designed based on the adaptive Radau pseudospectrum method;Fir... 详细信息
来源: 评论
2022 7th international conference on Mechanical Engineering and Robotics Research, ICMERR 2022
2022 7th International Conference on Mechanical Engineering ...
收藏 引用
7th international conference on Mechanical Engineering and Robotics Research, ICMERR 2022
the proceedings contain 38 papers. the topics discussed include: path tracking methods employed in lane centering systems;flow-based path planning for multiple homogenous UAVs for outdoor formation-flying;an intuitive...
来源: 评论
Optimal Capacity Configuration and Adjustment of Communication Network Devices  7
Optimal Capacity Configuration and Adjustment of Communicati...
收藏 引用
7th international conference on Intelligent Computing and Signal Processing, ICSP 2022
作者: Xu, Qingzheng Wang, Na Fu, Weinan Tian, Balin National University of Defense Technology College of Information and Communication Wuhan China Qinghai Armed Police Corps Haixi Detachment Delingha China
As an important infrastructure, communication network can support military training, combat readiness and daily life. However, at present, the effective method is lack to reasonably configure the capacity of communica... 详细信息
来源: 评论