咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是281-290 订阅
排序:
ICBIP 2022 - 2022 7th international conference on Biomedical Signal and Image Processing
ICBIP 2022 - 2022 7th International Conference on Biomedical...
收藏 引用
7th international conference on Biomedical Signal and Image Processing, ICBIP 2022
the proceedings contain 21 papers. the topics discussed include: fast ART algorithm based on simplified weighting factor calculation;advances in the application of magnetic resonance imaging in the diagnosis of brain ...
来源: 评论
Optimal Operation of Adjustable Load via Intelligent Energy Terminals for Renewable Energy Consumption  7
Optimal Operation of Adjustable Load via Intelligent Energy ...
收藏 引用
7th IEEE conference on Energy Internet and Energy System Integration, EI2 2023
作者: Zheng, Bowen Pan, Mingming Bo, Yunfei Liu, Chang Xu, Xu Wen, Chu Wang, Xuchen Li, Yongjun Tian, Shiming China Electric Power Research Institute Co. Ltd. Beijing China Xi'an Jiaotong-Liverpool University Suzhou China China International Engineering Consulting Corporation Co. Ltd Beijing China
Traditional power load management terminals lack precision and flexibility in controlling customer power loads, hindering efficient energy use. Developing intelligent energy terminals is essential to meet national dem... 详细信息
来源: 评论
RSQP: Problem-specific Architectural Customization for Accelerated Convex Quadratic Optimization  23
RSQP: Problem-specific Architectural Customization for Accel...
收藏 引用
50th Annual international Symposium on Computer Architecture (ISCA)
作者: Wang, Maolin McInerney, Ian Stellato, Bartolomeo Boyd, Stephen So, Hayden Kwok-Hay AI Chip Ctr Emerging Smart Syst Hong Kong Peoples R China Univ Manchester Manchester Lancs England Princeton Univ Princeton NJ 08544 USA Stanford Univ Stanford CA 94305 USA Univ Hong Kong Hong Kong Peoples R China
Convex optimization is at the heart of many performance-critical applications across a wide range of domains. Although many high-performance hardware accelerators have been developed for specific optimization problems... 详细信息
来源: 评论
Research on the Coupling System of Social Demand and Input-Output Based on SAM Model  7
Research on the Coupling System of Social Demand and Input-O...
收藏 引用
7th international conference on Intelligent Information Processing, ICIIP 2022
作者: Yin, Zhihong Wuhan Business University Wuhan China
the social accounting matrix model is an accounting method based on the direct correlation analysis of various elements. It reflects the relationship between input and output and various departments, which is convenie... 详细信息
来源: 评论
Energy arbitrage optimization of lithium-ion battery considering short-term revenue and long-term battery life loss
收藏 引用
ENERGY REPORTS 2022年 8卷 364-371页
作者: Bai, Yunfei Wang, Jihong He, Wei Univ Warwick Sch Engn Coventry CV4 7AL W Midlands England
To achieve the ambitious goal of net-zero by 2050, the power sector in many countries has been increasingly using renewable energy sources (RES). the power system balance will be significantly challenged due to the in... 详细信息
来源: 评论
Design an Interactive-Coding Web-Based Learning Module for Algorithm and programming Course in Industrial Engineering Students  7
Design an Interactive-Coding Web-Based Learning Module for A...
收藏 引用
7th international conference on Electrical, Electronics and Information Engineering (ICEEIE)
作者: Darmawan, Vertic Eridani Budi Chen, Yuh Wen Fathullah, M. Larasati, Aisyah Mu'id, Abdul Julia, Rinanda Arinta Univ Negeri Malang Dept Ind Engn Malang Indonesia Dayeh Univ Inst Ind Engn & Management Changhua Taiwan Univ Malaysia Perlis Fac Mech Engn Technol Geopolymer & Green Technol Ctr Excellence CEGeoGe Perlis Malaysia
Computer programming is one of the critical competencies that engineering students should have. Meanwhile, not all engineering students have enough prior experience and knowledge in programming, especially for student... 详细信息
来源: 评论
A Two-Stage Task Offloading Algorithm for Cloud-Edge Collaborative Computing  7
A Two-Stage Task Offloading Algorithm for Cloud-Edge Collabo...
收藏 引用
7th IEEE international conference on Smart Internet of things, SmartIoT 2023
作者: Di, Hengye Liu, Chuang He, Jie Qi, Yue School of Computer and Communication Engineering University of Science and Technology Beijing Beijing100083 China Shunde Innovation School University of Science and Technology Guangdong Beijing528399 China Liaoning Academy of Materials Liaoning Shenyang110000 China
Cloud-edge collaborative computing has become an emerging computing paradigm due to its ability in fully utilizing the computing power for cloud and edge servers. However, in the process of task offloading, it is face... 详细信息
来源: 评论
Optimal Control of Internal Road Boundary for Lane-free Automated Vehicle Traffic  7
Optimal Control of Internal Road Boundary for Lane-free Auto...
收藏 引用
7th international conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS)
作者: Malekzadeh, Milad Papamichail, Ioannis Papageorgiou, Markos Bogenberger, Klaus Tech Univ Crete Dynam Syst & Simulat Lab Khania Greece Tech Univ Munich Chair Traff Engn & Control Munich Germany
this paper presents a novel traffic control action referring to virtual moving of the internal boundary of bi-directional highways for lane-free traffic of automated vehicles. Since capacity of lane-free traffic is ro... 详细信息
来源: 评论
Selected papers from the Rigorous State-Based Methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020
收藏 引用
SCIENCE OF COMPUTER programming 2022年 216卷
作者: Mery, Dominique Raschke, Alexander Univ Lorraine LORIA Campus Sci F-54506 Vandoeuvre Les Nancy France Ulm Univ Ulm Germany
来源: 评论
7th international conference and School of Network Science, NetSci-X 2022
7th International Conference and School of Network Science, ...
收藏 引用
7th international conference and School of Network Science, NetSci-X 2022
the proceedings contain 13 papers. the special focus in this conference is on Network Science. the topics include: HyperNetVec: Fast and Scalable Hierarchical Embedding for Hypergraphs;constructing Provably Robust Sca...
来源: 评论