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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

298 篇 会议
27 篇 期刊文献
19 册 图书

馆藏范围

344 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

245 篇 工学
- 229 篇 计算机科学与技术...
- 117 篇 软件工程
- 19 篇 电气工程
- 17 篇 控制科学与工程
- 14 篇 信息与通信工程
- 6 篇 机械工程
- 5 篇 电子科学与技术（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 建筑学
- 2 篇 农业工程
- 1 篇 光学工程
53 篇 理学
- 39 篇 数学
- 8 篇 生物学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 物理学
23 篇 管理学
- 14 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
6 篇 经济学
- 3 篇 理论经济学
- 3 篇 应用经济学
3 篇 教育学
- 2 篇 教育学
- 1 篇 心理学(可授教育学...
3 篇 农学
- 2 篇 作物学
2 篇 法学
- 2 篇 社会学
1 篇 医学

主题

70 篇 logic programmin...
18 篇 inductive logic ...
15 篇 artificial intel...
12 篇 programming
12 篇 mathematical log...
11 篇 programming tech...
11 篇 logics and meani...
10 篇 software enginee...
10 篇 logic gates
10 篇 programming lang...
7 篇 computer science
7 篇 semantics
6 篇 computer circuit...
6 篇 inductive logic ...
6 篇 probabilistic lo...
5 篇 optimization
5 篇 logic
5 篇 machine learning
4 篇 formal logic
4 篇 computer archite...

机构

5 篇 inria rennes ren...
5 篇 university of po...
3 篇 microsoft res re...
3 篇 univ paris 13 li...
3 篇 carnegie mellon ...
3 篇 aalto university...
3 篇 univ penn philad...
2 篇 univ wales dept ...
2 篇 stanford univ ct...
2 篇 politecn torino ...
2 篇 indian inst tech...
2 篇 univ freiburg in...
2 篇 univ wisconsin d...
2 篇 czech tech univ ...
2 篇 univ london impe...
2 篇 department of in...
2 篇 univ paris 13 li...
2 篇 harvard univ cam...
2 篇 columbia univ ct...
2 篇 ibm unternehmens...

作者

8 篇 gebser martin
6 篇 srinivasan ashwi...
6 篇 alphonse erick
5 篇 schaub torsten
5 篇 ricca francesco
4 篇 osmani aomar
4 篇 page david
4 篇 camacho rui
3 篇 yamamoto akihiro
3 篇 king ross
3 篇 rouveirol celine
3 篇 moreno gines
3 篇 leger hippolyte
3 篇 janhunen tomi
3 篇 maratea marco
3 篇 bouthinon domini...
3 篇 lebbah mustapha
2 篇 muggleton stephe...
2 篇 fronhöfer b
2 篇 khatibsyarbini

语言

332 篇 英文
7 篇 其他
5 篇 中文

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

共 344 条记录，以下是11-20 订阅

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

详细简洁

排序：

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

4th EAI International Conference on Artificial Intelligence ...

引用

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

ISBN: (纸本)9783031291258

the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-infectious Person for Data Driven Simulation;creating Trust Within Population of Evolutionary Computation in an Uncertain Environment Using Blockchain;efficient inductive logic programming Based on Particle Swarm Optimization;fault Diameter of Strong Product Graph of Two Paths;Design and Implementation of SF Selection Based on Distance and SNR Using Autonomous Distributed Reinforcement Learning in LoRa Networks;QBRT: Bias and Rising threshold Algorithm with Q-Learning: Implementation of the Tower of Hanoi;A Study on Effectiveness of BERT Models and Task-Conditioned Reasoning Strategy for Medical Visual Question Answering;deep Robust Neural Networks Inspired by Human Cognitive Bias Against Transfer-based Attacks;efficient Estimation of Cow’s Location Using Machine Learning Based on Sensor Data;A Time Series Forecasting Method Using DBN and Adam Optimization;unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Querying Labelled Data with Scenario Programs for Sim-to-Real Validation 13

Querying Labelled Data with Scenario Programs for Sim-to-Rea...

引用

13th ACM/IEEE international conference on Cyber-Physical Systems (ICCPS )

作者： Kim, Edward Shenoy, Jay Junges, Sebastian Fremont, Daniel J. Sangiovanni-Vincentelli, Alberto Seshia, Sanjit A. Univ Calif Berkeley Berkeley CA 94720 USA Radboud Univ Nijmegen Nijmegen Netherlands Univ Calif Santa Cruz Santa Cruz CA 95064 USA

ISBN: (纸本)9781665409674

Simulation-based testing of autonomous vehicles (AVs) has become an essential complement to road testing to ensure safety. Consequently. substantial research has focused on searching for failure scenarios in simulation. However, a fundamental question remains: are AV failure scenarios identified in simulation meaningful in reality - i.e., are they reproducible on the real system? Due to the sim-to-real gap arising from discrepancies between simulated and real sensor data, a failure scenario identified in simulation can be either a spurious artifact of the synthetic sensor data or an actual failure that persists with real sensor data. An approach to validate simulated failure scenarios is to identify instances of the scenario in a corpus of real data, and check if the failure persists on the real data. To this end, we propose a formal definition of what it means for a labelled data item to match an abstract scenario, encoded as a scenario program using the SCENIC probabilistic programming language. Using this definition, we develop a querying algorithm which, given a scenario program and a labelled dataset, finds the subset of data matching the scenario. Experiments demonstrate that our algorithm is accurate and efficient on a variety of realistic traffic scenarios, and scales to a reasonable number of agents.

关键词： Computer languages Heuristic algorithms Roads Cyber-physical systems Probabilistic logic Data models Explosions

来源：评论

学校读者我要写书评

暂无评论

Value Iteration-based Decentralized Fuzzy Optimal Control of Modular Reconfigurable Robots via Adaptive Dynamic programming 5

Value Iteration-based Decentralized Fuzzy Optimal Control of...

引用

5th international conference on Robotics, Control and Automation Engineering, RCAE 2022

作者： Jiang, Hucheng An, Tianjiao Ma, Bing Li, Yuanchun Dong, Bo Changchun University of Technology Department of Control Science and Engineering Changchun China

ISBN: (纸本)9781665459419

In this article, a decentralized fuzzy optimal control method dependent on value iteration (VI) is proposed to settle the optimal trajectory tracking control problem of modular reconfigurable robots (MRRs) under the adaptive dynamic programming (ADP) algorithm. A fuzzy logic system (FLS) is designed to estimate cost function and unknown system dynamics of MRRs respectively. through the use of ADP method, construct a local online VI algorithm and solving HJB equation with approximate cost function, then the decentralized FLS-based optimal control method is realized. On the basis of Lyapunov theorem the MRR system is proved to be asymptotically stable. At last, simulation results show the availability of the suggested method. © 2022 IEEE.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2021 13th international conference Knowledge and Systems Engineering, KSE 2021

Proceedings - 2021 13th International Conference Knowledge a...

引用

13th international conference Knowledge and Systems Engineering, KSE 2021

ISBN: (纸本)9781665499750

the proceedings contain 62 papers. the topics discussed include: recognizing modern Japanese magazines by combining deep learning with language models;mining high utility sequences with a novel utility function;fully automated machine learning pipeline for echocardiogram segmentation;prioritizing automated test cases of web applications using reinforcement learning: an enhancement;design of an GIS-based investment heatmap system using topic classification and NER;on consistency of redundancy deduction of linguistic fuzzy rules;towards expert-guided elucidation of cyber-attacks through interactive inductive logic programming;esports game updates and player perception: data analysis of PUBG steam reviews;resolving inconsistencies in probabilistic knowledge bases by quantitative modification;and improving graph convolutional networks with transformer layer in social-based items recommendation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Verifying a Blocks World for Teams GOAL Agent 13

Towards Verifying a Blocks World for Teams GOAL Agent

引用

13th international conference on Agents and Artificial Intelligence (ICAART)

作者： Jensen, Alexander Birch Tech Univ Denmark Dept Appl Math & Comp Sci DTU Compute Richard Petersens PladsBldg 324 DK-2800 Lyngby Denmark

ISBN: (纸本)9789897584848

We continue to see an increase in applications based on multi-agent system technology. As the technology becomes more widespread, so does the requirement for agent systems to operate reliably. In this paper, we expand on the approach of using an agents logic to prove properties of agents. Our work describes a transformation from GOAL program code to an agent logic. We apply it to a Blocks World for Teams agent and prove a correctness property. Finally, we sketch future challenges of extending the framework.

关键词： Agent programming Formal Verification Agent logic GOAL

来源：评论

学校读者我要写书评

暂无评论

Analysis of the Speed of Execution of Business logic in Applications Created in Different Software Environments

Analysis of the Speed of Execution of Business Logic in Appl...

引用

international conference on Advanced Computer Information Technologies (ACIT)

作者： Yaroslav Marchuk Bohdan Melnyk Nataliya Melnyk Department of Applied Mathematics Ivan Franko National University of Lviv Lviv Ukraine Department of Information Systems of Management Ivan Franko National University of Lviv Lviv Ukraine

the article is dedicated to the study of the execution speed of the back-end part of the application, which functions under high load conditions. the study was conducted for program codes written in different programming languages. At the same time, the REST API style in the microservices architecture was used to implement the application. Modern software environments based on Python, Golang, JavaScript, and Elixir programming languages were selected for analysis. Several characteristics of the software code were experimentally investigated, which reflect the speed qualities of the application. An analysis of the obtained results was carried out and relevant conclusions were drawn.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code Debugging with LLM-Generated Explanations of programming Error Messages

Code Debugging with LLM-Generated Explanations of Programmin...

引用

international conference on Engineering Education (ICEED)

作者： John S. Y. Lee Fengkai Liu Tianyuan Cai Department of Linguistics and Translation City University of Hong Kong Hong Kong SAR China

ISBN: (数字)9798350367416

ISBN: (纸本)9798350367423

programming is an essential part of the curriculum for electrical, computer and software engineering students. Since one inevitably makes coding mistakes, it is important for programmers to develop debugging skills. However, it could be challenging for beginners to repair a non-compiling program, since programming error messages tend to be opaque, and might not directly address the error. this paper investigates the use of Large Language Models to generate plain, novice-friendly explanations of programming error messages. In an introductory course on Natural Language Processing, We evaluate the extent to which these explanations help students debug Python code with six common programming error categories. Experimental results suggest that explanations generated with zero-shot GPT-4 are effective in raising the code revision success rate.

关键词： Codes Large language models Debugging Maintenance engineering Encoding logic Engineering education programming profession Software engineering Python

来源：评论

学校读者我要写书评

暂无评论

Implementing logic Operations in Gold Nanoparticles Colloidal Suspensions

Implementing Logic Operations in Gold Nanoparticles Colloida...

引用

international conference on Modern Circuits and Systems Technologies (MOCAST)

作者： Raphael Fortulan Noushin Raeisi Kheirabadi Alexei Antipov Carsten Jost Alessandro Chiolerio Andrew Adamatzky Unconventional Computing Laboratory University of the West of England Bristol UK PlasmaChem GmbH Schwarzschildstraβe 10 Berlin Germany Center for Bioinspired Soft Robotics Istituto Italiano di Tecnologia Genova Italy

ISBN: (数字)9798350385427

ISBN: (纸本)9798350385434

this work experimentally demonstrates the computational capabilities of gold nanoparticle colloidal suspensions. Here we implement Boolean logic gates in Au nanoparticle solutions by applying binary input signals through electrical stimulation and recording the electrical output responses. the output signals are thresholded to derive logical expressions. the results show that Au colloids can exhibit conjunction, disjunction, and negation operations. Unique sum-of-products expressions are discovered for 2-bit and 4-bit binary string inputs, with increased complexity observed for 4-bit strings. the rich computational behaviour exhibited highlight the potential of colloidal solutions for unconventional computational devices.

关键词： Nanoparticles Gold Liquids logic circuits logic gates programming Electrical stimulation

来源：评论

学校读者我要写书评

暂无评论

Tabular Interpretation of the Temporal Description logic LTLALC 13

Tabular Interpretation of the Temporal Description Logic LTL...

引用

13th international Scientific and Practical programming conference, UkrPROG 2022

作者： Reznichenko, Valerii Chystiakova, Inna Institute of Software Systems The National Academy of Sciences of Ukraine Academician Glushkov avenue 40 Kyiv03187 Ukraine

Description logic is widely used to describe and represent knowledge in the Semantic Web. It is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. thanks to this, conceptual modeling of subject areas has become one of the fields of application of description logic. Conceptual modeling is used to create databases and knowledge bases. A key issue in of the subject area modeling is the ability to monitor the dynamics of changes in the state of the subject area over time. It is necessary to describe not only the current actual state of the database/knowledgebase but also time-varying states. Temporal description logic is used to solve this problem. It has the same set of algorithmic problems that are presented in traditional description logic, but there are additional issues related to the description of knowledge in time. this refers to the form of time (continuous or discrete), time structure (moments of time, intervals, chains of intervals), time linearity (linear or branched), domain (present, past, future), the concept of "now", etc. An urgent task today is to develop approach of such interpretation of temporal description logic that may be supported by databases. the paper presents an algorithm of tabular interpretation of the temporal description logic LTLALC. Only the future tense is considered. the algorithm contains tabular notations of the following components of the LTLALC: concepts, concept constructors, roles, role constructors, TBox and ABox. Numerous examples are used to illustrate the application of the algorithm. © 2022 Copyright for this paper by its authors.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

Design of Chinese Learning App for international Students based on User Satisfaction 6

Design of Chinese Learning App for International Students ba...

引用

6th international conference on Smart Grid and Electrical Automation (ICSGEA)

作者： Wang, Chao Dalian Polytech Univ Dalian 116034 Peoples R China

ISBN: (纸本)9781665432634

the existing Chinese learning app has the problem of imperfect logic programming model, which leads to the low compatibility of app. this paper designs a Chinese learning app for international students based on user satisfaction. According to the morpheme meaning classification of vocabulary attributes, using Chinese part of speech features to design vocabulary classification interface, based on user satisfaction to build a logical programming model, measure user information, combined with foreign students' Chinese learning mode to set offline learning function. Experimental results: the average compatibility of the designed app and the two existing apps is 76.830%, 61.593% and 59.168% respectively, which proves that the Chinese learning app integrated with user satisfaction has higher compatibility.

关键词： customer satisfaction Chinese learning software design offline learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共35页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：