咨询与建议

限定检索结果

文献类型

  • 3,410 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,406 篇 工学
    • 1,903 篇 计算机科学与技术...
    • 1,157 篇 软件工程
    • 418 篇 电气工程
    • 272 篇 控制科学与工程
    • 200 篇 信息与通信工程
    • 129 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 57 篇 交通运输工程
    • 56 篇 材料科学与工程(可...
    • 51 篇 生物工程
    • 46 篇 化学工程与技术
    • 42 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 676 篇 理学
    • 485 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 51 篇 化学
  • 406 篇 管理学
    • 340 篇 管理科学与工程(可...
    • 149 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 108 篇 教育学
    • 105 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 36 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 314 篇 linear programmi...
  • 252 篇 programming
  • 188 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 optimization
  • 119 篇 integer programm...
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 computer program...
  • 49 篇 mathematical mod...
  • 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. ...
  • 7 篇 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,401 篇 英文
  • 190 篇 其他
  • 28 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3619 条 记 录,以下是2181-2190 订阅
排序:
An In-Out Approach to Disjunctive Optimization
An In-Out Approach to Disjunctive Optimization
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Fischetti, Matteo Salvagnin, Domenico Univ Padua DEI I-35100 Padua Italy Univ Padua dmpa Padua Italy
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). this is obtained by embedding a cut-se... 详细信息
来源: 评论
Bonding in the "111" Type Ferropnictide Superconductor LiFeAs
收藏 引用
JOURNAL OF SUPERCONDUCTIVITY AND NOVEL MAGNETISM 2010年 第5期23卷 579-581页
作者: Li, Zhi Tse, J. S. Jin, C. Q. Chinese Acad Sci Inst Phys Beijing 100190 Peoples R China Univ Saskatchewan Dept Phys & Engn Phys Saskatoon SK S7N 5E2 Canada
Recently the electronic structure and magnetism of the "111" type LiFeAs superconductor has been investigated by first principles calculations based on the density functional theory. It is concluded that the... 详细信息
来源: 评论
Helping Biologists Effectively Build Workflows, without programming
Helping Biologists Effectively Build Workflows, without Prog...
收藏 引用
7th international conference on Data Integration in the Life Sciences
作者: Gordon, Paul M. K. Barker, Ken Sensen, Christoph W. Univ Calgary Dept Comp Sci 2500 Univ Dr NW Calgary AB T2N 1N4 Canada Univ Calgary Dept Biochem & Mol Biol Calgary AB T2N 4N1 Canada
Seahawk is a browser for Moby Web services, which are online tools using a shared semantic registry and data formats. To make a wider array of tools available within Seahawk, the Daggoo system helps users adapt forms ... 详细信息
来源: 评论
A Constraint Integer programming Approach for Resource-Constrained Project Scheduling
A Constraint Integer Programming Approach for Resource-Const...
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Berthold, Timo Heinz, Stefan Luebbecke, Marco E. Moehring, Rolf H. Schulz, Jens Zuse Inst Berlin Takustr 7 D-14195 Berlin Germany Tech Univ Darmstadt Fachbereich Math D-64293 Darmstadt Germany Tech Univ Berlin Math Inst D-10623 Berlin Germany
We propose a hybrid approach for solving the resource-constrained project scheduling problem which is an extremely hard to solve combinatorial optimization problem of practical relevance. Jobs have to be scheduled on ... 详细信息
来源: 评论
Memoization of methods using software transactional memory to track internal state dependencies  10
Memoization of methods using software transactional memory t...
收藏 引用
Proceedings of the 8th international conference on the Principles and Practice of programming in Java
作者: Rito, Hugo Cachopo, João INESC-ID Lisboa Technical University of Lisbon Portugal
Memoization is a well-known technique for improving the performance of a program, but it has been confined mostly to functional programming, where no mutable state or side-effects exist. Most object-oriented programs,... 详细信息
来源: 评论
Basic VHDL tests conforming to IEC 61508
Basic VHDL tests conforming to IEC 61508
收藏 引用
international conference on Networked Sensing Systems
作者: Hayek, Ali Schreiber, Michael Borcsok, Josef Computer Architecture and System Programming University of Kassel 34121 Kassel Germany
the development of embedded sensing applications based on integrated circuits leads to ever-growing complexity of VHDL-code and requires sophisticated testability to achieve high diagnostic coverage. the norm IEC 6150... 详细信息
来源: 评论
Multi-level topology-aware and multi-level parallelism on grid computing environments: A comparison of global arrays and OpenMP implementations
Multi-level topology-aware and multi-level parallelism on gr...
收藏 引用
7th Annual international conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON 2010
作者: Sirisup, Sirod U-Ruekolan, Suriya 112 Thailand Science Park Pahon Yothin Rd. Klong 1 Klong Luang Pathumthani 12120 Thailand
the Global Arrays toolkit is a library that allows programmers to write parallel programs that use large arrays distributed across processing nodes through the Aggregate Remote Memory Copy Interface (ARMCI). OpenMP is... 详细信息
来源: 评论
Security-constrained unit commitment using mixed-integer programming with Benders Decomposition
Security-constrained unit commitment using mixed-integer pro...
收藏 引用
7th Annual international conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON 2010
作者: Laothumyingyong, Nalan Damrongkulkamjorn, Parnjit Department of Electrical Engineering Faculty of Engineering Kasetsart University Bangkok Thailand
the objective of this paper is to determine the 24-hour unit commitment with minimum total generation cost subjecting to power flow constraints in both normal operating state and contingency state, which is considered... 详细信息
来源: 评论
Hybrid Parallel programming with MPI and Unified Parallel C  10
Hybrid Parallel Programming with MPI and Unified Parallel C
收藏 引用
7th ACM international conference on Computing Frontiers (CF)
作者: Dinan, James Balaji, Pavan Lusk, Ewing Sadayappan, P. thakur, Rajeev Ohio State Univ Dept Comp Sci & Engn 2015 Neil Ave Columbus OH 43210 USA Argonne Natl Lab Div Math & Comp Sci Argonne IL 60439 USA
the Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited by the amount of local memory within a... 详细信息
来源: 评论
Studies of productivity growth Index on the China's Yangtze River Delta cities
Studies of productivity growth Index on the China's Yangtze ...
收藏 引用
international conference on Services Systems and Services Management, ICSSSM
作者: Lan Xu Business School East China University of Science and Technology Shanghai China
this paper sets up a Malmquist Productivity Index system of economic growth to study the comprehensive capacities and important economic indicators for the 16 cities in the Yangtze River Delta Region. In the progress,... 详细信息
来源: 评论