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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

979 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,038 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

700 篇 工学
- 581 篇 计算机科学与技术...
- 364 篇 软件工程
- 146 篇 电气工程
- 56 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
189 篇 理学
- 156 篇 数学
- 18 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
62 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 probabilistic lo...
29 篇 linear programmi...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,017 篇 英文
16 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1040 条记录，以下是201-210 订阅

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

详细简洁

排序：

Advancements in xASP, an XAI System for Answer Set programming 38

Advancements in xASP, an XAI System for Answer Set Programmi...

引用

38th Italian conference on Computational logic, CILC 2023

作者： Alviano, Mario Trieu, Ly Ly Son, Tran Balduccini, Marcello DEMACS University of Calabria Via Bucci 30/B CS Rende87036 Italy New Mexico State University United States Saint Joseph's University United States

Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling solutions with reasons that justify the provided answer. In the context of Answer Set programming (ASP) the user may be interested in linking the presence or absence of an atom in an answer set to the logic rules involved in the inference of the atom. Such explanations can be given in terms of directed acyclic graphs (DAGs). this article reports on the advancements in the development of the XAI system xASP by revising the main foundational notions and by introducing new ASP encodings to compute minimal assumption sets, explanation sequences, and explanation DAGs. © 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0).

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

MaLTeSQuE 2022 - Proceedings of the 6th international Workshop on Machine Learning Techniques for Software Quality Evaluation, co-located with ESEC/FSE 2022

MaLTeSQuE 2022 - Proceedings of the 6th International Worksh...

引用

6th international Workshop on Machine Learning Techniques for Software Quality Evaluation, MaLTeSQuE 2022, co-located with the 30th ACM Joint Meeting on European Software Engineering conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022

ISBN: (纸本)9781450394567

the proceedings contain 6 papers. the topics discussed include: the promise and perils of using machine learning when engineering software;neural language models for code quality identification;are machine programming systems using right source-code measures to select code repositories?;on the application of machine learning models to assess and predict software reusability;using machine learning to guide the application of software refactorings: a preliminary exploration;and DeepCrash: deep metric learning for crash bucketing based on stack trace.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Use of deductive and/or inductive approach in the study of nonlinear programming problems 30

Use of deductive and/or inductive approach in the study of n...

引用

30th international Scientific conference Electronics, ET 2021

作者： Linova, P. Kalcheva, N. Nikolov, N. Faculty of Computer Sciences and Automation Technical University of Varna Department of Software and Internet Technologies Varna9010 Bulgaria

ISBN: (纸本)9781665445184

Two main approaches in the theory and practice of teaching are used to acquire knowledge: inductive and deductive. the focus of the report is on how to use both approaches effectively in the process of teaching students to solve nonlinear optimization problems. the theory and examples of Hooke and Jeeves algorithm, the method of steepest descent and the method of Lagrange multipliers are considered. © 2021 IEEE.

关键词： Steepest descent method

来源：评论

学校读者我要写书评

暂无评论

"programming - It's not for Normal People": A Qualitative Study on User-Empowering Interfaces for programming Collaborative Robots 30

"Programming - It's not for Normal People": A Qualitative St...

引用

30th IEEE international conference on Robot and Human Interactive Communication (RO-MAN)

作者： Giannopoulou, Georgia Borrelli, Elsi-Mari McMaster, Fiona Akasha Imaging Zurich Switzerland ABB Res Baden Switzerland Innovia Tech Cambridge England

ISBN: (纸本)9781665404921

Technology can be empowering: It can lift the burden from tasks we find dreadful and help us excel in tasks we enjoy. Equally, a mismatch between the user interface (UI) and our skills can make us feel incompetent and reluctant towards the technology. With the trend to increase the level of automation in fields beyond traditional manufacturing, such as laboratories or small workshops, new technologies such as collaborative robots (cobots) are entering the workplace. the technology literacy levels of professionals in these fields may vary greatly depending on their age, gender, education and personal interests, creating a challenge in designing universal cobot Uts. In this qualitative study, we address the question of how introducing interaction skills and intelligence to cobots may inhibit or encourage users to use them in their work context. the interviews, performed with 15 individuals working in laboratory settings, gave rise to numerous themes relevant to the design of user-empowering cobot interfaces for individuals with varying technology literacy levels: As "programming may not be for a normal person", talking to a robot may not be for another. Incorporating the unique interests, fears, personal and domain experience of the end users can contribute to the design and development of cobot interfacesas diverse as their needs, thus maximizing the likelihood of successful integration across diverse work environments.

关键词： Training Laboratories Employment Collaboration User interfaces Task analysis Unemployment

来源：评论

学校读者我要写书评

暂无评论

Federated Authorization for Managed Data Sharing: Experiences from the ImPACT Project 30

Federated Authorization for Managed Data Sharing: Experience...

引用

30th international conference on Computer Communications and Networks (ICCCN)

作者： Chase, Jeffrey S. Baldin, Ilya Duke Univ Comp Sci Durham NC 27708 USA RENCI UNC Chapel Hill Chapel Hill NC USA

ISBN: (纸本)9780738113302

this paper presents the rationale and design of the trust plane for ImPACT, a federated platform for managed sharing of restricted data. Key elements of the architecture include Web-based notaries for credential establishment based on declarative templates for Data Usage Agreements, a federated authorization pipeline, integration of popular services for identity management, and programmable policy based on a logical trust model with a repository of linked certificates. We show how these elements of the trust plane work in concert, and set the ideas in context with principles of federated authorization. A focus and contribution of the paper is to explore limitations of the resulting architecture and tensions among competing design goals. We also point the way toward future extensions, including policy-checked data access from cloud-hosted data enclaves with enhanced defenses against data leakage and exfiltration.

关键词： Privacy-restricted data Data Use Agreement Authorization logic

来源：评论

学校读者我要写书评

暂无评论

FalAI: A Dataset for End-to-end Spoken Language Understanding in a Low-Resource Scenario 30

FalAI: A Dataset for End-to-end Spoken Language Understandin...

引用

Joint 30th international conference on Computational Linguistics and 14th international conference on Language Resources and Evaluation, LREC-COLING 2024

作者： Piñeiro-Martín, Andrés García-Mateo, Carmen Docío-Fernández, Laura del Carmen López-Pérez, María Gandarela-Rodríguez, José GTM Research Group AtlanTTic Research Center University of Vigo Vigo Spain Balidea Consulting & Programming S.L. Santiago de Compostela Spain

ISBN: (纸本)9782493814104

End-to-end (E2E) Spoken Language Understanding (SLU) systems infer structured information directly from the speech signal using a single model. Due to the success of virtual assistants and the increasing demand for speech interfaces, these architectures are being actively researched for their potential to improve system performance by exploiting acoustic information and avoiding the cascading errors of traditional architectures. However, these systems require large amounts of specific, well-labelled speech data for training, which is expensive to obtain even in English, where the number of public audio datasets for SLU is limited. In this paper, we release the FalAI dataset, the largest public SLU dataset in terms of hours (250 hours), recordings (260,000) and participants (over 10,000), which is also the first SLU dataset in Galician and the first to be obtained in a low-resource scenario. Furthermore, we present new measures of complexity for the text corpora, the strategies followed for the design, collection and validation of the dataset, and we define splits for noisy audio, hesitant audio and audio where the sentence has changed but the structured information is preserved. these novel splits provide a unique resource for testing SLU systems in challenging, real-world scenarios. © 2024 ELRA Language Resource Association: CC BY-NC 4.0.

关键词： Large datasets

来源：评论

学校读者我要写书评

暂无评论

High Precision Carry-Look-Ahead logic for Negation, Absolute Value, and Two’s Complement

High Precision Carry-Look-Ahead Logic for Negation, Absolute...

引用

IEEE international conference on Electronics, Circuits and Systems (ICECS)

作者： Riley Jackson Maxwell Phillips Firas Hassan Ahmed Ammar Department of Electrical and Computer Engineering and Computer Science Ohio Northern University Ada OH USA

this paper presents a novel paradigm, based on carry-look-ahead principles, for finding the negation of a high-precision binary integer represented in two’s complement, and also for converting a two’s complement number to sign-and-magnitude (i.e., absolute value), and vice versa. theoretical analysis of the proposed algorithm yields a logarithmic bound on delay with increasing input size n. Implementation results of the proposed hardware show linear growth in complexity. the linear growth for lookup tables is also small: around 1.1n for the hardware alone and less than 2n for the hardware with a serial transceiver after n=512, due to overhead. Flip-flop usage grows similarly. the proposed hardware has a delay of 2.254 ns or less for all three aforementioned operations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Mixed-Integer Linear programming Formulation for Human Multi-Robot Task Allocation 30

A Mixed-Integer Linear Programming Formulation for Human Mul...

引用

30th IEEE international conference on Robot and Human Interactive Communication (RO-MAN)

作者： Lippi, Martina Marino, Alessandro Roma Tre Univ Rome Italy Univ Cassino & Southern Lazio Cassino Italy

ISBN: (纸本)9781665404921

In this work, we address a task allocation problem for human multi-robot settings. Given a set of tasks to perform, we formulate a general Mixed-Integer Linear programming (MILP) problem aiming at minimizing the overall execution time while optimizing the quality of the executed tasks as well as human and robotic workload. Different skills of the agents, both human and robotic, are taken into account and human operators are enabled to either directly execute tasks or play supervisory roles;moreover, multiple manipulators can tightly collaborate if required to carry out a task. Finally, as realistic in human contexts, human parameters are assumed to vary over time, e.g., due to increasing human level of fatigue. therefore, online monitoring is required and re-allocation is performed if needed. Simulations in a realistic scenario with two manipulators and a human operator performing an assembly task validate the effectiveness of the approach.

关键词： Collaboration Switches Manipulators Fatigue Real-time systems Mixed integer linear programming Resource management

来源：评论

学校读者我要写书评

暂无评论

Extension Algorithms for Path Exposure in Energy Harvesting Wireless Sensor Networks 30

Extension Algorithms for Path Exposure in Energy Harvesting ...

引用

30th international conference on Computer Communications and Networks (ICCCN)

作者： Basabaa, Abdulsalam Elmallah, Ehab S. Univ Alberta Dept Comp Sci Edmonton AB T6G 2E8 Canada

ISBN: (纸本)9780738113302

Our work in this paper concerns a wireless sensor network (WSN) problem, called the path exposure with communication range uncertainty (EXPO-RU) problem. Nodes in the network are assumed to rely on energy harvesting from the ambient environment to achieve prolonged operation of a WSN deployed to monitor unauthorized traversal along a given path. Fluctuations in the harvested energy are assumed to affect each node's transmission range. A 3-state probabilistic model where each node can be either in a full, reduced, or depleted energy state is used. We present two algorithms that complement existing algorithms in the literature to assess the reliability of a given energy harvesting wireless sensor network (EH-WSN). Each algorithm provides a basic tool that enables the construction of many other algorithms to bound the exact solution of the problem. We also present numerical results that show the impact of using the presented algorithms.

关键词： Wireless sensor networks Uncertainty Fluctuations Computer network reliability Tools Probabilistic logic Energy states

来源：评论

学校读者我要写书评

暂无评论

Student's Academic Performance Prediction in the programming Techniques Course By Using Machine Learning Methods

Student's Academic Performance Prediction in The Programming...

引用

international conference on Telecommunications (ICT)

作者： Quoc Huy-Le thiet Pham-thi Nguyen Huynh-Tuong Khoa Vo Tien Vu-Van Huy Tran Faculty of Information Technology Industrial University of Ho Chi Minh City Faculty of Computer Science and Engineering Ho Chi Minh City Vietnam

ISBN: (数字)9798350356694

ISBN: (纸本)9798350356700

Learning Management System (LMS) plays an essential role in interactive learning, especially after the COVID-19 outbreak with a rapid shift from traditional classroom learning to online learning. LMS also facilitates the continuous collection and evaluation of students' performance. In this paper, we focus on predicting students' in-class performance (i.e., in-lab) from their homework performance (i.e., pre-lab) using the data collected from LMS with four experimental exercises for the programming techniques course. We also investigate several machine learning methods and hyperparameters for model selection. the results show that Random Forest has the best performance. this investigated cause-effect relationship between pre- and in-lab grades not only helps teachers with a better understanding of the curriculum but also students with their learning results.

关键词： COVID-19 Learning management systems programming Predictive models Telecommunications Random forests

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共104页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：