咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是3101-3110 订阅
排序:
Transforming Children's Python Turtle Graphics Learning with LLM Technology: A Design Proposal
Transforming Children's Python Turtle Graphics Learning with...
收藏 引用
STEM Education conference (iSTEM-Ed), international
作者: Mondheera Pituxcoosuvarn Yohei Murakami Faculty of Information Science and Engineering Ritsumeikan University Osaka Japan
STEM education, particularly programming and coding, is of great importance in today9;s technological landscape. Turtle graphics, an effective tool for teaching programming concepts to children, is widely used in l... 详细信息
来源: 评论
CodeSafari: A Customized Mobile Solution for Introducing programming Concepts to Children
CodeSafari: A Customized Mobile Solution for Introducing Pro...
收藏 引用
international conference on Information Technology Research (ICITR)
作者: Fahmi M.F.A. Sanjeevan M.C.M.A. Samanthi E.R. Siriwardana Mihiri Samaraweera Department of Computer Science and Software Engineering Sri Lanka Institute of Information Technology Malabe Sri Lanka Department of Information Technology Sri Lanka Institute of Information Technology Malabe Sri Lanka
Following the COVID-19 pandemic, Sri Lanka9;s economy faced significant setbacks, particularly in key sectors such as tea exports, garment manufacturing, and tourism, which experienced severe downturns. However, th... 详细信息
来源: 评论
Reasoning about strategies of multi-agent programs  10
Reasoning about strategies of multi-agent programs
收藏 引用
Proceedings of the 9th international conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
作者: Mehdi Dastani Wojciech Jamroga Utrecht University Utrecht the Netherlands University of Luxembourg and Clausthal University of Technology
Verification of multi-agent programs is a key problem in agent research and development. this paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We ch... 详细信息
来源: 评论
Inductive logic programming by instance patterns  07
收藏 引用
Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
作者: Chongbing Liu Enrico Pontelli Dept. Computer Science New Mexico State University
Effectiveness and efficiency are two most important properties of ILP approaches. For both top-down and bottom-up search-based approaches, greater efficiency is usually gained at the expense of effectiveness. In this ... 详细信息
来源: 评论
Selective Harmonic Elimination for 17-Level Reduced Switch Multilevel Inverter Using Salp Swarm Algorithm
Selective Harmonic Elimination for 17-Level Reduced Switch M...
收藏 引用
Electronic and Electrical Engineering and Intelligent System (ICE3IS), international conference on
作者: Mohd Hafiz Arshad Baharuddin Ismail Zainuddin Mat Isa Syahrun Nizam Md Arshad Yessi Jusman Faculty of Electrical Engineering & Technology Universiti Malaysia Perlis (UniMAP) Arau Perlis Kantor Jurusan Teknik Elektro Universitas Muhammadiyah Yogyakarta Yogyakarta Indonesia
this paper introduces a groundbreaking approach for selective harmonic elimination (SHE) in a 17-level reduced switch multilevel inverter, using the innovative Salp Swarm Algorithm (SSA). this method is carefully desi... 详细信息
来源: 评论
Software Toolkit for Visualization and Process Selection for Modular Scalable Manufacturing of 3D Micro-Devices  40th
Software Toolkit for Visualization and Process Selection for...
收藏 引用
40th Anniversary international conference on Information Systems Architecture and Technology (ISAT)
作者: Scholz, Steffen Elkaseer, Ahmed Salem, Mahmoud Hagenmeyer, Veit Karlsruhe Inst Technol Inst Automat & Appl Informat Karlsruhe Germany Karlsruhe Nano Micro Facil Hermann von Helmholtz Pl 1 Karlsruhe Germany Port Said Univ Fac Engn Port Said Egypt Ain Shams Univ Fac Engn Cairo Egypt
SMARTLAM is a European funded research project, intended to develop a modular manufacturing platform and capability database, for three-dimensional integration/manufacturing of component parts constructed from laminat... 详细信息
来源: 评论
FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA
FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on...
收藏 引用
Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)
作者: Debjit Pal
For the first time in its two decades of history, the international Symposium On Field-Programmable Custom Computing Machines (FCCM) is going to host a Ph.D. Forum for the graduate students working toward their Ph.D. ...
来源: 评论
MQTT-Enabled Smart Door Access System: Design and Implementation Using NodeMCU ESP 8266 and HiveMQ
MQTT-Enabled Smart Door Access System: Design and Implementa...
收藏 引用
international conference on Computing, Engineering, and Design (ICCED)
作者: Ahmad Anwar Zainuddin Rizal Mohd Nor Amir ’Aatieff Amir Hussin Muhammad Nurzikry Mohd Sazali Department of Computer Science Kuliyyah of ICT International Islamic University Malaysia Kuala Lumpur Malaysia Department of Electrical and Computer Engineering Kuliyyah of Engineering International Islamic University Malaysia Kuala Lumpur Malaysia
the security of one’s residence or property is an essential consideration that warrants careful attention to safeguard the premises and its contents. It has become increasingly apparent today that physical key door l...
来源: 评论
Transformative Development of Vocational Education Management through thai-Meister Framework: A Case Study of Kampong Chheuteal Institute of Technology, Kingdom of Cambodia
Transformative Development of Vocational Education Managemen...
收藏 引用
STEM Education conference (iSTEM-Ed), international
作者: Chollada Pansong Songtham Deewanichsakul Buncha Sansoda Arnon Niyomphol Sunheng Chhlen Kim Sochea Udomsak Jantontapo Department of Technical Education Faculty of Technical Education Rajamangala University of Technology Thanyaburi Pathum Thani Thailand Department of Electrical Kampong Chheuteal Institute of Technology Kampong Thom Cambodia Department of Electronics Kampong Chheuteal Institute of Technology Kampong Thom Cambodia
this study aimed to enhance vocational education management using the thai-Meister model at Kampong Chheuteal Institute of Technology (KCIT), Kingdom of Cambodia. the process involved: 1) Developing the vocational edu... 详细信息
来源: 评论
Optimal Virtual Network Function Placement in Chains Using Backups with Availability Schedule
Optimal Virtual Network Function Placement in Chains Using B...
收藏 引用
IEEE international conference on Cloud Networking (CLOUDNET)
作者: Rui Kang Fujun He Eiji Oki Graduate School of Informatics Kyoto University Kyoto Japan
A suitable virtual network function (VNF) placement considering a node availability schedule extends service continuous serviceable time by suppressing service interruption caused by function reallocation and node una... 详细信息
来源: 评论