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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

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

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
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 篇 hermanns holger
8 篇 katoen joost-pie...
7 篇 van de pol jaco
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,630 篇 英文
41 篇 其他
16 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

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

共 1703 条记录，以下是231-240 订阅

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

详细简洁

排序：

AI Pair Programming Acceptance: A Value-Based Approach with AHP analysis

AI Pair Programming Acceptance: A Value-Based Approach with ...

引用

international conference on Control, Decision and Information Technologies (CoDIT)

作者： Murat Tahir Çaldağ Department of Technology and Knowledge Management Başkent University Ankara Turkey

ISBN: (数字)9798350373974

ISBN: (纸本)9798350373981

the emergence of Artificial Intelligence (AI) tools is transforming every aspect of life with new opportunities and risks. An impact of AI tools can be seen in AI pair programming which is defined as a generative and creative support tool with real-time interaction. the goal of this study is to explore the AI pair programming acceptance. To identify, describe, categorize, and rank the factors affecting the acceptance of AI pairs a literature review, a research model proposal based on an extension of the Value-based Adoption Model (VAM) framework, and an Analytic Hierarchy Process (AHP) analysis is conducted. the proposed model consists of six main factors and twenty-two sub-factors which are validated with an AHP analysis including eleven experts’ judgments. the findings presented the most essential factors as productivity, code accuracy, complexity, personal development, and innovativeness. the least significant factors were inspiration, motivation, intellectual property violation, AI interaction, and trust. this study provides insight to AI tool developers and producers in the context of programming on the key factors to consider for success.

关键词： Productivity Analytical models Codes Accuracy Intellectual property Programming Real-time systems Complexity theory Artificial intelligence Software development management

来源：评论

学校读者我要写书评

暂无评论

analysis of Intelligent Force Control Methods for Red-Meat Gripping Applications 10

Analysis of Intelligent Force Control Methods for Red-Meat G...

引用

10th IEEE Jubilee international conference on Computational Cybernetics and Cyber-Medical systems, ICCC 2022

作者： Takács, Kristóf Takács, Bence Tarsoly, Sándor Garamvölgyi, Tivadar Galambos, Péter Rudas, Imre Haidegger, Tamás Óbuda Universtiy Antal Bejczy Center for Intelligent Robotics Budapest Hungary Óbuda University Doctoral School of Applied Informatics and Applied Mathematics Hungary Óbuda University Budapest Hungary

ISBN: (数字)9781665481779

ISBN: (纸本)9781665481779

Slaughterhouse automation is a challenging but important effort that could potentially improve the efficiency and hygiene of meat-processing while replacing human operators with machines and robots in dangerous and unpleasant jobs. Automated handling of carcasses require high level of intelligence, autonomy and adaptability, thus AI-driven systems, various sensors and intelligent tools are necessary parts of such systems. this paper presents novel force control methods implemented in a smart gripper intended for automated pig cutting. While the gripper is capable of handling high payloads (whole legs and 15-20 kg of intestines), the force control algorithm also allows delicate grasping on soft tissues. the gripping force is estimated separately for the two fingers of the gripper based on novel timing belt strain measurement methods. the elongation of the belts are measured by strain-gauges, and by magnetic encoders measuring the rotations of axes. the force sensors were tested with a tensile testing machine, and the functioning force-controlled gripper was tested with real pig carcasses too. the sensors have also proved useful for giving other feedback during automated pig cutting too, such as warning about inadequate gripper positioning relative to the target, and error signal generation when the target object slipped out of the gripper. © 2022 IEEE.

关键词： Grippers

来源：评论

学校读者我要写书评

暂无评论

Network Traffic Classification by Program Synthesis 1

引用

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

作者： Shi, Lei Li, Yahui Loo, Boon thau Alur, Rajeev Univ Penn Philadelphia PA 19104 USA Tsinghua Univ Beijing Peoples R China

ISBN: (数字)9783030720162

ISBN: (纸本)9783030720155;9783030720162

Writing classification rules to identify interesting network traffic is a time-consuming and error-prone task. Learning-based classification systems automatically extract such rules from positive and negative traffic examples. However, due to limitations in the representation of network traffic and the learning strategy, these systems lack both expressiveness to cover a range of applications and interpretability in fully describing the traffic's structure at the session layer. this paper presents Sharingan system, which uses program synthesis techniques to generate network classification programs at the session layer. Sharingan accepts raw network traces as inputs and reports potential patterns of the target traffic in NetQRE, a domain specific language designed for specifying session-layer quantitative properties. We develop a range of novel optimizations that reduce the synthesis time for large and complex tasks to a matter of minutes. Our experiments show that Sharingan is able to correctly identify patterns from a diverse set of network traces and generates explainable outputs, while achieving accuracy comparable to state-of-the-art learning-based systems.

关键词： Program synthesis Network traffic analysis Supervised learning

来源：评论

学校读者我要写书评

暂无评论

ViSRE: A Unified Visual analysis Dashboard for Proactive Cloud Outage Management

ViSRE: A Unified Visual Analysis Dashboard for Proactive Clo...

引用

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

作者： Kayongo, Paula Hoffswell, Jane Saini, Shiv Garg, Shaddy Koh, Eunyee Wang, Haoliang Jacobs, Tom Northwestern Univ Evanston IL 60208 USA Adobe Res Washington DC USA Adobe Res Bangalore Karnataka India Adobe Res Santa Clara CA USA

ISBN: (数字)9781665480925

ISBN: (纸本)9781665480925

Efficient outage detection and remediation is crucial for effectively operating cloud computing systems. To remediate outages, system engineers must quickly identify the causal relationships between metrics and correlate events across multiple monitoring tools. In practice, this process largely remains reactive due to the complexity and general lack of interpretability within such monitoring environments. this work presents ViSRE: an integrated visual analytics system that integrates causal and predictive models with interactive visualizations to aid in proactive cloud outage management. We develop enhanced node representations for our causal graph representation to support system engineers in performing root cause analysis and reasoning about causality chains in multi-dimensional temporal data. We report the results of a quantitative assessment of the proposed predictive models, which show good performance guarantees. To evaluate and refine our system, we conduct a study with six cloud system engineers who verify that our proposed techniques can support proactive cloud maintenance by intuitively displaying temporal relationships between predicted and raw data. By correlating and presenting data from disparate sources, ViSRE also reduces context switching costs and reduces the time spent on manually correlating events during remediation of time-critical outages.

关键词： Cloud Outage Prediction Root Cause analysis Software Visualization

来源：评论

学校读者我要写书评

暂无评论

Comparison of Performance and Costs of CaaS and RDBaaS Services 10th

Comparison of Performance and Costs of CaaS and RDBaaS Servi...

引用

10th IFIP WG 6.12 European conference on Service-Oriented and Cloud Computing, ESOCC 2023

作者： Karwaczyński, Piotr Wasielewski, Mariusz Kwiatkowski, Jan Sygnity S.A. Strzegomska 140a Wroclaw54-429 Poland Wroclaw University of Science and Technology Wybrzeże Wyspiańskiego 27 Wroclaw50-370 Poland

ISBN: (纸本)9783031462344

Public clouds like AWS, Azure, GCP, and OCI offer a range of services including Container as a Service (CaaS) and Relational Database as a Service (RDBaaS). From the perspective of an IT system provider there is a notable lack of information on the overall performance that can be achieved when using specific configurations of these interdependent CaaS and RDBaaS services. To address this issue and avoid incorrect architectural assumptions, it was decided to empirically evaluate the combined performance offered by CaaS and RDBaaS services, considering their hardware configurations selected based on a predetermined cost constraint. the experiments were conducted in two stages. the first stage was aimed at narrowing down the set of investigated CaaS and RDBaaS services. Using the measurements collected in the second stage, a statistical analysis was performed, comparing the performance achieved in the cloud environments with the performance obtained in the on-premise environment, taking cost constraints into account. the experiments conducted for the cloud services provided insights into their limitations and performance, enabling informed architectural decisions during the design of complex IT systems. the results of the analysis confirmed that the performance obtained for the studied combinations of services and their associated costs significantly varied among the different cloud providers. © IFIP international Federation for Information Processing 2023.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

the Application of SWOT-AHP analysis in the Design and construction of Forest Road Network 10

The Application of SWOT-AHP Analysis in the Design and Const...

引用

10th international conference on Information and Communication Technologies in Agriculture, Food and Environment, HAICTA 2022

作者： Daoutis, Christodoulos Kantartzis, Apostolos Tampekis, Stergios Stergiadou, Anastasia Arabatzis, Garyfallos Department of Forestry and Management of the Environment and Natural Resources Democritus University of Thrace 193 Pantazidou St. Orestiada68200 Greece Department of Forestry and Natural Environment Management Agricultural University of Athens 3 Dimokratias St. Karpenisi36100 Greece Department of Forestry and Natural Environment Aristotle University of Thessaloniki Thessaloniki54124 Greece

the construction of a forest road is a very expensive project and for this reason the choice of the appropriate location is of major importance for the designer. When designing, certain criteria must be taken into account, either individually or in combination with each other. In the present work, the SWOT analysis (Strengths, Weaknesses, Opportunities, threats) was applied together with AHP (Analytic Hierarchy Process) for the design and construction of a forest road in order to have a concentrated and hierarchical weights of SWOT criteria that play an important role. in the decisions in order to have the least possible financial burden in terms of construction and as little as possible environmental and social impact on the implementation of the project. the results from the application of AHP showed that strengths gather 57.7%, followed by weaknesses with 18.1% and opportunities with 15.9%. Last of the criteria as a whole are threats with 8.2%. Regarding the sub-criteria / factors that have the highest priority, the possibility of evacuating an area through the forest road network (such as natural disasters) gathers 35.5% for strengths, for weaknesses ecosystem disturbance has the highest percentage with 11.1 %, for the opportunities the increase in the yield potential of forest area (extraction of wood) with 8.1% and for the threats the possibility of destruction of infrastructure from natural disasters with 4.2%. the study area was the forest road network of the city of Xanthi (Eastern Macedonia and thrace, Greece). © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 international (CC BY 4.0)

关键词： Hierarchical systems

来源：评论

学校读者我要写书评

暂无评论

Engineering for Sustainable Development: A Smart Pedagogical Framework for Developing IoT Projects Applied to Climate Action – Practices and Challenges 10th

Engineering for Sustainable Development: A Smart Pedagogical...

引用

10th international Workshop on Learning Technology for Education Challenges, LTEC 2022

作者： Karampa, Vasiliki Paraskeva, Foteini Department of Digital Systems University of Piraeus Karaoli Dimitriou Street 80 Piraeus185 34 Greece

ISBN: (纸本)9783031088896

To promote UNESCO’s Sustainable Development Global Goals (SDGs) in Higher Education and document a set of good practices emerging from the construction of Arduino Internet of things (IoT) projects, particularly as contributions to climate action (SDG 13), authors followed the three-stage design-based methodology. thus, a conceptual framework was designed and aligned with an educational scenario. the framework was orchestrated with the principles of smart pedagogy aiming at smart learning. Accordingly, an e-lab was developed, incorporating technological platforms/tools, and was delivered as an e-course lab to 67 tertiary education student engineers. Finally, data were collected and analyzed by a Strengths-Weaknesses-Opportunities-threats (SWOT) data analysis. From the findings (Strengths), authors concluded to a set of strategies that could be used as good practices, emerged from the construction of IoT projects when they are aligned with smart pedagogical frameworks’ guidelines. However, Weaknesses, Opportunities and threats were considered as challenges and thus an impetus for refinement and redesign. © 2022, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities 27th

Analyzing Infrastructure as Code to Prevent Intra-update Sni...

引用

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

作者： Lepiller, Julien Piskac, Ruzica Schaf, Martin Santolucito, Mark Yale Univ New Haven CT 06520 USA Amazon Web Serv Nyc NY USA Columbia Univ Barnard Coll Nyc NY USA

ISBN: (纸本)9783030720124;9783030720131

Infrastructure as Code is a new approach to computing infrastructure management that allows users to leverage tools such as version control, automatic deployments, and program analysis for infrastructure configurations. this approach allows for faster and more homogeneous configuration of a complete infrastructure. Infrastructure as Code languages, such as CloudFormation or TerraForm, use a declarative model so that users only need to describe the desired state of the infrastructure. However, in practice, these languages are not processed atomically. During an upgrade, the infrastructure goes through a series of intermediate states. We identify a security vulnerability that occurs during an upgrade even when the initial and final states of the infrastructure are secure, and we show that those vulnerability are possible in Amazon's AWS and Google Cloud. We call such attacks intra-update sniping vulnerabilities. In order to mitigate this shortcoming, we present a technique that detects such vulnerabilities and pinpoints the root causes of insecure deployment migrations. We implement this technique in a tool, Hayha, that uses dataflow graph analysis. We evaluate our tool on a set of open-source CloudFormation templates and find that it is scalable and could be used as part of a deployment workflow.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Mobile Application for Disaster Safety Management

Mobile Application for Disaster Safety Management

引用

international conference on Advanced Computing and Communication systems (ICACCS)

作者： M Siva Nagaraju Harshitha Kakarala Vadaparthi Sai Vishnu Pramukh Vattikunta Computer Science and Engineering Velagapudi Ramakrishna Siddhartha Engineering College Vijayawada Andhra Pradesh India

ISBN: (数字)9798350384369

ISBN: (纸本)9798350384376

Disasters, whether geological upheavals like earth- quakes or the fury of a cyclonic storm, are often perceived as forces beyond human control. However, viewing them solely as “natural” phenomena hides the crucial role of human settlements in amplifying their impact. Our tendency to build in floodplains, on earthquake faults, and along vulnerable coastlines transforms these natural events into devastating disasters. this anthropogenic lens underscores the need for proactive measures, with mobile applications emerging as powerful tools for disaster preparedness, communication, and response. Beyond simply acting as emergency sirens, these apps offer a comprehensive toolkit for mitigating disaster risk. Real-time alerts and hazard maps empower communities to prepare for impending threats, allowing for timely evacuation and resource mobilization. Comprehensive guides provide step-by-step instructions on creating emergency kits, securing homes, and staying informed during critical moments. By bridging information gaps and facilitating coordinated action, mobile apps have the potential to significantly bolster disaster safety, equipping individuals and communities with the knowledge and tools to navigate the challenges posed by these complex events.

关键词： Seismic measurements Navigation Tropical cyclones Disasters Safety management Transforms Hazards Real-time systems Mobile applications Geospatial analysis

来源：评论

学校读者我要写书评

暂无评论

Neutron imaging software tools at the Oak Ridge National Laboratory 9

Neutron imaging software tools at the Oak Ridge National Lab...

引用

9th international Topical Meeting on Neutron Radiography, ITMNR 2022

作者： Bilheux, Jean C. Bilheux, Hassina Z. Zhang, Yuxuan Crompton, Rich Bedynek, Matthew J. Zhang, Chen Parker, Peter Granroth, Garrett Lin, Jiao Lumsden, Ian Sebold, Simon Neuwirth, Tobias Neutron Scattering Division Oak Ridge National Laboratory Oak RidgeTN United States Second Target Station Office Oak Ridge National Laboratory Oak RidgeTN United States Computer Science and Mathematics Division Oak Ridge National Laboratory Oak RidgeTN United States Neutron Systems Engineering & Support Oak Ridge National Laboratory Oak RidgeTN United States Technical University of Munich Lichtenbergstr. 1 Garching Germany

Over the past decade, Oak Ridge National Laboratory developed neutron capabilities at both the High Flux Isotope Reactor and the Spallation Neutron Source. A broad scientific portfolio has flourished at both facilities such that a new facility named VENUS is currently under construction at the Spallation Neutron Source. With a large range of applications, comes a broad range of user expertise regarding data processing, analysis, and visualization. Our team has developed and implemented a suite of tools to respond to all user needs. these tools span from data reduction, normalization, general tools such as organization of data folders, pre-processing of data, etc., to strain mapping, neutron grating interferometry, and advanced reconstruction algorithms for computed tomography. this manuscript provides an overview of some of the aforementioned tools. © 2023 Institute of Physics Publishing. All rights reserved.

关键词： Neutron sources

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：