咨询与建议

限定检索结果

文献类型

  • 3,389 篇 会议
  • 132 篇 期刊文献
  • 74 册 图书

馆藏范围

  • 3,593 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,398 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 418 篇 电气工程
    • 269 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 127 篇 机械工程
    • 72 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 59 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 44 篇 化学工程与技术
    • 40 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 35 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 672 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 73 篇 生物学
    • 51 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 70 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 86 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 6 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,511 篇 英文
  • 56 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3595 条 记 录,以下是361-370 订阅
排序:
Gamifying Python: Enhancing Learning Outcomes and Motivation through a Game-Based Approach
Gamifying Python: Enhancing Learning Outcomes and Motivation...
收藏 引用
international conference on Information Technology (INCIT)
作者: Nicha Sirikong Porawat Visutsak Department of Computer and Information Science Faculty of Applied Science KMUTNB Bangkok Thailand
this work aimed to enhance Python programming education by developing a learning game that utilizes gamification techniques. the study focused on Mathayom Suksa 1 (7th grade in the U.S. education system) students who ... 详细信息
来源: 评论
A Modified U-Tree Algorithm Based on Sarsa(λ)
A Modified U-Tree Algorithm Based on Sarsa(λ)
收藏 引用
IEEE international conference on Automation, Electronics and Electrical Engineering (AUTEEE)
作者: Jiajia Song Dongying Vocational College of Science & Technology Dongying Shandong China
Using Traditional U-Tree algorithm the agent will do a value iteration for each step in the environment, that is, one-step dynamic programming of the Q value, and update the current Q value with the estimation state a... 详细信息
来源: 评论
the analysis and research of the programming operation based on substation equipment status
The analysis and research of the programming operation based...
收藏 引用
Energy, Electrical and Power Engineering (CEEPE), international conference on
作者: Guangming Li Yan Sun Lianrong Pan Cuiyun Luo Qiuquan Deng Daiyu Xie Yin Wu Yipeng Wu Dispatch And Control Center of Guangxi Power Grid Nanning China Dispatch And Control Center Of Liuzhou Power Supply Bureau Guangxi Power Grid Liuzhou China
With the continuous development of power grid, the number of intelligent substations is increasing, and the electrical operation is becoming increasingly complex, which puts forward higher safety and efficiency requir... 详细信息
来源: 评论
Signal Timing Optimization Based on Trajectory Data
Signal Timing Optimization Based on Trajectory Data
收藏 引用
IEEE international conference on Computer and Communication Engineering Technology (CCET)
作者: Lei Gao Haoyu Zhang Jinhong Li School of Information Science and Technology North China University of Technology Beijing China
A fixed signal timing optimization method utilizing historical trajectory data at intersections is proposed. A model applicable to low-resolution trajectory data is developed to optimize fixed signal timing. the model... 详细信息
来源: 评论
7th international Workshop on Accelerator programming using Directives, WACCPD 2020
7th International Workshop on Accelerator Programming using ...
收藏 引用
7th international Workshop on Accelerator programming using Directives, WACCPD 2020
the proceedings contain 5 papers. the special focus in this conference is on Accelerator programming using Directives. the topics include: GPU Acceleration of the FINE/FR CFD Solver in a Heterogeneous Environment with...
来源: 评论
Analyzing the Impact of Uncertain Parameters in Reverse Supply Chain Network Using Fuzzy Alpha-Cut Approach
Analyzing the Impact of Uncertain Parameters in Reverse Supp...
收藏 引用
international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)
作者: Mahmoud Elashwah N. Afia W. Abbas T. Ismail Basic and Applied Sciences department Faculty of Engineering and Technology Arab Academy for Science Technology and Maritime Transport Design and Production Engineering department Ain Shams University
Optimizing reverse supply chains (RSC) design is crucial for sustainability, impacting the collection and processing of used products. this study introduces a fuzzy mixed-integer linear programming (FMILP) model emplo... 详细信息
来源: 评论
Minimum Capacity of Wind and Solar Energy Considering the Expansion of Hydro Power Plants
Minimum Capacity of Wind and Solar Energy Considering the Ex...
收藏 引用
international conference on Green Energy and Applications (ICGEA)
作者: Yuqi Wang Xiaolin Luo Huaying Su Yifan Lv Li Huang Yinliang Xu Xin Sui Tsinghua-Berkeley Shenzhen Institute Tsinghua Shenzhen International Graduate School Tsinghua University Shenzhen China China Institute of Water Resources and Hydropower Research Beijing China Power dispatching Control Center of Guizhou Power Grid Co. LTD Guiyang China Guizhou Wujiang Hydropower Development Ltd. Guiyang China
the pressure of low-carbon development drives the further integration of wind turbine (WT), photovoltaic units (PV) and hydro plants. the WT, PV and hydro plants in a certain area should be considered together as they... 详细信息
来源: 评论
A Study on Deploying Smart and Predictive Industry Maintenance System
A Study on Deploying Smart and Predictive Industry Maintenan...
收藏 引用
international conference on Trends in Electronics and Informatics (ICEI)
作者: Sarita Ambadekar Amodh Praveen Pandey Khushi Rajesh Singh Shriyans Shailesh Naik Computer Engineering K. J. Somaiya Institute of Technology Mumbai India
Rapid deterioration of maintenance strategies brings us to the focal point of building a strong and efficient maintenance system which can not only automatically maintain the assets but also predict the vulnerability ... 详细信息
来源: 评论
An Evolutionary Metagraph Approach for Solving Problems in Complex Subject Areas
An Evolutionary Metagraph Approach for Solving Problems in C...
收藏 引用
international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)
作者: Anatoly N. Nardid Stepan S. Vinnikov Alexey V. Orazov Yuriy E. Gapanyuk Information Processing and Management Systems Department Bauman Moscow State Technical University Moscow Russian Federation
this paper explores the integration of metagraphs with genetic programming (GP), offering a novel perspective aimed at overcoming the limitations of traditional graph-based approaches. Metagraphs, providing an advance... 详细信息
来源: 评论
Urban Sustainable Development Solution for Irrigation Systems of Green Spaces Located on Buildings Based on a 3D Catalyst Immobilized on Fixed Support  1
收藏 引用
3rd international conference on Green Environmental Engineering and Technology (IConGEET) / 7th international conference on Green Design and Manufacture (IConGDM)
作者: Burlacu, Iasmina-Florina Deak, Gyorgy Favier, Lidia Urloiu, Irina Makhtar, Salwa Mohd Zaini Natl Inst Res & Dev Environm Protect Bucharest IN 294 Splaiul Independentei6th Dist Bucharest 060031 Romania Ecole Natl Super Chim Rennes CNRS ISCR UMR6226 F-35000 Rennes France Univ Malaysia Perlis Ctr Excellence Water Res & Environm Sustainable G Perlis 02600 Malaysia
Green spaces located on buildings are an important part of urban environment, improving the quality of life through their aesthetic and functional advantages. However, they consume large amounts of resources from citi... 详细信息
来源: 评论