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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

68 篇 model checking
43 篇 tools
35 篇 algorithm design...
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
15 篇 task analysis

机构

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 篇 vienna universit...
3 篇 univ colorado bo...
3 篇 tu wien austria
3 篇 lviv polytechnic...
3 篇 univ oxford dept...

作者

22 篇 katoen joost-pie...
14 篇 beyer dirk
10 篇 junges sebastian
9 篇 parker david
8 篇 quatmann tim
8 篇 hermanns holger
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,556 篇 英文
20 篇 其他
14 篇 德文
8 篇 中文
4 篇 葡萄牙文
3 篇 俄文
1 篇 捷克文

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

共 1606 条记录，以下是31-40 订阅

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

详细简洁

排序：

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) 30th

Mopsa-C: Improved Verification for C Programs, Simple Valida...

引用

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

作者： Monat, Raphael Milanese, Marco Parolini, Francesco Boillot, Jerome Ouadjaout, Abdelraouf Mine, Antoine Univ Lille INRIA CNRS Cent LilleUMR 9189CRIStAL F-59000 Lille France Sorbonne Univ LIP6 F-75005 Paris France Univ PSL Ecole Normale Super F-75005 Paris France

ISBN: (纸本)9783031572555;9783031572562

We present advances we brought to Mopsa for SV-Comp 2024. We significantly improved the precision of our verifier in the presence of dynamic memory allocation, library calls such as memset, goto-based loops, and integer abstractions. We introduced a witness validator for correctness witnesses. thanks to these improvements, Mopsa won SV-Comp's Softwaresystems category by a large margin, scoring 2.5 times more points than the silver medalist, Bubaak-SpLit.

关键词： Static analysis Abstract Interpretation Competition on Software Verification SV-Comp

来源：评论

学校读者我要写书评

暂无评论

Sustainability Assessment of Refurbishment vs. New ZEB construction systems: A Long-Term LCA Perspective on Durability and Building Lifespan 11th

Sustainability Assessment of Refurbishment vs. New ZEB Const...

引用

11th international conference of Ar.Tec.

作者： Costantino, Carlo Bigiotti, Stefano Marucci, Alvaro Gulli, Riccardo Univ Tuscia Dept Agr & Forest Sci DAFNE I-01100 Viterbo Italy Univ Bologna Dept Architecture Alma Mater Studiorum I-40131 Bologna Italy

ISBN: (纸本)9783031718694;9783031718670;9783031718663

Two main intervention categories emerge for the renewal of residential building stock: refurbishment and demolition and reconstruction. In the Life Cycle Assessment (LCA) at the building scale, a common practice is to consider default lifespan values, regardless of the durability of the construction system and the average longevity observed within the geographical context. Consequently, this approach involves a significant risk of misinterpretation or partial evaluations of results in long-term assessments deriving from two main factors: (i) the overestimation of environmental impacts associated with heavyweight construction systems, which are characterised by higher embodied energy and carbon, despite their advantages in superior durability and low maintenance compared to lightweight alternatives;(ii) the tendency to overestimate the lifespan of existing buildings after refurbishment, particularly those that have already surpassed 60 years of service life. this paper presents a comparative LCA carried out between refurbishment and demolition and reconstruction of a case study, a 1960s multi-family residential building located in the suburbs of Bologna. In particular, two heavyweight and three lightweight construction systems are evaluated for the new Zero Energy Building (ZEB). the findings highlight a strong dependence between LCA results and building lifespan, significantly influencing the choice when comparing intervention strategies. the results show minor impacts for demolition and reconstruction scenarios compared to refurbishment scenarios after 30 years of analysis and lower impacts of lightweight construction systems in the same period, while in the medium to long term, over 60 years, heavyweight construction systems yield lesser impacts when accounting for their extended lifespan.

关键词： Life Cycle Assessment Building Lifespan Durability Zero Energy Building construction System

来源：评论

学校读者我要写书评

暂无评论

ChatGPT and Large Language Models in Healthcare;a Bibliometrics analysis and Review 11

ChatGPT and Large Language Models in Healthcare;a Bibliometr...

引用

11th IEEE international conference on Computational Cybernetics and Cyber-Medical systems, ICCC 2024

作者： Mosavi, Amir Imre, Felde Hung, Vo Trung Obuda University John von Neumann Faculty of Informatics Budapest Hungary Ludovika University of Public Service Budapest Hungary University of Technology and Education The University of Danang Danang Viet Nam

ISBN: (纸本)9798350350142

ChatGPT and similar large language models (LLMs) are becoming the essential tools in healthcare, offering diverse applications. this article presents a bibliometric analysis for studying the dimension and the role of ChatGPT and major large language models in healthcare. the LLMs' impact, usage, and growth in medical literature is presented. through exploring the Scopus database, this article uncovers the trends and contributions of LLMs. Our findings deliver insights into the evolution of the LLMs' applications highlighting their significance and limitations in shaping future healthcare. © 2024 IEEE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

SootUp: A Redesign of the Soot Static analysis Framework 30th

SootUp: A Redesign of the Soot Static Analysis Framework

引用

作者： Karakaya, Kadiray Schott, Stefan Klauke, Jonas Bodden, Eric Schmidt, Markus Luo, Linghui He, Dongjie Paderborn Univ Heinz Nixdorf Inst Paderborn Germany Fraunhofer IEM Paderborn Germany Amazon Web Serv Berlin Germany Chongqing Univ Chongqing Peoples R China

ISBN: (纸本)9783031572456;9783031572463

Since its inception two decades ago, SOOT has become one of the most widely used open-source static analysis frameworks. Over time it has been extended with the contributions of countless researchers. Yet, at the same time, the requirements for SOOT have changed over the years and become increasingly at odds with some of the major design decisions that underlie it. In this work, we thus present SooTUP, a complete reimplementation of SOOT that seeks to fulfill these requirements with a novel design, while at the same time keeping elements that SOOT users have grown accustomed to.

关键词： Static program analysis Soot SootUp

来源：评论

学校读者我要写书评

暂无评论

Knor: reactive synthesis using Oink 30th

Knor: reactive synthesis using Oink

引用

作者： van Dijk, Tom van Abbema, Feije Tomov, Naum Univ Twente Formal Methods & Tools Enschede Netherlands

ISBN: (纸本)9783031572456;9783031572463

We present an innovative approach to the reactive synthesis of parity automaton specifications, which plays a pivotal role in the synthesis of linear temporal logic. We find that our method efficiently solves the SYNTCOMP synthesis competition benchmarks for parity automata from LTL specifications, solving all 288 models in under a minute. We therefore direct our attention to optimizing the circuit size and propose several methods to reduce the size of the constructed circuits: (1) leveraging different parity game solvers, (2) applying bisimulation minimisation to the winning strategy, (3) using alternative encodings from the strategy to an and-inverter graph, (4) integrating post-processing with the ABC tool. We implement these methods in the Knor tool, which has secured us multiple victories in the PGAME track of the SYNTCOMP competition.

关键词： Reactive synthesis Parity games Binary decision diagrams

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 2024 IEEE/ACM 11th international conference on Mobile Software Engineering and systems, MOBILESoft 2024

Proceedings - 2024 IEEE/ACM 11th International Conference on...

引用

11th IEEE/ACM international conference on Mobile Software Engineering and systems, MOBILESoft 2024

ISBN: (纸本)9798400705892

the proceedings contain 15 papers. the topics discussed include: a study on the battery usage of deep learning frameworks on iOS devices;an empirical study on the impact of CSS prefixes on the energy consumption and performance of mobile web apps;an empirical evaluation of the energy consumption of using web push APIs in mobile web apps – the case of telegram;how have iOS development technologies changed over time? a study in open-source;detection of inconsistencies between guidance pages and actual data collection of third-party SDKs;generating rate features for mobile applications;toward an android static analysis approach for data protection;are your android app analyzers still relevant?;and towards benchmarking the coverage of automated testing tools in android against manual testing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Learning Explainable and Better Performing Representations of POMDP Strategies 30th

Learning Explainable and Better Performing Representations o...

引用

作者： Bork, Alexander Chakraborty, Debraj Grover, Kush Kretinsky, Jan Mohr, Stefanie Rhein Westfal TH Aachen Aachen Germany Masaryk Univ Brno Czech Republic Tech Univ Munich Munich Germany

ISBN: (纸本)9783031572487;9783031572494

Strategies for partially observable Markov decision processes (POMDP) typically require memory. One way to represent this memory is via automata. We present a method to learn an automaton representation of a strategy using a modification of the L*-algorithm. Compared to the tabular representation of a strategy, the resulting automaton is dramatically smaller and thus also more explainable. Moreover, in the learning process, our heuristics may even improve the strategy's performance. We compare our approach to an existing approach that synthesizes an automaton directly from the POMDP, thereby solving it. Our experiments show that our approach can lead to significant improvements in the size and quality of the resulting strategy representations.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Multilayer Networks: A Survey on Models, analysis of algorithms and Database 11th

Multilayer Networks: A Survey on Models, Analysis of Algorit...

引用

11th international Work-conference on Bioinformatics and Biomedical Engineering (IWBBIO)

作者： Milano, Marianna Lazzaro, Ilaria Cannataro, Mario Dept Expt & Clin Med Catanzaro Italy Magna Graecia Univ Catanzaro Dept Med & Surg Sci I-88100 Catanzaro Italy Magna Graecia Univ Catanzaro I-88100 Catanzaro Italy Magna Graecia Univ Catanzaro Data Analyt Res Ctr I-88100 Catanzaro Italy

ISBN: (纸本)9783031646287;9783031646294

Multilayer networks have provided fascinating insights and are experiencing increasing popularity. However, the lack of a standardized naming convention for complex networks has generated several different configurations and hinders their rapid exploration. the focus of this survey is to provide a systematic review of the mathematical model of a multilayer network, examining classification features, configuration models, analysis metrics and visualization approaches. therefore, we present approaches to the analysis and visualization of these complex systems for the extraction of meaningful information. Finally, we include a section on existing databases that store multilayer networks, highlighting that no biological databases exist for their extraction.

关键词： Multilayer Networks algorithms tools Database

来源：评论

学校读者我要写书评

暂无评论

Human Motion Estimation Application for the Marker-Based Motion Capture systems 11

Human Motion Estimation Application for the Marker-Based Mot...

引用

11th international conference on Electrical, Electronic and Computing Engineering, IcETRAN 2024

作者： Lukić, Branko Radmilović, Marija Bečanović, Filip School of Electrical Engineering University of Belgrade Belgrade Serbia Mihajlo Pupin Institute Belgrade11060 Serbia

ISBN: (纸本)9798350386998

Motion capture technology finds wide application in various fields such as entertainment, sports analysis, and biomechanics, enabling accurate digitization of real-world movements for replication in digital environments. there exist diverse motion capture systems utilizing different technologies, supported by software tools for marker movement extraction. Further processing of acquired data requires additional investment in software development. this paper presents the human motion estimator application developed using GUI in MATLAB App Designer. this application aims to generate human movement based on recorded marker data obtained from motion capture systems (MCS), currently supporting two MCSs: Vicon and ART. the developed application aims to become a universal tool for estimating human movements, supporting data from ART or Vicon MCS. the application provides visual instructions for mounting markers on the body and initialization position, while data processing is based on optimization algorithms for defined criteria functions. the application targets research institutions by providing essential software support for ART or Vicon MCSs, thus enhancing data analysis capabilities for estimating upper body movement. the application is a framework, a starting point, to be upgraded and future developed with additional MCS and features. © 2024 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

CPACHECKER 2.3 with Strategy Selection (Competition Contribution) 30th

CPACHECKER 2.3 with Strategy Selection (Competition Contribu...

引用

作者： Baier, Daniel Beyer, Dirk Chien, Po-Chun Jankola, Marek Kettl, Matthias Lee, Nian-Ze Lemberger, thomas Lingsch-Rosenfeld, Marian Spiessl, Martin Wachowitz, Henrik Wendler, Philipp Ludwig Maximilians Univ Munchen Munich Germany

ISBN: (纸本)9783031572555;9783031572562

CPACHECKER is a versatile framework for software verification, rooted in the established concept of configurable program analysis. Compared to the last published system description at SV-COMP 2015, the CPACHECKER submission to SV-COMP 2024 incorporates new analyses for reachability safety, memory safety, termination, overflows, and data races. To combine forces of the available analyses in CPACHECKER and cover the full spectrum of the diverse program characteristics and specifications in the competition, we use strategy selection to predict a sequential portfolio of analyses that is suitable for a given verification task. the prediction is guided by a set of carefully picked program features. the sequential portfolios are composed based on expert knowledge and consist of bit-precise analyses using k-induction, data-flow analysis, SMT solving, Craig interpolation, lazy abstraction, and block-abstraction memoization. the synergy of various algorithms in CPACHECKER enables support for all properties and categories of C programs in SV-COMP 2024 and contributes to its success in many categories. CPACHECKER also generates verification witnesses in the new YAML format.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共161页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：