咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 3,592 篇 电子文献
  • 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,510 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3594 条 记 录,以下是3291-3300 订阅
排序:
Design and Implementation of a Smart Human Posture Monitoring Device Using a Wearable Vest  7
Design and Implementation of a Smart Human Posture Monitorin...
收藏 引用
7th international conference on Advances in Biomedical Engineering, ICABME 2023
作者: Daou, Roy Abi Zeid Geha, Elio Aoun, Youssef Hayek, Ali Boercsoek, Josef Olmedo, Jose Javier Serrano Université la Sagesse Biomedical Engineering Department Furn El Chebbak Beirut Lebanon Mart Learning Education and Research Center Chananir Lebanon Lebanese German University Faculty of Public Health Biomedical Technologies Department Jounieh Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Germany Universidad Politecnica de Madrid Lab of Bioinstrumentation and Nanomedicine Centro de Tecnologia Biomedica Spain
Chronic back pain can present a serious health concern, with symptoms that can significantly affect an individual's well-being, mobility, and overall quality of life over an extended period. While chronic back pai... 详细信息
来源: 评论
A column generation approach for pickup cycle formation in multi-head gantry-type compoennt placement tools
收藏 引用
international JOURNAL OF INDUSTRIAL ENGINEERING-thEORY APPLICATIONS AND PRACTICE 2003年 第4期10卷 569-576页
作者: Sun, DS Lee, TE Lee, K Korea Adv Inst Sci & Technol Dept Ind Engn Taejon 305701 South Korea Hankuk Univ Foreign Studies Ind Informat & Syst Engn Div Yongin 449791 Kyongki Do South Korea
We consider the pickup cycle formation problem for multi-head gantry-type component placement tools. the pickup cycle formation decision is to determine which components are picked up for each pick-and-place work cycl... 详细信息
来源: 评论
Consider the planning of DG and EV integration into the distribution network
Consider the planning of DG and EV integration into the dist...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Qi Zhang Yalei Zhang Shangdong University Jinan China
With the rapid development of electric vehicles (EV) and distributed generation (DG), a large number of uncertain loads and distributed power supplies are connected to the power grid, which poses a threat to the stabl... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
the analysis and research of the programming operation based on substation equipment status
The analysis and research of the programming operation based...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Guangming Li Yan Sun Lianrong Pan Cuiyun Luo Qiuquan Deng Daiyu Xie Yin Wu Yipeng Wu Dispatch And Control Center of Guangxi Power Grid Nanning China Dispatch And Control Center Of Liuzhou Power Supply Bureau Guangxi Power Grid Liuzhou China
With the continuous development of power grid, the number of intelligent substations is increasing, and the electrical operation is becoming increasingly complex, which puts forward higher safety and efficiency requir... 详细信息
来源: 评论
Composite ring made of 3D woven preform injected by RTM: From design to full scale testing
Composite ring made of 3D woven preform injected by RTM: Fro...
收藏 引用
SAMPE Long Beach 2016 conference and Exhibition
作者: Fischer, Hermann Poulaert, Bernard Magerman, Jean-Louis Bargeton, Etienne De Lumley, thibault Valcke, André-Marie Atkins, thierry Gokce, Hakan Bryn, Leon ESA-ESTEC Postbus 299 Noordwijk2200 AG Netherlands SONACA Route Nationale Cinq Gosselies6041 Belgium BRM 23 North 7th Street BallyPA19503 United States
As part of the European Space Agency (ESA) Future Launchers Preparatory Programme (FLPP), SONACA (BELGIUM) and BRM (USA) companies joined their competences to develop a new concept of structural European launcher cryo... 详细信息
来源: 评论
Signal Timing Optimization Based on Trajectory Data
Signal Timing Optimization Based on Trajectory Data
收藏 引用
IEEE international conference on Computer and Communication Engineering Technology (CCET)
作者: Lei Gao Haoyu Zhang Jinhong Li School of Information Science and Technology North China University of Technology Beijing China
A fixed signal timing optimization method utilizing historical trajectory data at intersections is proposed. A model applicable to low-resolution trajectory data is developed to optimize fixed signal timing. the model... 详细信息
来源: 评论
An oscillating algorithm for variable ordering in binary decision diagram
An oscillating algorithm for variable ordering in binary dec...
收藏 引用
IEEE international conference on Electronics, Circuits and Systems (ICECS)
作者: M. Taher A. Salem W. Mahdi A. Wahdan Computer and Systems Department Ain Shams University Cairo Egypt
In this paper we present a novel heuristic for improving the variable order computation in the binary decision diagram. the proposed algorithm uses two way swapping and it oscillates forward and backward to minimize t... 详细信息
来源: 评论