咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是411-420 订阅
排序:
Research on Single Player Strategy Selection of Crossing Desert Game Based on Dynamic programming and Fuzzy Evaluation
Research on Single Player Strategy Selection of Crossing Des...
收藏 引用
ICETIS 2022;7th international conference on Electronic Technology and Information Science
作者: Qimiao Ma
"Crossing the Desert" is a game that combines survival challenges and benefits. In this paper, aiming at the daily schedule and resource allocation in the game, firstly, the discussion is divided into two ca...
来源: 评论
Optimization of Multi-UUV Cooperative Detection Formation Based on Particle Swarm Optimization
Optimization of Multi-UUV Cooperative Detection Formation Ba...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Yonghao Zhang Changyou Xue Jiaxuan Yang Navy Submarine Academy Qingdao China
In order to improve the cooperative detection performance of multi-UUV searching task in unknown waters, it is necessary to optimize the UUV formation. Firstly, the linear array with fast and convenient layout is sele... 详细信息
来源: 评论
Comparative Analysis of Data Compression and Communication Algorithms
Comparative Analysis of Data Compression and Communication A...
收藏 引用
international conference on Network Applications Protocols and Services (NETAPPS)
作者: Andrew D'Arms Lexi Dunsmore Samuel Ferguson Samuel Richards Yousef Fazea Department of Computer Sciences and Electrical Engineering Marshall University Huntington WV USA
Efficient data compression methods are critical for optimizing storage, accelerating data transfer, and improving system performance. this study gives a comprehensive comparison of three data compression algorithms: R... 详细信息
来源: 评论
FIFA Dataset Analysis and Match Prediction
FIFA Dataset Analysis and Match Prediction
收藏 引用
international conference on Circuit, Power and Computing Technologies (ICCPCT)
作者: Salil Tamboli Aman Anand School of Computer Science and Engineering Galgotias University Greater Noida India
the world of football, with its vast player database and intricate gameplay, has been a subject of fascination for enthusiasts and analysts alike. the FIFA video game series, developed by EA Sports, provides an opport... 详细信息
来源: 评论
Routing and Spectrum Allocation in Dynamic Optical Satellite Networks  7
Routing and Spectrum Allocation in Dynamic Optical Satellite...
收藏 引用
7th international conference on Computer and Communications, ICCC 2021
作者: Song, Guanglei Liu, Xianfeng Chen, Quan Yang, Lei Zhao, Yong Han, Huihua Shandong Institute of Space Electronic Technology Yantai China Beijing Institute of Tracking and Telecommunications Technology Beijing China National University of Defense Technology Changsha China
Due to the advantages of global coverage and large capacity, satellite optical networks (OSNs) have been widely used in military and commercial applications. However, time-varying topology and coarse-grained resource ... 详细信息
来源: 评论
Identifying Principles and Ownership of Data Governance Framework for Higher Education Institution  7
Identifying Principles and Ownership of Data Governance Fram...
收藏 引用
7th international conference on Research and Innovation in Information Systems, ICRIIS 2021
作者: Hanapiah, Norhafizah Mohd Iahad, Noorminshah A. Bahari, Mahadi Azman Hashim International Business School Universiti Teknologi Malaysia Johor Bahru Malaysia
Effective strategic planning and decision- making process is a complex process as it involves a large volume of data to produce quality information. In the context of Higher Education, specifically on student developm... 详细信息
来源: 评论
Gender Differences in Computational thinking Skills among Malaysian's Primary School Students using Visual programming  7
Gender Differences in Computational Thinking Skills among Ma...
收藏 引用
7th international conference on Software Engineering and Computer Systems and 4th international conference on Computational Science and Information Management, ICSECS-ICOCSIM 2021
作者: Abdullah, Osmanullrazi Kamaludin, Adzhar Rahman, Nur Shamsiah Abdul University Malaysia Pahang Faculty of Computing Malaysia
Computational thinking (CT) is a thought process which utilize computer science concepts to solve problem in the real life. One of the methods to develop CT among the Children is by using visual programming to create ... 详细信息
来源: 评论
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer programming  23
On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (...
收藏 引用
Proceedings of the 7th international conference on Algorithms, Computing and Systems
作者: Gregory Morse Tamás Kozsik Department of Programming Languages and Compilers Faculty of Informatics ELTE Eötvös Loránd University Hungary
We present an asymptotic improvement in the number of variables (n + m⌊log 2(k − 1)⌋) required for state-of-the-art formulation of (max-)k-SAT problems when encoded as a quadratic unconstrained binary optimization (QU... 详细信息
来源: 评论
Cooperative adaptive optimal output regulation of multi-agent systems with an application to connected and autonomous vehicles
Cooperative adaptive optimal output regulation of multi-agen...
收藏 引用
Industrial Cyber-Physical Systems (ICPS)
作者: Yuchen Dong Weinan Gao State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang China
this paper proposes a novel control approach based on gradient descent methods to solve the problem of cooperative adaptive optimal output regulation of continuous-time linear multi-agent systems. this proposed approa... 详细信息
来源: 评论
Proceedings of 2021 7th international HCI and UX conference in Indonesia, CHIuXiD 2021
Proceedings of 2021 7th International HCI and UX Conference ...
收藏 引用
7th international HCI and UX conference in Indonesia, CHIuXiD 2021
the proceedings contain 9 papers. the topics discussed include: the development of a collection of art-themed mobile application (Videre) using challenged based learning;designing touchless hand gestures interactions ...
来源: 评论