咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 131 篇 期刊文献
  • 72 册 图书

馆藏范围

  • 3,590 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,393 篇 工学
    • 1,892 篇 计算机科学与技术...
    • 1,148 篇 软件工程
    • 418 篇 电气工程
    • 268 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 401 篇 管理学
    • 336 篇 管理科学与工程(可...
    • 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,508 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3592 条 记 录,以下是3491-3500 订阅
排序:
Exploring one-sided communication and synchronization on a non-cache-coherent many-core architecture
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷
作者: Christgau, Steffen Schnor, Bettina Univ Potsdam Inst Comp Sci August Bebel Str 89 D-14482 Potsdam Germany
the ongoing many-core design aims at core counts where cache coherence becomes a serious challenge. therefore, this paper discusses how one-sided communication and the required process synchronization can be realized ... 详细信息
来源: 评论
Motion Blurred Image Restoration Network Based on Insulator Defect Detection
Motion Blurred Image Restoration Network Based on Insulator ...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Le Chang Fafu Qin Xiangchun Luo Peng Li Department of Electrical Engineering of New Energy College China University of Petroleum (East China) Qingdao China
Motion blur generated during aerial photography by UAVs can lead to distortion of the target portion of the captured insulator image, which is not conducive to the subsequent positioning and defect detection of insula... 详细信息
来源: 评论
Autonomous garbage collection: resolving memory leaks in long running network applications
Autonomous garbage collection: resolving memory leaks in lon...
收藏 引用
international conference on Computer Communications and Networks (ICCCN)
作者: B. Willard O. Frieder Electronics and Systems Integration Division Northrop Grumman Corporation Melbourne FL USA Department of Computer Science & Applied Mathematics Illinois Institute of Technology Chicago IL USA
Garbage collection is especially useful for long running server applications in network environments since sustained memory leaks continuously degrade performance and eventually result in application failure. We demon... 详细信息
来源: 评论
Trajectory Optimization of Aircraft Based on Intelligent Bionic Algorithm
Trajectory Optimization of Aircraft Based on Intelligent Bio...
收藏 引用
IEEE international conference on Automation, Electronics and Electrical Engineering (AUTEEE)
作者: Qianchen Guo Anlan Yin Yichen Wang Harbin Engineering University Harbin China
With the continuous advancement of AI intelligent algorithms, significant progress has been achieved in unmanned systems research. Among these, the intelligent selection of autonomous flight paths for unmanned aerial ... 详细信息
来源: 评论
Optimal Design of Structural Parameters for Ladder-Type Secondary of Linear Induction Motor Based on Tabu Search Algorithm
Optimal Design of Structural Parameters for Ladder-Type Seco...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Zhuo Zhang Yumei Du Yongxian Liu Ruihua Zhang Liming Shi Zixin Li Key Laboratory of Power Electronics and Electric Drive Institute of Electrical Engineering Chinese Academy of Sciences University of Chinese Academy of Sciences China Beijing China
In order to improve the performance of the long primary double sided linear induction motor (LP-DSLIM), the equivalent circuit of the ladder-type secondary LP-DSLIM is established under the condition of considering th... 详细信息
来源: 评论
Local Linear Fitting Method for Lidar Depth Completion Based on RGB Image Guidance
Local Linear Fitting Method for Lidar Depth Completion Based...
收藏 引用
Robotics, Control and Automation Engineering (RCAE), international conference on
作者: Xiaorong Sun Qinghua Zeng Sheng Hong Yineng Li Yan Wang Nanjing University of Aeronautics and Astronautics Nanjing China
the depth image contains rich spatial information, which is crucial for simultaneous localization and mapping (SLAM) as well as accurate environmental perception. However, the original depth image is often sparse and ... 详细信息
来源: 评论
Multi-stage Local Path Planning Algorithm Based on Obstacles as Anchor Points
Multi-stage Local Path Planning Algorithm Based on Obstacles...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Jianyi Zhu Xiaojun Wang Xianyu Qi Bin Lian Yanpeng Dong Beijing Institute of Mechanical Equipment Beijing China
To address the problem of poor smoothness and solvability in dense obstacle scenarios of traditional local path planning algorithms for unmanned vehicles, a multi-stage local path planning algorithm based on obstacles... 详细信息
来源: 评论
Optimization of reactive power support in Power Distribution Network - An economical based study
Optimization of reactive power support in Power Distribution...
收藏 引用
international conference on Electrical Energy Systems (ICEES)
作者: C. Kumar Reddy G. Srinivasan B.S. Lokasree Sree Vidyanikethan Engineering College A. Rangampet TIRUPATHI A.P IEEE CHENNAI CMR Institute of Technology Bangalore KARNATAKA
It is well known that reactive power compensation at optimal nodes, helps in reduction of I 2 R loss and enhancement in bus voltage in Power Distribution Network (PDN) thereby, improvement in efficacy. this work consi... 详细信息
来源: 评论
Quadruped Robot Motion Control Method Based on Adaptive Weight Coefficients MPC
Quadruped Robot Motion Control Method Based on Adaptive Weig...
收藏 引用
Advanced Algorithms and Control Engineering (ICAACE), international conference on
作者: Zhipeng Nan Lin Xu Chengleng Han Guorui Zhao Hubei Key Laboratory of Advanced Technology for Automotive Components Wuhan University of Technology Wuhan China
In real-world environments, quadruped robots often need to traverse unstructured terrains and may encounter various unexpected impacts. To enhance the motion balance performance of quadruped robots when facing unknown... 详细信息
来源: 评论
SPECTRA Phones: Systematic Personalized Evaluation for Comprehensive Technological Recommendations and Advancements in Phones
SPECTRA Phones: Systematic Personalized Evaluation for Compr...
收藏 引用
international conference on Informatics and Computational Sciences (ICICoS)
作者: Robert G. De Luna Paolo C. Batingan Benedict B. Berbon Mark Joseph Kish Kerby M. Pecayo Renz Justine L. Villegas Polytechnic University of the Philippines Sto. Tomas City Batangas Philippines
Deciding and purchasing phones becomes crucial in tech-illiterate individuals. Buying phones circulates in a usual manner like acquiring it as soon as it is introduced by the sales officers. Having no further knowledg... 详细信息
来源: 评论