咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3131-3140 订阅
排序:
A Design for Crossing Waypoints Location in Air Route Network Based on Genetic Algorithm
A Design for Crossing Waypoints Location in Air Route Networ...
收藏 引用
IEEE Joint international Information Technology and Artificial Intelligence conference (ITAIC)
作者: Yibo Li Yan Zhang Bin Feng School of Civil Aviation Shenyang Aerospace University Shenyang China Key Laboratory of Civil Aviation of Liaoning Province Shenyang China
On the basis of ensuring flight safety, the total flight conflict coefficient (TFCC) of the route network is added to the objective function to establish a single-objective optimization with the minimum collision coef... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
AdaptMon: Adaptive Polling-Based Network Monitoring
AdaptMon: Adaptive Polling-Based Network Monitoring
收藏 引用
international conference on Frontiers of Signal Processing (ICFSP)
作者: Fatemeh Amou Aghaei Ruairi de Frein School of Electrical and Electronic Engineering Technological University Dublin Dublin Ireland School Electrical and Electronic Engineering Technological University Dublin Dublin Ireland
Network monitoring promotes stable network operation by giving Software-Defined Networking (SDN) controllers data on the dynamically changing underlying infrastructure, such as traffic flows, bandwidth usage, network ... 详细信息
来源: 评论
Research on Pricing Strategy of Shared Energy Storage and Integrated Energy Microgrid Cluster Transaction Based on Stackelberg Game theory
Research on Pricing Strategy of Shared Energy Storage and In...
收藏 引用
IEEE international conference on Power and Power and Renewable Energy (ICPRE)
作者: Siwen Wang Hui Chen Zhixin Wang Yanfei Shang Chunyang Gong College of Automation Engineering Shanghai University of Electric Power Shanghai China School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai China LITHOS NEW ENERGY GROUP COMPANY LIMITED Shanghai China College of Automation Engineering College of Electrical Engineering Shanghai University of Electric Power Shanghai China
With the rapid development of renewable energy technologies, shared energy storage systems play a crucial role in enhancing the efficiency of integrated energy microgrid clusters. this paper introduces the cooperative... 详细信息
来源: 评论
Detect and Minimize Reverse Power Flow in a Distribution System Integrated Renewable Energy
Detect and Minimize Reverse Power Flow in a Distribution Sys...
收藏 引用
international conference on Integrated Circuits, Design, and Verification (ICDV)
作者: Nguyen Cong Chinh Nguyen Nhat Tung Manh-Hung Ha Faculty of Electrical and Electronics Engineering Thuyloi University Hanoi Vietnam Faculty of Applied Sciences International School Vietnam National University Hanoi Vietnam
High penetration of renewable energy into the power system can cause risks such as overvoltage, frequency variation, voltage deviation, reverse power flow (RPF), etc. this paper presents a method to detect and minimiz... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Two-stage Optimization Based Multirate Transmission for SVC Streaming
Two-stage Optimization Based Multirate Transmission for SVC ...
收藏 引用
2008 9th international conference on Signal Processing(ICSP’2008)
作者: Lu Jiang,Junni Zou Key Laboratory of Special Fiber Optics and Optical Access Networks,Ministry of Education School of Comm.& Info.Engineering,Shanghai University
this paper addressed multirate allocation issues for Scalable Video Coding(SVC) streaming multicasting to heterogeneous *** view of the enhancement layers9; dependence on the base layer,a two-stage optimization sol... 详细信息
来源: 评论
A Practical theory of Language-Integrated Query
收藏 引用
ACM SIGPLAN NOTICES 2013年 第9期48卷 403-416页
作者: Cheney, James Lindley, Sam Wadler, Philip Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland Univ Strathclyde Glasgow G1 1XQ Lanark Scotland
Language-integrated query is receiving renewed attention, in part because of its support through Microsoft9;s LINQ framework. We present a practical theory of language-integrated query based on quotation and normal... 详细信息
来源: 评论
Reactive stream processing for data-centric publish/subscribe  15
Reactive stream processing for data-centric publish/subscrib...
收藏 引用
Proceedings of the 9th ACM international conference on Distributed Event-Based Systems
作者: Shweta Khare Kyoungho An Aniruddha Gokhale Sumant Tambe Ashish Meena Vanderbilt University Nashville TN Real-Time Innovations Sunnyvale CA
the Internet of things (IoT) paradigm has given rise to a new class of applications wherein complex data analytics must be performed in real-time on large volumes of fast-moving and heterogeneous sensor-generated data... 详细信息
来源: 评论
Data-driven Condition-based Maintenance Schedules of Active Distribution Networks
Data-driven Condition-based Maintenance Schedules of Active ...
收藏 引用
IEEE international conference on Power and Power and Renewable Energy (ICPRE)
作者: Fengsheng Li Yuwei Shang Jinli Wang Limei Zhou Shuaitao Bai Wenke Shen Distribution technology center China Electric Power Research Institute Co. Ltd. Beijing China Wenchang power Supply Bureau Hainan Power Grid Co. Ltd. Hainan China
Scientific maintenance schedules are an effective way to reduce maintenance costs and promote asset management efficiency in distribution networks. With the increasing integration of a large number of stochastic distr... 详细信息
来源: 评论