咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是601-610 订阅
排序:
Graph-based Dynamic Analysis of Elastic Systems  7
Graph-based Dynamic Analysis of Elastic Systems
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Semenov, Alexander S. Natl Res Univ Computat Math & Programming Dept Moscow Aviat Inst Moscow 125993 Russia
the emerging paradigm shift for analysis of elastic systems is caused by demands of reorganization behavior of systems at run-time. For solution this problem a mathematical framework for graph-based dynamic analysis i... 详细信息
来源: 评论
Effectiveness of the CVaR method in risk management in an integrated energy system
收藏 引用
ENERGY REPORTS 2020年 6卷 1010-1015页
作者: Fu, Yu Sun, Qie Wennersten, Ronald Shandong Univ Inst Thermal Sci & Technol 17923 Jingshi Rd Jinan 250061 Peoples R China Shandong Univ Inst Adv Technol 17923 Jingshi Rd Jinan 250061 Peoples R China
Integrated energy systems can effectively improve the efficiency of energy utilization and promote sustainable development of energy, while meeting the diversified energy demands. In order to deal with the operation r... 详细信息
来源: 评论
Tenant-Oriented Resource Optimization for Cloud Network Slicing with Performance Guarantees  7
Tenant-Oriented Resource Optimization for Cloud Network Slic...
收藏 引用
IEEE 7th international conference on Network Softwarization (NetSoft) - Accelerating Network Softwarization in the Cognitive Age
作者: Beraldo, Lucian Pentelas, Angelos Verdi, Fabio Luciano Papadimitriou, Panagiotis Marcondes, Cesar A. C. Fed Univ Sao Carlos UFSCar Dept Comp Sci Sao Carlos SP Brazil Univ Macedonia Dept Appl Informat Thessaloniki Greece Aeronaut Inst Technol ITA Comp Sci Div Sao Jose Dos Campos SP Brazil
Cloud Network Slicing (CNS), emerging alongside the 5G mobile network, comprises a paradigm shift in the way networks are provisioned, managed, and operated. Fundamentally, CNS fosters the deployment of a multitude of... 详细信息
来源: 评论
Uncertainty Modeling of Electricity Indirect Carbon Emission Intensity at Grid-Connected Point of IES
Uncertainty Modeling of Electricity Indirect Carbon Emission...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Yunfei Xue Te Zhou Honghu Chen Yang Han School of Mechanical and Electrical Engineering University of Electronic Science and Technology of China Chengdu Sichuan China Department of New Power System Research Center Tianfu Yongxing Laboratory Chengdu Sichuan China Sichuan Energy Internet Research Institute Tsinghua University Chengdu Sichuan China
In the low-carbon optimization scheduling of the grid-connected integrated energy system (IES), elucidating the carbon reduction responsibility of electricity consumers involves considering the electricity indirect ca... 详细信息
来源: 评论
Nonlinear Model Predictive Clamping Force Control for Electromechanical Brake System
Nonlinear Model Predictive Clamping Force Control for Electr...
收藏 引用
international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Wenpeng Wei Tianyi He Yifan Men Jinxiang Wang Lu Xiong Guodong Yin Key Laboratory of Measurement and Control of Complex Systems of Engineering School of Mechanical Engineering Southeast University Nanjing China Department of Mechanical and Aerospace Engineering Utah State University Logan UT USA ZDrive.ai 7th Floor Block T2 Ali Center 1398 Shenchang Road Minhang District Shanghai China School of Mechanical Engineering Southeast University Nanjing China School of Automotive Studies Tongji University Shanghai China
In this paper, the problem of clamping force control for the Electromechanical Brake (EMB) system in autonomous vehicles is addressed. A nonlinear model predictive control framework is proposed to solve for the optima... 详细信息
来源: 评论
7th international Workshopon programming Experience (PX/21)
ACM International Conference Proceeding Series
收藏 引用
ACM international conference Proceeding Series 2021年 viii-ix页
来源: 评论
Direct numerical solution of a time-optimal state-constrained control problem in a flow  7
Direct numerical solution of a time-optimal state-constraine...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Chertovskih, Roman Pereira, Fernando Lobo Univ Porto Fac Engn Res Ctr Syst & Technol SYSTEC Elect & Comp Engn Dept Porto Portugal
We consider the following time-optimal control problem with state constraints: compute minimal travelling time of a controllable object moving in a prescribed flow field in a bounded domain between two given points. T... 详细信息
来源: 评论
Patience Control: A Modular and Dynamic Construction of Composite Controllers  7
Patience Control: A Modular and Dynamic Construction of Comp...
收藏 引用
7th international conference on Control, Decision and Information Technologies (CoDIT)
作者: Sadon, Aviran Arogeti, Shai Weiss, Gera Ben Gurion Univ Negev IL-8410501 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 ... 详细信息
来源: 评论
Incorporating Settling Time Constraints of Energy Storage Systems in Frequency Containment Control Optimization Problems
Incorporating Settling Time Constraints of Energy Storage Sy...
收藏 引用
IEEE international Energy conference and Exhibition (EnergyCon)
作者: Matej Krpan Marija Mileti7 Igor Kuzle Hrvoje Pand7E i7 Department of Energy and Power Systems University of Zagreb Faculty of Electrical Engineering and Computing Zagreb Croatia
Response of energy storage units and power plants to a set-point change is not necessarily linear with a constant ramp rate, especially for frequency containment services Which are actuated on a $\leq$ 30s time scale.... 详细信息
来源: 评论
An Approximation Approach for Fixed-Charge Transportation-p-Facility Location Problem  7th
An Approximation Approach for Fixed-Charge Transportation-<i...
收藏 引用
7th international conference on Logistics and Supply Chain Management (LSCM)
作者: Das, Soumen Kumar Roy, Sankar Kumar Vidyasagar Univ Dept Appl Math Oceanol & Comp Programming Midnapore 721102 W Bengal India
this chapter describes a single-objective, multi-facility, location model for a logistics network, whose aim is to support the economical aspect. In this work, a new variant of the facility location model is presented... 详细信息
来源: 评论