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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是101-110 订阅

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

详细简洁

排序：

NeuReach: Learning Reachability Functions from Simulations 28th

NeuReach: Learning Reachability Functions from Simulations

引用

28th international conference on tools and algorithms for the construction and analysis of systems (TACAS) Held as Part of the 25th European Joint conferences on theory and Practice of Software (ETAPS)

作者： Sun, Dawei Mitra, Sayan Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9783030995249;9783030995232

We present Neu Reach, a tool that uses neural networks for predicting reachable sets from executions of a dynamical system. Unlike existing reachability tools, NeuReach computes a reachability function that outputs an accurate over-approximation of the reachable set for any initial set in a parameterized family. Such reachability functions are useful for online monitoring, verification, and safe planning. Neu Reach implements empirical risk minimization for learning reachability functions. We discuss the design rationale behind the optimization problem and establish that the computed output is probably approximately correct. Our experimental evaluations over a variety of systems show promise. Neu Reach can learn accurate reachability functions for complex nonlinear systems, including some that are beyond existing methods. From a learned reachability function, arbitrary reachtubes can be computed in milliseconds. NeuReach is available at https://***/sundw2014/Neureach.

关键词： Reachability analysis Data-driven methods Machine learning

来源：评论

学校读者我要写书评

暂无评论

Searching for Ribbon-Shaped Paths in Fair Transition systems 28th

Searching for Ribbon-Shaped Paths in Fair Transition Systems

引用

作者： Bozzano, Marco Cimatti, Alessandro Tonetta, Stefano Vozarova, Viktoria Fdn Bruno Kessler FBK Via Sommar 18 I-38123 Trento Italy

ISBN: (纸本)9783030995249;9783030995232

Diagnosability is a fundamental problem of partial observable systems in safety-critical design. Diagnosability verification checks if the observable part of system is sufficient to detect some faults. A counterexample to diagnosability may consist of infinitely many indistinguishable traces that differ in the occurrence of the fault. When the system under analysis is modeled as a Buchi automaton or finite-state Fair Transition System, this problem reduces to look for ribbon-shaped paths, i.e., fair paths with a loop in the middle. In this paper, we propose to solve the problem by extending the liveness-to-safety approach to look for lasso-shaped paths. the algorithm can be applied to various diagnosability conditions in a uniform way by changing the conditions on the loops. We implemented and evaluated the approach on various diagnosability benchmarks.

关键词： Diagnosability Model checking Liveness to safety

来源：评论

学校读者我要写书评

暂无评论

Cyber Security Issues and Challenges Related to Generative AI and ChatGPT 10

Cyber Security Issues and Challenges Related to Generative A...

引用

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

作者： Pasupuleti, Rajesh Vadapalli, Ravi Mader, Christopher University of Miami Coral GablesFL United States Coral GablesFL United States University of Miami Systems and Data Engineering Coral GablesFL United States

ISBN: (纸本)9798350318906

In recent years, Generative Artificial Intelligence (AI) and ChatGPT (Generative Pre-trained Transformer) models that are capable of generating realistic human-mimicked languages have gained progressive popularity. With the evolution of technology, there has been a significant increase in the availability and usage of artificial intelligence tools, such as ChatGPT and Generative AI, that will assist in shaping the future. However, this increasing popularity poses a potential risk if used inappropriately. threats from AI pose special challenges for government, the private sector, and national security. In this paper, we address some of key concerns of significant cyber security issues and challenges related to Generative AI and ChatGPT. With careful consideration to application usage, organizations can implement appropriate security measures to mitigate these risks. We also incorporate recommendations about ChatGPT usage and its impact on society. It is important that researchers, developers, and policymakers (CIOs, CSOs) work together to mitigate these risks and to ensure that these models are used in a responsible and ethical manner. © 2023 IEEE.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

Gas Discrimination analysis of Neural Network algorithms for a Graphene-Based Electronic Nose 10

Gas Discrimination Analysis of Neural Network Algorithms for...

引用

10th IEEE international conference on Computational Intelligence and Virtual Environments for Measurement systems and Applications (IEEE CIVEMSA)

作者： Schober, Sebastian A. Carbonelli, Cecilia Wille, Robert Johannes Kepler Univ Linz Insitute Integrated Circuits Linz Austria Tech Univ Munich Chair Design Automat Munich Germany SCCH Hagenberg Austria

ISBN: (数字)9781665434454

ISBN: (纸本)9781665434454

Electronic noses, such as chemiresistive gas sensors, are important tools for environmental monitoring, public health and food quality. throughout the measurement process, pattern recognition algorithms are used to map the electrical sensor measurements to a gas concentration. When analyzing gaseous mixtures with such devices, cross-sensitivities are likely to occur, which are related to the selectivity of the sensor materials. In the prediction process, cross-sensitive sensor signals can lead to false positive predictions and a loss in measurement accuracy. In this work, we thoroughly study the impact of the degree of crosssensitivity on the gas concentration prediction performance of neural networks in graphene-based gas sensor arrays. the study was conducted by using a simulation model of a chemiresistive gas sensor to simulate an array of two sensors with different levels of cross-sensitivity to two different target gases. Subsequently, two neural network algorithms were trained and evaluated on the datasets with the varying cross-sensitivity levels. Our analysis shows that a certain threshold regarding the independence of the array signals is necessary in order to ensure a sufficient gas discrimination and concentration estimation performance of the applied machine learning algorithms. Furthermore, it was also observed that a combination of a highly and poorly selective sensor, as implemented by filtering techniques, can also provide adequate results, when using suitable algorithms.

关键词： electronic nose graphene simulation gas sensor neural networks

来源：评论

学校读者我要写书评

暂无评论

A Data-driven Approach for Risk Exposure analysis in Enterprise Security 10

A Data-driven Approach for Risk Exposure Analysis in Enterpr...

引用

10th IEEE international conference on Data Science and Advanced Analytics, DSAA 2023

作者： Calvo, Albert Escuder, Santiago Escrig, Josep Arias, Marta Ortiz, Nil Guijarro, Jordi i2CAT Foundation Distributed Artificial Intelligence Barcelona Spain Universitat Politècninca de Catalunya Computer Science Department Barcelona Spain i2CAT Foundation Cybersecurity Barcelona Spain

ISBN: (纸本)9798350345032

For several years, Security Operation Centers (SOCs) have relied on tools such as Security Information and Event Management (SIEM) and Intrusion Detection systems (IDS) for reactive threat detection and risk management. However, these tools are becoming inadequate in detecting the current threat landscape, which is continuously increasing in terms of volume and variety, and targeting the most vulnerable component in the kill-chain, the human actor. this manuscript presents a novel data-driven approach that models user and entity behaviour in the early stages of the kill-chain. the proposed system estimates the probability of an entity being exposed by a threat actor during the delivery stage, thereby providing better anticipation time allowing the end-user to undertake mitigation focusing on concrete entities. Moreover, the framework has been tested in a real-life scenario executing different realistic phishing simulations and achieving successful results. © 2023 IEEE.

关键词： Cybersecurity

来源：评论

学校读者我要写书评

暂无评论

NORMA: a tool for the analysis of Relay-based Railway Interlocking systems 28th

NORMA: a tool for the analysis of Relay-based Railway Interl...

引用

作者： Amendola, Arturo Becchi, Anna Cavada, Roberto Cimatti, Alessandro Ferrando, Andrea Pilati, Lorenzo Scaglione, Giuseppe Tacchella, Alberto Zamboni, Marco RFI Syst Dev Rome Italy Fdn Bruno Kessler Povo Trento Italy RFI Rete Ferroviaria Italiana Rome Italy

ISBN: (纸本)9783030995249;9783030995232

We present NORMA, a tool for the modeling and analysis of Relay-based Railways Interlocking systems (RRIS). NORMA is the result of a research project funded by the Italian Railway Network, to support the reverse engineering and migration to computer-based technology of legacy RRIS. the frontend fully supports the graphical modeling of Italian RRIS, with a palette of over two hundred basic components, stubs to abstract RRIS subcircuits, and requirements in terms of formal properties. the internal component based representation is translated into highly optimized Timed NuXmv models, and supports various syntactic and semantic checks based on formal verification, simulation and test case generation. NORMA is experimentally evaluated, demonstrating the practical support for the modelers, and the effectiveness of the underlying optimizations.

关键词： Relay-based Railway Interlocking systems graphical modeling model checking

来源：评论

学校读者我要写书评

暂无评论

Strategic Sentinels: Investigating the Role and Distribution of Medieval Towers in Cyprus through Geospatial analysis 10

Strategic Sentinels: Investigating the Role and Distribution...

引用

10th international conference on Remote Sensing and Geoinformation of the Environment, RSCy 2024

作者： Doukanari, M. Mettas, C. Hadjimitsis, D. ERATOSTHENES Centre of Excellence Limassol3036 Cyprus Department of Civil Engineering and Geomatics Cyprus University of Technology Limassol3036 Cyprus

ISBN: (纸本)9781510681491

this study investigates the utilization and distribution of medieval towers in Cyprus during their original period (14th-15th Century) with a primary focus on the province of Larnaca. It explores the intended purposes of these constructions, including Pyla Tower, Kiti Tower (also known as Regina), Alaminos Tower (alternatively Koulas), and Xylofagou Tower. the research addresses questions regarding their original uses: Were they constructed as fortified structures with military purposes for the island's security, was their building purpose originally symbolic, serving as a "reminder"of the sovereignty of the Conqueror to the inhabitants of the island, or did they serve agricultural functions? A multifaceted approach is employed, integrating bibliographical and surveying documentation with geographical analysis to examine the interaction between these structures and their surrounding landscapes. this study aims to provide a comprehensive understanding of the purposes and significance of the medieval towers in the region using geoinformatics by examining both human-made and natural factors. A Geographic Information System (GIS) was utilized to establish data relationships and conduct spatial analyses, including cost-surface analyses, density analysis, and viewshed analysis. these analytical tools are crucial for elucidating the functional and spatial dynamics of medieval towers, enabling a deeper comprehension of the influences of these structures during their original construction period. Additionally, a photogrammetric survey was carried out to document the towers, enabling the examination of their architectural features and the determination of their original construction period or any later modifications. © 2024 SPIE.

关键词： Towers

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Information and Communication Technology for Competitive Strategies, ICTCS 2023

8th International Conference on Information and Communicatio...

引用

8th international conference on Information and Communication Technology for Competitive Strategies, ICTCS 2023

ISBN: (纸本)9789819994854

the proceedings contain 40 papers. the special focus in this conference is on Information and Communication Technology for Competitive Strategies. the topics include: Evolutionary Patterns in Modern-Era Cloud-Based Healthcare Technologies;the Development of the Semiconductor Supply Chain in India: Challenges and Opportunities;water Quality analysis of Major Rivers of India Using Machine Learning;Enhancing Trust in AI-Generated Medical Narratives: A Transparent Approach for Simplifying Radiology Reports;green construction Project Management: A Bibliometric analysis;illuminating Agriculture: Crafting a Strategy IoT-Based Architectural Design for Future Growth;Video-Based COVID-19 Monitoring System;analyzing User Profiles for Bot Account Detection on Twitter via Machine Learning Approach;artificial Intelligence in Trucking Business Operations—A Systematic Review;deep Learning Approach for Early Diagnosis of Alzheimer’s Disease;study of Key Agreement Protocol Implementation in Constraint Environment;covid-19 Disease Prediction System from X-Ray Images Using Convolutional Neural Network;liquidity Regulation and Bank Performance: the Industry Perspective;enhancing Medical Education through Augmented Reality;a Comprehensive Study on Plant Classification Using Machine Learning Models;critical analysis of the Utilization of Machine Learning Techniques in the Context of Software Effort Estimation;review of Recent Research and Future Scope of Explainable Artificial Intelligence in Wireless Communication Networks;multi-core System Classification algorithms for Scheduling in Real-Time systems;transfer Learning Techniques in Medical Image Classification;Integrating AI tools into HRM to Promote Green HRM Practices;archival of Rangabati Song through Technology: An Attempt to Conservation of Culture;Voice-Based Virtual Assistant for Windows Using ASR;music Recommendation systems: Techniques, Use Cases, and Challenges.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on Post Evaluation of Waterborne Information System construction Projects 10

Research on Post Evaluation of Waterborne Information System...

引用

10th international Symposium on Project Management, ISPM 2022

作者： Wang, Jing Li, Guiping Information Center China Waterborne Transport Research Institute Beijing100088 China

ISBN: (纸本)9781921712807

In recent years, more and more informatization construction projects in the field of water transport are built. To develop the post evaluation of waterborne information system construction projects, is helpful to the evaluation of project's construction process and construction results comprehensively, systemically and scientifically, so to improve the investment benefits and promote the sustainable development of projects. Based on the analysis of the characteristics of waterborne information system construction projects, under the guidance of prototyping ideas, builds the post evaluation index system of waterborne information system construction projects, and calculates the index weights by using the AHP and Delphi method. Verifying the feasibility of the evaluation system through an example, has some practical values for the post evaluation of waterborne information system construction projects in China. © conference Proceedings of the 10th international Symposium on Project Management, China, ISPM 2022.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

8th international conference on Information and Communication Technology for Competitive Strategies, ICTCS 2023

8th International Conference on Information and Communicatio...

引用

8th international conference on Information and Communication Technology for Competitive Strategies, ICTCS 2023

ISBN: (纸本)9789819994885

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共170页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：