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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,042 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

2,138 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,271 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 251 篇 电气工程
- 157 篇 控制科学与工程
- 68 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
294 篇 理学
- 226 篇 数学
- 39 篇 统计学（可授理学、...
- 38 篇 物理学
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,099 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2138 条记录，以下是221-230 订阅

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

详细简洁

排序：

Interpretable Clustering of Students' Solutions in Introductory programming 1

引用

22nd international conference on Artificial Intelligence in Education (AIED) - Mind the Gap - AIED for Equity and Inclusion

作者： Effenberger, Tomas Pelanek, Radek Masaryk Univ Brno Czech Republic

ISBN: (数字)9783030782924

ISBN: (纸本)9783030782924;9783030782917

In introductory programming and other problem-solving activities, students can create many variants of a solution. For teachers, content developers, or applications in student modeling, it is useful to find structure in the set of all submitted solutions. We propose a generic, modular algorithm for the construction of interpretable clustering of students' solutions in problem-solving activities. We describe a specific realization of the algorithm for introductory Python programming and report results of the evaluation on a diverse set of problems.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

GPT Voice-Driven Natural Language Control for ArduPilot-Guided UAVs

GPT Voice-Driven Natural Language Control for ArduPilot-Guid...

引用

IEEE SSD international Multi-conference on Systems, Signals and Devices

作者： Mohammad Al Khawaldah Omar Daoud Saqer S. Alja'afreh Aser M. Matarneh Mechatronics Engineering Department Al-Balqa Applied University Jordan Electrical and Computer Engineering American International University Aljahra Kuwait

ISBN: (数字)9798331542726

ISBN: (纸本)9798331542733

This research work introduces a new system that utilizes Generative Pretrained Transformer (GPT) Large Language Models (LLMs) to enable language-based control for Unmanned Aerial Vehicles (UAVs). The system enables nonexpert users to easily control UAVs using natural language. It integrates GPT-4o-mini model with the widely used open-source ArduPilot Software. The developed system supports both audio and written inputs and accommodates multiple languages. The LLM reasons about the request and generates the required functionality. OpenAI's API (Application programming Interface) and Function Calling are used to implement the task.

关键词： Flowcharts Large language models Natural languages Systems architecture Autonomous aerial vehicles Transformers Software Systems support Application programming interfaces

来源：评论

学校读者我要写书评

暂无评论

Proceedings - international conference on Embedded Software, EMSOFT 2022

Proceedings - International Conference on Embedded Software,...

引用

22nd ACM SIGBED international conference on Embedded Software, EMSOFT 2022

ISBN: (纸本)9781665472982

The proceedings contain 11 papers. The topics discussed include: work-in-progress: accuracy-area efficient online fault detection for robust neural network software-embedded microcontrollers;work-in-progress: boot sequence integrity verification with power analysis;work-in-progress: hot-patching technique for imprecise computing by saving resource;work in progress: dynamic offloading of soft real-time tasks in SDN-based fog computing environment;work-in-progress: a resource-aware optimization model for real-time systems analysis and design;work-in-progress: towards a theory of robust quantitative semantics for signal temporal logic;work-in-progress: accelerated matrix factorization by approximate computing for recommendation system;industry-track: challenges in rebooting autonomy with deep learned perception;and industry-track: system-level logical execution time for automotive software development.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generating Adaptive Robotic Behaviours via Enhanced Diffusion Policy

Generating Adaptive Robotic Behaviours via Enhanced Diffusio...

引用

IEEE international conference on Industrial Informatics (IndIN)

作者： Tianmei Jin Jiayi Zhang WMG University of Warwick Coventry United Kingdom

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

While manual robot programming has been effective for many applications, fixed coding poses several challenges. Robot programming requested sophisticated and dynamic behaviours while increasing the complexity of the robot's tasks. Generative artificial intelligence models have revolutionised robot behaviour generation in dynamic environments to complete different tasks. This paper explores different approaches to robot behaviour generation evaluating their effectiveness, challenges, and potential implications for real-world robotic scenarios. An enhanced diffusion policy is proposed to mitigate anomalous behaviours in the original model. The results demonstrate the importance of training dataset quality and model adaptation to specific working environments in achieving successful robotic behaviours. The Resilient Diffusion solved unusual behaviour problems, improved the resilience capability of diffusion policy, and achieved a higher success rate.

关键词： Training Adaptation models Service robots Generative AI Manuals Encoding Dynamic programming Informatics Robot programming Resilience

来源：评论

学校读者我要写书评

暂无评论

Joint Optimization of Coding and Shaping for Coherent Optical Communication Systems

Joint Optimization of Coding and Shaping for Coherent Optica...

引用

international conference on Optical Communications and Networks (ICOCN)

作者： Chenye Wang Xue Zhao Jiahao Zhou Rui Wang Taowei Jin Jing Zhang Shaohua Hu Kun Qiu Key Lab. of Optical Fiber Sensing and Communication University of Electronic Science and Technology of China Chengdu China

We use differential evolution algorithm to jointly optimize the parameters of forward error correction and probabilistic shaping in coherent optical communication systems. 56-GBaud simulation shows a net data rate gai... 详细信息

ISBN: (数字)9798350367652

ISBN: (纸本)9798350367669

关键词： Quadrature amplitude modulation Simulation Forward error correction Probabilistic logic Optical fiber communication Encoding Optimization

来源：评论

学校读者我要写书评

暂无评论

A Study of Factors influencing eWoM Credibility among Millennials: A Case Study of Chennai City 22

A Study of Factors influencing eWoM Credibility among Millen...

引用

22nd international Arab conference on Information Technology (ACIT)

作者： Babu, R. Suresh Nawaz, Nishad Gajenderan, Vijayakumar Sir Theagaraya Coll Dept Commerce Chennai 600021 India Kingdom Univ Dept Business Management Coll Business Adm Riffa Bahrain

ISBN: (纸本)9781665419956

The study's purpose is examining whether the factors influencing the Credibility among the Millennial. The study is used in both primary & secondary data. The secondary data obtained from the earlier publications in research papers, magazines, articles, and textbooks related to eWoM Credibility. The Primary data accumulated from the Millennial who is aware of the eWoM Credibility. Data collected with proper development of a structured survey from a sample of 1000 Millennials in Chennai city. The Millennials were chosen randomly throughout Chennai city and different Sectors. Out of 1000 responses, 217 responses are not adequately filled by the millennial. Therefore these responses rejected, and the rest 783 responses used for the final study. The regression model results explain a significant influence of factors towards the eWoM Credibility among the Millennial. Whereas, the model overall its predictors extremely strong to give details the variability related to eWoM credibility. Overall, the factors, namely Quality, Polarity, logic & Articulation, Sources, and Prior Knowledge, and Expertise, significantly influence eWoM Credibility among Millennials.

关键词： eWoM Quality Polarity logic and Articulations Sources and Prior Knowledge and Expertise

来源：评论

学校读者我要写书评

暂无评论

Is Computational Empowerment Promoted in the Hour of Code? Analyzing Opportunities for Conceptual, Creative, and Critical Engagement in the Design of Introductory Computing Activities 22

Is Computational Empowerment Promoted in the Hour of Code? A...

引用

22nd Koli Calling international conference on Computing Education Research, Koli Calling 2022

作者： Morales-Navarro, Luis Kafai, Yasmin B. Gregory, Katherine T. University of Pennsylvania United States

ISBN: (纸本)9781450396165

Recently, computing education research has foregrounded the need to design activities to promote computational empowerment by engaging learners creatively in the development of technology, fostering critical reflection about computing, and their understanding of the role of computing in society and their own lives. In this paper, we focus on introductory computing activities that are part of the Hour of Code, an event that has successfully reached hundreds of millions of youth. We examine the conceptual, critical, and creative engagement opportunities in 340+ Hour of Code activities offered to youth during the 2021 CS Education Week. Our analysis shows that while most activities (90.26%) were designed for conceptual engagement with computing, only 11.46% provided opportunities for creative engagement, while only 1.15% promoted critical engagement with the discipline. We discuss future directions for designing, curating, and implementing Hour of Code activities that promote computational empowerment among youth. © 2022 ACM.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Service Chain Provisioning Model Considering Traffic Amount Changed by Virtualized Network Functions 22

Service Chain Provisioning Model Considering Traffic Amount ...

引用

IEEE 22nd international conference on High Performance Switching and Routing (IEEE HPSR)

作者： Ozaki, Shintaro Sato, Takehiro Oki, Eiji Kyoto Univ Kyoto Japan

ISBN: (纸本)9781665440059

This paper proposes a service chain provisioning model considering traffic changing effects of virtualized network functions (VNFs) while determining the VNF visit order of each request, routes of requests, and VNF placement. The service chain provisioning problem is formulated as an integer linear programming (ILP) problem. Three methods of limiting the number of VNF visit order patterns considered in the ILP problem are introduced in order to shorten the computation time. These methods select visit order patterns so as to suppress the sum of the traffic amount reserved by each request on its route. Numerical results show that the consumption of network and computation resources becomes more efficient by considering traffic amount changed by VNFs than the case assuming the traffic amount of each request to be constant end-to-end. The results also show that the computation time can be shortened in our examined scenarios while we obtain the objective value larger by at most 0.4% than the optimal value by limiting the number of visit order patterns.

关键词： network function virtualization service chaining traffic changing effect integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Implementation of Probabilistic Bits (Pbits) using Low Barrier Magnets: Investigation and Analysis

Implementation of Probabilistic Bits (Pbits) using Low Barri...

引用

international conference on VLSI Design

作者： Amina Haroon Ram Krishna Ghosh Sneh Saurabh Indraprastha Institute of Information Technology New Delhi India

Probabilistic spin logic (PSL) is a recently proposed computational paradigm targeting a specific class of problems. Earlier works show the better performance of PSL compared to digital computation in terms of speed and energy efficiency for a few optimization problems such as traveling salesman problem (TSP), max-cut problem, etc. PSL is implemented using probabilistic bits or pbits that fluctuate randomly between two metastable states. One of the popular methods of realizing a pbit is a 3T-1MTJ implementation, with a low barrier magnet (LBM) acting as the free layer of the magnetic tunnel junction (MTJ). In this paper, we perform extensive simulations to examine the suitability of LBMs for 3T-1MTJ pbit implementation. We have analyzed the impact of various material parameters on the attributes of a pbit. Further, we propose a method of selecting material parameters for an LBM-based pbit implementation that improves flips per second (fps), a crucial system-level figure of merit (FOM), without sacrificing the ideal sigmoid-type output response.

关键词： Torque Embedded systems Very large scale integration Traveling salesman problems Probabilistic logic Energy efficiency Magnetic analysis

来源：评论

学校读者我要写书评

暂无评论

Bug Patterns in Probabilistic programming Systems

Bug Patterns in Probabilistic Programming Systems

引用

IEEE international conference on Software Quality, Reliability and Security Companion (QRS-C)

作者： Shoma Hamada Haibo Yu Vo Dai Trinh Yuri Nishimura Jianjun Zhao Kyushu University Fukuoka Japan Kyushu Sangyo University Fukuoka Japan

Probabilistic programming systems allow developers to model random phenomena and perform reasoning about the model efficiently. As the number of probabilistic programming systems is growing significantly and are used more and more widely, the reliability of such systems is becoming very important. It is crucial to analyze real bugs of existing similar systems in order to develop efficient bug detection tools for probabilistic programming systems. This paper conducts an empirical study investigating bugs and their features on PyMC3, a real probabilistic programming system. Among 271 closed bugs, we identified 20 bugs that are unique to probabilistic programming languages and extracted eight bug patterns from these bugs. The result showed that many of the bugs were caused by types. We also propose some possible methods for automatically detecting these bug patterns. It is expected that this will contribute to the development of bug detection tools by capturing the characteristics of bugs in actual probabilistic programs in the future.

关键词： Computer languages Computer bugs Software quality programming Probabilistic logic Feature extraction Cognition

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 19 20 21 22 23 24 25 26 27 28 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：