咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是2161-2170 订阅
排序:
Optimizing portfolio of SET stocks using convex quadratic programming
Optimizing portfolio of SET stocks using convex quadratic pr...
收藏 引用
7th Annual international conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology, ECTI-CON 2010
作者: Chuenchomphu, Neeranat Nopparat, Chayanuch Srijuntongsiri, Gun School of Information Computer and Communication Technology Sirindhorn International Institute of Technology Thammasat University Pathumthani 12000 Thailand
this article considers the portfolio selection problem of 37 leading stocks in the Stock Exchange of thailand. We use the "expected returns-variance of returns" rule proposed by Markowitz [1], which formulat... 详细信息
来源: 评论
Quality Analysis of Object Oriented Cohesion Metrics
Quality Analysis of Object Oriented Cohesion Metrics
收藏 引用
7th international conference on the Quality of Information and Communications Technology (QUATIC)
作者: Joshi, Padmaja Joshi, Rushikesh K. Indian Inst Technol Comp Sci & Engn Dept Bombay Maharashtra India
Numerous class cohesion metrics can be found in the literature. However, they end up capturing different aspects of cohesion. Which metric is best suited for a given situation is always a critical question. this work ... 详细信息
来源: 评论
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint programming Approach
Job Shop Scheduling with Setup Times and Maximal Time-Lags: ...
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Grimes, Diarmuid Hebrard, Emmanuel Cork Constraint Computat Ctr Cork Ireland
In previous work we introduced a simple constraint model that combined generic AI strategies and techniques (weighted degree heuristic, geometric restarts, nogood learning from restarts) with naive propagation for job... 详细信息
来源: 评论
Protecting the Tangible and Intangible Heritage of Rani ki Vav: a Unique Subterranean Step Well in Gujarat
Protecting the Tangible and Intangible Heritage of Rani ki V...
收藏 引用
7th international conference on Structural Analysis of Historic Constructions
作者: Priya, T. Lakshmi Sect D-7 Flat 7177 New Delhi India
the stepwells define the subterranean architecture of Western India. the term stepwell indicates the basic architectural features of a monumental well comprising of a long corridor of steps leading to five or six stor... 详细信息
来源: 评论
Strong Combination of Ant Colony Optimization with Constraint programming Optimization
Strong Combination of Ant Colony Optimization with Constrain...
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Khichane, Madjid Albert, Patrick Solnon, Christine IBM Corp 9 Rue Verdun F-94253 Gentilly France Univ Lyon LIRIS CNRS UMR5205 Lyon France
We introduce an approach which combines AGO (Ant Colony Optimization) and IBM ILOG CP Optimizer for solving COPs (Combinatorial Optimization Problems). the problem is modeled using the CP Optimizer modeling API. then,... 详细信息
来源: 评论
CLA 2010 - Proceedings of the 7th international conference on Concept Lattices and their Applications
CLA 2010 - Proceedings of the 7th International Conference o...
收藏 引用
7th international conference on Concept Lattices and their Applications, CLA 2010
the proceedings contain 31 papers. the topics discussed include: L-fuzzy concepts and linguistic variables in knowledge acquisition processes;operators and spaces associated to matrices with grades and their decomposi...
来源: 评论
On the Design of the Next Generation Access Networks
On the Design of the Next Generation Access Networks
收藏 引用
7th international conference Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems
作者: Gualandi, Stefano Malucelli, Federico Sozzi, Domenico L. Politecn Milan Dipartimento Elettron & Informaz Milan Italy
We present a class of problems that arise in the design of the Next Generation Access Networks. the main features of these networks are: to be based on fiber links of relatively long length with respect to traditional... 详细信息
来源: 评论
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts
收藏 引用
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
Gomory's Mixed-Integer Cuts (GMICs) are widely used in modern branch-and-cut codes for the solution of Mixed-Integer Programs. Typically, GMICs are iteratively generated from the optimal basis of the current Linea... 详细信息
来源: 评论
Ubiquitous Intelligence and Computing - 7th international conference, UIC 2010, Proceedings
Ubiquitous Intelligence and Computing - 7th International Co...
收藏 引用
7th international conference on Ubiquitous Intelligence and Computing, UIC 2010
the proceedings contain 48 papers. the topics discussed include: programming pervasive spaces;the operating system for the computer of the 21st century;extracting social and community intelligence from digital footpri...
来源: 评论
Preventing SLA Violations in Service Compositions Using Aspect-Based Fragment Substitution
Preventing SLA Violations in Service Compositions Using Aspe...
收藏 引用
8th international conference on Service Oriented Computing
作者: Leitner, Philipp Wetzstein, Branimir Karastoyanova, Dimka Hummer, Waldemar Dustdar, Schahram Leymann, Frank Vienna Univ Technol Distributed Syst Grp Argentinierstr 8 A-1040 Vienna Austria Univ Stuttgart Inst Architecture Applicat Syst D-70569 Stuttgart Germany
In this paper we show how the application of the aspect-oriented programming paradigm to runtime adaptation of service compositions can be used to prevent SLA violations. Adaptations are triggered by predicted violati... 详细信息
来源: 评论