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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,801 篇 会议
92 篇 期刊文献
86 册 图书

馆藏范围

1,979 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,384 篇 工学
- 1,157 篇 计算机科学与技术...
- 664 篇 软件工程
- 176 篇 控制科学与工程
- 144 篇 电气工程
- 130 篇 信息与通信工程
- 33 篇 电子科学与技术（可...
- 27 篇 生物工程
- 25 篇 机械工程
- 21 篇 建筑学
- 20 篇 仪器科学与技术
- 19 篇 土木工程
- 18 篇 动力工程及工程热...
- 17 篇 生物医学工程（可授...
- 17 篇 安全科学与工程
- 16 篇 材料科学与工程（可...
- 16 篇 化学工程与技术
- 13 篇 核科学与技术
366 篇 理学
- 237 篇 数学
- 60 篇 系统科学
- 52 篇 物理学
- 39 篇 生物学
- 39 篇 统计学（可授理学、...
- 19 篇 化学
207 篇 管理学
- 124 篇 管理科学与工程(可...
- 102 篇 图书情报与档案管...
- 71 篇 工商管理
34 篇 法学
- 31 篇 社会学
29 篇 医学
- 21 篇 基础医学(可授医学...
- 21 篇 临床医学
14 篇 经济学
- 13 篇 应用经济学
11 篇 教育学
9 篇 农学
5 篇 文学
2 篇 军事学

主题

341 篇 multi agent syst...
68 篇 multi-agent syst...
59 篇 programming
55 篇 artificial intel...
53 篇 software enginee...
41 篇 logic programmin...
34 篇 optimization
34 篇 control systems
30 篇 application soft...
30 篇 linear programmi...
28 篇 object oriented ...
28 篇 real time system...
28 篇 computer communi...
25 篇 dynamic programm...
24 篇 software enginee...
23 篇 computer program...
22 篇 software systems
21 篇 java programming...
20 篇 conferences
19 篇 computer archite...

机构

9 篇 univ utrecht nl-...
8 篇 utrecht universi...
6 篇 univ turin dipar...
5 篇 univ bath dept c...
5 篇 univ liverpool d...
4 篇 delft univ techn...
4 篇 univ liverpool d...
4 篇 imperial college...
4 篇 new mexico state...
3 篇 national institu...
3 篇 univ london impe...
3 篇 department of co...
3 篇 univ liverpool l...
3 篇 university of li...
3 篇 sorbonne univers...
3 篇 kings coll londo...
3 篇 delft university...
3 篇 rwth aachen univ...
3 篇 umea univ umea
3 篇 university of an...

作者

21 篇 bordini rafael h...
16 篇 dastani mehdi
13 篇 ricci alessandro
11 篇 boissier olivier
7 篇 fisher michael
7 篇 baldoni matteo
7 篇 son tran cao
7 篇 meyer john-jules...
6 篇 van riemsdijk m....
6 篇 costantini stefa...
6 篇 braubach lars
6 篇 van der torre le...
5 篇 dix juergen
5 篇 novak peter
5 篇 arye nehorai
5 篇 baroglio cristin...
5 篇 hübner jomi f.
5 篇 lamersdorf winfr...
5 篇 dignum frank
5 篇 pontelli enrico

语言

1,925 篇 英文
33 篇 其他
21 篇 中文
1 篇 乌克兰文

检索条件"任意字段=5th International Workshop on Programming Multi-Agent Systems"

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

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

详细简洁

排序：

Combining Constraint-Based and Imperative programming in MABS for More Reliable Modelling 24th

Combining Constraint-Based and Imperative Programming in MAB...

引用

24th international workshop on multi-agent-Based Simulation (MABS)

作者： Edmonds, Bruce Polhill, J. Gareth Manchester Metropolitan Univ Ctr Policy Modelling Manchester Lancs England James Hutton Inst Aberdeen Scotland

ISBN: (纸本)9783031610332;9783031610349

We argue for a combination of declarative/constraint and imperative programming approaches for MABS: a declarative layer that specified the ontology, assumptions, types, internal and checks for a simulation and the imperative code that satisfied the statements of the declarative layer - instantiating the behaviours. Such a system would be a generalisation of common elements of existing simulations. the two layers would be separately developed and communicated but work together. Using such a system one might: (a) start by importing an ontology of entities that have been previously agreed within a field, (b) work with domain experts to implement declarative statements that reflect what is known about the system, (c) develop the implementation starting with declarative internal checks and the outlines of the implementation, (d) slowly add imperative statements to fill in details, (e) finally when the simulation has been completely verified, the declarative layer could be switched off to allow faster exploration. this would ensure for a more reliable simulation and ensure its consistency with common ontologies etc. It would facilitate: joining models together with fewer mistakes, comparing models, provide enhanced and flexible error checking, make modules more reusable, allow for rapid prototyping, support the automation of modelling tools/add-ons, and allow the selective exploration of all possible behaviours of a sub-model using constraint programming techniques. Examples are given of previous work that moves in this direction.

关键词： Constraint programming declarative programming imperative programming multi-agent-Based Simulation MABS model joining model comparison internal checks unit tests strong typing

来源：评论

学校读者我要写书评

暂无评论

Belief Sharing: A Blessing or a Curse 5th

Belief Sharing: A Blessing or a Curse

引用

5th international workshop on Active Inference

作者： Catal, Ozan Van de Maele, Toon Pitliya, Riddhi J. Albarracin, Mahault Pattisapu, Candice Verbelen, Tim VERSES Res Lab Los Angeles CA 90016 USA Univ Oxford Dept Expt Psychol Oxford England Univ Quebec Montreal Dept Comp Sci Montreal PQ Canada

ISBN: (纸本)9783031771378;9783031771385

When collaborating with multiple parties, communicating relevant information is of utmost importance to efficiently completing the tasks at hand. Under active inference, communication can be cast as sharing beliefs between free-energy minimizing agents, where one agent's beliefs get transformed into an observation modality for the other. However, the best approach for transforming beliefs into observations remains an open question. In this paper, we demonstrate that naively sharing posterior beliefs can give rise to the negative social dynamics of echo chambers and self-doubt. We propose an alternate belief sharing strategy which mitigates these issues.

关键词： Active inference Belief sharing multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

Performance of EdDSA and BLS Signatures in Committee-Based Consensus 5

Performance of EdDSA and BLS Signatures in Committee-Based C...

引用

5th workshop on Advanced Tools, programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems, ApPLIED 2023

作者： Li, Zhuolun Sonnino, Alberto Jovanovic, Philipp University of Leeds United Kingdom United Kingdom United Kingdom

ISBN: (纸本)9798400701283

We present the first performance comparison of EdDSA and BLS signatures in committee-based consensus protocols through large-scale geo-distributed benchmarks. Contrary to popular beliefs, we find that small deployments (less than 40 validators) can benefit from the small storage footprint of BLS multi-signatures while larger deployments should favor EdDSA to improve performance. As an independent contribution, we present a novel way for committee-based consensus protocols to verify BLS multi-signed certificates by manipulating the aggregated public key using precomputed values. © 2023 Copyright held by the owner/author(s).

关键词： Electronic document identification systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 5th international workshop on EXTRAAMAS 2023

Proceedings of the 5th International Workshop on EXTRAAMAS 2...

引用

Proceedings of the 5th international workshop on EXTRAAMAS 2023

ISBN: (纸本)9783031408779

the proceedings contain 16 papers. the special focus in this conference is on Explainable, Transparent Autonomous agents and multi-agent systems. the topics include: Explanation Generation via Decompositional Rules Extraction for Head and Neck Cancer Classification;metrics for Evaluating Explainable Recommender systems;leveraging Imperfect Explanations for Plan Recognition Problems;Reinterpreting Vulnerability to Tackle Deception in Principles-Based XAI for Human-Computer Interaction;enhancing Wearable Technologies for Dementia Care: A Cognitive Architecture Approach;counterfactual, Contrastive, and Hierarchical Explanations with Contextual Importance and Utility;Evaluating a Mechanism for Explaining BDI agent Behaviour;a General-Purpose Protocol for multi-agent Based Explanations;Dialogue Explanations for Rule-Based AI systems;estimating Causal Responsibility for Explaining Autonomous Behavior;the Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing;bottom-Up and Top-Down Workflows for Hypercube- And Clustering-Based Knowledge Extractors;imperative Action Masking for Safe Exploration in Reinforcement Learning;reinforcement Learning in Cyclic Environmental Changes for agents in Non-Communicative Environments: A theoretical Approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Optimizing Portfolios with Neural Networks and Dynamic programming: Tackling Regime Switching and Transaction Costs 5

Optimizing Portfolios with Neural Networks and Dynamic Progr...

引用

5th international Conference on Electronics and Sustainable Communication systems, ICESC 2024

作者： Rani, V. Shobha Ashok, R. Kanala, Raghupathi Chittireddy, Akhil Reddy Praveen Kumar, K. Suma, P. Sr University Cs&ai Warangal India Kamala Institute of Technology Dept of Cs Huzurabad India Iit Khargpur Dept of Mathametics West Bengal Khargpur India Dept of Computer Science Warangal India Warangal India

ISBN: (纸本)9798350379945

Portfolio optimization is a central challenge in quantitative finance, engaging a wide range of stakeholders including individuals and institutions. While multi-period financial models are more intricate than single-period models, they also incur higher computational costs. Transaction costs play a significant role in portfolio optimization. Research examines dynamic programming algorithms for multi-period portfolio optimization without transaction costs in a regime-switching market. Additionally, the integration of dynamic programming with a recurrent neural network is investigated for scenarios involving linear transaction costs. Dynamic programming serves as a foundation for the neural network, facilitating the learning of the no-trade zone. Both algorithms are tested on a stock from the NIFTY50 index, and their performance is evaluated against various allocation strategies. © 2024 IEEE.

关键词： Computational cost

来源：评论

学校读者我要写书评

暂无评论

On Teaching Logic programming in the Era of Generative AI 40

On Teaching Logic Programming in the Era of Generative AI

引用

workshop of the 40th international Conference on Logic programming, ICLP-WS 2024

作者： Tarau, Paul University of North Texas Denton United States

After fact finding on the disruption bought by today’s Generative AI tools to the education system, we outline the advantages of joining the disruption, motivated by the natural synergies between today’s Generative AI and Logic programming Languages, derived from both their similar and complementary reasoning mechanisms. We explore engagement strategies for AI assistants with specifics on Prolog teaching and also in the wider context of online teaching and automation of teaching processes, including AI-assisted evaluation strategies for student success. In particular, we overview and explore in some detail AI-based Prolog code generators, gamification, computational thinking in logic-focussed natural language, and the use of multi-agent AI systems. © 2024 Copyright for this paper by its authors.

关键词： PROLOG (programming language)

来源：评论

学校读者我要写书评

暂无评论

Knowledge Level Support for programming agents to Interact in Regulated Online Forums 28th

Knowledge Level Support for Programming Agents to Interact...

引用

28th international workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of multi-agent systems, COINE 2024

作者： Hafiene, Nesrine Nardin, Luis G. Boissier, Olivier Mines Saint-Etienne Univ Clermont Auvergne INP Clermont Auvergne CNRS UMR 6158 LIMOS Saint-Etienne42023 France

ISBN: (纸本)9783031820380

the Web is populated by autonomous agents that act on behalf of users to perform tasks on the Web. these agents are required to interact with online systems to achieve their goals. However, they are usually designed to interact with specific online systems, preventing them from interacting with those whose structure, interaction methods, and regulations are a priori unknown. We propose a means to overcome this limitation by representing the online systems’ resources and regulations that agents can use to make decisions and act. Our approach can be split into two parts. First, we introduce a knowledge layer structured along with the multi-agent Oriented programming approach to describe Web resources and their regulations using ontology. Second, we introduce an agent that uses this knowledge layer for reasoning and acting in compliance with the regulations towards achieving its goals. We use the online forum as a running example to highlight the applicability and usefulness of our approach. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Optimal Planning in systems Consisting of Rational agents 14

Optimal Planning in Systems Consisting of Rational Agents

引用

14th international Scientific and Practical programming Conference, UkrPROG 2024

作者： Sinitsyn, Igor Doroshenko, Anatoliy Pashko, Serhii Institute of Software Systems The National Academy of Sciences of Ukraine Glushkov prosp. 40 build. 5 Kyiv03187 Ukraine

the paper is devoted to mathematical methods of planning in systems consisting of rational agents. An agent is an autonomous object that has sources of information about the environment and influences this environment. A rational agent is an agent who has a goal and uses optimal behavioral strategies to achieve it. It is assumed that there is a utility function, which is defined on the set of possible sequences of actions of the agent and takes values in the set of real numbers. the goal of a rational agent is to maximize the utility function. If rational agents form a system, then they have a common goal and act in an optimal way to achieve it. agents use the optimal solution of the optimization problem, which corresponds to the goal of the system. the problem of linear programming is considered, in which the number of product sets produced by the system is maximized. To solve the nonlinear problem of optimizing the production plan, the conditional gradient method is used, which at each iteration uses a posteriori estimation of the error of the solution and can stopping the calculation process after reaching the required accuracy. Since the rational agents that are part of the system can have separate optimality criteria, multi-criteria optimization problems appear. the article discusses methods for solving such problems, among which is a human-machine procedure assiciated to the conditional gradient method and at each iteration uses information from the decision maker (DM). the difficulties of this approach are that the DM is not able to make decisions many times under the condition of a significant number of iterations of the nonlinear programming method. the article proposes to replace DM with an artificial neural network. Non-linear and stochastic programming methods are used to find optimal parameters of this network. © 2024 Copyright for this paper by its authors.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

A Survey of the programming Paradigms used in programming Languages 5

A Survey of the Programming Paradigms used in Programming La...

引用

5th IEEE international Conference on Communications, Information, Electronic and Energy systems, CIEES 2024

作者： Nikolaeva, Dimitrichka Petrova, Daniela Technical University - Varna Dept. of Software and Internet Technologies Varna Bulgaria

ISBN: (纸本)9798350352863

this article aims to explore and classify the programming paradigms (PPs) used in programming languages (PLs). It consists of four parts: a brief introduction, an experimental section analyzing 90 PLs created between 1957 and 2024 based on four criteria. the findings are presented in tables and graphs, including a catalog of PLs, a table mapping PLs to PPs and multi-paradigms, and charts showing the creation of PLs by year, relationships between PPs and PLs, and the use of multi-paradigms in PLs. the study reveals that the years 1980 and 1995 saw the highest number of PLs created. 73% of all considered PLs apply 2 or more styles, with the functional and imperative style being the most applied. © 2024 IEEE.

关键词： functional style imperative style object-oriented style programming languages programming paradigms

来源：评论

学校读者我要写书评

暂无评论

An agent-Centric Perspective on Norm Enforcement and Sanctions 28th

An Agent-Centric Perspective on Norm Enforcement and Sanct...

引用

28th international workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of multi-agent systems, COINE 2024

作者： Yan, Elena Nardin, Luis G. Hübner, Jomi F. Boissier, Olivier Mines Saint-Etienne Univ Clermont Auvergne INP Clermont Auvergne CNRS UMR 6158 LIMOS Saint-Etienne42023 France Department of Automation and Systems Engineering Federal University of Santa Catarina Florianópolis Brazil

ISBN: (纸本)9783031820380

In increasingly autonomous and highly distributed multi-agent systems, centralized coordination becomes impractical and raises the need for governance and enforcement mechanisms from an agent-centric perspective. In our conceptual view, sanctioning norm enforcement is part of this agent-centric perspective and they aim at promoting norm compliance while preserving agents’ autonomy. the few works dealing with sanctioning norm enforcement and sanctions from the agent-centric perspective present limitations regarding the representation of sanctions and the comprehensiveness of their norm enforcement process. To address these drawbacks, we propose the NPL(s), an extension of the NPL normative programming language enriched with the representation of norms and sanctions as first-class abstractions. We also propose a BDI normative agent architecture embedding an engine for processing the NPL(s) language and a set of capabilities for approaching more comprehensively the sanctioning norm enforcement process. We apply our contributions in a case study for improving the robustness of agents’ decision-making in a production automation system. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Norm Enforcement Normative agent Architecture Normative programming Language Sanctions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：