咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3141-3150 订阅
排序:
Exploration of Quantum Computing in Multi-Die FPGA Routing Problems
Exploration of Quantum Computing in Multi-Die FPGA Routing P...
收藏 引用
international conference on Integrated Circuits and Microsystems (ICICM)
作者: Haochang Tian Xu Zhang Chengkai Wang Weiqing Ji Mingyang Kou Hailong Yao School of Computer & Communication Engineering University of Science and Technology Beijing Beijing China
this paper delves into the innovative application of quantum computing to solve complex multi-die FPGA (FieldProgrammable Gate Array) routing challenges. Leveraging the Quantum Approximate Optimization Algorithm (QAOA... 详细信息
来源: 评论
Research on Optimal Allocation of Electric-Cool-Heat Integrated Energy System Considering Reliability
Research on Optimal Allocation of Electric-Cool-Heat Integra...
收藏 引用
IEEE Joint international Information Technology and Artificial Intelligence conference (ITAIC)
作者: Song Liu You Wu Lei Yan Qing Wang School of Electrical and Electronic Engineering North China Electric Power University Beijing China State Grid Shandong Electric Power Research Institute Jinan China
Optimizing the capacity allocation of the integrated energy system (IES) can promote the cascade utilization of multiple energy sources of electric cooling and heating, which is an important research direction of IES ... 详细信息
来源: 评论
Research on Reactive Power Compensation for Distribution Networks with New Energy Access
Research on Reactive Power Compensation for Distribution Net...
收藏 引用
IEEE international conference on Power and Power and Renewable Energy (ICPRE)
作者: Zhenghua Wu Qi Zhu Bo Sun Ruixin Dai Yueshen Hua Chenyan Yang Pudong Power Supply Branch State Grid Shanghai Company Shanghai China
In response to the common problems of high active power loss and poor voltage quality in medium and low voltage distribution networks with new energy access, the objective function is proposed to decompose the reactiv... 详细信息
来源: 评论
Robust Distributed MIMO Localization based on Binary Hard Weighting
Robust Distributed MIMO Localization based on Binary Hard We...
收藏 引用
IEEE international conference on Signal and Image Processing (ICSIP)
作者: Zhang-Lei Shi Wenxin Xiong Xiao Peng Li Weiguo Li Yaru Fu Xijun Liang College of Science China University of Petroleum (East China) Qingdao China Department of Electrical Engineering City University of Hong Kong Hong Kong China College of Electronics and Information Engineering Shenzhen University Shenzhen China School of Science and Technology Hong Kong Metropolitan University Hong Kong China
In practical scenarios, the non-line-of-sight errors or impulsive noise in dense urban areas pose great challenges to efficient and robust distributed multiple-input multiple-output radar localization. To achieve robu... 详细信息
来源: 评论
Hydrogen Pinch Analysis with Recycled Hydrogen Approach by Energy Management of Refinery Processes in Optimal State
Hydrogen Pinch Analysis with Recycled Hydrogen Approach by E...
收藏 引用
Technology and Energy Management (ICTEM), international conference on
作者: Daryoush Tavangar Rizi Mohammad Hassan Nazari G. B. Gharehpetian Seyed Hossein Hosseinian Maryam Fani Amir Khorsandi Department of Physics and Energy Engineering Amirkabir University of Technology Tehran Iran Smart Control Systems Department Niroo Research Institute (NRI) Tehran Iran Department of Electrical Engineering Amirkabir University of Technology Tehran Iran
Special goals in the oil industry lead experts to the optimal use of hydrogen in refinery and petrochemical units. In this research, the necessity of hydrogen management and refinery hydrogen distribution network in r... 详细信息
来源: 评论
Discrimination Method to Track Before Detect Based on Dynamic programming
Discrimination Method to Track Before Detect Based on Dynami...
收藏 引用
2008 9th international conference on Signal Processing(ICSP’2008)
作者: Wen-guang Wang 1 Jin-ping Sun 1 Yu-jie Li 1 Xiao-yang Su 2 Zhao-yang Qiu 2 1 School of EIE,Beihang University,Beijing 100083,P.R.China 2 the Radar and Avionics Institute of Avic,Wuxi 214063,P.R.China
the TBD algorithm based on Dynamic programming is an effective method for detecting dim *** the DP process during the multi-frame integration causes the expansion of targets and strong noise which may produce a large ... 详细信息
来源: 评论
ERI: A New Method for Ensuring Request Integrity  16
ERI: A New Method for Ensuring Request Integrity
收藏 引用
Proceedings of the 9th EAI international conference on Mobile Multimedia Communications
作者: Eryue Zhuang Zhenzhou Tian Xiaojun Cui Jian Li Zhiwen Wang MOE Key Lab. for Intelligent Networks and Network Security Xi'an Jiaotong University Xian China and Shaanxi Province Key Lab. of Satellite and Terrestrial Network Tech Xi'an Jiaotong University Xian China
A series of requests are performed in fixed order to achieve certain requirements in web applications. the request integrity attack (RIA) is applied to steal users9; data and identity, by inducing the users to exec... 详细信息
来源: 评论
Implementation of Single Shot Multibox Detector (SSD) Algorithm for Object Detection
Implementation of Single Shot Multibox Detector (SSD) Algori...
收藏 引用
international conference on Business and Industrial Research (ICBIR)
作者: Phongsavanh Sengaphone Juan Miguel De Leon Gerardo L. Augusto Jeremias A. Gonzaga Joseph Aldrin Chua Laurence A. Gan Lim Ronnie Concepcion Argel A. Bandala Raouf Naguib Mechanical Engineering Dept De La Salle University (DLSU) Manila Philippine Manufacturing Engineering and Management Dept De La Salle University (DLSU) Manila Philippine Electronics and Communications Engineering Dept De La Salle University (DLSU) Manila Philippine Mathematics Computer Science and Engineering Dept Liverpool Hope University (LHU) Liverpool England
this study presents an innovative implementation of the Single Shot Multibox Detector (SSD) algorithm for real-time object detection on the Raspberry Pi 4. It harnesses the synergies of Python programming, the OpenCV ... 详细信息
来源: 评论
Towards Understanding Rust in the Era of AI for Science at an Ecosystem Scale
Towards Understanding Rust in the Era of AI for Science at a...
收藏 引用
international conference on Communications, Information System and Computer Engineering (CISCE)
作者: Bo Xu Department of Chemistry Physical Sciences at the Microscale New Cornerstone Science Laboratory Hefei National Research Center Institute of Advanced Technology University of Science and Technology of China Hefei China
Rust is an emerging programming language that provides both memory and thread safety like Java, and runtime efficiency like C/C++, by introducing a number of novel language features such as ownership, borrowing, expli... 详细信息
来源: 评论
Cell Devices for High-Density Flash Memory
Cell Devices for High-Density Flash Memory
收藏 引用
2008 9th international conference on Solid-State and Integrated-Circuit Technology
作者: Jong-Ho Lee Young Min Kim Sung-Ho Bae Kyung-Rok Han Il-Hwan Cho School of EECS Kyungpook National University 1370 Sankyuk-DongBuk-GuDaegu702-701 Korea
Introduction Demand for non-volatile memory devices has grown rapidly in recent years because it is a cost-effective data-storage solution in a broad ***,two major types of flash memory,NOR and NAND,are developed thei... 详细信息
来源: 评论