咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 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...
  • 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,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1571-1580 订阅
排序:
Parameter synthesis for polynomial biological models
Parameter synthesis for polynomial biological models
收藏 引用
17th international conference on Hybrid Systems: Computation and Control, HSCC 2014, Part of the 7th Cyber Physical Systems, CPS Week 2014
作者: Dreossi, Tommaso Dang, thao University of Udine Italy VERIMAG University Joseph Fourier 2 avenue de Vignate 38610 Gieres France CNRS VERIMAG 2 avenue de Vignate 38610 Gieres France
Parameter determination is an important task in the development of biological models. In this paper we consider parametric polynomial dynamical systems and address the following parameter synthesis problem: find a set... 详细信息
来源: 评论
Population ageing and ICT: An exploratory review of technology innovation trough digital applications
Population ageing and ICT: An exploratory review of technolo...
收藏 引用
7th international conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2014 - Part of 7th international Joint conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2014
作者: Solé-Casals, Jordi Vancea, Mihaela March, Jaume Miquel Villà-Freixa, Jordi Digital Technologies Group University of Vic Sagrada Família 7 08500 Vic Spain
the multidimensional process of physical, psychological, and social change produced by population ageing affects not only the quality of life of elderly people but also of our societies. Some dimensions of population ... 详细信息
来源: 评论
Optimal control strategy to design a hybrid electrical system
Optimal control strategy to design a hybrid electrical syste...
收藏 引用
7th IET international conference on Power Electronics, Machines and Drives, PEMD 2014
作者: Kravtzoff, I. Dessante, P. Vannier, J.C. Manfè, P. Mouni, E. Supélec 3 rue Joliot-Curie 91190 Gif-sur-Yvette France Leroy Somer Boulevard Marcelin Leroy 16000 Angoulême France
the benefit of a hybrid system is strongly dependant on the system design and the control strategy that will be used. this paper suggests a method to evaluate the optimal control strategy of a hybrid electrical system... 详细信息
来源: 评论
Many-core programming with Asian Option Pricing  7
Many-core Programming with Asian Option Pricing
收藏 引用
7th Workshop on High Performance Computational Finance, WHPCF 2014 at the international conference for High Performance Computing, Networking, Storage and Analysis, SC 2014
作者: Li, Shuo Lin, James Intel Corp Software and Services Group China Shanghai Jiaotong University Center for High Performance Computing China
In this paper, we discuss the problem of pricing one exotic option, the strong path dependent Asian option using the Black-Scholes model and compare how the pricing algorithm can map into different many-core architect... 详细信息
来源: 评论
A Bi-level programming to Two-stage Transportation Planning Problem  7
A Bi-level Programming to Two-stage Transportation Planning ...
收藏 引用
7th international Joint conference on Computational Sciences and Optimization (CSO)
作者: Feng, Cuiying Nie, Ling Sichuan Univ Sch Business Uncertainty Decis Making Lab Chengdu 610064 Peoples R China
this paper presents an extension of the two-stage transportation planning problem for a large scale hydropower construction project where bi-level programming and a balance of the satisfactory degree between decision ... 详细信息
来源: 评论
Stability for the Major Joint Cone Weakly Efficient Solution Sets of Group Multiobjective programming in Banach Space  7
Stability for the Major Joint Cone Weakly Efficient Solution...
收藏 引用
7th international Joint conference on Computational Sciences and Optimization (CSO)
作者: Zhou, Xuanwei Zhejiang Shuren Univ Dept Basic Courses Hangzhou 310015 Zhejiang Peoples R China
Stability of solution sets for a group multiobjective programming problem in Banach space is studied. Some conditions for the stability of the group multiobjective programming are given. Using these conditions, stabil... 详细信息
来源: 评论
A Methodology for Online Consolidation of Tasks through More Accurate Resource Estimations  14
A Methodology for Online Consolidation of Tasks Through More...
收藏 引用
IEEE/ACM 7th international conference on Utility and Cloud Computing (UCC)
作者: Iglesias, Jesus Omana Murphy, Liam De Cauwer, Milan Mehta, Deepak O'Sullivan, Barry Univ Coll Dublin Sch Comp Sci & Informat Performance Engn Lab Lero Dublin Ireland Univ Coll Cork Insight Ctr Data Analyt Cork Ireland
Cloud providers aim to provide computing services for a wide range of applications, such as web applications, emails, web searches, and map reduce jobs. these applications are commonly scheduled to run on multi-purpos... 详细信息
来源: 评论
Joint optimization of power allocation and integer coefficients of relay functions in Compute-and-Forward relay networks  7
Joint optimization of power allocation and integer coefficie...
收藏 引用
2014 7th international conference on Advanced Technologies for Communications, ATC 2014
作者: Tran, Phuong Lehnert, James S. Faculty of Electrical and Electronics Engineering Ton Duc Thang University Ho Chi Minh City Viet Nam Department of Electrical and Computer Engineering Purdue University West LafayetteIN United States
A joint optimization problem of power allocation and computational functions for the advanced cooperation scheme, Compute-and-Forward, is analyzed, and an iterative algorithm to solve this problem is also introduced. ... 详细信息
来源: 评论
A Hadoop based Web log Analysis System  7
A Hadoop based Web log Analysis System
收藏 引用
7th IEEE international conference on Ubi-Media Computing and Workshops (U-MEDIA)
作者: Wang, Chen-Hau Tsai, Ching-Tsorng Fan, Chia-Chen Yuan, Shyan-Ming Natl Chiao Tung Univ Dept Comp Sci Hsinchu Taiwan Tunghai Univ Informat Engn Taichung 40704 Taiwan
In recent years, cloud computing has been an important issue in the Field of research. Cloud computing employs distributed storage and distributed computing technology to achieve a large number of stored data, as well... 详细信息
来源: 评论
Ergonomic solutions of facilities and laboratory work-stands at universities: programming of ergonomic technological lines - Case study
Ergonomic solutions of facilities and laboratory work-stands...
收藏 引用
8th international conference on Universal Access in Human-Computer Interaction, UAHCI 2014 - Held as Part of 16th international conference on Human-Computer Interaction, HCI international 2014
作者: Winnicka-Jaslowska, Dorota Department of the Theory Design and History of Architecture Faculty of Architecture Silesian University of Technology Akademicka 7 44-100 Gliwice Poland
the scope of the paper is the design of laboratories in consideration of modern technologies and modern manners of work: ways of shaping and arranging laboratory facilities, depending on the equipment and process tech... 详细信息
来源: 评论