咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

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

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是3511-3520 订阅
排序:
Inverse Optimal Control with System Output
Inverse Optimal Control with System Output
收藏 引用
Industrial Cyber-Physical Systems (ICPS)
作者: Zihao Liang Shaoshuai Mou School of Aeronautics and Astronautics Purdue University IN USA
this paper presents an incremental approach for addressing inverse optimal control (IOC) with only system output trajectory available. the unknown objective function is expressed as a weighted combination of features,... 详细信息
来源: 评论
Application of contemporary programming techniques in health monitoring software of suspension spanning structure
Application of contemporary programming techniques in health...
收藏 引用
the 7th international conference on Bridge Maintenance, Safety and Management (IABMAS 2014)(第七届国际桥梁维护安全与管理会议)
作者: D.S.Shan J.Dong J.C.Yang S.X.Zhang I.Khan Z.Huang Bridge Engineering Department Southwest Jiaotong UniversityChengduSichuanChina
Serving as a powerful tool to ensure the bridge safety by long term monitoring and operational condition assessment,bridge health monitoring system becomes more extensive application in real bridge engineering *** the...
来源: 评论
Integrating heterogeneous agent programming platforms within artifact-based environments  08
Integrating heterogeneous agent programming platforms within...
收藏 引用
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
作者: Alessandro Ricci Michele Piunti L. Daghan Acay Rafael H. Bordini Jomi F. Hübner Mehdi Dastani Università di Bologna Cesena (FC) Italy Univ. di Bologna The University of Melbourne Victoria Australia University of Durham Durham UK ENS Mines Saint-Etienne Saint-Etienne France Utrecht University TB Utrecht Netherlands
"Agents and Artifacts" (A&A) and CARTAGO are becoming increasingly popular as, respectively, a general-purpose programming model and a related infrastructure for developing shared computational environme... 详细信息
来源: 评论
Prospects of Digitalization of the Animal Husbandry Process in the Context of the Digital Economy: Economic-Mathematical Modeling of the Problem of Feed Ration and programming in Python  23
Prospects of Digitalization of the Animal Husbandry Process ...
收藏 引用
Proceedings of the 7th international conference on Future Networks and Distributed Systems
作者: Kuvonchbek Rakhimberdiev Akram Ishnazarov Rustem Adilchaev O Nazarbaev R Utemuratov Saglara Boldireva Department of Mathematical Methods in Economics Tashkent State University of Economics Uzbekistan Department of Economic Karakalpak state university Uzbekistan Department of Algorithmization and programming technologies Karakalpak state university Uzbekistan Department of Management Karakalpak state university Uzbekistan Department of Mathematical Methods in Economics Kalmyk State University Russia
For the application of economic and mathematical methods in practical activities in modern conditions, material, scientific and personnel prerequisites have been created. their use makes it possible to carry out compl...
来源: 评论
Solution for PWM converter switching for Voltage Source Inverter using Non-Traditional Method
Solution for PWM converter switching for Voltage Source Inve...
收藏 引用
2007 international conference on Power Electronics and Drive Systems (PEDS 2007), vol,4
作者: V. Jegathesan Jovitha Jerome Karunya University Coimbatore Tamil Nadu India PSG College of Technology Coimbatore Tamil Nadu India
this paper presents an efficient and reliable evolutionary-programming-based algorithm for specific harmonic elimination (SHE) switching pattern. this method eliminates the considerable amount of lower order line curr... 详细信息
来源: 评论
Transformer Partial Discharge Location by Optimized Ultrasonic Propagation Path Search
Transformer Partial Discharge Location by Optimized Ultrason...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Guang-Yu Shi Kang Wang Guo-Bin Wang Xiao-Lin Xu Transmission and Transformation Equipment Technology Research Center Fujian Electrical Power Research Institute Fuzhou China
Partial discharge detection and location are vital to diagnose insulation conditions of power transformer. Ultrasonic detection has the advantages of anti-interference, low loss and flexible application, and has been ... 详细信息
来源: 评论
Rio file cache: surviving operating system crashes
收藏 引用
Computer architecture news 1996年 第Special Issu期24卷 74-83页
作者: Chen, P.M. Ng, W.T. Chandra, S. Aycock, C. Rajamani, G. Lowell, D. Univ of Michigan
One of the fundamental limits to high-performance, high-reliability file system is memory's vulnerability to system crashes. Because memory is viewed as unsafe, systems periodically write data back to disk. the ex... 详细信息
来源: 评论
A Mixed Integer programming Approach to Air Cargo Load Planning with Multiple Aircraft Configurations and Dangerous Goods
A Mixed Integer Programming Approach to Air Cargo Load Plann...
收藏 引用
international conference on Frontiers of Industrial Engineering (ICFIE)
作者: Eugene Y.C. Wong Kev K. T. Ling The Hang Seng University of Hong Kong Hong Kong
Air cargo business is highly uncertain and dynamic. An airline needs to manage its air cargo loading operations with efficient cargo consolidation, accurate load planning, high level of safety precautions, limited car... 详细信息
来源: 评论
Adaptive Control of Extracorporeal Membrane Oxygenation Based on Extremum Seeking Control
Adaptive Control of Extracorporeal Membrane Oxygenation Base...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Hanlin Wang Shiwei Wang Wei Zhang Nan Liang Automation College Chongqing University of Posts and Telecommunications Chongqing China Bioengineering College Chongqing University Chongqing China Henan Academy of Sciences Institute of Applied Physics Co. Ltd Zhengzhou Henan China
In recent years, multiple global pandemics have raised concerns about respiratory diseases. As an advanced life support tool for respiratory failure, extracorporeal membrane oxygenation (ECMO) has become increasingly ... 详细信息
来源: 评论
New efficiency-stability criterion in a rescheduling problem with dynamic jobs weights
New efficiency-stability criterion in a rescheduling problem...
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: A. Tighazoui C. Sauvey N. Sauer Université de Lorraine Metz France
In the context of the fourth revolution, today's industry is developing new technologies and solutions for the production management. Moreover, customers' practices are also changing, they can modify or cancel... 详细信息
来源: 评论