咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1151-1160 订阅
排序:
Optimally Scheduled Interventions in the Presence of Vulnerabilities for Modern Cyber-Physical Systems  15
Optimally Scheduled Interventions in the Presence of Vulnera...
收藏 引用
15th IEEE international conference on Industrial Informatics (INDIN)
作者: Sandor, Hunor Haller, Piroska Genge, Bela Katai, Zoltan Petru Maior Univ Tg Mures Dept Informat Mures 540088 Romania Sapientia Hungarian Univ Transylvania Dept Informat Mures 540485 Romania
A large variety of modern technologies fade the borders between the cyber and the physical worlds. Nonetheless, the two-dimensional architecture of cyber-physical systems also enabled the proliferation of innovative a... 详细信息
来源: 评论
A Lagrangian Heuristic Algorithm for the Time-Dependent Combined Network Design and Routing Problem
收藏 引用
NETWORKS 2017年 第1期69卷 110-123页
作者: Fortz, Bernard Gorgone, Enrico Papadimitriou, Dimitri Univ Libre Bruxelles Dept Informat Brussels Belgium Nokia Bell Labs Antwerp Belgium
During the planning of communication networks, the routing decision process (distributed and online) often remains decoupled from the network design process, that is, resource installation and allocation-planning proc... 详细信息
来源: 评论
conference Program Digest - 7th international conference on Manipulation, Manufacturing and Measurement on the Nanoscale, IEEE 3M-NANO 2017
Conference Program Digest - 7th International Conference on ...
收藏 引用
7th international conference on Manipulation, Manufacturing and Measurement on the Nanoscale, IEEE 3M-NANO 2017
the proceedings contain 82 papers. the topics discussed include: lithography-induced wettability changes of silicon;a roller support stage with remote center of motion for roll-to-roll printed electronics;micro-millin...
来源: 评论
Analysis on the Practice of Virtual Reality Technology in Electric Emergency Repair Practice
Analysis on the Practice of Virtual Reality Technology in El...
收藏 引用
2018 7th international conference on Advanced Materials and Computer Science(ICAMCS 2018)
作者: Huang Chengyun Guo Jianlong Xiong Shan Hao Tengfei
China has a vast territory and a wide distribution network,which has many factors affecting the stability and safety of the distribution *** recent years,China’s emphasis on the quality of distribution network operat... 详细信息
来源: 评论
A Weighted Goal programming model for planning sustainable development applied to Gulf Cooperation Council Countries
收藏 引用
APPLIED ENERGY 2017年 第Part2期185卷 1931-1939页
作者: Jayaraman, Raja Colapinto, Cinzia La Torre, Davide Malik, Tufail Khalifa Univ Dept Ind & Syst Engn Abu Dhabi U Arab Emirates Ca Foscari Univ Venice Dept Management Venice Italy Khalifa Univ Dept Appl Math & Sci Abu Dhabi U Arab Emirates Univ Milan Dept Econ Management & Quantitat Methods Milan Italy
the United Nations agenda for sustainable development by the year 2030 proposes 17 sustainable development goals which include access to affordable, reliable and clean energy, sustained economic growth with full produ... 详细信息
来源: 评论
A novel cost-benefit analytical method of demand response based on input-output method  7
A novel cost-benefit analytical method of demand response ba...
收藏 引用
7th IEEE Annual international conference on CYBER Technology in Automation, Control, and Intelligent Systems (CYBER)
作者: Liu, Yao Guo, XuXin Gao, CiWei Li, JunFeng Li, JingBo China Elect Power Res Inst Beijing 100085 Peoples R China Southeast Univ Nanjing 210096 Jiangsu Peoples R China Ningxia Elect Power Co Elect Power Res Inst Ningxia 750002 Peoples R China State Grid Corp China Beijing 100031 Peoples R China
On the basis of input-output method a general model is built for analyzing the change in cost and profit of power consumers due to participating in demand response(DR). According to the basic principle of the input-ou... 详细信息
来源: 评论
the DEM-Based Digital Design Platform for Agricultural Machinery-AgriDEM  7th
The DEM-Based Digital Design Platform for Agricultural Machi...
收藏 引用
7th international conference on Discrete Element Methods (DEM)
作者: Fu, Hong Jin, Cong Yu, Jianqun Jilin Univ Coll Comp Sci & Technol Changchun 130012 Jilin Peoples R China Jilin Univ Coll Biol & Agr Engn Changchun 130012 Jilin Peoples R China
In order to overcome the shortcomings of agricultural machinery development such as the development cycle is long and the workload is heavy, a DEM-based digital design platform for agricultural machinery-AgriDEM is de... 详细信息
来源: 评论
Automotive quality requirements and process capability in the production of electric motors  7
Automotive quality requirements and process capability in th...
收藏 引用
7th international Electric Drives Production conference (EDPC)
作者: Kampker, Achim Kreiskoether, Kai Buening, Max Kleine Treichel, Patrick theelen, Jonas Rhein Westfal TH Aachen Chair Prod Engn E Mobil Components PEM Aachen Germany
the progressive electrification of the worldwide vehicle fleet is leading to an increasing importance of electric motors in the automotive industry. Many automobile manufacturers therefore integrate the production of ... 详细信息
来源: 评论
Research on Design of the Elderly Kitchen Based on Behavioral Logic
Research on Design of the Elderly Kitchen Based on Behaviora...
收藏 引用
2018 7th international conference on Advanced Materials and Computer Science(ICAMCS 2018)
作者: Yushan Ding Jinglian Chen College of Arts and Design Beijing Forestry University
In the rapid urbanization process,the overall cabinet brand is all-encompassing,but its functional design and consideration of details do not fully consider the needs of Chinese consumers,especially the *** study expl... 详细信息
来源: 评论
Code-based key encapsulation from McEliece’s cryptosystem  7th
Code-based key encapsulation from McEliece’s cryptosystem
收藏 引用
7th international conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017
作者: Persichetti, Edoardo Florida Atlantic University Boca Raton United States
In this paper we show that it is possible to extend the framework of Persichetti’s Nierreiter-based KEM [11] and create a secure KEM based on the McEliece protocol. this provides greater flexibility in the applicatio... 详细信息
来源: 评论