咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是141-150 订阅
排序:
Nonlinear Model Predictive Clamping Force Control for Electromechanical Brake System  9
Nonlinear Model Predictive Clamping Force Control for Electr...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Wei, Wenpeng He, Tianyi Men, Yifan Wang, Jinxiang Xiong, Lu Yin, Guodong Southeast Univ Sch Mech Engn Nanjing 211189 Peoples R China Southeast Univ Minist Educ Key Lab Measurement & Control Complex Syst Engn Nanjing 210096 Peoples R China Utah State Univ Dept Mech & Aerosp Engn Logan UT 84322 USA ZDrive Ai Ali Ctr 7th FloorBlock T21398 Shenchang Rd Shanghai Peoples R China Tongji Univ Sch Automot Studies Shanghai 201804 Peoples R China
In this paper, the problem of clamping force control for the Electromechanical Brake (EMB) system in autonomous vehicles is addressed. A nonlinear model predictive control framework is proposed to solve for the optima... 详细信息
来源: 评论
Randomised Testing of the Compiler for a Verification-Aware programming Language  17
Randomised Testing of the Compiler for a Verification-Aware ...
收藏 引用
17th IEEE international conference on Software Testing, Verification, and Validation (ICST)
作者: Donaldson, Alastair F. Sheth, Dilan Tristan, Jean-Baptiste Usher, Alex Imperial Coll London London England AWS Boston MA USA
We present the design and implementation of two new tools for randomised testing of the compiler of the Dafny programming language. the Dafny language and tool-chain supports formal verification of rich functional pro... 详细信息
来源: 评论
Optimal Energy Mix Model for the UAE Considering Economic and Environmental Impacts  9
Optimal Energy Mix Model for the UAE Considering Economic an...
收藏 引用
9th international conference on Optimization and Applications, ICOA 2023
作者: Lail, Lina Abu Aydin, Ridvan Olabi, Abdul Ghani University of Sharjah Department of Industrial Engineering and Engineering Management Sharjah United Arab Emirates University of Sharjah Department of Sustainable and Renewable Energy Engineering Sharjah United Arab Emirates
With growing concerns about climate change and increasing demand for energy, planning and decision-making for an optimal energy mix have become essential for policymakers, energy companies, and researchers alike. this... 详细信息
来源: 评论
Research on Key Techniques of Dexterous Movement of Continuum Robots: A Review  9
Research on Key Techniques of Dexterous Movement of Continuu...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Su, Tingting Liang, Xu Xiao, Wendong Li, Guotao Wang, Jiaxing Zhang, Haojian Xie, Shoulie Beijing Univ Technol Fac Informat Technol Beijing 100124 Peoples R China Beijing Jiao Tong Univ Sch Automat & Intelligence Beijing 100044 Peoples R China Univ Sci & Technol Beijing Sch Automat & Elect Engn Beijing 100083 Peoples R China Chinese Acad Sci Inst Automat Beijing 100190 Peoples R China ASTAR Inst Infocomm Res Singapore 138632 Singapore
Continuum robot has good motion flexibility and strong environmental compliance. It can well adapt to large deformation and complex environment, and can carry out safe, dexterous and accurate intelligent interaction b... 详细信息
来源: 评论
Autonomous Object Exploration with Semantics-Aware Routes-Enhanced Next-Best-View Planning  9
Autonomous Object Exploration with Semantics-Aware Routes-En...
收藏 引用
9th IEEE international conference on Advanced Robotics and Mechatronics (ICARM)
作者: Lu, Liang Zuo, Haobo Liu, Wenjia Fu, Changhong Ctr Transformat Garment Prod Bldg 19WHong Kong Sci Pk Hong Kong Peoples R China Univ Hong Kong Dept Comp Sci Pok Fu Lam Hong Kong Peoples R China Shanghai Customs Coll Sch Customs & Publ Adm Shanghai Peoples R China Tongji Univ Sch Mech Engn Shanghai Peoples R China
In modern industries, real-time scene understanding has emphasized incorporating semantic information into robotic tasks, particularly in autonomous target searching and transportation. this work introduces a Semantic... 详细信息
来源: 评论
Using NLP to Quantify Program Decomposition in CS1  22
Using NLP to Quantify Program Decomposition in CS1
收藏 引用
9th Annual ACM conference on Learning at Scale, L@S 2022
作者: Charitsis, Charis Piech, Chris Mitchell, John C. Stanford University StanfordCA United States
Decomposition is a problem-solving technique that is essential to software development. Nonetheless, it is perceived as the most challenging programming skill for learners to master. Researchers have studied decomposi... 详细信息
来源: 评论
Structural design and process research of functional composite parts  9
Structural design and process research of functional composi...
收藏 引用
9th international conference on Mechanical Engineering, Materials, and Automation Technology, MMEAT 2023
作者: Wei, Shengwen Xue, Weifeng The 38th Institute of China Electronic Science and Technolgy Group Co. Hefei230031 China
A ground radar equipment is composed of several groups of antennas distributed into a certain shape. Each group of antennas consists of antenna array, antenna support tower and wind cable. Due to the needs of electric... 详细信息
来源: 评论
Case Study: Forecasting Time Consumption Exponential RSA Factorization Using Java Program  9
Case Study: Forecasting Time Consumption Exponential RSA Fac...
收藏 引用
9th international conference on Information Management and Technology, ICIMTech 2024
作者: Suhartana, Martin Yossy, Emny Harna BINUS Online Learning Bina Nusantara University Computer Science Department Jakarta11480 Indonesia
In response to the previous issue, wherein the RSA (n) factorization process relied on Pythagorean and quadratic equations, facilitated by MS Excel Solver, and constrained by a 15-digit limit for n [3], [19], transiti... 详细信息
来源: 评论
Teaching programming Amid the Digital Churn: Guidelines and Curriculum for a Laboratory  9th
Teaching Programming Amid the Digital Churn: Guidelines and ...
收藏 引用
9th international conference on Learning and Collaboration Technologies (LCT) Held as Part of the 24th international conference on Human-Computer Interaction (HCII)
作者: Tezza, Dante Abbott, Ben St Marys Univ San Antonio TX 78228 USA
In the modern and digital society, the importance of software development is undeniable. therefore, educating the next generation of software developers is crucial. However, learning how to program is challenging, and... 详细信息
来源: 评论
Constrained Nonlinear programming for Image-Based Hysteresis Compensation in Atomic Force Microscope Piezo Actuators  9
Constrained Nonlinear Programming for Image-Based Hysteresis...
收藏 引用
9th international conference on Control, Decision and Information Technologies, CoDIT 2023
作者: Belikov, Sergey Alexander, John Magonov, Sergei Spm Labs Llc TempeAZ United States
Compensation of Atomic Force Microscopy (AFM) image distortion due to the hysteresis of piezoelectric scanners is a critical task of AFM control systems. the main problem is to linearize the scans, i.e. transform them... 详细信息
来源: 评论