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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

1,173 篇 工学
- 869 篇 计算机科学与技术...
- 556 篇 软件工程
- 135 篇 电气工程
- 122 篇 控制科学与工程
- 92 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
329 篇 理学
- 226 篇 数学
- 75 篇 统计学（可授理学、...
- 68 篇 系统科学
- 43 篇 物理学
- 42 篇 生物学
- 27 篇 化学
216 篇 管理学
- 154 篇 管理科学与工程(可...
- 86 篇 图书情报与档案管...
- 79 篇 工商管理
31 篇 医学
- 24 篇 基础医学(可授医学...
- 23 篇 临床医学
30 篇 法学
- 27 篇 社会学
24 篇 经济学
- 23 篇 应用经济学
17 篇 教育学
15 篇 文学
10 篇 农学
6 篇 艺术学
5 篇 军事学

主题

68 篇 model checking
43 篇 tools
35 篇 algorithm design...
28 篇 software enginee...
28 篇 static analysis
26 篇 data mining
23 篇 stochastic syste...
20 篇 real time system...
20 篇 computational mo...
20 篇 analytical model...
17 篇 hybrid systems
17 篇 real-time system...
17 篇 machine learning
17 篇 testing
16 篇 software tools
16 篇 optimization
16 篇 computers
16 篇 sentiment analys...
16 篇 software
16 篇 data models

机构

26 篇 rhein westfal th...
13 篇 ludwig maximilia...
8 篇 univ penn philad...
7 篇 univ twente ensc...
7 篇 univ twente form...
7 篇 tech univ munich...
6 篇 univ illinois ur...
5 篇 saarland univ sa...
5 篇 rhein westfal th...
5 篇 chinese acad sci...
5 篇 suny stony brook...
5 篇 univ calif berke...
5 篇 univ texas austi...
4 篇 radboud univ nij...
4 篇 verimag ctr equa...
3 篇 university of wa...
3 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 tu wien austria
3 篇 carnegie mellon ...

作者

22 篇 katoen joost-pie...
14 篇 beyer dirk
10 篇 junges sebastian
9 篇 parker david
9 篇 hermanns holger
8 篇 quatmann tim
7 篇 kwiatkowska mart...
6 篇 van de pol jaco
6 篇 yi w
6 篇 hartmanns arnd
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 bozga marius
5 篇 alur rajeev
5 篇 pettersson p
5 篇 cimatti alessand...
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 latella diego
4 篇 ruys theo c.

语言

1,573 篇 英文
30 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

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

共 1634 条记录，以下是321-330 订阅

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

详细简洁

排序：

ICAI 2020 - Proceedings of the 11th international conference on Applied Informatics

ICAI 2020 - Proceedings of the 11th International Conference...

引用

11th international conference on Applied Informatics, ICAI 2020

the proceedings contain 44 papers. the topics discussed include: automatic tag recommendation for news articles;are computational thinking skills measurable? an analysis;implementing a new interface for directed graph analysis by existing and new algorithms;classical heritage and text-based second language learning in three-dimensional virtual library environment;a comparative evaluation of big data frameworks for log processing;on possible approaches to differentiation of rough real functions;adversarial example free zones for specific inputs and neural networks;integration of incremental build systems into software comprehension tools;comprehensive evaluation of cross translation unit symbolic execution;machine learning techniques for the classification of product descriptions from darknet marketplaces;and automatic diacritic restoration with transformer model based neural machine translation for east-central European languages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automated Verification of Parallel Nested DFS 26th

Automated Verification of Parallel Nested DFS

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Oortwijn, Wytse Huisman, Marieke Joosten, Sebastiaan J. C. van de Pol, Jaco Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Univ Twente Formal Methods & Tools Enschede Netherlands Dartmouth Coll Hanover NH 03755 USA Aarhus Univ Dept Comp Sci Aarhus Denmark

ISBN: (纸本)9783030451899;9783030451905

Model checking algorithms are typically complex graph algorithms, whose correctness is crucial for the usability of a model checker. However, establishing the correctness of such algorithms can be challenging and is often done manually. Mechanising the verification process is crucially important, because model checking algorithms are often parallelised for efficiency reasons, which makes them even more error-prone. this paper shows how the VerCors concurrency verifier is used to mechanically verify the parallel nested depth-first search (NDFS) graph algorithm of Laarman et al. [25]. We also demonstrate how having a mechanised proof supports the easy verification of various optimisations of parallel NDFS. As far as we are aware, this is the first automated deductive verification of a multi-core model checking algorithm.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Interpretation-Based Violation Witness Validation for C: NITWIT 26th

Interpretation-Based Violation Witness Validation for C: NIT...

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Svejda, Jan Berger, Philipp Katoen, Joost-Pieter Rhein Westfal TH Aachen Aachen Germany

ISBN: (纸本)9783030451899;9783030451905

As software verification is gaining traction in academia and industry the number and complexity of verification tools is growing constantly. this initiated research and interest into exchangeable verification witnesses as well as tools for automated witness validation. Initial witness validators used model checkers that were amended to benefit from guidance information provided by the witness. this approach comes with substantial overhead. Second-generation execution-based validators traded speed for reduced strength in case of incomplete and non-exact witnesses. this was done by extracting test harnesses and compiling them with the original program. We present the nitwit tool, a new interpretation-based violation witness validator for C programs that is trimmed to be fast and memory efficient. It verifies a record number of witnesses of SV-COMP'20 in the ReachSafety category. Our novel tool exchanges initial compilation overhead and optimized execution for rapid startup performance. nitwit borrows C semantics from the compiler used for compilation. this offloads this hard-to-get-right task and enables using several compilers in parallel to inspect possible semantic differences.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

analysis and processing of environmental monitoring system 11

Analysis and processing of environmental monitoring system

引用

11th international conference on Ambient systems, Networks and Technologies (ANT) / 3rd international conference on Emerging Data and Industry 4.0 (EDI)

作者： Pyagay, Viktor T. Sarsenova, Zhibek N. Duisebekova, Kulyanda S. Duzbayev, Nurzhan T. Albanbai, Nurtai Int Informat Technol Univ 34-1 Manas Str Alma Ata 050040 Kazakhstan Kazakh Natl Univ 71 Al Farabi Ave Alma Ata 050040 Kazakhstan

In this article, the problem of monitoring of climatic and ecological condition of the region is considered. the authors propose an approach to the construction of such systems using the LoRaWAN (Long Range Wide Area Network) technology. this will make it possible to create easily scalable low-cost systems with high energy efficiency through the use of modern communication technologies. During the experiment, the authors have identified certain patterns in collected data, such as dependence on the time of year, weather, and the location of certain industrial facilities near the observed zone. (C) 2020 the Authors. Published by Elsevier B.V.

关键词： LoRaWAN Environmental monitoring Big Data IoT Ecology

来源：评论

学校读者我要写书评

暂无评论

MUST: Minimal Unsatisfiable Subsets Enumeration Tool 26th

MUST: Minimal Unsatisfiable Subsets Enumeration Tool

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Bendik, Jaroslav Cerna, Ivana Masaryk Univ Fac Informat Brno Czech Republic

ISBN: (纸本)9783030451899;9783030451905

In many areas of computer science, we are given an unsatisfiable set of constraints with the goal to provide an insight into the unsatisfiability. One of common approaches is to identify minimal unsatisfiable subsets (MUSes) of the constraint set. the more MUSes are identified, the better insight is obtained. However, since there can be up to exponentially many MUSes, their complete enumeration might be intractable. therefore, we focus on algorithms that enumerate MUSes online, i.e. one by one, and thus can find at least some MUSes even in the intractable cases. Since MUSes find applications in different constraint domains and new applications still arise, there have been proposed several domain agnostic algorithms. Such algorithms can be applied in any constraint domain and thus theoretically serve as ready-to-use solutions for all the emerging applications. However, there are almost no domain agnostic tools, i.e. tools that both implement domain agnostic algorithms and can be easily extended to support any constraint domain. In this work, we close this gap by introducing a domain agnostic tool called MUST. Our tool outperforms other existing domain agnostic tools and moreover, it is even competitive to fully domain specific solutions.

关键词： Minimal unsatisfiable subsets Unsatisfiability analysis Infeasibility analysis MUS Diagnosis.

来源：评论

学校读者我要写书评

暂无评论

Development of Recommendation System in e-Commerce using Emotional analysis and Machine Learning Methods

Development of Recommendation System in e-Commerce using Emo...

引用

IEEE international Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Taras Mykhalchuk Tetiana Zatonatska Oleksandr Dluhopolskyi Alina Zhukovska Tetiana Dluhopolska Larysa Liakhovych Taras Shevchenko National University of Kyiv Kyiv West Ukrainian National University Ternopil

ISBN: (纸本)9781665426060

the article identifies the theoretical aspects of e-commerce as an economic category, the problems of the current state of the e-commerce market related to the COVID-19 pandemic, consumer distrust and less functionality in the choice of clothing units. the aim of the article is the generalization, development and implementation of an expert system that will increase the functionality and efficiency of e- business. Research methods are mathematical apparatus for solving classification problems, regression, discrete methods, artificial neural networks, decision trees and other machine learning algorithms for solving classification problems, statistical methods and tools for data processing and analysis, data visualization tools. the problems of developing an expert system to increase the functionality of e-commerce were solved using R and Python programming languages, data processing and analysis. Practical significance of the research is to identify and use an effective algorithm for emotional analysis of the text, improve the method of collaborative filtering and develop an information system to provide recommendations to customers. As a result, the functionality and efficiency of e-commerce will increase. the obtained research results can be used as a methodological reference by software developers during the design and development of recommendation systems.

关键词： Analytical models Biological system modeling Collaborative filtering Clothing Machine learning Data processing Software

来源：评论

学校读者我要写书评

暂无评论

analysis of External Power Source in Agricultural Fields Energy Management System

Analysis of External Power Source in Agricultural Fields Ene...

引用

international conference on Reliability, Infocom Technologies and Optimization (ICRITO) (Trends and Future Directions)

作者： thiagarajan Kittappa Bhukya Shankar Vikas Bhimrao Pawar T. Sheela R. Sasikala B V.Febiyola Justin PM Murali Department of Mathematics Rajalakshmi Institute of Technology Poonamalle Chennai Department of Electronics and Communication Engineering CVR College of Engineering Ibrahimpatnam Hyderabad Department of Applied Science Bharati Vidyapeeth College of Engineering Navi Mumbai ECE Vinayaka Mission's Kirupananda Variyar Engineering College (Vinayaka Mission's Research Foundation (Deemed to be University) Salem Department of MBA S.A.Engineering College (Autonomous) Chennai Department of Biochemistry St. Peter's institute of Higher education and Research Avadi Chennai Department of Management Studies and ECE Vinayaka Mission's Kirupananda Variyar Engineering College Vinayaka Mission's Research Foundation Deemed to be University Salem India

ISBN: (数字)9798350350357

ISBN: (纸本)9798350350364

Renewable energy plants integrated are obtained locally, including hydro, biogas, as well as solar. the construction of hydropower and biogas with while solar power plants were constructed. the primary issue is that all current RE's energy sources Power plants are intermittent, meaning they are not always available. Solar power is only used in the daytime. Ultimately, significant concept is put into practice to preserve the supply-demand energy balance, lower grid electricity costs with the penetration of renewable energy sources, and enhance the local grid's efficiency, security, and dependability. the concept is put into practice to preserve the supply-demand energy balance, lower grid electricity costs with the penetration of renewable energy sources, and enhance the local grid's efficiency, security, and dependability. the availability of wind energy is subject to seasonal and meteorological fluctuations, making it unpredictable at times. the same is true of hydro energy sources, which are significantly less in the summer and quite abundant during the rainy season. the quantity of animals and the availability of feed have a significant impact on the source of biogas energy.

关键词： Photovoltaic systems Costs Wind energy Electricity Hydroponics Media Soil

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Safety Verification using Symmetry Transformations 26th

Multi-Agent Safety Verification using Symmetry Transformatio...

引用

26th international conference on tools and algorithms for construction and analysis of systems (TACAS)

作者： Sibai, Hussein Mokhlesi, Navid Fan, Chuchu Mitra, Sayan Univ Illinois Urbana IL 61801 USA

ISBN: (纸本)9783030451899;9783030451905

We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map any solution of the system to another solution. We show that this property can be used to transform cached reachsets to compute new reachsets, for hybrid and multi-agent models. We develop a notion of a virtual system which defines symmetry transformations for a broad class of agent models that visit waypoint sequences. Using this notion of a virtual system, we present a prototype tool CacheReach that builds a cache of reachsets, in a way that is agnostic of the representation of the reachsets and the reachability analysis method used. Our experimental evaluation of CacheReach shows up to 64% savings in safety verification computation time on multi-agent systems with 3-dimensional linear and 4-dimensional nonlinear fixed-wing aircraft models following sequences of waypoints. these savings and our theoretical results illustrate the potential benefits of using symmetry-based caching in the safety verification of multi-agent systems.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Cybersecurity Methodology for Specialized Behavior analysis 1

引用

11th international conference on Digital Forensics and Cyber Crime

作者： Padilla, Edgar Acosta, Jaime C. Kiekintveld, Christopher D. Univ Texas El Paso El Paso TX 79968 USA CCDC Army Res Lab Adelphi MD 20783 USA

ISBN: (数字)9783030687342

ISBN: (纸本)9783030687335;9783030687342

Analyzing attacker behavior and generating realistic models to accurately capture the realities of cybersecurity threats is a very challenging task for researchers. Psychological personality and profiling studies provide a broad understanding of personality traits, but lack a level of interactive immersion that enables observers to collect concrete cybersecurity-relevant behavioral data. Participant's intricate actions and interactions with real computer systems are seldom captured in any cybersecurity studies. Our work focuses on capturing human actions and decisions to provide an empirical basis for these types of models. We provide a practical methodology that helps bridge the gap between theory and practice by facilitating construction, experimentation, and data collection for repeatable and scalable human experimentation with realistic cybersecurity scenarios. While our methodology is platform agnostic, we describe state of the art technologies that may be used to satisfy the objectives of each of the stages of the methodology.

关键词： Cybersecurity Attacker profiling Methodology

来源：评论

学校读者我要写书评

暂无评论

tools and algorithms for the construction and analysis of systems : 5th international conference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings

引用

2016年

作者： w. r. cleaveland

tools and algorithms for the construction and analysis of systems : 5th international conference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : Proceedings by Tacas '99 (1999 : Amsterdam, Netherlands); Cleaveland, W. R. (Walter Rance), 1961-; Etaps '99 (1999 : Amsterdam, Netherlands); published by Berlin ; New York : Springer

关键词： algorithms amsterdam, analysis computer software conference, system design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 29 30 31 32 33 34 35 36 37 38 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：