咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是431-440 订阅
排序:
Research on Traffic Scheduling Optimization of Vehicle Ethernet Based on TSN
Research on Traffic Scheduling Optimization of Vehicle Ether...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Xuguang Hou Daliang Sun Shengli Huang Jiabao Fan Guangda Liu Lieyan He GAC Research and Development Center Guangzhou China
With the development of in-vehicle network (IVN) technology, the real-time performance and reliability of vehicle Ethernet become very important. Time-sensitive network (TSN) has become a new technical solution for ve... 详细信息
来源: 评论
Development of automatic spam detection application based on modular programming  7
Development of automatic spam detection application based on...
收藏 引用
7th international conference on Mathematics, Science, and Education 2020, ICMSE 2020
作者: Subhan, S. Arifudin, R. Efrilianda, D.A. Prasetiyo, B. Department of Computer Science Universitas Negeri Semarang Indonesia
this article discusses developing an application for automatic spam detection based on modular programming. In general website development, certain development features cannot be used on other similar websites. We use... 详细信息
来源: 评论
Efficient Kinematic Calibration for Industrial Manipulators based on a Simplified POE model
Efficient Kinematic Calibration for Industrial Manipulators ...
收藏 引用
Robotics, Control and Automation Engineering (RCAE), international conference on
作者: Jin Wang Ziyang Fang Chenchen Yu Haiyun Zhang Zhi Zheng Guodong Lu School of Mechanical Engineering Zhejiang University Hangzhou China Polytechnic Institute Zhejiang University Hangzhou China School of Robotics Ningbo University of Technology Ningbo China
the Product-of-Exponential (POE) model simplifies kinematic modeling by establishing direct relationships between kinematic and end-effector errors using base coordinate and tool coordinates. However, It contains nume... 详细信息
来源: 评论
Defense Strategies for Integrated Energy Cyber Physical Systems Considering Joint Attacks
Defense Strategies for Integrated Energy Cyber Physical Syst...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Danyan Gu Lucheng Hong Qiangqiang Yu Liang Hua College of Software Southeast University Nanjing China College of Electrical Engineering Southeast University Nanjing China State Grid Wuxi Power Supply Company Science and Technology Digital Department Wuxi Power Supply Company Wuxi China
In the context of a highly interconnected energy landscape, coordinated cyber-physical attacks on integrated energy systems can cause significant damage and trigger considerable economic impacts. In order to ensure th... 详细信息
来源: 评论
Research on the Teaching of Music Education in Colleges and Universities Under the Reflective Teaching Dimension  22
Research on the Teaching of Music Education in Colleges and ...
收藏 引用
7th international conference on Information and Education Innovations, ICIEI 2022
作者: Wang, Feiyu Wang, Lili Yu, Wulong Xia, Fan Zhang, En Su, Binghua Beijing Institute of Technology Zhuhai519088 China Thunburi University Bangkok10700 Thailand
Reflective teaching, that is, teaching reflection, is a teaching method that scholars have studied more and more, and its importance has attracted the attention of today's educational circles, but the teaching ref... 详细信息
来源: 评论
the Trading Strategy of Distributed Energy Storage Participating in Energy and Frequency Modulation Market
The Trading Strategy of Distributed Energy Storage Participa...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Jing Xu Zhixin Fu Chunyi Wang Haoming Liu School of Electrical and Power Engineering Hohai University Nanjing China State Grid Shandong Electric Power Company Jinan China
With the deepening reform of the electricity market in China, the study focuses on incentivizing distributed energy storage to provide frequency modulation ancillary services to the power system through market-based m... 详细信息
来源: 评论
Research on Building Environmental Quality Evaluation Based on Improved Genetic Algorithm
Research on Building Environmental Quality Evaluation Based ...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Xin Huang Shenyang Jianzhu University School of architecture and urban planning Shenyang China
At present, with the continuous increase of arge public buildings, people have higher requirements for the comfort, health, and efficiency of their internal environment. therefore, how to effectively improve the healt... 详细信息
来源: 评论
Data-driven Differential Games for Affine Nonlinear Systems  7
Data-driven Differential Games for Affine Nonlinear Systems
收藏 引用
7th IEEE international conference on Network Intelligence and Digital Content, IC-NIDC 2021
作者: Ma, Conghui Zhang, Bin Yan, Lutao Li, Haiyuan Beijing University of Posts and Telecommunications School of Artificial Intelligence Beijing100876 China Beijing University of Posts and Telecommunications School of Automation Beijing100876 China
this paper presents a data-driven optimal approach based on differential dynamic programming (DDP) for two-person differential game of nonlinear affine systems. Using test data, the Hamilton-Jacobi-Isaacs (HJI) equati... 详细信息
来源: 评论
Research on Computer programming Optimization System Based on Big Data Technology  7
Research on Computer Programming Optimization System Based o...
收藏 引用
2020 7th international conference on Computer-Aided Design, Manufacturing, Modeling and Simulation, CDMMS 2020
作者: Lu, Haiyang School of Computer Science and Technology Wuhan University of Technology Wuhan430000 China
To improve network programming efficiency, the paper proposes a network automatic programming method based on big data analysis technology. Build a big data analysis model for automatic network programming. the disser... 详细信息
来源: 评论
Graph Based Systematic Synthesis Procedure of gm-C Filter
Graph Based Systematic Synthesis Procedure of gm-C Filter
收藏 引用
international conference of Electronics, Communication and Aerospace Technology (ICECA)
作者: Mousumi Bhanja Anirban Ganguly Smita Rani Parija Department of Electronics and Telecommunication Engineering Symbiosis Institute of Technology Symbiosis International (Deemed University) Pune India Dept. of Electrical and Electronics Engineering Bharat Institute of Engineering and Technology Hyderabad India Department of Electronics and Tele-Communication Engineering C V Raman Global University Bhubaneswar India
Real world signals, being analog by nature requires analog signal processing. But unfortunately analog domain still lacks of good research on analog EDA tool. therefore, developing systematic synthesis methodology is ...
来源: 评论