咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是131-140 订阅
排序:
Design of price package mechanism of integrated energy supply service for end users  9
Design of price package mechanism of integrated energy suppl...
收藏 引用
9th international conference on Energy Materials and Electrical Engineering, ICEMEE 2023
作者: Li, Fulin Shen, Yifan Ma, Zhenyu Zhang, Bo Xu, Haohua Qu, Yanle Shi, Yinglin State Grid Jinhua Power Supply Company Zhejiang Jinhua321000 China State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing102200 China
With the continuous deepening of China9;s energy revolution, the accelerated evolution of a new round of energy transformation, and the deep integration of energy technology and advanced information technology, the... 详细信息
来源: 评论
Mixed Integer Linear programming Based Large Neighborhood Search Approaches for the Directed Feedback Vertex Set Problem  9th
Mixed Integer Linear Programming Based Large Neighborhood Se...
收藏 引用
9th international conference on Metaheuristics and Nature Inspired Computing (META)
作者: Bresich, Maria Varga, Johannes Raidl, Guenther R. Limmer, Steffen TU Wien Inst Log & Computat Vienna Austria Honda Res Inst Europe GmbH D-63073 Offenbach Germany
A directed feedback vertex set (DFVS) of a directed graph is a subset of vertices whose removal makes the graph acyclic. Finding a DFVS of minimum cardinality is the goal of the directed feedback vertex set problem, a... 详细信息
来源: 评论
Security Constrained Unit Commitment With Load Redistribution Cyber Attack  9
Security Constrained Unit Commitment With Load Redistributio...
收藏 引用
9th international conference on Advanced Computing and Communication Systems, ICACCS 2023
作者: Sheela, A. Sivachitra, M. Janani, T.K. Gowrishankar, V. Kumar, N. Ramesh Kongu Engineering College Department of EEE Erode India Al-Ameen Engineering College Department of EEE Erode India
the traditional electricity grids are increasingly the information is connected with cyber-infrastructures and communication technology (ICT) sector9;s rapid advancements, where cyber attacks risks are also increas... 详细信息
来源: 评论
Termination of Generalized Term Rewriting Systems  9
Termination of Generalized Term Rewriting Systems
收藏 引用
9th international conference on Formal Structures for Computation and Deduction, FSCD 2024
作者: Lucas, Salvador DSIC VRAIN Universitat Politècnica de València Spain
We investigate termination of Generalized Term Rewriting Systems (GTRSs), which extend Conditional Term Rewriting Systems by considering replacement restrictions on selected arguments of function symbols, as in Contex... 详细信息
来源: 评论
Dynamic Formation Planning and Control for Robot Soccer Game with Multi-Agent Reinforcement Learning and Behavioral Model  9
Dynamic Formation Planning and Control for Robot Soccer Game...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Zhu, Haier Zhong, Hanzhong Yan, Bo Li, Xiang Tsinghua Shenzhen Int Grad Sch Shenzhen 518055 Peoples R China Tsinghua Univ Dept Automat Beijing 100084 Peoples R China
the robot soccer game has been considered as an illustrative scenario to test the performance of research outcomes on multi-agent systems (MAS). While various algorithm has been developed for a robot soccer game and i... 详细信息
来源: 评论
A Multi-Period Goal programming Model for Healthy Menus: A Tunisian Case Study  9
A Multi-Period Goal Programming Model for Healthy Menus: A T...
收藏 引用
9th international conference on Control, Decision and Information Technologies, CoDIT 2023
作者: Kallel, Dorra Kanoun, Ines Golabi, Mahmoud Dhouib, Diala Idoumghar, Lhassane Sfax University OLID-Laboratory Sfax Tunisia Irimas Institute Haute-Alsace University Mulhouse France
Developing healthy diets in early childhood may help determine future healthy foods. Many kids pass time in childcare, but few studies evaluated the nutritional quality of menus and snacks in childcare homes. therefor... 详细信息
来源: 评论
Codescape - Development and Operation of a Serious Game for Teaching programming in Introductory Courses  9th
Codescape - Development and Operation of a Serious Game f...
收藏 引用
9th Joint international conference on Serious Games, JCSG 2023
作者: Gamper, Paul Schroeder, Ulrik Learning Technologies Research Group RWTH Aachen University Aachen Germany
the serious game Codescape is developed at the RWth University and used in several introductory programming courses with a total of 3000 students per year. the game supports the simultaneous use of several programming... 详细信息
来源: 评论
Power gateway slicing wireless resource optimization based on deep reinforcement learning  9
Power gateway slicing wireless resource optimization based o...
收藏 引用
9th international conference on Energy Materials and Electrical Engineering, ICEMEE 2023
作者: Wang, Zhaoshuo Zhang, Yuheng Wang, Ning Zhao, Hanghang Wen, Xing Zhao, Liuqi Zhu, Jinwei Operation and Maintenance Center of Information and Communication Csg Ehv Power Transmission Company GuangZhou510663 China Guangzhou Bureau of Csg Ehv Power Transmission Company GuangZhou510663 China
In order to reduce the business platform9;s processing of massive IoT terminals and meet the physical isolation and differential quality assurance between different services, 5G slicing technology is used to logica... 详细信息
来源: 评论
Nonlinear Model Predictive Clamping Force Control for Electromechanical Brake System  9
Nonlinear Model Predictive Clamping Force Control for Electr...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Wei, Wenpeng He, Tianyi Men, Yifan Wang, Jinxiang Xiong, Lu Yin, Guodong Southeast Univ Sch Mech Engn Nanjing 211189 Peoples R China Southeast Univ Minist Educ Key Lab Measurement & Control Complex Syst Engn Nanjing 210096 Peoples R China Utah State Univ Dept Mech & Aerosp Engn Logan UT 84322 USA ZDrive Ai Ali Ctr 7th FloorBlock T21398 Shenchang Rd Shanghai Peoples R China Tongji Univ Sch Automot Studies Shanghai 201804 Peoples R 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... 详细信息
来源: 评论
Randomised Testing of the Compiler for a Verification-Aware programming Language  17
Randomised Testing of the Compiler for a Verification-Aware ...
收藏 引用
17th IEEE international conference on Software Testing, Verification, and Validation (ICST)
作者: Donaldson, Alastair F. Sheth, Dilan Tristan, Jean-Baptiste Usher, Alex Imperial Coll London London England AWS Boston MA USA
We present the design and implementation of two new tools for randomised testing of the compiler of the Dafny programming language. the Dafny language and tool-chain supports formal verification of rich functional pro... 详细信息
来源: 评论