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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

1,696 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,237 篇 工学
- 866 篇 计算机科学与技术...
- 531 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 66 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 30 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
352 篇 理学
- 209 篇 数学
- 59 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 51 篇 生物学
- 27 篇 化学
211 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 72 篇 图书情报与档案管...
41 篇 医学
- 32 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
24 篇 real time system...
24 篇 real-time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
18 篇 computational mo...
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
16 篇 monitoring
16 篇 artificial intel...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 hermanns holger
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,637 篇 英文
30 篇 其他
15 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

检索条件"任意字段=10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1698 条记录，以下是131-140 订阅

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

详细简洁

排序：

Integrated Critical Care Monitoring System for Ventilated Patients: ECG analysis and Air Flow Detection 10

Integrated Critical Care Monitoring System for Ventilated Pa...

引用

10th IEEE Uttar Pradesh Section international conference on Electrical, Electronics and Computer Engineering, UPCON 2023

作者： Dhanush, D. Prakasham, V.T. Saathappan, S Arun Harissh, G. Ganesan, M. Amrita School of Engineering Coimbatore Amrita Vishwa Vidyapeetham Department of Electronics and Communication Engineering India

ISBN: (纸本)9798350382471

In modern health care, integrating cutting-edge technology has transformed patient care, especially in critical settings. Critical Care Monitoring systems (CCMS) have emerged as vital tools for real-time data acquisition, analysis, and intervention. this paper presents a pioneering critical care monitoring project focused on ventilated patients. the project seamlessly integrates ECG signal analysis and ventilator performance assessment to ensure patient safety and provide data-driven insights to healthcare professionals. the system employs ECG sensors for continuous cardiac monitoring, and abnormal ECG signals trigger an air flow detector for ventilator assessment. the integrated system reduces cognitive load on healthcare providers and enhances patient care. this paper discusses the system's methodology, including instrumentation amplification, filtering, and the use of a driven right leg circuit. Experimental results demonstrate the effectiveness of the system in acquiring accurate ECG data and detecting air flow anomalies. the limitations and future directions of the system are also discussed, pointing towards its potential for revolutionizing critical care practices. this work highlights the promise of integrating ECG analysis and air flow detection in critical care monitoring, contributing to improved patient outcomes and safety. © 2023 IEEE.

关键词： Air-Flow Detection Arduino UNO R3 Driven-Right Leg (DRL) ECG analysis Filters Instrumentation Amplifier

来源：评论

学校读者我要写书评

暂无评论

LEVERAGING AI FOR ENHANCING DISASTER RESILIENCE IN SMART COASTAL CITIES: STRATEGIES FOR TOMORROW'S URBAN CHALLENGES 9

LEVERAGING AI FOR ENHANCING DISASTER RESILIENCE IN SMART COA...

引用

9th international conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2024, the 10th international conference on Connected Smart Cities, CSC 2024 and the 16th international conference on e-Health, EH 2024, Part of the 18th Multi conference on Computer Science and Information systems 2024, MCCSIS 2024

作者： Nazari, Rouzbeh Museru, Mujungu Lawrence Karimi, Maryam Sustainable Smart Cities Research Center University of Alabama BirminghamAL United States Department of Civil Construction and Environmental Engineering University of Alabama BirminghamAL United States Department of Environmental Health Science School of Public Health University of Alabama BirminghamAL United States

ISBN: (纸本)9789898704597

Natural disasters pose significant threats to the sustainability of smart cities, emphasizing the urgent need to re-evaluate and fortify their infrastructural resilience systematically. this necessitates a holistic approach considering the interplay between population dynamics, critical infrastructures, and hazard/disaster risks within communities. To address these challenges, proactive measures, including land use planning, public education, and disaster preparedness, are essential for enhancing resilience. However, there is a critical gap in accessible tools and comprehensive resources for citizens, communities, and decision-makers faced with these complex tasks. this study investigates the economic impacts of hurricanes across small and large counties, aiming to discern disparities in vulnerability and resilience in coastal communities along the Gulf of Mexico and the Atlantic Coast in the United States. Leveraging data from the National Flood Insurance Program (NFIP) and simulated flood hazards, oversampling techniques are employed to enrich flood damage datasets. Ensemble machine learning methods, including random forest, extra tree, extreme gradient boosting, and categorical boosting, are utilized to develop multi-variable flood damage models. Results indicate that extreme gradient boosting outperforms other methods, achieving notable precision, recall, and F1-score metrics, while effectively quantifying relative damage levels. Despite inherent dataset limitations, including SHapley Additive exPlanations offers valuable insights into feature interactions. this research underscores the potential of AI in bolstering disaster resilience strategies and advancing flood damage modeling in coastal regions. © 2024 Big Data Analytics, Data Mining and Computational Intelligence. All Rights Reserved.

关键词： Flood insurance

来源：评论

学校读者我要写书评

暂无评论

Hippo-CPS: A Tool for Verification and analysis of Petri Net-Based Cyber-Physical systems 44th

Hippo-CPS: A Tool for Verification and Analysis of Petri Net...

引用

44th international conference on Application and theory of Petri Nets and Concurrency (PETRI NETS)

作者： Wisniewski, Remigiusz Bazydlo, Grzegorz Wojnakowski, Marcin Poplawski, Mateusz Univ Zielona Gora Inst Control & Computat Engn Ul Prof Z Szafrana 2 PL-65516 Zielona Gora Poland

ISBN: (纸本)9783031336195;9783031336201

the paper deals with the verification and analysis techniques offered by the Hippo-CPS system. the presented tool offers alternate examination methods of the Petri net-based cyber-physical system. In particular, the set of proposed modules permits the classification of the system, verification of its main properties (such as liveness, boundedness, and safeness), and the performance of advanced concurrency and sequentiality analysis of the system (including state-space analysis, place invariant analysis, state machine component-based analysis, etc.). Although the paper is focused on the Hippo-CPS application, the presented tools have a strong theoretical background, including adequate algorithms, theorems, and proofs. the functionality of the tools was verified experimentally, by examination of the efficiency and effectiveness of the implemented techniques.

关键词： Verification analysis Petri net Cyber-physical system Boundedness Safety Liveness Invariants Reachability tree

来源：评论

学校读者我要写书评

暂无评论

Research on Mechanism of Safety Risk Grading Management and Hidden Dangers Management of Highway Engineering construction 10

Research on Mechanism of Safety Risk Grading Management and ...

引用

10th international Symposium on Project Management, ISPM 2022

作者： Mao, Juan Huang, Jianke Zhu, Yade Changzhou Wujin District Highway Development Center Jiangsu Changzhou213024 China

ISBN: (纸本)9781921712807

the construction of dual prevention systems and mechanisms for risk grading management and hidden dangers management is an important content and core point of current safety production. this paper takes highway construction project as the research object, analyzes its safety production situation, and points out that there are characteristics such as large engineering volume, high work safety risk and many hidden dangers, which leads to serious construction safety situation. At the same time, based on the analysis of the cause mechanism of work safety accidents, a dynamic model of dual prevention mechanism was established, the model connotation was clarified, and the work safety strategy and work safety accident prevention strategy for highway construction projects were formulated. through engineering practice and application, the dual prevention system and mechanism of highway engineering have been initially established. © conference Proceedings of the 10th international Symposium on Project Management, China, ISPM 2022.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

Integrating Data from Multiple Sources in Evaluation Studies of Educational Games: An Application of Cross-Classified Item Response theory Modeling 10th

Integrating Data from Multiple Sources in Evaluation Studies...

引用

10th Joint international conference on Serious Games

作者： Feng, Tianying Cai, Li UCLA CRESST Los Angeles CA 90025 USA

ISBN: (纸本)9783031741371;9783031741388

It is crucial to evaluate the purported instructional benefits of educational games while developing tools to integrate insights from the rich interactions they facilitate into reliable systems of measurement of learning. Existing game-based evaluation studies use statistical tools that rarely integrate information from different sources. these sources include traditional test items assessing skills or knowledge targeted by the game, fine-grained gameplay process data (moment-to-moment records of learners' game-based interactions), background surveys measuring attributes of the individuals or their contexts (e.g. schools), and information on game or game level design features. We present a new application of a type of psychometric model (cross-classified item response theory modeling) to analyze gameplay and assessment data collected from a largescale game-based randomized controlled trial. this application (a) jointly models data collected from multiple sources, allowing for a more holistic evaluation of the game's instructional effect;(b) quantifies changes in individuals' educational outcomes;(c) relates changes to gameplay behaviors and patterns. the application can be extended to include individuals' background and game level design information (explanatory predictors) in model equations to answer substantive questions. We demonstrate the advantages of our application over three other approaches to analyzing gameplay and assessment data. We also note the implications for using game-based analytic results to inform learning and instruction.

关键词： game-based evaluation data integration data analysis cross-classified item response theory modeling

来源：评论

学校读者我要写书评

暂无评论

Leveraging Pre-trained Language Models for Arabic Machine Reading Comprehension with Unanswerable questions 10

Leveraging Pre-trained Language Models for Arabic Machine Re...

引用

10th international conference on Social Networks analysis, Management and Security, SNAMS 2023

作者： Makahleh, Mohammed Obiedat, Rasha Quwaider, Muhannad Jordan University of Science and Technology Dept. of Computer Science Irbid Jordan

ISBN: (纸本)9798350318906

Machine Reading Comprehension (MRC) is a cru-cial task in natural language processing that enables machines to extract the minimal text span from a reading passage that answers a given question. Its importance is underscored in elevating the machine's capabilities to understand and process human language, which is crucial for various applications, from digital assistants to information retrieval systems. the availability of annotated datasets like SQuAD and the improvements in modeling techniques have recently driven significant progress in MRC. However, a critical limitation of traditional MRC approaches, particularly for non-English languages, is the as-sumption that every question has a corresponding answer in the reading passage. this assumption does not align with real-world scenarios where some questions are unanswerable using the given text, although some answers appear plausible. In this study, we evaluate the performance of several transformer-based models for Arabic MRC tasks that include both answerable and unan-swerable questions. these models are fine-tuned using an Arabic-translated version of the SQuADv2.0 dataset. Our investigation features a detailed analysis of the results, categorizing them by question types and tools. Notably, AraBERTv2.0-base stands out as the most effective model, achieving an exact match score of 84.20% and an F1-score of 82.5 %. the results also highlight AraBERTv2.0-base's distinct strength in accurately responding to answerable questions, which sets it apart from other models that are better at identifying unanswerable questions. © 2023 IEEE.

关键词： Information retrieval systems

来源：评论

学校读者我要写书评

暂无评论

A Neural Network for Automatic Handwriting Extraction and Recognition in Psychodiagnostic Questionnaires 10

A Neural Network for Automatic Handwriting Extraction and Re...

引用

10th international conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2024

作者： Avis, Giulia Rosemary D’Adda, Fabio Chieregato, David Guarnieri, Elia Meliante, Maria Pierotti, Andrea Primo Cremaschi, Marco Aton Informatica S.r.l Centro Direzionale Baricentro Casamassima Bari Italy University of Milan Bicocca Department of Informatics Systems and Communication Viale Sarca 336 Milan Italy ASST Grande Ospedale Metropolitano Niguarda Piazza Ospedale Maggiore 3 Milan Italy

ISBN: (纸本)9789897587009

this paper presents PANthER, a neural network model for automatic handwriting extraction and recognition in psychodiagnostic questionnaires. Psychodiagnostic tools are essential for assessing and monitoring mental health conditions, but they often rely on pen-and-paper administration, which poses several challenges for data collection and analysis. PANthER aims to address this problem by using a convolutional neural network to classify scanned questionnaires into their respective types and extract the patient’s responses from the handwritten annotations. the model is trained and evaluated on a dataset of five questionnaires commonly used in psychological and psychiatric settings, achieving high accuracy and similarity scores. the paper also describes the creation of an open-source library based on PANthER, which can be integrated into a digital platform for delivering psychological services. this paper contributes to the field of computer vision and psychological assessment by providing a novel and effective solution for digitising pen-and-paper questionnaires. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： Computer vision

来源：评论

学校读者我要写书评

暂无评论

Symbolic Model Checking for TLA+ Made Faster 29th

Symbolic Model Checking for TLA+ Made Faster

引用

29th international conference on tools and algorithms for the construction and analysis of systems, TACAS 2023, held as part of the 26th European Joint conferences on theory and Practice of Software, ETAPS 2023

作者： Otoni, Rodrigo Konnov, Igor Kukovec, Jure Eugster, Patrick Sharygina, Natasha Università della Svizzera italiana Lugano Switzerland Informal Systems Vienna Austria

ISBN: (纸本)9783031308222

the need to provide formal guarantees about the behaviour of the algorithms underpinning modern distributed systems became evident in recent years. this interest made apparent the complexities involved in applying verification techniques in a distributed setting, with significant effort being made in both academia and industry to aid in this endeavour. Many formalisms have been proposed to tackle the difficulties faced by practitioners, with one that has seen widespread use in industry being TLA +, adopted, for instance, by Amazon Web Services. TLA + provides engineers with a way of specifying both systems and desired properties, and is supported by a number of verification tools. Despite their extensive use, such tools suffer considerably from lack of scalability. To solve this, we propose a novel encoding of TLA + into SMT constraints to improve symbolic model checking efficiency. Our insight is the need to provide the SMT solver with structural information about the TLA + specification encoded, i.e., how data structures and their component elements interact, which we do by relying on the SMT theory of arrays. We implemented our approach by modifying the SMT-based model checker Apalache and evaluated it against comparable tools. Our results show that our approach outperforms existing ones on a number of benchmarks, with an order of magnitude improvement in checking time. © 2023, the Author(s).

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Laboratory Procedure for Real-Time Simulation Experiment of Renewable Energy systems on OPAL-RT Digital Simulator 10

Laboratory Procedure for Real-Time Simulation Experiment of ...

引用

10th international conference on Smart Grid (icSmartGrid)

作者： Buraimoh, Elutunji Davidson, Innocent Ewean Durban Univ Technol Smart Grids Res Dept Elect Power Engn Durban South Africa

ISBN: (数字)9781665486040

ISBN: (纸本)9781665486057;9781665486040

Simulation technologies have been extensively used to design and develop electrical systems since the mid-twentieth century. Simulation tools have grown in lockstep with the advancement of computational capabilities. Computing technology has greatly increased performance and has become widely available at a constantly falling cost in recent years. As a result, simulation tools have experienced tremendous performance advances and consistent cost reductions. Engineers and researchers can now access inexpensive, highspeed simulators hitherto too expensive, except for the major industries and utilities. this work utilized the RT-LAB tool of OPAL-RT to develop the 250-kW renewable energy system (single-stage grid-connected photovoltaic). thus, the system design, analysis, and testing are done with an RT-LAB environment using the OPALRT-OP4510 Digital Simulator. the test results are obtained using UTD2025CL Digital Storage Oscilloscope. this work also presents the application RT-LAB software, SIMULINK-based model adjustment, and I/O system and therefore presented prospects of OPAL-RT system in Rapid Control Prototyping (RCP) and Hardware-in-the-Loop (HIL) testings.

关键词： modeling simulation real-time simulation photovoltaic system RT-LAB

来源：评论

学校读者我要写书评

暂无评论

Can Git Repository Visualization Support Educators in Assessing Group Projects?

Can Git Repository Visualization Support Educators in Assess...

引用

10th IEEE Working conference on Software Visualization (IEEE VISSOFT)

作者： Lungu, Mircea Pfeiffer, Rolf-Helge D'Ambros, Marco Lanza, Michele Findahl, Jesper Univ Copenhagen Copenhagen Denmark Univ Svizzera Italiana Software Inst Zurich Switzerland

ISBN: (数字)9781665480925

ISBN: (纸本)9781665480925

In the past years numerous software visualization tools have been introduced to support the analysis of software systems and their evolution as captured in the versioning systems. Usually the target audience of such tools comprises software engineering professionals. In this paper we argue that such tools are also beneficial for educators who need to evaluate the quality of software systems developed by students. However, since the needs of educators are different than those of the software engineering professionals, we discuss several educator needs first. We report several usage examples that we believe are useful for educators when using repository visualization tools. We illustrate them with examples from several student projects from different courses in two universities. We conclude with a series of considerations that should be heeded by both educators and future tool-builders.

关键词： Visualization Software systems Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：