咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
Towards a Metaphor-Based Tangible Toolkit for Learning programming Concepts  9th
Towards a Metaphor-Based Tangible Toolkit for Learning Progr...
收藏 引用
9th international conference on Learning and Collaboration Technologies (LCT) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)
作者: Karlsen, Ann-Charlott B. Akerbaek, Tore Marius Stigberg, Susanne Koch Ostfold Univ Coll IT Dept Halden Norway
this paper reports from design research developing a prototype for a metaphor-based tangible toolkit reifying basic programming concepts. We elicit a list of metaphors using expert interviews with computer science lec... 详细信息
来源: 评论
Implementation of the A∗Algorithm in a First Aid Educational Game Application for Elementary School Students  9
Implementation of the A∗Algorithm in a First Aid Educationa...
收藏 引用
9th international conference on Signal Processing and Intelligent Systems, ICSPIS 2023
作者: Warakmulty, Sri Pernia Maulana, Hanhan Universitas Komputer Indonesia Faculty of Postgraduate Program Bandung Indonesia
First aid, immediate assistance for individuals facing illness, injury, or accidents, plays a crucial role in saving lives, preventing physical disabilities, and providing comfort before being referred to a healthcare... 详细信息
来源: 评论
Construction of maritime aviation search and rescue platform  9
Construction of maritime aviation search and rescue platform
收藏 引用
9th international conference on Intelligent Informatics and BioMedical Sciences, ICIIBMS 2024
作者: Shang, Shuo Wang, Zhongxun Wang, Haoyv Li, Yongchang Yantai University School of Physics and Electronic Information Yantai China
this paper constructs a simulation platform based on the C++ language and Qt framework, with a research focus on aerial target search. Initially, it examines the simulation process of target dispersal in the sea under... 详细信息
来源: 评论
Analysis and Optimization of Exhaust Performance of Anti-skid Valve for High Speed Rail Vehicles  9
Analysis and Optimization of Exhaust Performance of Anti-ski...
收藏 引用
9th international conference on Fluid Power and Mechatronics, FPM 2023
作者: Ye, Xumeng Li, Yong Xuan, Dongji Wu, Mingge Xiao, Tao College of Mechanical and Electrical Engineering Wenzhou University Wenzhou China Rui'an Graduate College of Wenzhou University Wenzhou China
the anti-skid valve is an executive component of the anti-skid protection system of rail vehicles, playing an important role in the vehicle braking system. Its dynamic air charging and exhaust performance is directly ... 详细信息
来源: 评论
Using Augmented Reality to Enhance Learning and Understanding of Abstract programming Concepts  9
Using Augmented Reality to Enhance Learning and Understandin...
收藏 引用
9th international conference on Virtual Reality, ICVR 2023
作者: Cinar, Omer Emin Rafferty, Karen Cutting, David Wang, Hui Queen's University Belfast School of Electronics Electrical Engineering and Computer Science Belfast United Kingdom
this paper presents the implementation of an Augmented Reality (AR) application in order to enhance the understanding of Python collection data types. AR is a technology which has gained popularity in recent years. th... 详细信息
来源: 评论
10th international Workshop on Big Data Management and Service, BDMS 2024, 9th international Workshop on Big Data Quality Management, BDQM 2024, DASFAA 2024 Workshop on Emerging Results in Data Science and Engineering, ERDSE 2024 and 8th international Workshop on Graph Data Management and Analysis, GDMA 2024 held in conjunction with 29th international conference on Database Systems for Advanced Applications, DASFAA 2024
10th International Workshop on Big Data Management and Servi...
收藏 引用
10th international Workshop on Big Data Management and Service, BDMS 2024, 9th international Workshop on Big Data Quality Management, BDQM 2024, DASFAA 2024 Workshop on Emerging Results in Data Science and Engineering, ERDSE 2024 and 8th international Workshop on Graph Data Management and Analysis, GDMA 2024 held in conjunction with 29th international conference on Database Systems for Advanced Applications, DASFAA 2024
the proceedings contain 26 papers. the special focus in this conference is on Big Data Management and Service. the topics include: FAIth: A Fast, Accurate, and Lightweight Database-Agnostic Learned Cost Model;fas...
来源: 评论
Backward Dynamic programming Approach to Solve the Unit Commitment Problem Based on a Day Load Curve  9th
Backward Dynamic Programming Approach to Solve the Unit Comm...
收藏 引用
9th international conference on Advances in Energy Research, ICAER 2023
作者: Sahu, Dibya Ranjan Mohanty, Sanjeeb Department of Electrical Engineering National Institute of Technology Odisha Sundergarh Rourkela India
Unit commitment is generally used to schedule the units so as to minimize the cost of the production for the total system across the scheduled time horizon under generator operational constraints. the unit commitment ... 详细信息
来源: 评论
FLOREnce: A Hybrid Logic-functional Reactive programming Language  9
FLOREnce: A Hybrid Logic-Functional Reactive Programming Lan...
收藏 引用
6th international Workshop on Reactive and Event-Based Languages and Systems (REBLS)
作者: Van Verre, Louise Avila, Humberto Rodriguez Nicolay, Jens De Meuter, Wolfgang Vrije Univ Brussel Brussels Belgium Vrije Univ Brussel Software Languages Lab Brussels Belgium
functional reactive programming (FRP) languages allow programmers to write declarative expressions to denote eventstreams. they feature operators (e.g., map, filter, merge, ...) to build compositions of events. Among ... 详细信息
来源: 评论
Optimization of Humanitarian Aid Resource Distribution Time through Mixed Integer Linear programming  23
Optimization of Humanitarian Aid Resource Distribution Time ...
收藏 引用
9th international conference on Industrial and Business Engineering, ICIBE 2023
作者: Acero Condor, Alvaro Alonso Ramirez Castañeda, Cesar Manuel Taquía Gutiérrez, José Antonio Universidad de Lima Carrera de Ingenier a Industrial Peru
this paper develops a post-disaster response model that jointly optimizes the distribution time of essential humanitarian aid goods (i.e.: medicines, water and food) from temporary warehouses to points of demand, and ... 详细信息
来源: 评论
Research on integrated design and manufacture of high temperature resistance, heat insulation and wave transmitting radome  9
Research on integrated design and manufacture of high temper...
收藏 引用
9th international conference on Mechanical Engineering, Materials, and Automation Technology, MMEAT 2023
作者: Xue, Weifeng The 38th Institute of Electronic Science and Technology Group Co Hefei230088 China
High temperature resistant composite materials and thermal insulation functional materials are widely used in high-speed aircraft load shields due to their excellent comprehensive performance. this paper analyzes and ... 详细信息
来源: 评论