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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 计算机科学与技术...
- 555 篇 软件工程
- 136 篇 电气工程
- 122 篇 控制科学与工程
- 93 篇 信息与通信工程
- 91 篇 土木工程
- 88 篇 机械工程
- 76 篇 建筑学
- 60 篇 安全科学与工程
- 58 篇 材料科学与工程（可...
- 40 篇 交通运输工程
- 37 篇 动力工程及工程热...
- 33 篇 化学工程与技术
- 28 篇 生物工程
- 27 篇 仪器科学与技术
- 25 篇 力学（可授工学、理...
- 22 篇 环境科学与工程（可...
330 篇 理学
- 227 篇 数学
- 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,572 篇 英文
31 篇 其他
15 篇 德文
9 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

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

共 1634 条记录，以下是111-120 订阅

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

详细简洁

排序：

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

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

引用

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)

作者： 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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

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: (纸本)9789819702091

关键词：

来源：评论

学校读者我要写书评

暂无评论

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: (纸本)9789819712595

关键词：

来源：评论

学校读者我要写书评

暂无评论

ALPINIST: an Annotation-Aware GPU Program Optimizer 28th

ALPINIST: an Annotation-Aware GPU Program Optimizer

引用

作者： Sakar, Omer Safari, Mohsen Huisman, Marieke Wijs, Anton Univ Twente Formal Methods & Tools Enschede Netherlands Eindhoven Univ Technol Software Engn & Technol Eindhoven Netherlands

ISBN: (纸本)9783030995270;9783030995263

GPU programs are widely used in industry. To obtain the best performance, a typical development process involves the manual or semi-automatic application of optimizations prior to compiling the code. To avoid the introduction of errors, we can augment GPU programs with (pre- and postcondition-style) annotations to capture functional properties. However, keeping these annotations correct when optimizing GPU programs is labor-intensive and error-prone. this paper introduces ALPINIST, an annotation-aware GPU program optimizer. It applies frequently-used GPU optimizations, but besides transforming code, it also transforms the annotations. We evaluate ALPINIST, in combination with the VerCors program verifier, to automatically optimize a collection of verified programs and reverify them.

关键词： GPU Optimization Deductive verification Annotation-aware Program transformation

来源：评论

学校读者我要写书评

暂无评论

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: (纸本)9789819707430

关键词：

来源：评论

学校读者我要写书评

暂无评论

CoVeriTeam: On-Demand Composition of Cooperative Verification systems 28th

CoVeriTeam: On-Demand Composition of Cooperative Verificatio...

引用

作者： Beyer, Dirk Kanav, Sudeep Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783030995249;9783030995232

there is no silver bullet for software verification: Different techniques have different strengths. thus, it is imperative to combine the strengths of verification tools via combinations and cooperation. CoVeriTeam is a language and tool for on-demand composition of cooperative approaches. It provides a systematic and modular way to combine existing tools (without changing them) in order to leverage their full potential. the idea of cooperative verification is that different tools help each other to achieve the goal of correctly solving verification tasks. the language is based on verification artifacts (programs, specifications, witnesses) as basic objects and verification actors (verifiers, validators, testers) as basic operations. We define composition operators that make it possible to easily describe new compositions. Verification artifacts are the interface between the different verification actors. CoVeriTeam consists of a language for composition of verification actors, and its interpreter. As a result of viewing tools as components, we can now create powerful verification engines that are beyond the possibilities of single tools, avoiding to develop certain components repeatedly. We illustrate the abilities of CoVeriTeam on a few case studies. We expect that CoVeriTeam will help verification researchers and practitioners to easily experiment with new tools, and assist them in rapid prototyping of tool combinations.

关键词： Cooperative Verification Tool Development Software Verification Automatic Verification Verification tools Tool Composition Tool Reuse

来源：评论

学校读者我要写书评

暂无评论

Urban cooling demand benchmarking based on built-urbanization 24

Urban cooling demand benchmarking based on built-urbanizatio...

引用

11th ACM international conference on systems for Energy-Efficient Buildings, Cities, and Transportation, BuildSys 2024

作者： Mondal, Nilabhra Deb, Chirag Anand, Prashant Mahdavi, Ardeshir Department of Architecture and Regional Planning IIT West Bengal Kharagpur India School of Architecture Design and Planning The University of Sydney Sydney Australia Institute of Building Physics Services and Construction TU Graz Graz Austria

ISBN: (纸本)9798400707063

Urban cooling demand (UCD) is shaped by various aspects of urban morphology, and systematically quantifying these correlations is essential for mitigating heat stress amid ongoing urbanization and climate change. When implementing national-scale mitigation strategies or addressing rising cooling demands, the variability in urban form across cities within similar climatic zones leads to disproportionate cooling needs at regional scales, rendering generalized approaches ineffective. therefore, an integrated top-down approach that accounts for urbanization variability to predict or benchmark UCD would be more beneficial for stakeholders from individual building to city level. this study categorizes rapidly urbanizing Indian cities into four types based on ten key features of urban built development—horizontal expansion, vertical growth, volumetric densification, and population growth—and their impact on city-wide cooling needs over distances of 50 to 100 km. Type-I cities are large, high-density, and irregularly shaped;type-II cities are medium-sized with similar characteristics;type-III cities are small with moderate density;and type-IV cities are compact and low-density. Key findings reveal a strong correlation between vertical development and UCD, with coefficients of 0.91 and 0.83 for different percentile ranges. UCD measure (i.e., expressed in terms of the yearly mean of cooling degree days) ranges from 7.0 to 10.0 °C-Year in type-I cities and 8.5 to 11.0 °C-Year in type-II cities, while type-III cities show a broader range of 4.0 to 10.0 °C-Year and type-IV cities a narrower range of 9.0 to 10.0 °C-Year. Multi-linear regression analysis indicates that while individual C-BU features exhibit limited predictive power (R2 = 0.745), combining similar typologies enhances model robustness. © 2024 Copyright held by the owner/author(s).

关键词： Regression analysis

来源：评论

学校读者我要写书评

暂无评论

Exploration on Data Collection and analysis System Based on Integrated SIFT Algorithm 4

Exploration on Data Collection and Analysis System Based on ...

引用

4th international conference on Machine Learning and Big Data Analytics for IoT Security and Privacy, SPIoT 2023

作者： Sun, Yijin College of Basic Military and Political Education National University of Defense Technology Hunan Changsha China

With the development of applications related to image processing technology, the target requirements of data acquisition and analysis systems are constantly being optimized. Research on data acquisition and analysis based on the integrated SIFT (Scale Invariant Feature Transform) algorithm is becoming increasingly important. the construction of a data collection and analysis system focuses on ensuring efficient and accurate data collection and analysis to provide valuable insights and decision support. Key priorities include determining data requirements and objectives, designing appropriate data collection methods and tools, establishing reliable data storage and management systems, developing effective data analysis algorithms and models, and ensuring data security and privacy protection. this article analyzed the theoretical analysis of feature point extraction algorithm and the process steps and application of integrated SIFT algorithm. With the help of dimensionality reduction processing, the SIFT algorithm was improved and optimized. Combined with the scale space calculation formula, the conclusion is as follows: On the basis of image processing, the data collection and analysis system using the improved integrated SIFT algorithm on the five selected image file samples has improved the accuracy of feature point matching, with a comprehensive average improvement of 7.6%. the efficiency of feature point extraction has also been improved, with a comprehensive average improvement of about 8%. this indicated that the data collection and analysis system based on the improved integrated SIFT algorithm has good practical application results in feature point matching and extraction. © 2024 the Authors.

关键词： Data collection

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：