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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,608 篇 会议
1,297 册 图书

馆藏范围

9,905 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

8,123 篇 工学
- 7,165 篇 计算机科学与技术...
- 1,833 篇 软件工程
- 1,501 篇 信息与通信工程
- 1,000 篇 控制科学与工程
- 561 篇 机械工程
- 491 篇 生物工程
- 355 篇 生物医学工程（可授...
- 183 篇 网络空间安全
- 181 篇 电气工程
- 162 篇 光学工程
- 149 篇 化学工程与技术
- 140 篇 安全科学与工程
- 137 篇 电子科学与技术（可...
- 131 篇 交通运输工程
- 129 篇 动力工程及工程热...
1,492 篇 理学
- 853 篇 数学
- 513 篇 生物学
- 256 篇 物理学
- 250 篇 统计学（可授理学、...
- 141 篇 系统科学
- 130 篇 化学
1,099 篇 教育学
- 1,099 篇 教育学
862 篇 管理学
- 544 篇 管理科学与工程(可...
- 369 篇 工商管理
- 300 篇 图书情报与档案管...
310 篇 医学
- 306 篇 临床医学
- 304 篇 基础医学(可授医学...
- 184 篇 药学(可授医学、理...
- 146 篇 公共卫生与预防医...
157 篇 法学
124 篇 经济学
- 124 篇 应用经济学
113 篇 农学
10 篇 军事学
1 篇 文学

主题

983 篇 computational in...
847 篇 artificial intel...
564 篇 machine learning
386 篇 deep learning
239 篇 communications e...
220 篇 data engineering
154 篇 cyber-physical s...
151 篇 professional com...
145 篇 internet of thin...
107 篇 blockchain
100 篇 big data
96 篇 iot
90 篇 higher education
87 篇 industry 4.0
87 篇 control, robotic...
84 篇 natural language...
83 篇 education
78 篇 covid-19
78 篇 signal, image an...
69 篇 object detection

机构

66 篇 global knowledge...
33 篇 faculty of scien...
23 篇 ukrainian engn p...
23 篇 iseg universidad...
22 篇 univ tecnol peru...
21 篇 inesc tec porto
18 篇 bauman moscow st...
18 篇 saga university ...
18 篇 univ esan lima p...
18 篇 univ salerno dep...
17 篇 moroccan society...
17 篇 univ politecn sa...
16 篇 cti global
16 篇 aristotle univ t...
16 篇 middlesex univer...
16 篇 department of in...
15 篇 silesian tech un...
14 篇 rabat morocco
14 篇 reshetnev siberi...
14 篇 kaliningrad stat...

作者

82 篇 amit joshi
53 篇 kohei arai
28 篇 janusz kacprzyk
27 篇 álvaro rocha
26 篇 ajith abraham
23 篇 rhalem wajih
22 篇 prajapat shaligr...
22 篇 leonard barolli
21 篇 abhishek swaroop
20 篇 ticona wilfredo
20 篇 kumar tarun
19 篇 anu bajaj
19 篇 nilanjan dey
18 篇 radek silhavy
18 篇 xin-she yang
17 篇 nugent chris
17 篇 valentina emilia...
15 篇 bahaaeddin alare...
15 篇 qjidaa hassan
14 篇 tomonobu senjyu

语言

7,572 篇 英文
2,315 篇 其他
18 篇 中文

检索条件"丛书名=Lecture Notes in Networks and Systems"

共 9905 条记录，以下是3331-3340 订阅

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

详细简洁

排序：

Formal Modeling and Verification of Kafka Producer-Consumer Communication in Mediator

Formal Modeling and Verification of Kafka Producer-Consumer ...

引用

Computing Conference

作者： Sun, Meng Chen, Zhirui Peking Univ Beijing Peoples R China Univ Amsterdam Amsterdam Netherlands

ISBN: (纸本)9783031622830;9783031622816;9783031622809

Apache Kafka is a widely used distributed publish-subscribe messaging system, offering high throughput and low latency. It is significant to guarantee the reliability and correctness of message transmissions in Kafka via formal modeling and verification. One of Kafka's core functions is the producer-consumer communication. In this paper, the message delivery between producers and consumers in Kafka is formally modeled and verified via Mediator, a hierarchical component-based modeling language for distributed and concurrent systems. Moreover, we translate the Mediator model into the model checker PRISM to verify its properties, such as Deadlock Freedom, Acknowledgement Mechanism, Parallelism, Sequentiality and Fault Tolerance. Results demonstrate the reliability of the producer-consumer communication in Kafka.

关键词： Mediator Kafka Producer-Consumer communication Verification PRISM

来源：评论

学校读者我要写书评

暂无评论

Multi-mode Simultaneous Tactile Feedback Using Soft Pneumatic Fingertip Actuator with Dual Air Chamber 1

引用

18th International Conference on Intelligent Autonomous systems (IAS)

作者： Hashem, Mohammad Shadman Joolee, Joolekha Bibi Hassan, Waseem Jeon, Seokhee Kyung Hee Univ Dept Comp Engn Yongin 446701 South Korea

ISBN: (数字)9783031448515

ISBN: (纸本)9783031448508;9783031448515

The paper suggests a new fingertip actuator made of silicone that can simultaneously produce pressure and vibrotactile feedback in order to offer a more realistic and immersive haptic experience in virtual environments. The actuator has a dual-layer air chamber design, with the top layer providing vibration feedback and the bottom layer providing pressure feedback. Pneumatic valves with pressurized air tanks can regulate the actuator. The actuator was tested in a simulated environment to render three different kinds of haptic textures. It is made to be worn conveniently at the fingertips. To compare the effectiveness of the suggested actuator to an actuator with a single vibrotactile feedback, performance assessments and user studies were done.

关键词： Feedback

来源：评论

学校读者我要写书评

暂无评论

Bearing Fault Diagnosis with a Hybrid CWT-ResNet-LSTM Model 4th

Bearing Fault Diagnosis with a Hybrid CWT-ResNet-LSTM Model

引用

4th International Conference on Digital Technologies and Applications (ICDTA)

作者： Najdi, Boubker Benbrahim, Mohammed Kabbaj, Mohammed Nabil Univ Sidi Mohamed Ben Abdellah Fac Sci Syst Engn Modeling & Anal Lab Fes Morocco

ISBN: (纸本)9783031686740;9783031686757

Bearings' reliability is very important for the seamless operation of rotating machinery, as their failures can cause much downtime and expenses. In applications of bearing fault diagnosis (BFD), where deep learning (DL) has performed well, problems remain in making sure that the model remains robust under different operating conditions. This study introduces a novel hybrid model which integrates both Continuous Wavelet Transform (CWT) and Residual networks (ResNet) together with Long Short-Term Memory (LSTM) networks to improve fault detection. The process begins with CWT that transforms time signals into 2-D time-frequency (TF) images, which are used by ResNets to extract spatial features. Temporal dynamics of these features are analyzed using an LSTM network in order to enhance predictive accuracy and adaptability to different operational scenarios. Tested against the famous CWRU dataset, our hybrid model demonstrates superior diagnostic performance, outperforming existing methods in accuracy.

关键词： Deep learning Signal processing Predictive maintenance Bearing fault diagnosis

来源：评论

学校读者我要写书评

暂无评论

Pursuing the Optimal CP Model: A Batch Scheduling Case Study

Pursuing the Optimal CP Model: A Batch Scheduling Case Study

引用

Intelligent systems Conference (IntelliSys)

作者： Da Col, Giacomo Teppan, Erich Fraunhofer Austria Res GmbH KI4LIFE Klagenfurt Austria Alpen Adria Univ Klagenfurt Klagenfurt Austria

ISBN: (纸本)9783031477201;9783031477218

The process of coming up with an effective constraint programming (CP) model for complex industrial optimization problems constitutes a cumbersome engineering task. Not only the problem representation itself, but also hyper-parameters steering the search and constraint propagation can have a significant impact on the solving performance. In this paper, we illustrate the evolution of a CP implementation (i.e. model and parameters), from the first functioning version with default hyper-parameters, to a more effective implementation through equivalence-preserving model changes and parameter tunings. In particular, we use four different problem representations in combination with three different levels of constraint propagation and a grid of parameter configurations for the employed search strategy. In this case study, we focus on the Oven Scheduling Problem, a formulation of a job scheduling problem variant that often occurs in production industry (e.g. the semiconductor domain). Concerning CP solvers, we use IBM CP Optimizer, currently one of the strongest suits for scheduling problems. By iteratively evolving a given CP implementation that was not able to solve all benchmark instances within the given limit of one hour, we increased the performance to the point where all instances could be solved, and solution quality is at par with the best known solutions in literature.

关键词： Constraint Programming Industrial Optimization Problems Oven Scheduling Problem CP Optimizer

来源：评论

学校读者我要写书评

暂无评论

Idiomatizing Python Source Code Using Different Recurrent Architectures

Idiomatizing Python Source Code Using Different Recurrent Ar...

引用

Intelligent systems Conference

作者： Szalontai, Balazs Marton, Tamas Kukucska, Akos Pinter, Balazs Gregorics, Tibor Eotvos Lorand Univ Budapest Hungary

ISBN: (纸本)9783031664304;9783031664311

Recurrent encoder-decoder architectures have been shown to be capable of solving a wide range of sequence-to-sequence problems, such as translating text, generating summary and transforming source code. In this paper, we investigate the capabilities of recurrent encoder-decoder architectures for refactoring nonidiomatic Python code. We propose multiple possible improvements to the base recurrent architecture and investigate their impact on model performance. In order to also examine the effect that such modifications might have on each other, we train 72 different encoder-decoder architectures on the task of Python code idiomatizing. The best performing architectures are thoroughly evaluated on a real-world dataset, containing programs that were written by students. This procedure necessitates extensive manual evaluation by independent annotators. The results show that the proposed improvements can greatly increase the F1-score of the method compared to the base approach.

关键词： Deep learning Recurrent Sequence-to-sequence Encoder-decoder Python Idiomatizing

来源：评论

学校读者我要写书评

暂无评论

An AI-Based Approach for the Improvement of University Technology Transfer Processes in Healthcare 1

引用

11st World Conference on Information systems and Technologies (WorldCIST)

作者： Loiotile, Annamaria Demarinis Veneto, Davide Agrimi, Adriana Semeraro, Gianfranco Amoroso, Nicola Univ Bari Aldo Moro Interateneo Dept Phys I-70125 Bari Italy Digital Innovat Srl I-70125 Bari Italy Univ Bari Aldo Moro Dept Comp Sci I-70125 Bari Italy Univ Bari Aldo Moro Directorate Res Mission & Int 3 I-70125 Bari Italy Univ Bari Aldo Moro Dept Pharm Pharmaceut Sci I-70125 Bari Italy Polytech Bari Dept Elect & Informat Engn I-70125 Bari Italy Univ Sch Adv IUSS Pavia Palazzo Broletto Piazza Vittoria 15 I-27100 Pavia Italy

ISBN: (数字)9783031456510

ISBN: (纸本)9783031456503;9783031456510

Universities are today required to make an ever-increasing effort to bridge the gap between research, innovation, and marketable solutions. The goal of the paper is to contribute to enhancing the process of exploiting research results of universities through the proposition of an AI-based search process, the experimentation of the process by means of a prototype web portal named "UNIBA TT Skills Portal" that implements it and the evaluation of the perceived user experience of the web portal by using the System Usability Scale questionnaire. The paper illustrates a case study conducted on the University of Bari Aldo Moro, a large university in southern Italy, using technology transfer data in the health domain. The collection of data in a unique "place" aims at fostering technology transfer activities and the creation/acceleration of new innovative enterprises (start-ups and spinoffs) in the Healthcare sector.

关键词： Technology Transfer Artificial Intelligence Healthcare Recommendation systems Usability

来源：评论

学校读者我要写书评

暂无评论

Speaker Recognition with Deep Learning Approaches: A Review 9th

Speaker Recognition with Deep Learning Approaches: A Review

引用

9th International Congress on Information and Communication Technology (ICICT)

作者： Alenizi, Abdulrahman S. Al-Karawi, Khamis A. PAAET Shuwaikh Ind Kuwait Diyala Univ Baqubah Diyala Iraq

ISBN: (纸本)9789819732883;9789819732890

This article gives an overview of the methods for using deep learning to identify and verify speakers. Speaker recognition is an everyday use of speech technology. Many research initiatives have been carried out in the past few years, but little progress has been achieved. But just as deep learning techniques are replacing previous state-of-the-art approaches in speech recognition, they are also developing in most machine learning fields. Deep learning seems to have evolved into the most advanced speaker verification and identification technique. Most novel efforts start with the common x-vectors in addition to i-vectors. The increasing volume of data gathered makes the area where deep learning is most effective more accessible.

关键词： Deep learning text independence Feature extraction Statistical models Discriminative models Speaker identification And speaker verification

来源：评论

学校读者我要写书评

暂无评论

An Alternative Approach to the Study of the Conway's Universal Finite Automaton 13th

An Alternative Approach to the Study of the Conway's Univers...

引用

13th Computer Science Online Conference

作者： Melnikov, Boris Melnikova, Aleksandra Shenzhen MSU BIT Univ Int Univ Pk Rd 1 Shenzhen 517182 Guangdong Peoples R China Moscow Univ Finance & Law Vvedenskogo Str 1a Moscow 117342 Russia

ISBN: (纸本)9783031705175;9783031705182

This article discusses another approach to the concept and construction of the so-called universal automaton, through the definition of an equivalent COM automaton, and this definition is constructive, it is possible to build the specified automaton. Some well-known estimates of the exact upper bound of the size of a universal automaton for a regular language are given, which can be given using some nondeterministic finite automaton having k states, and a series of examples is considered that shows how fast the number of blocks can grow, i.e. the size of a universal automaton, if we are given the dimensions of both canonical automata. The property is given that in a table specifying the relation # associated with a COM automaton equivalent to a universal automaton, the number of columns cannot be significantly greater than the number of rows #CSOC1120.

关键词： nondeterministic finite automata regular languages the extension of automata universal automaton

来源：评论

学校读者我要写书评

暂无评论

Work in Progress: Advancing Online Engineering Education: Developing CHM 110 Environmental Chemistry as a Case Study 21st

Work in Progress: Advancing Online Engineering Education: De...

引用

21st International Conference on Smart Technologies and Education (STE) on Smart Technologies for a Sustainable Future

作者： Faber-Starr, Rebekah Hamilton, R. F. A. Northwest State Community Coll Archbold OH USA Northern Starr Educ Patan Nepal Lakeland Community Coll Kirtland OH 44094 USA

ISBN: (纸本)9783031619045;9783031619052

T Engineering education requires some fundamental courses in the natural sciences. Among those is chemistry. However online courses in chemistry are often lacking in the development of lab techniques and skills. An online chemistry course was developed that could be useful to engineering students and included online and or remote lab pieces. The course was also developed to focus on the principles of sustainability. This focus is in line with many of the Grand Challenges of Engineering [1]. Course content was the same as in an introductory chemistry course covering the same topics but focusing on the sustainability concepts related to them. Titled Chemistry 110 Environmental Chemistry, the course developed to be delivered online. Development of the course in an online space meant changing the approach to course design. Lab work was designed and built around remote teaching rather than trying to take existing labs and make them remote. An emphasis was placed on creating lab exercises that were physically manipulated. Given the remote nature, materials were selected that were sustainable and environmentally friendly.

关键词： Remote Lab Green Chemistry Engineering Education

来源：评论

学校读者我要写书评

暂无评论

Perspectives, Application Gaps, and Involvement of Citizen Developers in Digital Factory Management 14th

Perspectives, Application Gaps, and Involvement of Citizen D...

引用

14th International Conference on Learning Factories (CLF)

作者： Permin, Eike Castillo, Lina Weber, Dillon Alam, Sayyam Moisel, Christoph TH Koln Univ Appl Sci Steinmullerallee 1 D-51643 Gummersbach Germany Innovat Hub Berg Rheinland e Steinmullerallee 1 D-51643 Gummersbach Germany Carpenter Engn Foams Germany GmbH Dieselstr 7 D-51381 Leverkusen Germany

ISBN: (纸本)9783031654107;9783031654114

Digital systems offer a wide range of factory management applications, ranging from operations, quality, and asset management to scheduling. All these applications require large amounts of domain knowledge and are often highly individualized for each factory or company. Thus, implementation often lies in the hands of manufacturing engineers and needs to be integrated into their training. Low-code platforms and citizen developers depict a new and interesting way to implement digital systems in these areas: Domain experts with limited knowledge in software development can build apps through a graphical user interface, with only drag-and-drop and little program code of its own. On the other hand, several questions remain to be answered before such systems can be helpful for a larger audience in factory management. This contribution thus researches current trends for Citizen Developers and factory management and provides examples of promising applications, from the simplest to the most complex, used in both academic training at a learning factory of the TH Cologne as well as current research projects. Based on these examples, a two-fold survey is presented targeting the prospects and needs of actual citizen developers in manufacturing, the views of managers in this domain, and finally the implications for future training and education in learning factories.

关键词： Citizen Developers Low Code Factory Management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 330 331 332 333 334 335 336 337 338 339 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：