检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

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

ISBN: (纸本)9783031056574;9783031056567

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 lectures and co-design workshops with programming students and professional software developers. We continue to select metaphors most viable for a tangible toolkit and develop an interactive application for the metaphors mapping 3d models to associated programming code. We assess the application with computer science students to understand how they use the application and how they relate manipulations to the 3d models to changes in the programming code. Our application serves as an example how programming concepts can be represented both as metaphors and tangibles. Our findings build a foundation to guide and inform further research in metaphors and tangibles used in computer science education.

关键词： programming concepts Computer science education Metaphors Tangibles

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798350369922

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 center. this research presents comprehension and cultivates learning interest by developing an educational first-aid game in the Indonesian language, utilizing Object-Oriented programming (OOP) concepts and the A* algorithm. the selection of the A* algorithm is based on its efficiency in optimizing pathfinding through a heuristic-based approach. By employing heuristics, the number of nodes requiring evaluation can be significantly reduced, enabling Non-Playable Characters (NPC) or the ambulance character to swiftly and effectively determine the best routes for providing aid. this efficiency is particularly critical in illustrating the context of first aid, where every second has a profound impact on safety and health. the functionality of the game operates effectively, demonstrated by the successful independent A* path testing. Additionally, the results from beta testing indicate a user satisfaction level of 92%, affirming the value of this game as a viable option for children or students unable to engage in extracurricular first aid activities at school. Essentially, this game facilitates the interactive, efficient, and comprehensible delivery of first aid knowledge, providing substantial benefits to society. © 2023 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798350363043

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 conditions of known fuzziness, utilizing the Monte Carlo method. Subsequently, it explores the modeling approach based on a large azimuth and latitudelongitude coordinate system, creating various target search scenarios. Finally, it incorporates the internal operational logic of some existing search and rescue assistant decision software. Practical application has demonstrated that the simulation platform performs well, offering straightforward simulation and decision support for maritime aerial search and rescue operations. the development of this platform can also provide insights and guidance for designing similar search and rescue assistant software. © 2024 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798350304947

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 related to the operation safety and innovative development of high-speed rail vehicle technology. Based on the electromagnetic field analysis of the anti-skid valve drive module, an AMESim simulation model incorporating electromagnetic force and coil inductance data is proposed to analyze and improve the exhaust performance of anti-skid valves. A sensitivity analysis of component parameters on exhaust performance is also carried out. Taking the minimum residual pressure and minimum response time as multiple objectives, the Non-Linear programming by Quadratic Lagrangian (NLPQL) method is used to optimize the key parameters. the results show that the residual pressure of the optimized cylinder decreases to 0.2kPa, and the response time is reduced by 9.52%. the system model and optimization method provide theoretical guidance for the development of anti-skid valves. © 2023 IEEE.

关键词： Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798350345810

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. this technology has the potential of completely transforming how we learn, work and think. In this context, the importance of this technology has increased visibly in terms of engineering education. One of the challenges encountered is that students often struggle with abstract programming concepts and find programming hard to conceptualise. More specifically, first-year electrical and electronic engineering students may have difficulty in understanding and learning Python collection data types (List, Tuple and Dictionary) and their main differences. AR is one of the solutions to solve this problem. An AR application has been implemented by making this software concept more visible and easier to comprehend through AR and 3D visualisation. A user study was defined in which two groups were respectively provided the AR application and the same information contained in a printed booklet. Comprehension tests on the subject before and after they used the learning resource were used to gauge how effective each intervention was. the t-test method was used to analyse the user study results. It was concluded that using the AR application (post-test score mean: 8.8) rather than reading the booklet (post-test score mean: 7.5) resulted in a higher test score mean. © 2023 IEEE.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9789819609130

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;fast Approximate Temporal Butterfly Counting on Bipartite Graphs via Edge Sampling;Financial-ICS: Identifying Peer Firms via LongBERT from 10K Reports;establishing a Decentralized Diamond Quality Management System: Advancing Towards Global Standardization;co-estimation of Data Types and their Positional Distribution;Enhancing Load Forecasting with VAE-GAN-Based Data Cleaning for Electric Vehicle Charging Loads;audio-Guided Visual Knowledge Representation;boundary Point Detection Combining Gravity and Outlier Detection Methods;A Meta-learning Approach for Category-Aware Sequential Recommendation on POIs;automatic Post-editing of Speech Recognition System Output Using Large Language Models;comparative Analysis with Multiple Large-Scale Language Models for Automatic Generation of Funny Dialogues;effectiveness of the Programmed Visual Contents Comparison Method for Two Phase Collaborative Learning in Computer programming Education: A Case Study;generating Achievement Relationship Graph Between Actions for Alternative Solution Recommendation;generating News Headline Containing Specific Person Name;Investigating Evidence in Sentence Similarity Using MASK in BERT;acceleration of Synopsis Construction for Bounded Approximate Query Processing;Query Expansion in Food Review Search with Synonymous Phrase Generation by LLM;Question Answer Summary Generation from Unstructured Texts by Using LLMs;Real Estate Information Exploration in VR with LoD Control by Physical Distance;voices of Asynchronous Learning Students: Revealing Learning Characteristics through Vocabulary Analysis of Notes Tagged in Videos;review Search Interface Based on Search Result Summarization Using Large Language Model;yes-No Flowchart Generation for Interactive Exploration of Personalized Health Improve

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9789819754144

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 problem is non-linear and a mixed-integer type combinatorial optimization problem. We can obtain the global optimal solution by complete listing which cannot be possible for large power systems due to its requirements for excessive computational time. Unit commitment presents a methodology to reduce cost and improve the system reliability. Unit commitment is a dynamic process, and power production planning changes as per loads and topologies of the network. the problem is solved by backward dynamic programming approach which solves the dynamic problem in 12 stages. this paper deals with a unit commitment problem that is solved using backward dynamic programming without time constraints, and outcomes show minimum cumulative total cost for operating 4 units in 12 stages for a 24-h horizon based on a load curve of a day. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450399111

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 these operators we would expect to find the traditional Boolean operators to express complex events. To some extent this is true. However, a remarkable absent in existing FRP languages is the logical conjunction, i.e., the and operator. In this paper, we describe the difficulty of introducing logical conjunction in FRP. We then present a new experimental language called FLOREnce that reconciles functional reactive programming with 'logic reactive programming' abstractions. the latter emerge naturally when adding a reactive conjunction operator to an event-based FRP language. We present a prototypical implementation of FLOREnce and we study its expressiveness by conducting an experiment.

关键词： Logic Reactive programming Event-based Reactive programming Rete Streams Rules

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9798400708824

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 the satisfaction of the needs of the affected people. First, the travel time is measured through a Google Maps API Distance Matrix tool, based on the route between geo-referenced positions and the current vehicle density. then, a model is built through Mixed Integer Linear programming (MILP) to minimize the travel time to the demand points. Finally, the model is applied in a case study for the city of Chosica, Peru, to determine its effectiveness. © 2023 ACM.

关键词： Travel time

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781510668584

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 compares the advantages, disadvantages and application scope of ceramic based, resin based high temperature resistant materials and thermal insulation functional materials from the perspective of high temperature resistant materials and thermal insulation functional material systems for radomes. this paper focuses on the integrated design and preparation technology of a high temperature and heat insulation wave transmitting radome, and tests the heat insulation performance and wave transmission performance of the radome products. the test results are consistent with the theoretical simulation results and it meets the performance requirements of the radome. © 2023 SPIE.

关键词： thermal insulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共320页 << < 8 9 10 11 12 13 14 15 16 17 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：