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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,266 篇 工学
- 1,071 篇 计算机科学与技术...
- 659 篇 软件工程
- 178 篇 控制科学与工程
- 126 篇 信息与通信工程
- 117 篇 电气工程
- 49 篇 电子科学与技术（可...
- 35 篇 机械工程
- 23 篇 交通运输工程
- 19 篇 建筑学
- 18 篇 生物工程
- 17 篇 化学工程与技术
- 16 篇 土木工程
- 15 篇 生物医学工程（可授...
- 14 篇 动力工程及工程热...
- 13 篇 航空宇航科学与技...
- 12 篇 仪器科学与技术
314 篇 理学
- 231 篇 数学
- 61 篇 系统科学
- 52 篇 统计学（可授理学、...
- 27 篇 生物学
- 26 篇 物理学
- 16 篇 化学
- 13 篇 地质学
206 篇 管理学
- 133 篇 管理科学与工程(可...
- 84 篇 图书情报与档案管...
- 73 篇 工商管理
26 篇 法学
- 24 篇 社会学
19 篇 医学
- 16 篇 临床医学
14 篇 教育学
- 14 篇 教育学
11 篇 经济学
- 11 篇 应用经济学
10 篇 农学
9 篇 文学
3 篇 军事学
1 篇 哲学

主题

342 篇 multi agent syst...
66 篇 multi-agent syst...
56 篇 artificial intel...
51 篇 linear programmi...
47 篇 software enginee...
44 篇 programming
33 篇 logic programmin...
31 篇 optimization
30 篇 dynamic programm...
28 篇 software enginee...
28 篇 computer archite...
27 篇 software systems
26 篇 computer communi...
22 篇 conferences
22 篇 programming prof...
21 篇 costs
20 篇 application soft...
20 篇 computational mo...
20 篇 programming tech...
20 篇 computer program...

机构

13 篇 univ utrecht nl-...
8 篇 utrecht universi...
6 篇 delft university...
6 篇 univ liverpool d...
4 篇 school of inform...
4 篇 univ liverpool d...
4 篇 queens univ sch ...
4 篇 natl inst inform...
4 篇 university of cr...
4 篇 a.p. ershov inst...
4 篇 new mexico state...
4 篇 univ turin dipar...
4 篇 delft univ techn...
3 篇 univ luxembourg ...
3 篇 department of co...
3 篇 university of du...
3 篇 cwi
3 篇 univ bath dept c...
3 篇 univ durham durh...
3 篇 rwth aachen univ...

作者

22 篇 dastani mehdi
19 篇 bordini rafael h...
16 篇 ricci alessandro
11 篇 boissier olivier
9 篇 meyer john-jules...
7 篇 van riemsdijk m....
7 篇 baldoni matteo
7 篇 seghrouchni amal...
7 篇 son tran cao
7 篇 briot jean-pierr...
7 篇 omicini andrea
6 篇 novak peter
6 篇 joão leite
6 篇 sakama chiaki
6 篇 hindriks koen v.
6 篇 fisher michael
6 篇 pontelli enrico
6 篇 michael winikoff
6 篇 van der torre le...
5 篇 baroglio cristin...

语言

1,786 篇 英文
23 篇 其他
12 篇 中文

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

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

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

详细简洁

排序：

multi-agent Scheduling for Shared Manufacturing systems 6

Multi-agent Scheduling for Shared Manufacturing Systems

引用

6th international Conference on Industry 4.0 and Smart Manufacturing, ISM 2024

作者： Duran, Ege Ozturk, Cemalettin O'Sullivan, Barry SFI Centre for Research Training in AI School of Computer Science IT University College Cork Ireland Department of Process Energy & Transport Engineering Munster Technological University Cork Ireland Insight SFI Research Centre for Data Analytics School of Computer Science & IT University College Cork Ireland

Advances in digitization and resource-sharing business models have created new opportunities for manufacturing companies, enhancing competitiveness and resilience. However, these benefits bring computational challenges in efficiently planning and scheduling shared resources. therefore, there is a need for scalable and quick solutions for practical applications. Shared manufacturing systems share characteristics with parallel machine scheduling, allowing for the application of advancements from this domain. this research focuses on multi-agent Parallel Machine Scheduling (MAPMS) in shared manufacturing, specifically addressing scenarios involving two parallel machines and distinct agents managing exclusive, set of non-overlapping orders. the study introduces a novel multi-objective mixed integer programming (MIP) model for order scheduling across multiple facilities, accounting for sequence-dependent setup times between orders. It also proposes a new heuristic method designed for industrial use. Benchmark instances demonstrate the practicality of both the MIP model and heuristic, contributing valuable insights into MAPMS challenges in shared manufacturing environments. © 2025 the Authors.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

OVERLAY 2024 - Short Paper Proceedings of the 6th international workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis

OVERLAY 2024 - Short Paper Proceedings of the 6th Internatio...

引用

6th international workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024

the proceedings contain 16 papers. the topics discussed include: model checking of optimal LTL and ASAP properties;on optimizing simulation-based verification of cyber-physical systems via statistical model checking: a preliminary work;recent results on computable and compositional semantics for hybrid systems;temporal many-valued conditional logics: an abridged report;towards ASP-based minimal unsatisfiable cores enumeration for LTLf;formalizing decisional and operational roles in legal contracts via term-modal logic;integrating L0 regularization into multi-layer logical perceptron for interpretable classification;and automated synthesis of certified neural networks: initial results and open research lines.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Assessing Cognitive Load in programming Exercises Based on Readability and Lexical Richness 17th

Assessing Cognitive Load in Programming Exercises Based on...

引用

17th workshop of Hybrid Intelligent systems, HIS 2024, 17th workshop on Intelligent Learning Environments, WILE 2024 and 6th workshop on New Trends in Computational Intelligence and Applications, CIAPP 2024, held in conjunction with Mexican international Conference on Artificial Intelligence, MICAI 2024

作者： García-Gorrostieta, Jesús Miguel González-López, Samuel López-López, Aurelio Ponce-Mendoza, Ulises Madrid-Monteverde, José David Universidad de la Sierra Sonora Moctezuma Mexico Technological Institute of Nogales Sonora Mexico Instituto Nacional de Astrofísica Óptica y Electrónica Puebla Tonantzintla Mexico

ISBN: (纸本)9783031838811

In this paper, we explore the impact of problem statement readability and lexical richness on cognitive load during programming exercises. Cognitive load theory suggests that the complexity of instructions can significantly affect student performance, especially in tasks requiring high mental effort. Using NASA-TLX, this study measures students’ cognitive load working on JavaScript and React programming problems with varying readability levels. Results show that students with higher programming proficiency tend to experience lower cognitive load, even with more complex problem descriptions, while less experienced students benefit from simplified instructions. this paper provides recommendations for instructional design to optimize cognitive load based on student proficiency, that could be incorporated in a learning environment. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： NASA

来源：评论

学校读者我要写书评

暂无评论

Joint workshop of the 9th Financial Technology and Natural Language Processing, FinNLP 2025, the 6th Financial Narrative Processing, FNP 2025, and the 1st workshop on Large Language Models for Finance and Legal, LLMFinLegal 2025

Joint Workshop of the 9th Financial Technology and Natural L...

引用

Joint workshop of the 9th Financial Technology and Natural Language Processing, FinNLP 2025, the 6th Financial Narrative Processing, FNP 2025, and the 1st workshop on Large Language Models for Finance and Legal, LLMFinLegal 2025, co-located with the 31st international Conference on Computational Linguistics, COLING 2025

ISBN: (纸本)9798891762091

the proceedings contain 48 papers. the topics discussed include: Chat Bankman-Fried: an exploration of LLM alignment in finance;GraphRAG analysis for financial narrative summarization and a framework for optimizing domain adaptation;BuDDIE: a business document dataset for multi-task information extraction;FinMoE: a MoE-based large Chinese financial language model;bridging the gap: efficient cross-lingual NER in low-resource financial domain;evaluating financial literacy of large language models through domain specific languages for plain text accounting;synthetic data generation using large language models for financial question answering;training LayoutLM from scratch for efficient named-entity recognition in the insurance domain;and investigating the effectiveness of length based rewards in DPO for building conversational financial question answering systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

17th workshop of Hybrid Intelligent systems, HIS 2024, 17th workshop on Intelligent Learning Environments, WILE 2024 and 6th workshop on New Trends in Computational Intelligence and Applications, CIAPP 2024, held in conjunction with Mexican international Conference on Artificial Intelligence, MICAI 2024

17th Workshop of Hybrid Intelligent Systems, HIS 2024, 17th ...

引用

ISBN: (纸本)9783031838781

the proceedings contain 38 papers. the special focus in this conference is on Hybrid Intelligent systems. the topics include: Integration of Alexa and Social IoT for Generation X: A Study on the Optimization Use of Smart Treadmill to Improve Physical Health;logarithmic Weighted Random Selector Algorithm: A Novel Approach for Biasing Selection Based on Positional Order Without Hyperparameters;design and Implementation of a Machine Learning Model for Soccer Match Prediction Based on Player Statistics;electric Scooters and Renewable Energy Integration Associated with Tourist Parks: A Dijkstra-Based Model for Smart Mobility Optimization;use of Convolutional Neural Networks for the Recognition of Bird Species in Risk Categories in the State of Chihuahua;exploring Deep Learning Applications in Neurodegenerative Diseases: A State-of-the-Art Review;Automated Insights: LLMs in Neurodegenerative Disease Research and Comparison;convolutional Neural Network Models for Classifying of Peach (Prunus persica L);Cleaning Binary Distortion on MNIST Dataset;rule-Based Expert System with Bayesian theory and Fuzzy Inference for Vocational Guidance: A Tool to Prevent School Dropouts;detection of Basic Motorcycle Faults Using a Fuzzy Bayesian Expert System;intervention Model with Data Mining Techniques to Work with Dating Violence Victims Using a Social Support Network;enhanced Pest Detection Using Quaternion-Based Image Segmentation in Yellow Sticky Trap Samples for Precision Agriculture;Optimization of a Treatment Plant through the Incorporation of New Waste Separation Components: A TOPSIS-Focused multi-criteria Analysis Approach;multicriteria Analysis Applied to the Selection of Shopping Centers for a Family-Owned Restaurant Business in Smart Cities: A Case Study in Ciudad Juárez.

关键词：

来源：评论

学校读者我要写书评

暂无评论

17th Workshop of Hybrid Intelligent Systems, HIS 2024, 17th ...

引用

ISBN: (纸本)9783031838811

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experimental Study for Automatic Feature Construction to Segment Images of Lungs Affected by COVID-19 Using Genetic programming 17th

Experimental Study for Automatic Feature Construction to S...

引用

作者： Herrera-Sánchez, David Fuentes-Tomás, José-Antonio Acosta-Mesa, Héctor-Gabriel Mezura-Montes, Efrén Artificial Intelligence Research Institute University of Veracruz Veracruz Xalapa91097 Mexico

ISBN: (纸本)9783031838811

Image segmentation is a challenging task due to image variations, such as illumination, background, noise, and others. there are several segmentation methods, but the requirement of prior knowledge and parameter setting makes it hard to perform a good segmentation, especially in medical images where an expert is needed to make the segmentation accordingly with the prior knowledge to determine the area of interest. In this work, we are focused on the feature construction to make an image segmentation of computerized tomography scans of lungs affected by COVID-19. Genetic programming (GP) is used to evolve a program to extract and construct features from the image to make a segmentation where the target is to find the affected area. the flexibility that offers GP allows us to face the segmentation task and know which functions are used in the final program, leading to an interpretable solution. the results of the experiments demonstrate that GP is capable of extracting and constructing features from the Computerized Tomography images to perform the segmentation of lungs affected by COVID-19, achieving values of 0.59 of F1-score metric to measure the segmentation performance. Furthermore, the experimental results determine the appropriate parameters for the evolutionary process. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

Investigating the effectiveness of length based rewards in DPO for building Conversational Financial Question Answering systems 9

Investigating the effectiveness of length based rewards in D...

引用

作者： Yadav, Anushka Rallabandi, Sai Krishna Dakle, Parag Pravin Raghavan, Preethi University of Massachusetts Amherst United States Fidelity Investments United States

ISBN: (纸本)9798891762091

In this paper, we address the numerical reasoning challenges of financial question-answering systems. We propose a two-stage approach where models first generate intermediate calculations and then produce the final answer. We perform two experiments to evaluate the performance of our approach. In the first, we compare single-step and multi-step approaches, demonstrating that incorporating intermediate calculations significantly improves numerical accuracy. In the second experiment, we compare traditional DPO and iterative DPO (iDPO) with length-regularized DPO. We show that while traditional DPO reduced parsing errors, it introduces verbosity;iDPO improves reasoning iteratively but faces diminishing returns. On the other hand, Length-regularized DPO reduces verbosity of intermediate calculation as well as enhances numerical accuracy across all models. these results highlight the potential of combining intermediate reasoning steps with domain-specific optimizations to build robust financial question-answering systems. © 2025 Association for Computational Linguistics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：