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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

5,653 篇 会议
176 篇 期刊文献
107 册 图书

馆藏范围

5,936 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

3,743 篇 工学
- 2,767 篇 计算机科学与技术...
- 2,297 篇 软件工程
- 548 篇 电气工程
- 460 篇 信息与通信工程
- 352 篇 控制科学与工程
- 280 篇 机械工程
- 278 篇 电子科学与技术（可...
- 188 篇 生物工程
- 181 篇 动力工程及工程热...
- 179 篇 生物医学工程（可授...
- 157 篇 土木工程
- 156 篇 仪器科学与技术
- 154 篇 材料科学与工程（可...
- 154 篇 建筑学
- 143 篇 化学工程与技术
- 111 篇 力学（可授工学、理...
- 94 篇 光学工程
1,027 篇 理学
- 575 篇 数学
- 249 篇 物理学
- 205 篇 生物学
- 162 篇 统计学（可授理学、...
- 108 篇 化学
- 93 篇 系统科学
755 篇 管理学
- 534 篇 管理科学与工程(可...
- 268 篇 图书情报与档案管...
- 263 篇 工商管理
214 篇 教育学
- 191 篇 教育学
111 篇 医学
- 91 篇 基础医学(可授医学...
- 91 篇 临床医学
92 篇 经济学
- 91 篇 应用经济学
85 篇 法学
27 篇 农学
7 篇 军事学
6 篇 艺术学
3 篇 文学
1 篇 哲学

主题

480 篇 software enginee...
326 篇 software
284 篇 databases
206 篇 computer science
170 篇 application soft...
150 篇 software systems
139 篇 computer archite...
122 篇 data mining
115 篇 software design
107 篇 hardware
100 篇 software testing
99 篇 software archite...
92 篇 programming
86 篇 computational mo...
86 篇 artificial intel...
84 篇 reverse engineer...
83 篇 costs
79 篇 computer aided s...
78 篇 requirements eng...
73 篇 feature extracti...

机构

18 篇 catholic univ pu...
15 篇 department of co...
13 篇 school of softwa...
12 篇 college of compu...
11 篇 nanchang key lab...
9 篇 school of comput...
9 篇 school of inform...
8 篇 school of comput...
8 篇 state key labora...
8 篇 school of softwa...
8 篇 school of automa...
7 篇 software enginee...
6 篇 college of infor...
6 篇 graduate school ...
6 篇 graduate school ...
6 篇 school of comput...
6 篇 department of el...
6 篇 department of co...
6 篇 department of in...
6 篇 department of co...

作者

18 篇 huh jun-ho
8 篇 moreira ana
7 篇 wang lei
7 篇 qi lianyong
7 篇 teruhisa hochin
6 篇 bernady o. apduh...
6 篇 liu qiuming
6 篇 hiroki nomiya
6 篇 osvaldo gervasi
6 篇 zhang jie
6 篇 ahmed e. hassan
6 篇 hong mei
6 篇 beniamino murgan...
6 篇 sanjay misra
6 篇 idri ali
6 篇 mei hong
6 篇 wang ning
6 篇 yuan ying
5 篇 maurizio carlini
5 篇 hu ruimin

语言

5,821 篇 英文
58 篇 其他
34 篇 中文
12 篇 西班牙文
3 篇 捷克文
2 篇 德文
2 篇 葡萄牙文
2 篇 俄文
1 篇 日文
1 篇 斯洛伐克文

检索条件"任意字段=13th Conference on Software Engineering and Databases"

共 5936 条记录，以下是51-60 订阅

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

详细简洁

排序：

Fundamental Approaches to software engineering - 13th International conference, FASE 2010, Held as Part of the Joint European conferences on theory and Practice of software, ETAPS 2010, Proceedings

Fundamental Approaches to Software Engineering - 13th Intern...

引用

13th International conference on Fundamental Approaches to software engineering, FASE 2010, Held as Part of the Joint European conferences on theory and Practice of software, ETAPS 2010

ISBN: (纸本)3642120288

the proceedings contain 25 papers. the topics discussed include: a formalization of constraint-aware model transformations;formal real-time model transformations in MOMENT2;reusing model transformations while preserving properties;are popular classes more defect prone?;operation-based, fine-grained version control model for tree-based representation;a method for analyzing code homology in genealogy of evolving software;dynamic resource scheduling in disruption-prone software development environments;incremental service composition based on partial matching of visual contracts;formal analysis and verification of self-healing systems;stochastic simulation of graph transformation systems;prescriptive semantics for big-step modeling languages;a modular model composition technique;a verifiable modeling approach to configurable role-based access control;and incremental consistency checking of dynamic constraints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th Workshop on software engineering for Resilient Systems, SERENE 2022, 3rd Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, 3rd Workshop on Artificial Intelligence for Railways, AI4RAILS 2022, held at the 18th European Dependable Computing conference, EDCC 2022

13th Workshop on Software Engineering for Resilient Systems,...

引用

13th Workshop on software engineering for Resilient Systems, SERENE 2022, 3rd Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, 3rd Workshop on Artificial Intelligence for Railways, AI4RAILS 2022, held at the 18th European Dependable Computing conference, EDCC 2022

ISBN: (纸本)9783031162442

the proceedings contain 11 papers. the special focus in this conference is on software engineering for Resilient Systems. the topics include: Continuous, Systematic Risk Mapping of Roads as an Input for Dynamic Risk Management (DRM) in Autonomous Systems;a Literature Review for the Application of Artificial Intelligence in the Maintenance of Railway Operations with an Emphasis on Data;synthetic Data Generation for Condition Monitoring of Railway Switches;AID4TRAIN: Artificial Intelligence-Based Diagnostics for TRAins and INdustry 4.0;railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines;a K-Prototype Clustering Assisted Hybrid Heuristic Approach for Train Unit Scheduling;preface;auditTrust: Blockchain-Based Audit Trail for Sharing Data in a Distributed Environment;ACC Fuzzy-Based Control Architecture for Multi-body High-Speed Trains with Active Inter-cars Couplers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SEDES 2020 - Proceedings of the 8th SEDES software engineering Doctoral Symposium Workshop, co-located with 13th International conference on the Quality of Information and Communications Technology, QUATIC 2020

SEDES 2020 - Proceedings of the 8th SEDES Software Engineeri...

引用

8th SEDES software engineering Doctoral Symposium Workshop, SEDES 2020

the proceedings contain 6 papers. the topics discussed include: live software inspection and refactoring;machine-learning assisted model-implemented fault injection;multi-paradigm design space exploration for advanced cyber-physical systems;digital twins for continuous deployment in model-based systems engineering of cyber-physical systems;and a framework for integrating web accessibility requirements in agile methodology.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards Personalized Brain-Computer Interface Application Based on Endogenous EEG Paradigms

Towards Personalized Brain-Computer Interface Application Ba...

引用

International Winter Workshop on Brain-Computer Interface (BCI)

作者： Heon-Gyu Kwak Gi-Hwan Shin Yeon-Woo Choi Dong-Hoon Lee Yoo-In Jeon Jun-Su Kang Seong-Whan Lee Dept. of Artificial Intelligence Korea University Seoul Republic of Korea Dept. of Brain and Cognitive Engineering Korea University Seoul Republic of Korea Tech. Innovation Group KT R&D Center Seoul Republic of Korea

ISBN: (数字)9798331521929

ISBN: (纸本)9798331521936

In this paper, we propose a conceptual framework for personalized brain-computer interface (BCI) applications, which can offer an enhanced user experience by customizing services to individual preferences and needs, based on endogenous electroencephalography (EEG) paradigms including motor imagery (MI), speech imagery (SI), and visual imagery. the framework includes two essential components: user identification and intention classification, which enable personalized services by identifying individual users and recognizing their intended actions through EEG signals. We validate the feasibility of our framework using a private EEG dataset collected from eight subjects, employing the ShallowConvNet architecture to decode EEG features. the experimental results demonstrate that user identification achieved an average classification accuracy of 0.995, while intention classification achieved 0.47 accuracy across all paradigms, with MI demonstrating the best performance. these findings indicate that EEG signals can effectively support personalized BCI applications, offering robust identification and reliable intention decoding, especially for MI and SI.

关键词： Visualization Accuracy Speech enhancement Motors Electroencephalography Brain-computer interfaces User experience Decoding Reliability Visual databases

来源：评论

学校读者我要写书评

暂无评论

Automated Motion System of 5-DOF Hybrid Serial-Parallel Manipulator for Invasive Medical Procedures

Automated Motion System of 5-DOF Hybrid Serial-Parallel Mani...

引用

International conference on Intelligent Control and Information Processing (ICICIP)

作者： Abdelrahman M. Abdeldaim Ahmed E. Abdelrahman Mohanad M. H. Ismail Khaled El Haj Youssef Mohammad Alkhedher Dept. of Mechanical and Industrial Engineering Abu Dhabi University Abu Dhabi United Arab Emirates

ISBN: (数字)9798331516147

ISBN: (纸本)9798331516154

In the medical profession where accuracy is vitally critical, operations are increasingly adopting robotic technology to eliminate mistakes and improve precision. Current robotic-assisted surgical systems are sometimes limited in their usefulness in complex procedures because they lack real-time haptic feedback and adaptive motion control, despite improvements in the field. A 5-DOF hybrid serial-parallel manipulator is presented in this study, which has been developed to enhance dexterity, motion stability, and real-time force feedback in a range of minimally surgery applications. During surgical procedures, the device enhances precision and control by combining AI-assisted motion correction with a haptic glove-controlled master-slave mechanism. Increased trajectory stability, reduced force application errors, and greater surgical precision are all demonstrated by simulations and experimental validation in MATLAB Simulink. the findings indicate that adaptive AI and enhanced haptic feedback can significantly improve robotic-assisted procedures, making them more effective and reliable for a range of minimally invasive surgeries. In the future, the focus will be on improving response time, making the system more adaptive, and integrating it into the actual environment.

关键词： Adaptive systems 5-DOF software packages Manipulators Stability analysis Real-time systems Trajectory Time factors Reliability Motion control

来源：评论

学校读者我要写书评

暂无评论

Classification of Awareness in Disorders of Consciousness Using Common Spatial Pattern 13

Classification of Awareness in Disorders of Consciousness Us...

引用

13th International Winter conference on Brain-Computer Interface, BCI 2025

作者： Lee, Chaewon Lee, Sunho Annen, Jitka Jeong, Ji-Hoon Massimini, Marcello Casarotto, Silvia Boly, Melanie Bodart, Olivier thibaut, Aurore Rosanova, Mario Laureys, Steven Gosseries, Olivia Lee, Minji Dept. Data Science The Catholic University of Korea Bucheon Korea Republic of Dept. Biomedical Software Engineering The Catholic University of Korea Bucheon Korea Republic of Dept. GIGA-Research & Neurology University and University Hospital of Liege Liege Belgium Dept. Data Analysis University of Ghent GhentB9000 Belgium Dept. Computer Science Chungbuk National University Cheongju Korea Republic of Dept. Biomedical and Clinical Sciences "L. Sacco" University of Milan Milan Italy Wisconsin Institute for Sleep and Consciousness Dept. Psychiatry University of Wisconsin Madison United States Coma Science Group GIGA-Consciousness GIGA Research Center University of Liège Liège Belgium Centre du Cerveau Neurology department University Hospital of Liège Liège Belgium

ISBN: (纸本)9798331521929

Advances in intensive care have improved the survival rate of patients with severe acute brain injury, but diagnostic errors for patients with disorders of consciousness are still high. Accurate diagnosis of these patients is very important because effective treatment can vary depending on the diagnosis. In this study, we propose a framework for classifying unresponsive wakefulness syndrome and minimally conscious state, focusing on awareness. In particular, power spectral density and common spatial patterns were used together, considering that spatial information is a key feature in consciousness. the 16 patients with unresponsive wakefulness syndrome and 14 with minimally conscious state underwent resting-state electroencephalography measurements. In addition, we compared the performance by utilizing each frequency (delta, theta, alpha, beta, gamma bands) related to consciousness. As a result, the highest accuracy of 95.06% was achieved by the EEGNet classifier, especially in the beta frequency band. We demonstrated that spatial information is very important in consciousness, as we observed that classification performance improved when common spatial patterns were used. these results provide insight into various frameworks for diagnosing patients with disorders of consciousness and may help patients survive by increasing the diagnosis rate in the future. © 2025 IEEE.

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

13th International conference on software engineering and Formal Methods, SEFM 2015

13th International Conference on Software Engineering and Fo...

引用

13th International conference on software engineering and Formal Methods, SEFM 2015

ISBN: (纸本)9783319229683

the proceedings contain 33 papers. the special focus in this conference is on Program Verification and Testing. the topics include: Reasoning about separation using abstraction and reification;an interface theory for the internet of things;learning assertions to verify linked-list programs;verifying protocol implementations by augmenting existing cryptographic libraries with specifications;specification and verification of atomic operations in GPGPU programs;history-based verification of functional behaviour of concurrent programs;investigating instrumentation techniques for ESB runtime verification;efficient testing of different loop paths;on the testability of properties patterns;speed up configurable certificate validation by certificate reduction and partitioning;formal analysis of proactive, distributed routing;certification of distributed algorithms solving problems with optimal substructure;from failure to proof;formalizing a secure foreign function interface;a formal study of backward compatible dynamic software updates;memory management test-case generation of c programs using bounded model checking;from natural language requirements to test cases based on CSP;task planning of cyber-human systems;generating none-plans in order to find plans;interactions modeling language (and interpreter) for twitter;from featured transition systems to modal transition systems with variability constraints and an extensible operational semantics for UML activity diagrams.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrated Word2Vec-Based Speech Annotations for Enhanced EEG Decoding of Speech Intentions

Integrated Word2Vec-Based Speech Annotations for Enhanced EE...

引用

International Winter Workshop on Brain-Computer Interface (BCI)

作者： Se-Na Jang Hyeong-Yeong Park Seong-Wook Kim Seong-Hyun Yu Minji Lee Ji-Hoon Jeong Dept. Computer Science Chungbuk National University Cheongju Republic of Korea Dept. Biomedical Software Engineering The Catholic University of Korea Bucheon Republic of Korea

ISBN: (数字)9798331521929

ISBN: (纸本)9798331521936

Brain-computer interface (BCI) technology has promising applications as an intuitive communication tool and in fields such as language rehabilitation. this study aims to decode human speech intentions by analyzing EEG signals recorded during actual and imagined speech. EEG data were collected using a 64 channels system, with preprocessing to remove artifacts. Automatic speech recognition (ASR) was used to extract precise speech onset times, generating time-specific speech annotations corresponding with EEG data. Pretrained Word2Vec embeddings were integrated to provide semantic context, combining neural signals with high-level linguistic features. Support vector machine (SVM), linear discriminant analysis (LDA) were employed for decoding. the results demonstrate that integrating speech annotations improves decoding accuracy, even for imagined speech, highlighting the potential of BCI technology for advanced applications in communication and rehabilitation.

关键词： Support vector machines Annotations Semantics Speech enhancement Linguistics Electroencephalography Brain-computer interfaces Decoding Linear discriminant analysis Automatic speech recognition

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and software engineering - 13th International conference on Formal engineering Methods, ICFEM 2011, Proceedings

Formal Methods and Software Engineering - 13th International...

引用

13th International conference on Formal engineering Methods, ICFEM 2011

ISBN: (纸本)9783642245589

the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence of components in self-adaptive systems;the safety-critical Java mission model: a formal account;verification of orchestration systems using compositional partial order reduction;domain-driven probabilistic analysis of programmable logic controllers;statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications;on fitting a formal method into practice;a formal engineering approach to high-level design of situation analysis decision support systems;conformance checking of dynamic access control policies;a knowledge-based verification method for dynamic access control policies;and distributed theorem proving for distributed hybrid systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

17th European Dependable Computing conference, EDCC 2021 held jointly with 2nd Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, 3rd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021 and 13th Workshop on software engineering for Resilient Systems, SERENE 2021

17th European Dependable Computing Conference, EDCC 2021 hel...

引用

17th European Dependable Computing conference, EDCC 2021 held jointly with 2nd Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, 3rd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021 and 13th Workshop on software engineering for Resilient Systems, SERENE 2021

ISBN: (纸本)9783030865061

the proceedings contain 14 papers. the special focus in this conference is on European Dependable Computing. the topics include: the Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations;EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization;assisting Developers in Preventing Permissions Related Security Issues in Android Applications;design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision;service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases;behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment;autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management;An ICT System to Assist Earth Fault Localization;Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters;enabling a Zero Trust Architecture in Smart Grids through a Digital Twin;field Test Validation of Low Voltage Grid Applications in a Danish Setting;Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements – Results from an Actual PV Connection Request.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：