咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3451-3460 订阅
排序:
Optimal Deployment of UAV-Mounted Reconfigurable Intelligent Surfaces for Millimeter-Wave Transmission
Optimal Deployment of UAV-Mounted Reconfigurable Intelligent...
收藏 引用
Communications and Networking (BalkanCom), international Balkan conference on
作者: Kutluhan Taylan İren Abdürrahim Gün Tolga Girici Dept. of Electrical and Electronics Eng. TOBB University of Economics and Technology Ankara Turkey
We study the deployment of reconfigurable intelligent surfaces (RIS’s) on a cellular area. the RIS’s are mounted on unmanned aerial vehicles that hover on the ground users at a fixed altitude. Severe blockage in mil... 详细信息
来源: 评论
Buffered routing tree construction under buffer placement blockages
Buffered routing tree construction under buffer placement bl...
收藏 引用
Asia and South Pacific Design Automation conference
作者: Wei Chen M. Pedram P. Buch University of Southern California Los Angeles CA USA Magma Design-Automation Inc. Cupertino CA USA
Interconnect delay has become a critical factor in determining the performance of integrated circuits. Routing and buffering are powerful approaches to improve circuit speed and correct timing violations after global ... 详细信息
来源: 评论
Extraction of PV module electrical parameters based on the single diode and double diode model of a PV cell
Extraction of PV module electrical parameters based on the s...
收藏 引用
international Multidisciplinary conference on Computer and Energy Science (SpliTech)
作者: Petar Mari7 Ivan Marasovi7 Ivan Bevanda Tihomir Betti Faculty for mechanical engineering computing and electrical engineering University of Mostar Mostar Bosnia and Herzegovina Faculty for electrical engineering mechanical engineering and naval architecture University of Split Split Croatia
In this paper the modelling of the photovoltaic module has been applied through the experimental flash test data of industrial photovoltaic module. the theoretical background of the single diode model and the double d... 详细信息
来源: 评论
Assessing the performance portability of modern parallel programming models using TeaLeaf
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2017年 第15期29卷
作者: Martineau, Matthew McIntosh-Smith, Simon Gaudin, Wayne Univ Bristol HPC Grp Bristol Avon England UK Atom Weap Estab AWE Aldermaston England
In this work, we evaluate several emerging parallel programming models: Kokkos, RAJA, OpenACC, and OpenMP 4.0, against the mature CUDA and OpenCL APIs. Each model has been used to port Tealeaf, a miniature proxy appli... 详细信息
来源: 评论
Statistical Optical Image Analysis for Information System
Statistical Optical Image Analysis for Information System
收藏 引用
IEEE international conference on Future Internet of things and Cloud Workshops (FiCloudW)
作者: Oleksandr O. Ryazantsev Ganna M. Khoroshun Andrii I. Riazantsev Vitalii Ivanov Aleksandr Baturin Volodymyr Dahl East Ukrainian National University Dept. of Programming and Mathematics Volodymyr Dahl East Ukrainian National University Severodonetsk Ukraine
Optical image processing methods are important for creation and development of an automated measuring information optical system. Statistical methods provide additional information, a better understanding of the objec... 详细信息
来源: 评论
Optimization of Li-ion modelling for automotive application: comparison of optimization methods performances
Optimization of Li-ion modelling for automotive application:...
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: Aissam MEDDOUR Nassim RIZOUG Anthony BABIN Laid DEGAA Ecole Supérieure des Techniques Aéronautiques et de Construction Automobile France
the embedded storage system is the principal part in the electric vehicle. the vehicle's autonomy and price influence depend on the chosen source technology. For that, we must optimize the sizing and the ageing of... 详细信息
来源: 评论
An Adaptive Image Windowing Method for Real-Time Object Detection on Board
An Adaptive Image Windowing Method for Real-Time Object Dete...
收藏 引用
international conference on Electronics Technology (ICET)
作者: Long Ling Zhijun Lu Manli Shi Jie Wang Yuqing Li Minghe Hu China Academy of Space Technology Beijing Institute of Space Mechanics & Electricity Beijing China
In order to meet the real-time detection and processing requirements of on-board targets in the field of remote sensing image processing, this paper carries out relevant research from the perspective of software optim... 详细信息
来源: 评论
Centralized -local voltage control of low-voltage distribution network based on photovoltaic -storage combined power generation unit
Centralized -local voltage control of low-voltage distributi...
收藏 引用
China international Electrical and Energy conference (CIEEC)
作者: Xiaolong Chen Ying Xu Bin Li School of Electrical and Information Engineering Tianjin University Tianjin China
To solve the problem of voltage exceeding limits when high permeability photovoltaic is connected to low-voltage distribution networks, this paper proposes a centralized-local control strategy based on photovoltaic-st... 详细信息
来源: 评论
Resolution of a Routing and Wavelength Assignment Problem by Independent Sets in Conflict Graphs
Resolution of a Routing and Wavelength Assignment Problem by...
收藏 引用
international conference on Control, Decision and Information Technologies (CoDIT)
作者: Olivier Hudry Télécom-Paris / LTCI Palaiseau France
In an optical network, a Scheduled Lightpath Demand (SLD) is a connection demand between two nodes, during a certain time and with a certain wavelength. We consider the following NP-hard Routing and Wavelength Assignm... 详细信息
来源: 评论
On test scheduling for core-based SOCs
On test scheduling for core-based SOCs
收藏 引用
Asia and South Pacific Design Automation conference
作者: S. Koranne ED&T/Test Philips Research Laboratories Eindhoven Netherlands
Presents a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of test resources (e.g., test access mechanis... 详细信息
来源: 评论