咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3161-3170 订阅
排序:
Economic Analysis of Energy Efficiency Programs with Energy Storage Systems on the Optimal Smart Microgrid Energy Management
Economic Analysis of Energy Efficiency Programs with Energy ...
收藏 引用
Technology and Energy Management (ICTEM), international conference on
作者: Masoud Agabalaye-Rahvar Amir Talebi Hamed Kheirandish Gharehbagh Kazem Zare Tuba Gozel Faculty of Electrical and Computer Engineering University of Tabriz Tabriz Iran Faculty of Electrical and Computer Engineering Gebza Technic University Gebze Turkey
Smart microgrids (SMGs) represent an innovative and adaptive approach to energy distribution, integrating advanced technologies and intelligent control systems to enhance energy efficiency and reliability. In these SM... 详细信息
来源: 评论
Sparsity-Based Direct Location Estimation Based on Two-step Dictionary Learning
Sparsity-Based Direct Location Estimation Based on Two-step ...
收藏 引用
the 9th international conference on Wireless Communications,Networking and Mobile Computing(WICOM 2013)
作者: Tingting Wang Wei Ke Gang Liu The Jiangsu Engineering Center of Meteorological Sensor Network Technology Nanjing University of Information Science and Technology The Jiangsu Key Laboratory on Optoelectronic Technology School of Physics and TechnologyNanjing Norm University Key Laboratory of Disaster Reduction and Emergency Response Engineering of the Ministry of Civil Affairs
this paper proposes an adaptive sparsity-based direct position determination (DPD) appoach to locate multiple targets in the case of time-varying channels. the novel feature of this method is to dynamically adjust bot... 详细信息
来源: 评论
Harmonizing decisions in wind farm management to provide a stable energy supply
Harmonizing decisions in wind farm management to provide a s...
收藏 引用
international conference on Mathematics and Computers in Sciences and in Industry (MCSI)
作者: Zixuan Zhang Marek Makowski Zbigniew Nahorski Janusz Granat East China University of Science and Technology Shanghai China Systems Research Institute of the Polish Academy of Sciences Warsaw Poland International Institute for Applied Systems Analysis Laxenburg Austria Warsaw University of Technology Warsaw Poland
Variable renewable energy generation requires management to provide a stable energy supply. the management consists of making decisions at different time scales; harmonization of such decisions is the main challenge a... 详细信息
来源: 评论
Energy Storage Sizing Taking into Account Forecast Uncertainties in Distributed Energy Management System
Energy Storage Sizing Taking into Account Forecast Uncertain...
收藏 引用
2017 9th international conference on Modelling, Identification and Control (ICMIC 2017)
作者: Yue Li Xiaoyu Tang Shuzheng Wang Qinmin Yang the Collaborative Innovation Center for Intelligent Technology and Equipment in Distribution Network the State Key Laboratory of Industrial Control Technology College of Control Science and EngineeringZhejiang University
the rapid development of eco-friendly technologies such as energy storage system(ESS) and smart grid will shape the power consumption pattern in the *** paper proposes an analytical method to determine the battery c... 详细信息
来源: 评论
Implementation of ML Algorithm for Spyware Detection System Using SVM with KNN Algorithm for Comparison of Accuracy
Implementation of ML Algorithm for Spyware Detection System ...
收藏 引用
Green Buildings (ATiGB), Applying New Technology in
作者: I. V Inba Pranaou S. Christy T. Poovizhi Department of Computer Science and Engineering Saveetha School of Engineering Saveetha Institution of Medical and Technical Sciences Saveetha University Chennai Tamil Nadu India
the research examines the Support Vector Machines (SVM) and K-Nearest Neighbor (KNN) machine learning algorithms with the goal of using machine learning to detect malware and mitigate cybersecurity threats. Utilizing ... 详细信息
来源: 评论
Computer animation with scripts and actors  82
Computer animation with scripts and actors
收藏 引用
Proceedings of the 9th annual conference on Computer graphics and interactive techniques
作者: Craig W. Reynolds Information International Inc.
A technique and philosophy for controlling computer animation is discussed. Using the Actor/Scriptor Animation System (ASAS) a sequence is described by the animator as a formal written SCRIPT, which is in fact a progr... 详细信息
来源: 评论
A Compositional Semantics for a Wide-Coverage Natural-Language Query Interface to a Semantic Web Triplestore
A Compositional Semantics for a Wide-Coverage Natural-Langua...
收藏 引用
international conference on Semantic Computing
作者: Shane Peelar Richard Frost School of Computer Science University of Windsor 401 Sunset Avenue N9B 3P4 Windsor Ontario Canada University of Windsor Windsor ON Canada
Many Natural Language (NL) Query Interfaces to data stores convert queries to a formal query language and then execute the formal query in order to obtain the result. this is problematic when handling chained preposit... 详细信息
来源: 评论
Effectiveness of Support Programmes for (in)Formal Caregivers of Older Dependent People to Design Technologies  9th
Effectiveness of Support Programmes for (in)Formal Caregiver...
收藏 引用
9th international conference on Human Aspects of IT for the Aged Population, ITAP 2023, held as part of the 25th international conference on Human-Computer Interaction, HCII 2023
作者: Zorrilla-Muñoz, Vanessa Veira-Ramos, Alberto Agulló-Tomás, María Silveria Garcia-Aracil, Nicolas Fernandez, Eduardo Bioengineering Institute Miguel Hernández University of Elche Elche Spain University Institute on Gender Studies University Carlos III of Madrid Getafe Spain Department of Social Analysis University Carlos III of Madrid Getafe Spain CIBER BBN Elche Spain
the growing number of older dependent population in Spain has incremented the demand for programmes and services aimed to provide support to (in)formal caregivers. Current legislation does not provide clear standardiz... 详细信息
来源: 评论
An assessment of a ROS class using an educational mobile robot
An assessment of a ROS class using an educational mobile rob...
收藏 引用
international Engineering, Sciences and Technology conference (IESTEC)
作者: José Varela-Aldás Christian Junta Jorge Buele Guillermo Palacios-Navarro Centro de Investigaciones de Ciencias Humanas y de la Educación - CICHE Universidad Indoamérica Ambato Ecuador SISAu Research Group Facultad de Ingeniería Industria y Producción Universidad Indoamérica Ambato Ecuador Department of Electronic Engineering and Communications University of Zaragoza Teruel España
the Robot Operating System (ROS) is a middleware that standardizes robot programming, both in simulation and with real equipment. Despite this open-source tool being available for several years, there’s still a need ... 详细信息
来源: 评论
Pitfalls and safeguards in real-time digital systems with emphasis on programming  87
Pitfalls and safeguards in real-time digital systems with em...
收藏 引用
Proceedings of the 9th international conference on Software Engineering
作者: W. A. Hosier Systems Engrg. and Management Operation Sylvania Electronic Systems Div. Needham Mass.
Real-time digital systems are largely a technical innovation of the past decade, but they appear destined to become more wide spread in the future. they monitor or control a real physical environment, such as an air-t...
来源: 评论