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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是161-170 订阅

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

详细简洁

排序：

Using Genetic programming to Identify Probability Distribution behind Data: A Preliminary Trial 22

Using Genetic Programming to Identify Probability Distributi...

引用

22nd IEEE international conference on Data Mining (ICDM)

作者： Syu, Yang Wang, Chien-Min Natl Taipei Univ Educ Dept Informat Sci Taipei Taiwan Acad Sinica Inst Informat Sci Taipei Taiwan

ISBN: (纸本)9798350346091

Before conducting any further applications or performing more advanced processing, analyzing and realizing the probability distribution of data is a crucial task. Traditionally, statistical methods are being developed for this procedure. In recent years, researchers in computer science have proposed and applied different machine learning-based techniques to address the abovementioned problem. However, the existing solutions remain problematic and inconvenient, such as the need for human intervention and the complexity of the resulting models. Thus, in this paper, without causing deficiency and inconvenience, a genetic programming-based approach for the identification of probability functions is proposed, implemented, and tested. Based on our empirical trials, in an immense search space of mathematical expressions, the proposed and developed approach can effectively recognize (retrieve) the probability distribution function behind data.

关键词： genetic programming probability distribution machine learning explainable AI

来源：评论

学校读者我要写书评

暂无评论

Mandrake: Multiagent Systems as a Basis for programming Fault-Tolerant Decentralized Applications 22

Mandrake: Multiagent Systems as a Basis for Programming Faul...

引用

22nd international conference on Autonomous Agents and Multiagent Systems, AAMAS 2023

作者： Christie, Samuel H. Singh, Munindar P. Chopra, Amit K. North Carolina State University RaleighNC United States Lancaster University Lancaster United Kingdom

We define a decentralized software application as one that consists of autonomous agents that communicate through asynchronous messaging. Constructing a decentralized application involves designing agents as independent local computations that coordinate to realize the application's requirements. Moreover, a decentralized application is susceptible to faults manifested as message loss, delay, and reordering. We contribute Mandrake, a programming model for decentralized applications that addresses these challenges. Specifically, we adopt the construct of an information protocol that specifies messaging between agents purely in causal terms and can be correctly enacted by agents in a shared-nothing environment over nothing more than unreliable, unordered transport. Mandrake facilitates (1) implementing protocol-compliant agents by introducing a programming model;(2) transforming fragile protocols into fault-tolerant ones with simple annotations;and (3) a declarative policy language that makes it easy to implement fault-tolerance in agents based on the capabilities in protocols. In obviating the reliance on reliability and ordering guarantees in the communication infrastructure, Mandrake achieves some of the goals of the founders of networked computing from the 1970s. © 2023 international Foundation for Autonomous Agents and Multiagent Systems (***). All rights reserved.

关键词： Autonomous agents

来源：评论

学校读者我要写书评

暂无评论

A Case Study on programming in Finnish General Upper Secondary Education 22

A Case Study on Programming in Finnish General Upper Seconda...

引用

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

作者： Norrby, Markus Palmberg, Niklas Pörn, Ray Vasa Teacher Training School Vasa Finland Novia University of Applied Science Vasa Finland

ISBN: (纸本)9781450396165

A curriculum for an introductory module on programming for Finnish upper secondary school was developed in collaboration with tertiary education. The module was refined over three school years and the attitudes and progress of the students were evaluated through pre-course and post-course questionnaires. Interviews with the responsible teachers were also used for the evaluation. The early results indicate that such a module can be successfully implemented with limited resources and also point to the large informal influence of the national standardized matriculation exam on student interest for and school implementation of such a module. © 2022 Owner/Author.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Additive Routing Problem for a System of High-Priority Tasks 22nd

Additive Routing Problem for a System of High-Priority Ta...

引用

22nd international conference on Mathematical Optimization Theory and Operations Research , MOTOR 2023

作者： Chentsov, Alexandr G. Chentsov, Pavel A. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences Yekaterinburg620108 Russia Ural Federal University ul. Mira 19 Yekaterinburg620002 Russia

ISBN: (纸本)9783031432569

It is considered the routing problem for which some fixed tasks must be serviced above all. Other tasks can be serviced only after realization of above-mentioned original tasks. It is supposed that each our task is the megalopolis (nonempty finite set) visiting with fulfilment of some works. In our setting, two partial interconnected routing problems arise. We suppose that, in each partial routing problem, the corresponding precedence conditions are given. Using widely understood dynamic programming (DP), we obtain the optimal composition solution for initial total problem. As an application, we note the known engineering problem connected with sheet cutting by zones on CNC machines. By DP procedure the optimal algorithm realized on PC was constructed. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability 22nd

Exploiting Assumptions for Effective Monitoring of Real-Ti...

引用

22nd international conference on Software Engineering and Formal Methods, SEFM 2024

作者： Cimatti, Alessandro Grosen, Thomas M. Larsen, Kim G. Tonetta, Stefano Zimmermann, Martin Fondazione Bruno Kessler Trento Italy Aalborg University Aalborg Denmark

ISBN: (纸本)9783031773815

Runtime verification of temporal properties over timed sequences of observations is crucial in various applications within cyber-physical systems ranging from autonomous vehicles over smart grids to medical devices. In this paper, we are addressing the challenge of effectively predicting the failure or success of properties in a continuous real-time setting. Our approach allows predictions to exploit assumptions on the system being monitored and supports predictions of non-observable system behaviour (e.g. internal faults). More concretely, in our approach properties are expressed in Metric Interval Temporal logic (MITL), assumptions on the monitored system are specified in terms of Timed Automata, and observations are to be provided in terms of sequences of timed constraints. We present an assumption-based runtime verification algorithm and its implementation on top of the real-time verification tool UPPAAL. We show experimentally that assumptions can be effective in anticipating the satisfaction/violation of timed properties and in handling monitoring properties that predicate over unobservable events. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Using deep learning models to predict student performance in introductory computer programming courses

Using deep learning models to predict student performance in...

引用

22nd IEEE international conference on Advanced Learning Technologies (ICALT)

作者： Chiang, Yueh-hui Vanessa Lin, Ying-Ru Chen, Nian-Shing Natl Chengchi Univ Dept Comp Sci Artificial Intelligence & E Learning Ctr Taipei Taiwan Natl Chengchi Univ Dept Comp Sci Taipei Taiwan Natl Taiwan Normal Univ Inst Res Excellence Learning Sci Taipei Taiwan Natl Taiwan Normal Univ Program Learning Sci Taipei Taiwan

ISBN: (数字)9781665495196

ISBN: (纸本)9781665495196

This study used deep learning techniques with Moodle log data to predict student performance in introductory computer programming courses. Particularly, this study would like to use prediction results to identify potential low -performing students who may need assistance from teachers. The results suggested that deep learning models are promising to predict student performance and identify low-performing students in the researched context. What the prediction results provided by the models can inform teachers in learning settings was also further discussed in this paper.

关键词： Educational data mining deep learning student performance prediction time-series data Moodle

来源：评论

学校读者我要写书评

暂无评论

Considering Daily Maintenance Schedule Under Uncertainty in Hydro-Thermal Operation Planning for Reserve Margin Calculation

Considering Daily Maintenance Schedule Under Uncertainty in ...

引用

international conference on Intelligent Systems Applications to Power Systems (ISAP)

作者： Rodrigo Benoliel Carmen L. T. Borges Tiago Andrade Luiz C. C. Junior PSR Rio de Janeiro Brazil Electrical Engineering Dept. Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (数字)9798331531751

ISBN: (纸本)9798331531768

This paper presents a proposal to analyze the impact of considering a programmed power plants maintenance schedule at operation planning, instead of applying historical average unavailability, in order to optimize the reserve margin. For that purpose, a Mixed Integer programming model is implemented to yield a schedule that targets system reliability by maximizing the Conditional Value at Risk of the days with worst power reserve margin. To incorporate uncertainties inherent to the actual maintenance realization, this study includes a probabilistic approach to represent delays on the starting date and duration of the programmed maintenance.

关键词： Integer programming Schedules Uncertainty Probabilistic logic Real-time systems Maintenance Power systems Proposals Intelligent systems Power generation

来源：评论

学校读者我要写书评

暂无评论

22nd international conference of the Italian Association for Artificial Intelligence, AIxIA 2023

22nd International Conference of the Italian Association for...

引用

22nd international conference of the Italian Association for Artificial Intelligence, AIxIA 2023

ISBN: (纸本)9783031475450

The proceedings contain 33 papers. The special focus in this conference is on Italian Association for Artificial Intelligence. The topics include: Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations;scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian;named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements;CENTAURO: An Explainable AI Approach for Customer Loyalty Prediction in Retail Sector;toward Novel Optimizers: A Moreau-Yosida View of Gradient-Based Learning;mastering the Card Game of Jaipur Through Zero-Knowledge Self-Play Reinforcement Learning and Action Masks;uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups;A Multi-label Classification Study for the Prediction of Long-COVID Syndrome;PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL;deriving Dependency Graphs from Abstract Argumentation Frameworks;Understanding the Effect of Deep Ensembles in LiDAR-Based Place Recognition;Enhancing LiDAR Performance: Robust De-Skewing Exclusively Relying on Range Measurements;can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study;Embedding Shepard’s Interpolation into CNN Models for Unguided Depth Completion;Performance Evaluation of Depth Completion Neural Networks for Various RGB-D Camera Technologies in Indoor Scenarios;inference in Probabilistic Answer Set programming Under the Credal Semantics;efficient Modal Decision Trees;Clique-TF-IDF: A New Partitioning Framework Based on Dense Substructures;combining Contrastive Learning and Knowledge Graph Embeddings to Develop Medical Word Embeddings for the Italian Language;recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings;reConf: An Automatic Context-Based Software Reconfiguration Tool for Autono

关键词：

来源：评论

学校读者我要写书评

暂无评论

MMS Allocations of Chores with Connectivity Constraints: New Methods and New Results 22

MMS Allocations of Chores with Connectivity Constraints: New...

引用

22nd international conference on Autonomous Agents and Multiagent Systems, AAMAS 2023

作者： Xiao, Mingyu Qiu, Guoliang Huang, Sen University of Electronic Science and Technology of China Chengdu China Shanghai Jiao Tong University Shanghai China

We study the problem of allocating indivisible chores to agents under the Maximin share (MMS) fairness notion. The chores are embedded on a graph and each bundle of chores assigned to an agent should be connected. Although there is a simple algorithm for MMS allocations of goods on trees, it remains open whether MMS allocations of chores on trees always exist or not, which is a simple but annoying problem in chores allocation. In this paper, we introduce a new method for chores allocation with connectivity constraints, called the group-satisfied method, that can show the existence of MMS allocations of chores on several subclasses of trees. Even these subcases are non-trivial and our results can be considered as a significant step to the open problem. We also consider MMS allocations of chores on cycles where we get the tight approximation ratio for three agents. Our result was obtained via the linear programming (LP) method, which enables us not only to compute approximate MMS allocations but also to construct tight examples of the nonexistence of MMS allocations without complicated combinatorial analysis. These two proposed methods, the group-satisfied method and the LP method, have the potential to solve more related problems. © 2023 international Foundation for Autonomous Agents and Multiagent Systems (***). All rights reserved.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Fuzzy logic Framework for Ontology Instance Alignment 22nd

Fuzzy Logic Framework for Ontology Instance Alignment

引用

22nd Annual international conference on Computational Science (ICCS)

作者： Hnatkowska, Bogumila Kozierkiewicz, Adrianna Pietranik, Marcin Wroclaw Univ Sci & Technol Fac Informat & Commun Technol Wybrzeze Wyspianskiego 27 PL-50370 Wroclaw Poland

ISBN: (纸本)9783031087547;9783031087530

The widely addressed topic of ontology alignment to this day contains several open research questions that remain either unanswered or only vaguely tackled. One of them is designating alignments of concept instances, which according to the literature are addressed in a handful of publications. Therefore, in this paper we propose a formal framework based on fuzzy logic that can be used to determine such mappings. We provide several similarity functions and a set of inference rules for combining them. The approach has been experimentally verified using widely accepted datasets provided by the Ontology Alignment Evaluation Initiative, yielding promising results.

关键词： Ontology alignment Instance mappings Fuzzy logic Knowledge management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：