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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

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 co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

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,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

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

共 2150 条记录，以下是561-570 订阅

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

详细简洁

排序：

Modeling Learners’ programming Skills and Question Levels Through Machine Learning 22nd

Modeling Learners’ Programming Skills and Question Levels T...

引用

22nd international conference on Human-Computer Interaction, HCI international 2020

作者： Kim, WooJeong Rhim, Soyoung Choi, John Y. J. Han, Kyungsik Ajou University Suwon Korea Republic of Coding Robot Lab Inc. Seoul Korea Republic of

ISBN: (纸本)9783030607029

Many universities have started to adopt online programming tools to support students’ programming practice, yet the services currently offered by the existing tools are somewhat passive with respect to considering a student’s programming skill level and providing appropriate code questions. To enhance students’ learning experience and improve their programming skills, it would be helpful to examine students’ programming abilities and provide them with the most suitable code questions and guidelines. Machine learning can play a role in modeling the level of students’ programming skills as well as the difficulty of questions by taking the students’ programming experience and code submissions into account. This paper presents a study on the development of machine learning models to classify the levels of students’ programming skills and those of programming questions, based on the data of students’ code submissions. We extracted a total of 197 features of code quality, code readability and system time. We used those features to build classification models. The model for the student level (four classes) and the question level (five classes) yielded 0.60 and 0.82 F1-scores, respectively, showing reasonable classification performance. We discuss our study highlights and their implications, such as group and question matching based on code submissions and user experience improvement. © 2020, Springer Nature Switzerland AG.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A Process Calculus for Formally Verifying Blockchain Consensus Protocols 22nd

A Process Calculus for Formally Verifying Blockchain Consens...

引用

22nd international conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint logic programming, WFLP 2019

作者： Jeltsch, Wolfgang Well-Typed London United Kingdom IOHK Hong Kong Hong Kong

ISBN: (纸本)9783030467135

Blockchains are becoming increasingly relevant in a variety of fields, such as finance, logistics, and real estate. The fundamental task of a blockchain system is to establish data consistency among distributed agents in an open network. Blockchain consensus protocols are central for performing this task. Since consensus protocols play such a crucial role in blockchain technology, several projects are underway that apply formal methods to these protocols. One such project is carried out by a team of the Formal Methods Group at IOHK. This project, in which the author is involved, aims at a formally verified implementation of the Ouroboros family of consensus protocols, the backbone of the Cardano blockchain. The first outcome of our project is the -calculus (pronounced "natural calculus"), a general-purpose process calculus that serves as our implementation language. The (formula presented)-calculus is a domain-specific language embedded in a functional host language using higher-order abstract syntax. This paper will be a ramble through the (formula presented)-calculus. First we will look at its language and its operational semantics. The latter is unique in that it uses a stack of two labeled transition systems to treat phenomena like data transfer and the opening and closing of channel scope in a modular fashion. The presence of multiple transition systems calls for a generic treatment of derived concurrency concepts. We will see how such a treatment can be achieved by capturing notions like scope opening and silent transitions abstractly using axiomatically defined algebraic structures based on functors and monads. © 2020, Springer Nature Switzerland AG.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

14th international conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

14th International Conference on Universal Access in Human-C...

引用

14th international conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

ISBN: (纸本)9783030491079

The proceedings contain 80 papers. The special focus in this conference is on Universal Access in Human-Computer Interaction. The topics include: Interest and requirements for sound-awareness technologies among deaf and hard-of-hearing users of assistive listening devices;providing a tangible and visual feedback of affective states self-expressions;accessible computer science for k-12 students with hearing impairments;competencies for educators in delivering digital accessibility in higher education;mya+ math: teaching math to students with vision impairment;video games to foster empathy: a critical analysis of the potential of detroit: become human and the walking dead;metuiga "methodology for the design of systems based on tangible user interfaces and gamification techniques": case study: teaching geometry in children with visual problems;makerspaces for inclusive education;situated ability: a case from higher education on digital learning environments;using augmented reality and concept mapping to improve ability to master social relationships and social reciprocity for children with autism spectrum disorder;digital skills for people with disabilities in a learning and demonstration experience laboratory: the project, "emscher-lippe hoch 4";digitally-supported inclusive vocational education: conceptual considerations for the hotel and restaurant industry;design of a tangible programming tool for students with visual impairments and low vision;accessible learning management systems in higher education;open government data through the lens of universal design;cultural inclusion and access to technology: bottom-up perspectives on copyright law and policy in norway;the information repertoire of people with disabilities;stakeholder journey analysis for innovation: a multiparty analysis framework for startups.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PyO3: Building Python Extension Modules in Native Rust with Performance and Safety in Mind 22nd

PyO3: Building Python Extension Modules in Native Rust with...

引用

22nd international conference on Scientific Computing and Bioinformatics, CSC 2024, and 25th international conference on Computational Biology, BIOCOMP 2024, held as part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024

作者： Johnson, Price D. Hodson, Douglas D. Department of Electrical and Computer Engineering U.S. Air Force Institute of Technology WPAFB DaytonOH45433 United States

ISBN: (纸本)9783031859014

Python and Rust are both powerful programming languages, each offering unique benefits depending on individual use cases. Rust is a lower-level programming language built with speed and safety as integral features. Python, known for being more user-friendly, has an extensive library with over 350,000 publicly available packages [1]. Writing Rust software can be a daunting and meticulous task, as its syntax and strict compiler demand careful attention to detail. This meticulousness often pays off in the form of highly performant and safe code. Conversely, Python has a straightforward syntax that allows programmers a wide range of flexibility in writing code. However, Python’s performance can be limiting, often requiring the use of native C or C++ libraries for computationally heavy tasks. This paper introduces the PyO3 crate, which enables programmers to seamlessly integrate native Python modules and Rust code within the same project, allowing for the development of high-performance Python extension modules using Rust. Additionally, it provides insights into interfacing between the two code bases using various PyO3 tools. This approach enables programmers to benefit from combining both languages while maintaining good coding standards by keeping them separate and interfacing between them. PyO3 opens the door for Rust to replace C and C++ in Python modules, offering a safer alternative while not compromising efficiency. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Towards model-based generation and optimization of AUTOSAR runnable-to-task mapping 19

Towards model-based generation and optimization of AUTOSAR r...

引用

Proceedings of the 22nd international conference on Model Driven Engineering Languages and Systems

作者： Thomas Wilhelm Raphael Weber Vector Informatik GmbH Regensburg Germany

ISBN: (纸本)9781728151250

In this paper we present work towards automating two process steps supporting the optimization of the runnable-to-task mapping in automotive multi-core control units. We describe these steps in close relation to the AUTOSAR methodology to facilitate the integration with existing design processes. The first step is the automated generation of an initial configuration that balances the core utilization using constraint programming. The second step is the optimization of an existing configuration based on dynamic system behavior using an evolutionary algorithm. An abstract intermediate representation provides interoperability with existing AUTOSAR tools. We use a small case study to evaluate the feasibility of our approach.

关键词： model-based development optimization runnable-to-task mapping AUTOSAR constraint programming

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

1st International Conference on Artificial Intelligence in H...

引用

1st international conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

ISBN: (纸本)9783030503338

The proceedings contain 30 papers. The special focus in this conference is on Artificial Intelligence in HCI. The topics include: Beyond the buzzwords: On the perspective of AI in UX and vice versa;A paradigm shift in design driven by AI;support vector machine algorithm to classify instagram users’ accounts based on users’ interests;customer self-remediation of proactive network issue detection and notification;cross-scenario performance modelling for big data ecosystems;interaction with the soundscape: Exploring emotional audio generation for improved individual wellbeing;a feature importance study in ballet pose recognition with openpose;educators in the loop: Using scenario simulation as a tool to understand and investigate predictive models of student dropout risk in distance learning;is my home smart or just connected?;Design intelligence - Pitfalls and challenges when designing AI algorithms in B2B factory automation;a method for quickly establishing personas;socio-technical design of hybrid intelligence systems – The case of predictive maintenance;easySketchDesign: Product sketch design assisted with interactive sketch retrieval;contextual programming of collaborative robots;AI mobility solutions for an active ageing society. Introducing aesthetic affordances in the design of smart wheelchairs;prediction-based uncertainty estimation for adaptive crowd navigation;a heterogeneous ensemble learning-based acoustic fall detection method for elderly people in indoor environment;multi-view visual question answering dataset for real environment applications;social dynamics in human-robot groups – Possible consequences of unequal adaptation to group members through machine learning in human-robot groups;Joking AI via visual cues;the role of behavioral anthropomorphism in human-automation trust calibration.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Lifted Weight Learning of Markov logic Networks Revisited 22

Lifted Weight Learning of Markov Logic Networks Revisited

引用

22nd international conference on Artificial Intelligence and Statistics (AISTATS)

作者： Kuzelka, Ondrej Kungurtsev, Vyacheslav Czech Tech Univ Prague Czech Republic Katholieke Univ Leuven Dept Comp Sci Leuven Belgium

We study lifted weight learning of Markov logic networks. We show that there is an algorithm for maximum-likelihood learning of 2-variable Markov logic networks which runs in time polynomial in the domain size. Our results are based on existing lifted-inference algorithms and recent algorithmic results on computing maximum entropy distributions.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Practice of sandbox game in higher education based on graphic and game programming environment 22nd

Practice of sandbox game in higher education based on graphi...

引用

22nd international conference on Human-Computer Interaction, HCII 2020

作者： Xian, Tengfei University of Finance and Economics of Guangdong China 21 Luntou Road GuangzhouGuangdong510320 China

ISBN: (纸本)9783030507282

The graphical and game programming environment provides a practical way to improve the learning process, especially the motivation of game creators. However, the research on students seldom uses graphic and game programming in higher education. Therefore, this study takes Ylands, a sandbox game of Tencent, as an example to investigate the creative thinking of higher education curriculum games and explore the factors that affect higher education’s acceptance of graphic programming. Based on FSLSM results, the students’ initial learning based on the sandbox game has different preferences for creative content. In addition, the early experience of students with a lot of game experience has become an important factor affecting students’ acceptance of sandbox and game creation. Other factors, such as self exploration ability, sense of achievement, expectation of effort, degree of realization of ideas, social influence, convenience, participation, skills and control, are also important factors. According to the results of this study, the instructional designer can control the content of sand box game creation course, improve the efficiency and effectiveness of the course. © Springer Nature Switzerland AG 2020.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Real-time Free Form Contour Error Estimation based on Fuzzy logic Estimator

Real-time Free Form Contour Error Estimation based on Fuzzy ...

引用

international Middle-East Power System conference, MEPCON

作者： Omar M. Salim Mohamed A. Abdallah M. A. Moustafa Hassan Benha Faculty of Engineering Department of Electrical EngineeringBenhaEgypt Faculty of Engineering Electric Power and Machines Dept.AlexandriaEgypt Faculty of Engineering Electrical Power DepartmentCairoEgypt

ISBN: (纸本)9781665419994

In most of machine control and automation problems, there are two or more axes of motion which must be coordinated. Axes synchronization is a crucial task in modern machinery for contouring control. It aims to feed each axis with commands that keeps it follow its target contour. In addition, to modify these commands to keep the actual contour very close to targeted contour. Thus, contour error estimation is considered the main challenge in contouring control task. Equations for calculating contour error depend on the path to be followed. Even for simple contour shapes like circular, linear and parabola with online frequently varying parameters, contour error estimation is deemed as tricky task. Depending on stochastic nature of contour shape parameters, Adaptive Neuro-Fuzzy Inference System (ANFIS) has been utilized in this paper to precisely estimate contour error in real-time. ANFIS, as a universal estimator can be trained on different arbitrary contours to learn a model that can be used for contour error calculations. Real-time contour error estimator (RTCEE) has been tested on different contour shapes using MATLAB/SIMULINK and shows good performance as a result and time saving compared to the highly intensive calculation used in conventional methods.

关键词： Error analysis Shape Stochastic processes Predictive models Mathematical models Real-time systems Power systems

来源：评论

学校读者我要写书评

暂无评论

Designing Optimal PIλDμ Controller for LFC of Two-Area Power Systems Using African Vulture's Optimization Algorithm

Designing Optimal PIλDμ Controller for LFC of Two-Area Pow...

引用

international Middle-East Power System conference, MEPCON

作者： Mohamed Ahmed Mohamed Khamies Gaber Magdy Salah Kamel Faculty of Engineering Sohag Univ Sohag Egypt Faculty of Engineering Aswan Univ Aswan Egypt

ISBN: (纸本)9781665419994

This paper proposes an optimal load frequency control (LFC) design using a proportional-fractional-order (FO) derivative with a filter (PD μ N) controller in the feedforward direction and a FO integral-tilt (I λ T) controller in the feedback direction in interconnected power grids. Moreover, the proposed PD μ N–I λ T controller is optimally designed by using the African Vulture's Optimization Algorithm (AVOA). To confirm the superiority of the proposed controller, performance comparisons of the proposed PD μ N – I λ T, PIDN, FOPID (PI λ D μ ), and FOTID (TI λ D μ ) controllers based on improved LFC are conducted to confirm the superiority of the proposed PD μ N – I λ T controller. Also, the AVOA's progress has been verified through a comparison with the symbiotic organisms search algorithm. Overall, discussions are presented on the enhanced performance of the LFC of the two-area power grid under study with the proposed PD μ N – I λ T controller. Simulation outcomes approve that the proposed PD^N – I λ T controller is capable of achieving better dynamic responses than other conventional controllers. The results also confirm the effectiveness of the AVOA for optimizing the controller coefficients based on a time-domain-based objective function.

关键词： Symbiosis Heuristic algorithms Power system dynamics Power system stability Linear programming Power grids Stability analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 53 54 55 56 57 58 59 60 61 62 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：