咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 119 篇 integer programm...
  • 116 篇 optimization
  • 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 篇 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. ...
  • 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,494 篇 英文
  • 82 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3605 条 记 录,以下是1781-1790 订阅
排序:
Multi-GPU implementation of the lattice Boltzmann method
收藏 引用
COMPUTERS & MAthEMATICS WIth APPLICATIONS 2013年 第2期65卷 252-261页
作者: Obrecht, Christian Kuznik, Frederic Tourancheau, Bernard Roux, Jean-Jacques Univ Lyon Ctr Therm Lyon UMR5008 CNRSINSA Lyon Lyon France UCB Lyon 1 Lab Informat Parallelisme UMR 5668 CNRSENS LyonINRIA Lyon France
the lattice Boltzmann method (LBM) is an increasingly popular approach for solving fluid flows in a wide range of applications. the LBM yields regular, data-parallel computations;hence, it is especially well fitted to... 详细信息
来源: 评论
Assessment of the source code static analysis effectiveness for security requirements implementation into software developing process
Assessment of the source code static analysis effectiveness ...
收藏 引用
IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications
作者: Oksana V. Pomorova Dmytro O. Ivanchyshyn System Programming Department Khmelnytskyi National University Khmelnitsky Ukraine
the article focuses on the problem of software security assurance. the place of source code security analysis in the software lifecycle was considered. Results of common tools for C and C++ source code static analysis... 详细信息
来源: 评论
Gradient-Based Artificial Bee Colony for Damping Controllers Design
Gradient-Based Artificial Bee Colony for Damping Controllers...
收藏 引用
IEEE international Power Engineering and Optimization conference
作者: Mahdiyeh Eslami Hussain Shareef Azah Mohamed Mohammad Khajehzadeh Department of Electrical Electronic and Systems Engineering National University of Malaysia Department of Civil Engineering Anar Branch Islamic Azad University
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... 详细信息
来源: 评论
MOPSO Approach for FACTS Device Installation in Power System
MOPSO Approach for FACTS Device Installation in Power System
收藏 引用
IEEE international Power Engineering and Optimization conference
作者: S. A. Jumaat I. Musirin M. M. Othman H. Mokhlis Fac. of Electrical and Electronics Eng. Universiti Tun Hussein Onn Malaysia Faculty of Electrical Engineering Universiti Teknologi MARA Malaysia Department of Electrical Engineering Faculty of Eng. University of Malaya
this paper presents an approach to sigma multi-objective optimization particle swarm (σ-MOPSO) technique for optimal allocation of Flexible AC Transmission System (FACTS) devices. For this study, Static Var Compensat... 详细信息
来源: 评论
A contribution to the reentrant flow-shop scheduling problem
A contribution to the reentrant flow-shop scheduling problem
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Hinze, Richard Sackmann, Dirk Buscher, Udo Aust, Gerhard TU Dresden 01069 Dresden Germany Merseburg University of Applied Sciences 06217 Merseburg Germany
this paper considers a flow-shop scheduling problem which is characterized by reentrants and aims on the minimization of makespan. Reentrants are events of a repeated processing of a specific job on a machine, which c... 详细信息
来源: 评论
Task scheduling to extend platform useful life using prognostics
Task scheduling to extend platform useful life using prognos...
收藏 引用
7th IFAC conference on Manufacturing Modelling, Management, and Control, MIM 2013
作者: Nicod, Jean-Marc Obrecht, Léo Varnier, Christophe FEMTO-ST Institute CNRS/UFC ENSMM/UTBM BESANCON France
In this paper, we aim at maximizing the useful life of a heterogeneous distributed platform which has to deliver a given production. the machines perform independent tasks and may be configured with different profiles... 详细信息
来源: 评论
Loss Minimization of Distribution System with Photovoltaic Injection Using Swarm Evolutionary programming
Loss Minimization of Distribution System with Photovoltaic I...
收藏 引用
IEEE international Power Engineering and Optimization conference
作者: N. Ameir Ahmad Ismail Musirin S. I. Sulaiman Centre for Electrical Power Engineering Universiti Teknologi Mara
this paper presents the study of an optimization technique that is developed to locate the optimal location and the size (power rating) of Distributed Generation (DG) for its installation to a distribution system. the... 详细信息
来源: 评论
COTS embedded Internet platform and Blimp UAV for educational purposes
COTS embedded Internet platform and Blimp UAV for educationa...
收藏 引用
international conference on Signal Processing and Communication Systems, ICSPCS
作者: Matthew D'Souza Adam Postula Konstanty Bialkowski Mark Schulz School of Information Technology and Electrical Engineering The University of Queensland. Brisbane Australia Centre for Education Innovation and Technology The University of Queensland Brisbane Australia
Easy, available and inexpensive modules like digital radio or modems and sensors allow the practical understanding of communication technology. We present a Commercial off the Shelf (COTS) Internet platform for teachi... 详细信息
来源: 评论
Multi-GPU implementation of the lattice Boltzmann method
Multi-GPU implementation of the lattice Boltzmann method
收藏 引用
7th international conference for Mesoscopic Methods in Engineering and Science (ICMMES)
作者: Obrecht, Christian Kuznik, Frederic Tourancheau, Bernard Roux, Jean-Jacques Univ Lyon Ctr Therm Lyon UMR5008 CNRSINSA Lyon Lyon France UCB Lyon 1 Lab Informat Parallelisme UMR 5668 CNRSENS LyonINRIA Lyon France
the lattice Boltzmann method (LBM) is an increasingly popular approach for solving fluid flows in a wide range of applications. the LBM yields regular, data-parallel computations;hence, it is especially well fitted to... 详细信息
来源: 评论
PSS-LL Based Power System Stability Enhancement Using IPSO Approach
PSS-LL Based Power System Stability Enhancement Using IPSO A...
收藏 引用
IEEE international Power Engineering and Optimization conference
作者: N. A. Mohamed Kamari I. Musirin M. M. Othman Z. A. Hamid Universiti Teknologi Mara
this paper introduced a new swarm based optimization technique for tuning Power System Stabilizer (PSS) that attached to a synchronous generator in a single machine infinite bus (SMIB) system. PSS which is installed w... 详细信息
来源: 评论