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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

13,407 篇 期刊文献
7,426 篇 会议
64 册 图书

馆藏范围

20,897 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

12,382 篇 工学
- 7,777 篇 计算机科学与技术...
- 6,535 篇 软件工程
- 2,384 篇 信息与通信工程
- 1,690 篇 生物工程
- 1,498 篇 电气工程
- 1,426 篇 控制科学与工程
- 1,367 篇 生物医学工程（可授...
- 1,282 篇 光学工程
- 1,250 篇 电子科学与技术（可...
- 913 篇 化学工程与技术
- 694 篇 仪器科学与技术
- 633 篇 机械工程
- 469 篇 动力工程及工程热...
- 456 篇 材料科学与工程（可...
- 423 篇 安全科学与工程
9,239 篇 理学
- 4,030 篇 数学
- 3,015 篇 物理学
- 2,198 篇 生物学
- 1,713 篇 统计学（可授理学、...
- 1,046 篇 地球物理学
- 984 篇 化学
- 726 篇 系统科学
3,155 篇 管理学
- 1,806 篇 管理科学与工程(可...
- 1,362 篇 图书情报与档案管...
- 947 篇 工商管理
2,232 篇 医学
- 1,775 篇 临床医学
- 1,279 篇 基础医学(可授医学...
- 758 篇 公共卫生与预防医...
- 597 篇 药学(可授医学、理...
588 篇 法学
- 516 篇 社会学
405 篇 经济学
383 篇 农学
245 篇 教育学
58 篇 文学
35 篇 军事学
18 篇 艺术学
3 篇 哲学
2 篇 历史学

主题

487 篇 deep learning
382 篇 machine learning
334 篇 accuracy
306 篇 feature extracti...
260 篇 computational mo...
229 篇 training
215 篇 predictive model...
209 篇 semantics
196 篇 optimization
193 篇 reinforcement le...
183 篇 real-time system...
170 篇 image segmentati...
166 篇 neural networks
157 篇 internet of thin...
150 篇 support vector m...
149 篇 deep neural netw...
142 篇 convolution
135 篇 graph neural net...
134 篇 generative adver...
131 篇 object detection

机构

618 篇 university of ch...
429 篇 department of ph...
392 篇 iccub universita...
306 篇 imperial college...
300 篇 physik-institut ...
298 篇 stfc rutherford ...
298 篇 nikhef national ...
291 篇 center for high ...
289 篇 school of physic...
289 篇 department of ph...
288 篇 cavendish labora...
288 篇 physikalisches i...
285 篇 school of physic...
285 篇 oliver lodge lab...
284 篇 h.h. wills physi...
284 篇 yandex school of...
284 篇 institute of par...
283 篇 school of physic...
280 篇 henryk niewodnic...
279 篇 van swinderen in...

作者

233 篇 beiter a.
222 篇 barter w.
205 篇 bellee v.
194 篇 bowcock t.j.v.
192 篇 casse g.
173 篇 brundu d.
169 篇 niyato dusit
160 篇 blake t.
157 篇 betancourt c.
150 篇 bencivenni g.
148 篇 borsato m.
148 篇 back j.j.
148 篇 bay a.
145 篇 boettcher t.
144 篇 borisyak m.
142 篇 amato s.
142 篇 cattaneo m.
142 篇 albrecht j.
140 篇 bediaga i.
140 篇 braun s.

语言

18,456 篇 英文
2,222 篇 其他
217 篇 中文
5 篇 日文
3 篇 德文
3 篇 法文
1 篇 朝鲜文

检索条件"机构=School of Computing and Data Science & Institute of Data Science"

共 20897 条记录，以下是4581-4590 订阅

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

详细简洁

排序：

InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking

InstruPro: Instrumenting Programmable Logic Controller (PLC)...

引用

IEEE Symposium Series on Computational Intelligence (SSCI)

作者： Abdullah Al Farooq Manash Sarker School of Computing and Data Science Wentworth Institute of Technology Boston MA USA Department of Computer and Communication Engineering Potuakhali Science and Technology University Potuakhali Bangladeshi

ISBN: (纸本)9781665487696

Programmable Logic Controller (PLC) suffers from various types of attacks due to misconfiguration in its logic system. These misconfigurations cannot be found by looking at the logic/rules only. Therefore, we propose a methodology where temporal logic is used to find the misconfigurations in the subsequent rules. Our framework is capable of finding the codes in PLC that are responsible for abnormal behavior in PLC. Having accomplished that, an automated approach to instrument the code. We run our methodology on some real world PLC program applications and found that our approach can eradicate a good number of abnormal behaviors successfully.

关键词： Codes Instruments Programmable logic devices Model checking Control systems Behavioral sciences Security

来源：评论

学校读者我要写书评

暂无评论

Wiki-match:A multi-model pipeline for image-caption matching task on Wikipedia dataset

Wiki-match:A multi-model pipeline for image-caption matching...

引用

作者： Yibing Chen Siyu Lei Zhouhang Sun School of Computing and Information System Singapore Management University School of Computer Science Sichuan University School of Data Science The Chinese University of Hongkong(Shenzhen)

We propose a multi-model pipeline for image-caption matching tasks on Wikipediabased dataset which leverages object-detection technique and attention mechanism to achieve fine-grained matching between textual representation and image *** from the prior research,we not only evaluate our pipeline effectiveness on common benchmark dataset such as MS-COCO and Flickr30k,but also a new dataset that is derived from Wikipedia which is rich in natural entities and abstract *** findings show:1) our model pipeline improves R@1 by 113.4%,R@3 by 86.1%,and R@5 by 114.4% compared to the original pipeline provided by the Wikipedia-based dataset.2) our model pipeline has close to the state-of-the-art performance in common benchmark dataset including Flickr30k and MS-COCO.3) images that are from Wikipedia creates bigger challenges for models to understand compares to MS-COCO or Flickr30k due to the abstract concepts and broad topics covered by Wikipedia.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Promotion of Cost-Effective IOT-Based Heart Rate Monitoring

Design and Promotion of Cost-Effective IOT-Based Heart Rate ...

引用

2022 International Conference on Cloud computing, Internet of Things, and Computer Applications, CICA 2022

作者： Moshayedi, Ata Jahangir Kolahdooz, Amin Roy, Atanu Shuvam Rostami, Seyyed Ali Latifi Xie, Xiaoyun School of Information Engineering Jiangxi University of Science and Technology Jiangxi Ganzhou China Faculty of Technology School of Engineering and Sustainable Development De Montfort University Leicester United Kingdom School of Electronic Information Engineering Gannan University of Science and Technology Jiangxi Ganzhou China Ganzhou Key Laboratory of Cloud Computing and Big Data Jiangxi Ganzhou China

ISBN: (纸本)9781510656673

The term telemedicine was first used in the 1920s, although used many years ago and has continued to evolve today. Medical diagnoses usually require visual information, but remote display systems have recently become a special place due to the constant unavailability of the treating physician or the remoteness of medical centers and the constant need of some patients for round-the-clock care. In this article, an Arduino-based heart rate information system is designed and implemented. Due to the reasonable price and easy accessibility of the created system in the fraction, it has many applications. The results of the designed system showed the system's capabilities to track and know the person's heart rate. © 2022 SPIE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Expediting Distributed GNN Training with Feature-only Partition and Optimized Communication Planning

Expediting Distributed GNN Training with Feature-only Partit...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE Computer and Communications Societies

作者： Bingqian Du Jun Liu Ziyue Luo Chuan Wu Qiankun Zhang Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China Department of Electrical and Computer Engineering The Ohio State University USA Department of Computer Science The University of Hong Kong Hong Kong School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China

ISBN: (数字)9798350383508

ISBN: (纸本)9798350383515

Feature-only partition of large graph data in distributed Graph Neural Network (GNN) training offers advantages over commonly adopted graph structure partition, such as minimal graph preprocessing cost and elimination of cross-worker subgraph sampling burdens. Nonetheless, performance bottleneck of GNN training with feature-only partitions still largely lies in the substantial communication overhead due to cross-worker feature fetching. To reduce the communication overhead and expedite distributed training, we first investigate and answer two key questions on convergence behaviors of GNN model in feature-partition based distribute GNN training: 1) As no worker holds a complete copy of each feature, can gradient exchange among workers compensate for the information loss due to incomplete local features? 2) If the answer to the first question is negative, is feature fetching in every training iteration of the GNN model necessary to ensure model convergence? Based on our theoretical findings on these questions, we derive an optimal communication plan that decides the frequency for feature fetching during the training process, taking into account bandwidth levels among workers and striking a balance between model loss and training time. Extensive evaluation demonstrates consistent results with our theoretical analysis, and the effectiveness of our proposed design.

关键词： Training Time-frequency analysis Costs Computational modeling Distributed databases Bandwidth Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Mask R-CNN Network for Back Recognition on Adam's Bending Images

Mask R-CNN Network for Back Recognition on Adam's Bending Im...

引用

International Conference on Wavelet Active Media Technology and Information Processing (ICWAMTIP)

作者： Pu Yuxin Cai Hongbin Fan Jipeng Zheng Xin School of Computer Science and Engineering University of Electronic Science and Technology of China Shenzhen Institute for Advanced Study University of Electronic Science and Technology of China Chengdu Chengdian Goldisc HealthData Technology Co. Ltd School of Artificial Intelligence and Big data Sichuan University of Arts and Science

ISBN: (数字)9798331519254

ISBN: (纸本)9798331519261

Back recognition is critical for adolescent idiopathic scoliosis screening. Existing methods mainly rely on manual work which is time-consuming and laborious and may introduce errors and mismatching impacting the accuracy of subsequent screening outcomes. In this work, we propose to utilize the Mask R-CNN network as the framework for auto-extraction of the back region on Adam's bending images. However, due to the inherent limit receptive fields, initial Mask R-CNN can hardly learn long-range dependencies which are crucial for object detection and segmentation. To this end, we introduce the explicit visual center module into Mask R-CNN. In the EVC module, a lightweight MLP is devised to extract global long-range dependencies. To compensate for MLP's lack of ability to capture features of local corner regions, a learnable visual center is incorporated. By aggregating global long-range dependencies and discriminative feature representation of local key regions, our Mask R-CNN can achieve better performance on Adam's bending images. Moreover, we collect and annotate an Adam's bending image dataset for back recognition. Experimental results on our annotated dataset demonstrate that our improved Mask R-CNN considerably improves the average precision in detection and segmentation of Mask R-CNN from 78.6% to 83.6% and 85.8% to 87.0%, respectively.

关键词： Training Image segmentation Visualization Image recognition Scoliosis Training data Object detection Bending Back Media

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Coordination of Autonomous Vehicles for Smart Logistics in Industrial Environments

Multi-Agent Coordination of Autonomous Vehicles for Smart Lo...

引用

International Conference on System Modeling & Advancement in Research Trends (SMART)

作者： Kirubhakaran D. Karthikeswaran M. Arun R. Arun Chakravarthy J. Akshya M. Sundarrajan Mani Deepak Choudhry Department of Computer Science and Engineering Surya Engineering College Erode Department of Artificial Intelligence and Data Science Nehru Institute of Engineering and Technology Coimbatore Department of Electronics and Communication Engineering KGiSL Institute of Technology Coimbatore Department of Computational Intelligence SRM Institute of Science and Technology Chennai Department of Networking and Communications SRM Institute of Science and Technology Chennai Department of Computing Technologies SRM Institute of Science and Technology Chennai

ISBN: (数字)9798350380583

ISBN: (纸本)9798350380590

Dynamic effects in industrial logistics demand more creative solutions towards the pursuit of efficiency and agility in evolving environments. Though static path-planning and taskallocation algorithms have provided the basis for how autonomous vehicles are guided within structured environments, those approaches usually fail to contend with indeterminacy outside of their modelled world, where there is dynamic obstacle appearance and changing task requirements, thus raising inefficiencies and costs of operations. To address these issues, the paper introduces a new multi-agent coordination system that uses a hybrid A* algorithm, integrating path planning with sophisticated detection methods for dynamic obstacles and improving superior task allocation. The system is supposed to provide improvements in real-time coordination in industries of autonomous vehicles to achieve efficient management of tasks and paths in changing environments. We integrate the latest in machine learning techniques for improved and real-time updates within the changes of the vehicle routing process based on both immediate sensory input and environmental interactions. Simulations show that our system performs the task much faster than classic systems: up to 30% improvement in completing tasks compared with classic models, and an average improvement of 25% in allround energy efficiency. It intelligently integrates machine learning techniques with real-time data processing. With the ability to scale up or down, or to adapt itself, this system addresses the chief challenges existing methods face and could revolutionize logistics operations within any industry.

关键词： Industries Adaptation models Heuristic algorithms Real-time systems Path planning Vehicle dynamics Collision avoidance Autonomous vehicles Optimization Logistics

来源：评论

学校读者我要写书评

暂无评论

Dynamic Partition Strategy of Warehouse Area Based on Workload Balance 3

Dynamic Partition Strategy of Warehouse Area Based on Worklo...

引用

3rd International Conference on Internet of Things and Smart City, IoTSC 2023

作者： Zhan, Jianjun Liu, Huihong Yang, Guoli Gao, Zhenyu Fang, Zihao Lv, Zhaolin College of Systems Engineering National University of Defense Technology Hunan China National Science Library Chinese Academy of Sciences Beijing China Department of Library Information and Archives Management School of Economics and Management University of Chinese Academy of Sciences Beijing China Department of Intelligent Supply Chain JD Logistics Beijing China Department of Big Data Intelligence Advanced Institute of Big Data Beijing China

ISBN: (纸本)9781510666375

In order to improve the efficiency of warehouse outbound delivery and avoid local congestion of AGVs, this paper considers both strategies of AGVs path optimization and tasks balancing in the warehouse. In this paper, the A * algorithm is improved. Different estimation functions are used in different areas to more accurately depict the distance relationship between each point pair, and efficiently calculate the shortest feasible path from each storage location to each picking station. At the same time, the outbound tasks are planned reasonably. By establishing a 0-1 integer programming model and using Gurobi to solve it, tasks are allocated regularly to each picking station in the warehouse to maintain the workload balance among the picking areas. The experimental results show that the above strategies reduce the maximum working time of each picking area from 1793t seconds to 1511t seconds, and effectively reduce the total mileage of AGVs and the probability of AGV local congestion. © 2023 SPIE.

关键词： Warehouses

来源：评论

学校读者我要写书评

暂无评论

Step-by-Step: Controlling Arbitrary Style in Text with Large Language Models 30

Step-by-Step: Controlling Arbitrary Style in Text with Large...

引用

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

作者： Liu, Pusheng Wu, Lianwei Wang, Linyong Guo, Sensen Liu, Yang National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data Application Technology School of Computer Science Northwestern Polytechnical University China Research & Development Institute of Northwestern Polytechnical University Shenzhen China Chongqing Science & Technology Innovation Center of Northwestern Polytechnical University China State Key Laboratory of Integrated Service Networks Xidian University China School of Artificial Intelligence Optics and Electronics Northwestern Polytechnical University China

ISBN: (纸本)9782493814104

Recently, the autoregressive framework based on large language models (LLMs) has achieved excellent performance in controlling the generated text to adhere to the required style. These methods guide LLMs through prompt learning to generate target text in an autoregressive manner. However, this manner possesses lower controllability and suffers from the challenge of accumulating errors, where early prediction inaccuracies might influence subsequent word generation. Furthermore, existing prompt-based methods overlook specific region editing, resulting in a deficiency of localized control over input text. To overcome these challenges, we propose a novel three-stage prompt-based approach for specific region editing. To alleviate the issue of accumulating errors, we transform the text style transfer task into a text infilling task, guiding the LLMs to modify only a small portion of text within the editing region to achieve style transfer, thus reducing the number of autoregressive iterations. To achieve an effective specific editing region, we adopt both prompt-based and word frequency-based strategies for region selection, subsequently employing a discriminator to validate the efficacy of the selected region. Experiments conducted on several publicly competitive datasets for text style transfer task confirm that our proposed approach achieves state-of-the-art performance. © 2024 ELRA Language Resource Association: CC BY-NC 4.0.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

IoT for Water Quality Categorization 5

IoT for Water Quality Categorization

引用

5th International Conference on Cybernetics and Intelligent Systems, ICORIS 2023

作者： Sastrohartono, Hermantoro Krisdiarto, Andreas Wahyu Uktoro, Arief Ika Rahutomo, Reza Suparyanto, Teddy Pardamean, Bens Institute of Agriculture Stiper Faculty of Agricultural Technology Agricultural Engineering Department Yogyakarta Indonesia Bina Nusantara University School of Information Systems Information System Department Jakarta11480 Indonesia Bina Nusantara University Bioinformatics & Data Science Research Center Jakarta11480 Indonesia Bina Nusantara University Binus Graduate Program Master of Computer Science Computer Science Department Jakarta11480 Indonesia

ISBN: (纸本)9798350369489

In agricultural water research, the adoption of Internet of Things (IoT) technology has emerged as a pivotal approach for large-scale data collection. Water availability in the context of water quality is very important, both for domestic and industrial purposes. For domestic purposes, drinking water and bathing water are separated. Meanwhile, for the palm oil industry, boiler filler is differentiated from additional process water (dilution water). Water quality parameters can be assessed from turbidity and Total Dissolve Solid (TDS). Measurements using measuring instruments separately and repeatedly require significant energy, time, and costs. This research was conducted with the primary objective of presenting a novel method for categorizing water quality with the approach of IoT sensor technology. The research methodology entailed the utilization of an integrated IoT water sensors system in conjunction with manual water categorization. The methods consist of (1) system design, (2) design and installation of sensor and IoT-based microcontrollers, and (3) accuracy and precision testing compared with laboratory measurements. The precision of the integrated IoT water sensors was assessed through a dedicated sensor precision test, resulting in an accuracy rate of 94.4% for the turbidity sensor and 97.5% for the TDS sensor. Notably, this approach successfully discriminated drinking water with valid categorization, while other water types, including groundwater, water with tea, and water with coffee, yielded null categorization results. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

SCESP: An Edge Server Placement Method Based on Spectral Clustering in Mobile Edge computing 8th

SCESP: An Edge Server Placement Method Based on Spectral Cl...

引用

8th International Conference on Artificial Intelligence and Security , ICAIS 2022

作者： Wang, Lijuan Guo, Yingya Yao, Jiangyuan Zhou, Siyu College of Computer and Data Science Fuzhou University Fuzhou350000 China Fujian Key Laboratory of Network Computing and Intelligent Information Processing Fuzhou University Fuzhou350000 China Key Laboratory of Spatial Data Mining and Information Sharing Ministry of Education Fuzhou350003 China School of Computer Science and Cyberspace Security Hainan University Haikou570228 China Tandon School of Engineering New York University New York10012 United States

ISBN: (纸本)9783031067600

With the rapid development of Internet of Things (IoT) and 5G, mobile edge computing is gaining popularity for its low computation latency, bandwidth costs and energy consumption. In mobile edge computing, the placement of edge servers is one of the most significant problems and attracts worldwide attention. However, two major problems of edge server placement: high access delay and unbalanced workload of edge servers, have not been completely solved yet. To better solve these two problems, this paper proposes a new Spectral-Clustering-based Edge Server Placement (SCESP) algorithm, which can effectively reduce the access delay and make the workload of each edge server more balanced. In the evaluation, we use the Shanghai Telecom’s base station dataset to test the performance of SCESP and extensive experiments demonstrate the superior performance of SCESP in reducing the access delay and balancing the edge server workload. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Mobile edge computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 455 456 457 458 459 460 461 462 463 464 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：