咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 3,146 篇 电子文献
  • 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
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware
  • 35 篇 costs

机构

  • 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,081 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3146 条 记 录,以下是61-70 订阅
排序:
Heuristic Scheduling of Streaming Applications for Energy Efficiency on Heterogeneous Multicores  25
Heuristic Scheduling of Streaming Applications for Energy Ef...
收藏 引用
25th IEEE international conferences on High Performance Computing and Communications, 9th international conference on Data Science and Systems, 21st IEEE international conference on Smart City and 9th IEEE international conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC/DSS/SmartCity/DependSys 2023
作者: Litzinger, Sebastian FernUniversitat in Hagen Faculty of Mathematics and Computer Science Germany
A recent manifestation of the trend towards heterogeneous computing is the introduction of heterogeneous multicore processors into the desktop segment, offering the potential for unprecedented energy efficiency in the... 详细信息
来源: 评论
Proceedings of the 9th international conference on Internet of things, Big Data and Security, IoTBDS 2024
Proceedings of the 9th International Conference on Internet ...
收藏 引用
9th international conference on Internet of things, Big Data and Security, IoTBDS 2024
the proceedings contain 37 papers. the topics discussed include: a systematic mapping study in security software testing for mobile devices;automation of smart homes with multiple rule sources;advancements in househol...
来源: 评论
Adjoint Natural Deduction  9
Adjoint Natural Deduction
收藏 引用
9th international conference on Formal Structures for Computation and Deduction, FSCD 2024
作者: Jang, Junyoung Roshal, Sophia Pfenning, Frank Pientka, Brigitte McGill University Montreal Canada Carnegie Mellon University Pittsburgh United States
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mo... 详细信息
来源: 评论
Predicting Academic Grades of Students in Computer programming Using Classification Algorithms  9
Predicting Academic Grades of Students in Computer Programmi...
收藏 引用
9th international conference on Advanced Computing and Communication Systems, ICACCS 2023
作者: Kumar Hota, C.P. Pavan Asanambigai, V. Lakshmi, D. Annamalai University Department of CSE Tamilnadu India Madhya Pradesh India
In computer science education, teaching and learning programming is difficult. Understanding and coding programmes are regarded as extremely difficult in computer science education. this is because practical ability i... 详细信息
来源: 评论
Safe Control of Robotic Systems Under Nonparametric Uncertainty Using Gaussian Process Regression  9
Safe Control of Robotic Systems Under Nonparametric Uncertai...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Zhang, Jiayi Liu, Yueyue Wu, Xiaoyu Fan, Qigao Jiangnan Univ Sch Internet Things Engn Inst Automat Wuxi 214122 Jiangsu Peoples R China Natl Univ Singapore Dept Biomed Engn Singapore 119077 Singapore
this paper addresses the safety control problem for robotic systems under nonparametric uncertainty conditions by proposing a control scheme based on Gaussian Process Regression (GPR). Initially, leveraging historical... 详细信息
来源: 评论
Relational Database Principles Consideration for SQL programming  9
Relational Database Principles Consideration for SQL Program...
收藏 引用
9th international conference on Engineering, Applied Sciences, and Technology, ICEAST 2023
作者: Pornphol, Putsadee Chittayasothorn, Suphamit Phuket Rajabhat University Faculty of Science and Technology Department of Digital Technology Phuket Thailand School of Information Technology King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand
In practice, SQL programmers often encounter queries which are hard to formulate using SQL statements. Many of them do not know if the queries are too hard beyond their capabilities, or they are the limitations of the... 详细信息
来源: 评论
Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks  9
Declarative Provisioning of Virtual Network Function Chains ...
收藏 引用
9th IEEE international conference on Network Softwarization (IEEE NetSoft) - Boosting Future Networks through Advanced Softwarization
作者: Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy
Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In th... 详细信息
来源: 评论
Improved Formulations and Branch-and-Cut Algorithm for the Unrelated Parallel Machines Scheduling Problem with a Common Server and Job-Sequence Dependent Setup Times  9
Improved Formulations and Branch-and-Cut Algorithm for the U...
收藏 引用
9th international conference on Control, Decision and Information Technologies, CoDIT 2023
作者: Hadhbi, Youssouf Deroussi, Laurent Grangeon, Nathalie Norre, Sylvie Clermont Auvergne University Cnrs Clermont Auvergne Inp Limos Clermont-Ferrand63000 France
In this work, we focus on a non-preemptive unrelated parallel machines scheduling problem with a common server and job-sequence dependent setup times. this problem arises when planning the production of some mechanica... 详细信息
来源: 评论
functional Model of an Electrocardiological Study  9
Functional Model of an Electrocardiological Study
收藏 引用
9th IEEE international conference on Problems of Infocommunications Science and Technology, PIC S and T 2022
作者: Filatova, Anna Povoroznyuk, Anatoliy Fahs, Mohamad National Technical University Kharkiv Polytechnic Institute Department of Computer Engineering and Programming Kharkiv Ukraine
the purpose of this research is to develop a functional model of the electrocardiological study using the methodology of functional modeling IDEF0. the functional model of the electrocardiological study are developed ... 详细信息
来源: 评论
Proceedings - 8th and 9th international Workshop on Trends in functional programming in Education, TFPIE 2019 and TFPIE 2020
Proceedings - 8th and 9th International Workshop on Trends i...
收藏 引用
8th and 9th international Workshop on Trends in functional programming in Education, TFPIE 2019 and TFPIE 2020
the proceedings contain 5 papers. the topics discussed include: visual designing and debugging of deterministic finite-state machines in FSM;how to increase interest in studying functional programming via interdiscipl...
来源: 评论