咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 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...
  • 86 篇 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. ...
  • 6 篇 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,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是3321-3330 订阅
排序:
Patience Control: A Modular and Dynamic Construction of Composite Controllers
Patience Control: A Modular and Dynamic Construction of Comp...
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: Aviran Sadon Shai Arogeti Gera Weiss Ben-Gurion University of the Negev Beer-Sheva Israel
the problem of designing controllers for achieving composite goals is well studied in the literature and is considered an open problem. In this paper we propose a controller architecture that builds on approaches for ... 详细信息
来源: 评论
A Method for Regional Crowd Flow Prediction Based on Crowd Number Estimation Network
A Method for Regional Crowd Flow Prediction Based on Crowd N...
收藏 引用
Machine Learning and Natural Language Processing (MLNLP), international conference on
作者: Yizu Li Jing Luo Xiangbin Kong Yang Liu Dong Fei Yan Wang Wei Tang Chenxuan Zhang Research and Development department CRSC Communication&Information Corporation Beijing China
this paper presents a novel method for predicting crowd flow in various scenarios, such as workplaces, corporate campuses, and train stations, using a multi-task attention-based network, CNE-CBAM. the method first con... 详细信息
来源: 评论
An Aircraft Structural Component Process Route Recommendation Engine Based on ANN-LCS Algorithm
An Aircraft Structural Component Process Route Recommendatio...
收藏 引用
Computer Information Science and Application Technology (CISAT), international conference on
作者: Linhao Qin Dewei Fu Zhenjun Ming Hongpeng Zhang Hu Lu Qiang Li Baoguo Chen Qin Wen Mengmin Xu Ruiqiang Lyu SME Beijing Institute of Technology Beijing China SAMC Commercial Aircraft Corporation of China Ltd Shanghai China Division for Industrial Software AVIC Manufacturing Technology Institute Beijing China
A process route recommendation engine for aviation structural components based on ANN-LCS algorithm is introduced. By processing the machining process knowledge of aviation structural components, defining their basic ... 详细信息
来源: 评论
Large Disturbance Stability Analysis of DC Microgrid with Constant Power Load Based on Sum of Square programming Estimating Attraction Domain
Large Disturbance Stability Analysis of DC Microgrid with Co...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Yongxiang Cai Yang Wang Huajun Zheng Yutao Xu Molin He Xiankui Wen Electric Power Research Institute Guizhou Power Grid Co. Ltd Guiyang China School of Electrical Engineering Guizhou University Guiyang China
In DC microgrids, constant power loads with negative impedance characteristics are prone to instability when the DC bus voltage is subjected to large disturbances. To ensure the stable operation of DC microgrids with ... 详细信息
来源: 评论
Automatic Metal Waste Separator System In Malaysia
Automatic Metal Waste Separator System In Malaysia
收藏 引用
international conference on Computer and Communication Engineering, ICCCE
作者: Sazali Mahat Siti Hajar Yusoff Syasya Azra Zaini Nur Shahida Midi Sarah Yasmin Mohamad Department of Electrical & Computer Engineering International Islamic University Malaysia Jalan Gombak Kuala Lumpur Malaysia
Metal recycling is an issue that needs attention and should be practiced by people as it has many advantages to human and Earth. In order to get a metal from Earth, the process called mining are needed where it can ha... 详细信息
来源: 评论
Design of m-channel tree-structured filter banks with very low-complexity analysis filters
Design of m-channel tree-structured filter banks with very l...
收藏 引用
IEEE international conference on Electronics, Circuits and Systems (ICECS)
作者: E. Elias P. Lowenborg H. Johansson L. Wanhammar Department of Electronics Engineering Calicut Regional Engineering College India Department of Electrical Engineering Linköping University Linkoping Sweden
A class of M-channel tree-structured digital filter banks is considered with half-band IIR analysis filters and FIR synthesis filters. the filter banks approximate perfect reconstruction with an exact linear phase res... 详细信息
来源: 评论
Switching Harmonic Attenuation of Grid-Tied Converters Using LLCL Filters and MPC-SVPWM
Switching Harmonic Attenuation of Grid-Tied Converters Using...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Muhamamd Waqas Qaisar Jingyang Fang Wenrui Li School of Control Science and Engineering Shandong University Jinan China
this paper introduces an enhancement in grid-tied converter technology by incorporating a Model Predictive Control (MPC)-based space vector pulse width modulation (SVPWM) along with an advanced $LLCL$ filter. this a... 详细信息
来源: 评论
From component-based to service oriented software architecture for healthcare
From component-based to service oriented software architectu...
收藏 引用
international conference on e-health Networking, Applications and Services (HealthCom)
作者: S.C. Chu Department of Information Systems & Operations Management University of Auckland New Zealand
Traditional approach to software development has always been expensive and risky business especially in the complex healthcare market. Object oriented design model moves software development away from monolithic syste... 详细信息
来源: 评论
Shelf-space Allocation and Product Arrangement for Fruits Considering Facility's Temperature Distribution
Shelf-space Allocation and Product Arrangement for Fruits Co...
收藏 引用
international conference on Industrial Engineering and Applications (ICIEA)
作者: Dyah Satiti Ahmad Rusdiansyah Ratna Sari Dewi Institut Teknologi Sepuluh Nopember Surabaya Indonesia
Quality deterioration is the main reason for the short shelf life of fresh food products. Temperature control means to reduce the quality deterioration rate. Nevertheless, the use of refrigerated facilities does not s... 详细信息
来源: 评论
LRT Line 2 Time Interval Manipulation through Transportation Modeling and Time Minimization
LRT Line 2 Time Interval Manipulation through Transportation...
收藏 引用
international conference on Frontiers of Industrial Engineering (ICFIE)
作者: Raphael Fitzgerald C. Dizon Alex S. Garcia Kate Nicole M. Tayao Michael N. Young Mapúa University Intramuros Manila Philippines
through Simplex LP the optimized results of our optimization are projected. Setting our goal by finding the best way where to increase the time interval rate through transportation modeling. the total waiting time bef... 详细信息
来源: 评论