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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Deciphering Sustainable Development: A Global Multi-Criteria analysis through Sustainability Indicators 11

Deciphering Sustainable Development: A Global Multi-Criteria...

引用

11th international conference on Information Technology and Quantitative Management, ITQM 2024

作者： Lellis Moreira, Miguel Ângelo Costa, Igor Pinheiro de Araújo Junior, Enderson Luiz Pereira de Oliveira, thaís Evelin Santos de Pina Corriça, José Victor Pereira, Maria Teresa Gomes, Carlos Francisco Simões dos Santos, Marcos Fluminense Federal University RJ Niterói24210-240 Brazil Porto School of Engineering Polytechnic University of Porto Porto4200-072 Portugal Naval Systems Analysis Center RJ Rio de Janeiro20091-000 Brazil Military Institute of Engineering Urca RJ 22290-270 Brazil

this study addresses the complex dynamics of global sustainable development, emphasizing the need for a meticulous assessment of sustainability indicators in 159 countries. Using the Gaussian AHP multi-criteria method and descriptive and exploratory statistical analysis, the research quantifies countries' global performance concerning 18 critical indicators, integrating economic, social, and environmental aspects. the methodology applied allowed the construction of a comparative ranking, highlighting the superiority of nations with robust environmental policies, such as the Nordic countries, in contrast to the challenges faced by developing countries, which show lower scores due to less integrated policies. the results indicate the effectiveness of the Gaussian AHP in identifying leaders and laggards in sustainability, serving as a tool for guiding and building more informed public policies. Future investigations can enrich these analyses through longitudinal studies, expanding the understanding of sustainable development trajectories. © 2024 the Authors.

关键词： Sustainable development goals

来源：评论

学校读者我要写书评

暂无评论

NS3SaaS: Cloud-based "Network Simulator as a Service" with customisable resource scheduling 11

NS3SaaS: Cloud-based "Network Simulator as a Service" with c...

引用

11th IEEE international conference on Cloud Networking (CloudNet)

作者： Antonopoulos, Konstantinos Ringas, Dimitrios Christopoulou, Eleni Keramidas, Georgios Antonopoulos, Christos Voros, Nikolaos Univ Peloponesse Elect & Comp Engn Dept Patras Greece Ionian Univ Dept Informat Corfu Greece Aristotle Univ Thessaloniki Sch Informat Thessaloniki Greece

ISBN: (数字)9781665486279

ISBN: (纸本)9781665486279

this paper presents the design, development and evaluation of a novel cloud-based Network Simulator as a Service. It wraps a discrete-event network simulator and deploys it as an elastic service, which can then be used for interactive and batch simulations execution, enhanced with results post-processing and analysis as well as presentation features. It addresses the requirement to rapidly carry out large numbers of network simulations in order to test and validate appropriate and domain specific optimisations in industry, research and education settings. this cloud based service drastically enhances the capabilities of a researcher by allowing arbitrary definition of simulation scenarios along with sets of parameters and commission of large scale simulation executions. It is based on an ensemble of efficient open-source tools, which, when properly coordinated, deliver to the end user a cloud based service that is novel, robust, extendible and extensible. It has been deployed within ESDA Lab (UoP, Greece) where several performance evaluation research scenarios were carried out testing different simulation scheduling schemes in order to evaluate the usefulness of our system and its efficiency under different prioritisation settings. Results demonstrate that, compared to the default general purpose network simulator, the offered cloud-based service significantly enhances end-users capabilities by tailor fitting to their different prioritisation requirements, e.g. favouring interactive users, minimising turnaround times, offering custom resources allocation, etc. In addition to that the offered service effectively hides the peculiarities of the standalone network simulator enabling its use by non-experts and significantly expanding the potential target group of end users.

关键词： Simulation support systems software as services software engineering distributed systems network and computing resource sharing resource optimisation and management

来源：评论

学校读者我要写书评

暂无评论

Protection of Biometric Data Transmission and Storage in the Human State Remote Monitoring tools 11

Protection of Biometric Data Transmission and Storage in the...

引用

11th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems - Technology and Applications (IDAACS)

作者： Melnyk, Anatoliy Morozov, Yurii Havano, Bohdan Hupalo, Petro John Paul II Catholic Univ Lublin Inst Math & Informat Lublin Poland Lviv Polytech Natl Univ Dept Comp Engn Lvov Ukraine

ISBN: (纸本)9781665426053

In this paper the problems of transmission and storage protection of biometric data in means of remote monitoring of human state are investigated. the technologies of biometric data transmission and storage protection in remote human state monitoring means are selected. Based on the conducted researches the principles of construction, algorithms of work are developed and means of remote monitoring of a condition of the person with protection of transfer of biometric data are implemented.

关键词： biometric data data transmission and storage protection remote monitoring of human state

来源：评论

学校读者我要写书评

暂无评论

Using Requirements Clustering to Discover Dependent Requirements for Hidden Impact analysis 11th

Using Requirements Clustering to Discover Dependent Requirem...

引用

11th and 12th EAI international conference on Big Data Technologies and Applications, BDTA 2021 and BDTA 2022

作者： Safwat, Ahmed Yacoub, Mostafa Mohamed Sadat Academy for Management Sciences Faculty of Computers and Information Cairo Egypt

ISBN: (纸本)9783031336133

Since one of the most important practices in any software development lifecycle is Requirements Engineering. Weakly applied RE is one of the main causes for the development breakdown. Main practices of RE processes are specification and elicitation, verification, cooperation, and implementation management. Since ULS systems are increasing in complexity and difficulty, it has observed a growing call for smart modules, methods, and applications that would support improving RE practices. In this paper, we focus on how various kinds of recommendation technologies can be applied to support ULS participants in the completion of the RE tasks;first, we provide an overview of the research related to the application of recommendation tools in RE that was already described in a high level. Second, we show in detail how clustering method as one of Model-based filtering technique can be applied to proactively strengthen "Measuring Change Ripple Effect", third, new ideas need to be discussed and future research explored. We have used Natural Language Processing (NLP) and Similarity Models to support the model. © 2023, ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Integrating GPU-Accelerated Tetrahedral Mesh Editing and Simulation 1

引用

11th international conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2021

作者： Ströter, Daniel Halm, Andreas Krispel, Ulrich Mueller-Roemer, Johannes S. Fellner, Dieter W. Interactive Graphics Systems Group TU Darmstadt Darmstadt Germany Fraunhofer Austria Research GmbH Vienna Austria Institute of Computer Graphics and Knowledge Visualization TU Graz Graz Austria Fraunhofer IGD Darmstadt Germany

ISBN: (数字)9783031231490

ISBN: (纸本)9783031231483

the use of computer-aided methods for the design of parts that must meet functional or stability requirements typically consists of an iterative cycle of design, physical simulation and testing or analysis, followed by redesign, etc. Each step is often performed with a domain-specific tool, e.g., a specific CAD modeling suite. this results in the need to convert the model representation between steps, such as meshing for finite element simulation for example. In recent work, a distributed application framework has been proposed that allows for the interactive modification and simulation of tetrahedral meshes derived from existing CAD models, e.g., to create customized versions of parts that were designed for mass production. this shortens the design cycle by eliminating the need for conversion and switching between tools. In this paper, we present a more detailed description and improvements to this architecture by using GPU parallelization not only for simulation but also for mesh editing, which leads to even shorter iteration cycles. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Pain Assessment in Neonatal Clinical Practice via Facial Expression analysis and Deep Learning 11th

Pain Assessment in Neonatal Clinical Practice via Facial Exp...

引用

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

作者： Bergamasco, Letizia Lattanzi, Marta Gavelli, Marco Pastrone, Claudio Olmo, Gabriella Borsotti, Lucia Parodi, Emilia Fdn LINKS Via Pier Carlo Boggio 61 I-10138 Turin Italy Politecn Torino Dipartimento Automat & Informat Corso Duca Abruzzi 24 I-10129 Turin Italy AO Ordine Mauriziano Torino Ufficio Sperimentaz Clin Via Magellano 1 I-10128 Turin Italy AO Ordine Mauriziano Torino SC Pediat & Neonatol Via Magellano 1 I-10128 Turin Italy

ISBN: (纸本)9783031646355;9783031646362

Since newborns are unable to verbally communicate the experience of pain, accurate pain assessment using validated tools is crucial to determine the most effective pain management strategies. Traditional pain assessment relies on the use of pain scales that consider behavioural, physiological, and contextual indicators, but is highly depending on the subjective experience of healthcare professionals. therefore, automated pain assessment systems are desirable in clinical practice for a more efficient and objective pain evaluation. this work proposes a deep learning framework for newborn pain assessment based on facial expression analysis, suitable for the real-world environment of the Neonatology Department. It exploits a pre-trained Convolutional Neural Network that is fine-tuned on image data recorded during neonatal heel prick. the trained model achieves an average accuracy of 87.4% and F1-score of 75.4% using a stratified 5-fold cross-validation to classify newborn images into pain or nonpain classes. the performance is further improved by including images from iCOPE dataset in the training process. Moreover, the application of a visual explanation technique highlights that the model predictions are based on the facial regions most closely associated to the pain experience. Our results show that automated pain detection from facial expressions is feasible in a real-world setup. By introducing an explainable artificial intelligence approach, we also contribute to the improvement of model transparency and trust for healthcare professionals. this paves the way for the development of an automated system that integrates, standardises, and improves human pain evaluation.

关键词： Neonatal pain assessment Neonatology Department Facial expression Deep learning Computer vision Explainability

来源：评论

学校读者我要写书评

暂无评论

analysis on the cutting performance of three-dimensional surface of superhard tool 11

Analysis on the cutting performance of three-dimensional sur...

引用

11th IEEE Annual international conference on CYBER Technology in Automation, Control, and Intelligent systems, CYBER 2021

作者： Wu, Qiang Li, Huijie Wu, Fangzheng Xu, Lanying School of Automobile and Transportation Engineering Guangdong Polytechnic Normal University Guangzhou510450 China College of Electromechanical Engineering Guangdong Polytechnic Normal University Guangzhou510 635 China Rutgers-The State University of New Jersey Computer Science Department PiscatawayNJ08854 United States

ISBN: (纸本)9781665425278

With the rapid development of manufacturing technology, industrial enterprises have put forward higher requirements for machining tools. However, superhard tools can effectively solve many technical problems in the machining process and are widely used. therefore, polycrystalline diamond (PCD) and polycrystalline cubic boron nitride (PCBN) are optimized as the main research objects of superhard tools and the cutting analysis is carried out by adding chipbreakers to the tools. the software advantedge is used for simulation analysis according to one of the faces on the basis of 3D modeling. the comparison and simulation analysis of the tool with chipbreaker and the unmodified tool reveals that the tool with chipbreaker can save the combined force of X and Y axis by 3.07% on average, and meet the actual needs of production. © 2021 IEEE.

关键词： 3D modeling

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

11th IEEE international conference on Intelligent Data Acquisition and Advanced Computing systems - Technology and Applications (IDAACS)

作者： Mykhalchuk, Taras Zatonatska, Tetiana Dluhopolskyi, Oleksandr Zhukovska, Alina Dluhopolska, Tetiana Liakhovych, Larysa Taras Shevchenko Natl Univ Kyiv Volodymyrska St 60 Kiev Ukraine West Ukrainian Natl Univ Lvivska Str 11 Ternopol Ukraine

ISBN: (纸本)9781665426053

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.

关键词： e-commerce online trading clothing industry COVID-19 crisis

来源：评论

学校读者我要写书评

暂无评论

GOBLINT: thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) 27th

GOBLINT: Thread-Modular Abstract Interpretation Using Side-E...

引用

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

作者： Saan, Simmo Schwarz, Michael Apinis, Kalmer Erhard, Julian Seidl, Helmut Vogler, Ralf Vojdani, Vesal Univ Tartu Tartu Estonia Tech Univ Munich Garching Germany

Goblint is a static analysis framework for C programs specializing in data race analysis. It relies on thread-modular abstract interpretation where thread interferences are accounted for by means of flow-insensitive g... 详细信息

ISBN: (纸本)9783030720124;9783030720131

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Interpreting Temporal Dynamics in Distributed Fuzzy Cognitive Maps for Time Series Prediction

Interpreting Temporal Dynamics in Distributed Fuzzy Cognitiv...

引用

international conference on Advanced Computer Control, ICACC

作者： Haritha K M. V. Judy Department of Computer Applications Cochin University of Science and Technology Ernakulam India

ISBN: (数字)9798350379136

ISBN: (纸本)9798350379143

Fuzzy Cognitive Maps (FCMs) are powerful tools for the modeling of complex systems, one of which is time series modeling. Although advocated for their interpretability, existing methods measure concept relevance based on static structural features often overlooking the dynamic influences over the time. this paper presents a novel SHapley Additive exPlanations (SHAP) framework based Distributed FCM model. the proposed approach invokes functions to determine the SHAP concept relevance scores for the Distributed Fuzzy Cognitive Maps (DFCMs) for time series prediction, marginalizing over each concept and comparing the predicted states to an expected baseline iteratively. this method is interpreted as measuring the time-varying impact of each concept through the dynamic course of the system. the SHAP-based approach improves the interpretability and application of FCMs to the modeling of complex time-course systems.

关键词： Atmospheric modeling Heuristic algorithms Computational modeling Time series analysis Fuzzy cognitive maps Predictive models Time measurement Indexes Time-varying systems Meteorology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共164页 << < 15 16 17 18 19 20 21 22 23 24 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：