咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1411-1420 订阅
排序:
Spectral Efficiency Guaranteed Sustainable Routing for Energy Renewable Wireless Mesh Networks
Spectral Efficiency Guaranteed Sustainable Routing for Energ...
收藏 引用
7th IEEE international conference on Wireless Communications and Signal Processing (WCSP)
作者: Zhou, Lei Kang, Guixia Zhang, Ningbo Cheng, Jianming Beijing Univ Posts & Telecommun Beijing 100876 Peoples R China Sci & Technol Informat Transmiss & Disseminat Com Beijing Peoples R China
A fundamental concern for energy renewable wireless mesh networks (WMNs) is properly routing exotic traffic across the network according to the energy adequacy at different mesh APs, such that the probability that mes... 详细信息
来源: 评论
IEEE 7th international conference on Awareness Science and Technology, iCAST 2015 - Proceedings
IEEE 7th International Conference on Awareness Science and T...
收藏 引用
7th IEEE international conference on Awareness Science and Technology, iCAST 2015
the proceedings contain 41 papers. the topics discussed include: analyzing correlation of resident activities based on infrared sensors;background subtraction for surveillance videos with camera jitter;an automatic ma...
来源: 评论
An Integer programming Approach for Truck-Shovel Dispatching Problem in Open-Pit Mines  7th
An Integer Programming Approach for Truck-Shovel Dispatching...
收藏 引用
7th international conference on Applied Energy (ICAE)
作者: Zhang, Lijun Xia, Xiaohua Univ Pretoria Dept Elect Elect & Comp Engn ZA-0002 Pretoria South Africa
the truck dispatching problem in open-pit mines is formulated into an integer programming problem in order to optimally determine the trip numbers of trucks from a shovel (dump site) to a dump site (shovel). the dispa... 详细信息
来源: 评论
Microworlds, Games and Collaboration: three effective approaches to support novices in learning programming  15
Microworlds, Games and Collaboration: Three effective approa...
收藏 引用
7th Balkan conference in Informatics, BCI 2015
作者: Xinogalos, Stelios Malliarakis, Christos Tsompanoudi, Despina Satratzemi, Maya Department of Applied Informatics School of Information Sciences University of Macedonia 156 Egnatia Street Thessaloniki54006 Greece
Specially designed programming environments have been used for decades to support the novice programmers learning programming. In this paper, we present various forms of Educational Technology that have guided the des... 详细信息
来源: 评论
Different aspects of delivering programming courses-Multinational experiences  15
Different aspects of delivering programming courses-Multinat...
收藏 引用
7th Balkan conference in Informatics, BCI 2015
作者: Ivanović, Mirjana Xinogalos, Stelios Pitner, Tomáš Savić, Miloš Department of Mathematics and Informatics Faculty of Sciences University of Novi Sad Trg Dositeja Obradovića 4 Novi Sad21000 Serbia Department of Applied Informatics School of Information Sciences University of Macedonia 156 Egnatia Street Thessaloniki540 06 Greece Department of Computer Systems and Communications Faculty of Informatics Masaryk University Šumavská 416/15 Ponava Brno Czech Republic
In this paper, different aspects and experiences from objectoriented programming courses that are taught in three institutions from three different European countries are presented and compared. the emphasis is given ... 详细信息
来源: 评论
Designing a Universal Suboptimal Tree Integration Algorithm  7th
Designing a Universal Suboptimal Tree Integration Algorithm
收藏 引用
7th international conference on Computational Collective Intelligence (ICCCI)
作者: Maleszka, Marcin Wroclaw Univ Technol PL-50370 Wroclaw Poland
Processing hierarchical data structures, due to their increasing popularity, becomes more and more important. In our previous works we have developed many exact integration algorithms for trees, but designing a new al... 详细信息
来源: 评论
Intelligent Crossover and Mutation Technique to Control Bloat for Breast Cancer Diagnosis  7
Intelligent Crossover and Mutation Technique to Control Bloa...
收藏 引用
7th international conference on Computational Intelligence and Communication Networks (CICN)
作者: Khan, Arzoo Chouhan, Medhavi SVITS Informat Technol Indore Madhya Pradesh India
Breast cancer affects several people at present time. Diagnosis which determines whether the cancer is benign or malignant requires a lot of effort from doctors and physician. Early diagnosis may save many lives. Accu... 详细信息
来源: 评论
A Bilevel Synthetic Winery System for Balancing Profits and Perishable Production Quality  7th
收藏 引用
7th KES international conference on Intelligent Decision Technologies (KES-IDT)
作者: Yu, Haiyu Watada, Junzo Li, Jingru 1-15-D210 Wakamatsu Ku Kitakyushu Fukuoka Japan
Recent research works show an increasing trend in analyzing agriculture problem because of its good applicability and usability. Also, the rapid development of mathematical model mitigates the difficulty to solve such... 详细信息
来源: 评论
7th international conference on Reversible Computation, RC 2015
收藏 引用
7th international conference on Reversible Computation, RC 2015
the proceedings contain 27 papers. the special focus in this conference is on Reversible Machines and Reversible Languages. the topics include: Moment semantics for reversible rule-based systems;a hierarchy of fast re...
来源: 评论
Optimal Control of an EMU Using Dynamic programming  7th
Optimal Control of an EMU Using Dynamic Programming
收藏 引用
7th international conference on Applied Energy (ICAE)
作者: Ghaviha, Nima Bohlin, Markus Wallin, Fredrik Dahlquist, Erik Malardalen Univ S-72123 Vasteras Sweden SICS Swedish ICT AB SE-16429 Kista Sweden
A model is developed for minimizing the energy consumption of an electric multiple unit through optimized driving style, based on Hamilton-Jacobi-Bellman equation and Bellman's backward approach. Included are the ... 详细信息
来源: 评论