咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是341-350 订阅
排序:
Research on Soil and Water Conservation Measures Optimization Scheme Based on Improved Binary Lion Swarm Algorithm
Research on Soil and Water Conservation Measures Optimizatio...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Penghui Cao Jiapeng Xiu Zhengqiu Yang Beijing University of Posts and Telecommunications Beijing China
Aiming at the Soil and Water Conservation Measures Optimization Scheme Problem, when the number of governing regions is large, the memory consumption of the Dynamic programming Algorithm becomes excessively high, maki... 详细信息
来源: 评论
Dynamic Incentive Problem of Performer with Discrete Time at Industrial Enterprise  7
Dynamic Incentive Problem of Performer with Discrete Time at...
收藏 引用
7th IEEE international conference on Information Technology and Nanotechnology, ITNT 2021
作者: Pavlov, Oleg Samara National Research University Institute of Economics and Management Samara Russia
the paper considers the task of monetary incentives for the performer in discrete time. the problem is formulated as the Stackelberg dynamic inverse game between the center and the performer. To solve the problem, the... 详细信息
来源: 评论
Improving Source Code with Assistance from AI — A Pilot Case Study with ChatGPT
Improving Source Code with Assistance from AI — A Pilot Cas...
收藏 引用
international conference on Information and Computer Technologies (ICICT)
作者: Steven McDaniel Minhaz F. Zibran Department of Computer Science Idaho State University Pocatello ID USA
ChatGPT queries were used to provide feedback on five C++ programs selected from various programming assignments for two graduate-level computer science courses – a scientific programming course and an algorithms cou... 详细信息
来源: 评论
UAV Number Optimal Recombination as an Air Transport Technologies Resource-Element
UAV Number Optimal Recombination as an Air Transport Technol...
收藏 引用
IEEE international conference on Actual Problems of Unmanned Air Vehicles Developments Proceedings (APUAVD)
作者: A.V. Goncharenko V.V. Iliushyn Air Transportation Management Department National Aviation University Kyiv Ukraine
the presented study is dedicated to the case of the airline’s optimal resources recombination. the airline, owning UAVs, deploys the aircraft number optimally in accordance with the maximal value of the individuals, ... 详细信息
来源: 评论
Color Detection Using Python  7
Color Detection Using Python
收藏 引用
7th IET Smart Cities Symposium, SCS 2023
作者: Bachute, Mrinal Singh, Aditya Kumar, Akash Sahil, Aman Symbiosis International University Maharashtra Pune412308 India
RGB color detection is a fundamental component of computer vision with a wide range of applications, including image processing, object recognition, industrial automation, and design. this article provides a comprehen... 详细信息
来源: 评论
A Practical Approach for Reliability Prediction of Safety Critical Software Using Multi-Model Ensemble Techniques
A Practical Approach for Reliability Prediction of Safety Cr...
收藏 引用
international conference on System Reliability and Science (ICSRS)
作者: Aymen Ouertani Ossmane Krini Habil. Josef Börcsök Institute of functional safety & cyber security Baden-Wuerttemberg Cooperative State University Lörrach Germany Computer Architecture und System Programming University of Kassel Kassel Germany
this paper introduces a novel and comprehensive approach for estimating the reliability of safety critical software components in autonomous vehicle motion systems. the proposed approach in this paper presents a combi...
来源: 评论
Autonomous Vehicle Path Tracking Control based on Adaptive Dynamic programming
Autonomous Vehicle Path Tracking Control based on Adaptive D...
收藏 引用
conference on Vehicle Control and Intelligence (CVCI)
作者: Hongyan Guo Guangyao Li Jun Liu Zhongqiu Tan Dachuan Yu Yiming Zhang State Key Laboratory of Automotive Simulation and Control and the College of Communication Engineering Jilin University Changchun China College of Communication Engineering Jilin University Changchun China State Key Laboratory of Automotive Simulation and Control Jilin University Changchun China SAIC Motor R&D Innovation Headquarter Shanghai China
this paper presents a path tracking control method for autonomous vehicles by utilizing Adaptive Dynamic programming (ADP). the primary goal is to enhance the path tracking performance under various longitudinal speed...
来源: 评论
Research on the Application of Intelligent Assisted Teaching System in programming Courses
Research on the Application of Intelligent Assisted Teaching...
收藏 引用
Education, Network and Information Technology (ICENIT), international conference on
作者: Hao Xie Jingyu Wang Yuanzhong Zhang College of Geophysics China University of Petroleum (Beijing) Beijing China
this article takes the C language programming course as an example to explore the application of intelligent assisted teaching (IAT) system in programming courses. In this article, ChatGPT, Copilot and other AI techno... 详细信息
来源: 评论
A Topology Identification Method for Low Voltage Station Area Based on Mixed Integer programming and Data Mining
A Topology Identification Method for Low Voltage Station Are...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Bin Guo Jun Dong Xuebing Shang Xiaoqiang Wu Yun Zhao Yuxin Lu Guangzhou Power Supply Bureau Guangzhou Power Grid Co. Ltd. Guangzhou China Guangdong Provincial Key Laboratory of Intelligent/Measurement and Advanced Metering of Power Grid CSG Electric Power Research Institute Guangzhou China
Low voltage station topology identification is a key link in achieving transparency in the distribution network. In this paper, a topology identification method for low voltage station areas based on mixed integer pro... 详细信息
来源: 评论
Hydrolytic Acidification—Contact Oxidation—MBR—RO Treatment and Reuse of Glass-Fiber Wastewater  7th
Hydrolytic Acidification—Contact Oxidation—MBR—RO Treatme...
收藏 引用
2023 the 7th international conference on Energy and Environmental Science - ICEES 2023
作者: Liu, Lin Lu, Zihui Sun, Anchao Zhou, Xuren Qin, Tianyu Chongqing Polycomp International Corporation Co. Ltd. Chongqing401220 China College of Chemistry and Environmental Engineering Shenzhen University Guangdong Shenzhen518000 China CMCU Engineering Co. Ltd. Chongqing400039 China
Glass fiber wastewater has the characteristics of large amount of water, poor biodegradability and containing a large amount of fluoride. At present, the methods used for advanced treatment and reuse of glass fiber wa... 详细信息
来源: 评论