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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

10th international conference on theory and Applications of Soft Computing, Computing with Words and Perceptions, ICSCCW 2019

10th International Conference on Theory and Applications of ...

引用

10th international conference on theory and Applications of Soft Computing, Computing with Words and Perceptions, ICSCCW 2019

ISBN: (纸本)9783030352486

the proceedings contain 128 papers. the special focus in this conference is on theory and Applications of Soft Computing, Computing with Words and Perceptions. the topics include: Artificial intelligence-based new material design;surface roughness modelling and prediction using artificial intelligence based models;soft methods of public administration in the era of digitalization;fake news detection on social networks with artificial intelligence tools: Systematic literature review;using soft computing methods for the functional benchmarking of an intelligent workplace in an educational establishment;examination of computational thinking skill levels of secondary school students: the case of near east college;z-differential equations;quantum fuzzy inference based on quantum genetic algorithm: Quantum simulator in intelligent robotics;solution of zadeh’s "fast way" problem under z-information;categorized representations and general learning;fuzzy dynamic programming approach to multistage control of flash evaporator system;synthesis of fuzzy terminal controller for chemical reactor of alcohol production;empirical adaptation of control parameters in differential evolution algorithm;the use of multiple correspondence analysis to map the organizational citizenship behaviour and job satisfaction of administrative staff;spatiotemporal precipitation modeling by ai based ensemble approach;consistency of fuzzy if-then rules for control system;identifying prospective teachers’ perceived competence towards use of assessment and evaluation methods;fuzzy ordination of breast tissue with electrical impedance spectroscopy measurements;a memetic and adaptive continuous ant colony optimization algorithm;evaluating the efficacy of adult hiv post exposure prophylaxis regimens in relation to transmission risk factors by multi criteria decision method;fuzzy estimation of level of country’s social security.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Authorship identification with multi sequence word selection method 18th

Authorship identification with multi sequence word selection...

引用

Joint conferences on 18th international conference on Intelligent systems Design and Applications, ISDA 2018 and 10th World Congress on Nature and Biologically Inspired Computing , NaBIC 2018

作者： Tamboli, Mubin Shoukat Prasad, Rajesh S. Matoshri College of Engineering and Research Centre Nashik India Sinhgad Institute Technology and Science Narhe Pune India

ISBN: (纸本)9783030166564

Authorship analysis process in which finding the author of unknown text when the history of the writing style of the author known. It can be viewed as a multi-class, single-mark content classification assignment. A lot of author identification problems had been created and solved with the different methods. Character and word n-gram are most commonly used methods for feature construction and participated in authorship identification task. In this paper, we point out the methodology of formation of word n-gram. the approach described in the paper does not depend on constant value n, the value of n changes according to the occurrence of word sequences. the methodology applied to the collection of text which is from the varied time domain. We used a dataset of 13 authors, whose text generation time is big. Dynamic value of n chosen to generate word sequence. In terms of accuracy, the result shows improvement as compared to the fixed value of n in word n-gram. We also explore the significance of the dynamic value of n on the occurrence of a specified set of consecutive words. © Springer Nature Switzerland AG 2020.

关键词： Time domain analysis

来源：评论

学校读者我要写书评

暂无评论

Systematic Comparison of Six Open-source Java Call Graph construction tools 14

Systematic Comparison of Six Open-source Java Call Graph Con...

引用

14th international conference on Software Technologies (ICSOFT)

作者： Jasz, Judit Siket, Istvan Pengo, Edit Sagodi, Zoltan Ferenc, Rudolf Univ Szeged Dept Software Engn Arpad Ter 2 H-6720 Szeged Hungary

ISBN: (纸本)9789897583797

Call graphs provide the groundwork for numerous analysis algorithms and tools. However, in practice, their construction may have several ambiguities, especially for object-oriented programming languages like Java. the characteristics of the call graphs - which are influenced by building requirements such as scalability, efficiency, completeness, and precision - can greatly affect the output of the algorithms utilizing them. therefore, it is important for developers to know a well-defined set of criteria based on which they can choose the most appropriate call graph builder tool for their static analysis applications. In this paper, we studied and compared six static call graph creator tools for Java. Our aim was to identify linguistic and technical properties that might induce differences in the generated call graphs besides the obvious differences caused by the various call graph construction algorithms. We evaluated the tools on multiple real-life open-source Java systems and performed a quantitative and qualitative assessment of the resulting graphs. We have shown how different outputs could be generated by the different tools. By manually analyzing the differences found on larger programs, we also found differences that we did not expect based on our preliminary assumptions.

关键词： Java Call Graph Static analysis Tool Comparison

来源：评论

学校读者我要写书评

暂无评论

Non-linear Modeling of a Multi-Layer Switched Reluctance Motor with Magnetically-Disconnected Stator Modules 10

Non-linear Modeling of a Multi-Layer Switched Reluctance Mot...

引用

10th international Power Electronics, Drive systems and Technologies conference (PEDSTC)

作者： Kondelaji, Mohammad Amin Jalali Mirsalim, Mojtaba Amirkabir Univ Technol Dept Elect Engn Elect Machines & Transformers Lab Tehran 15916 Iran

ISBN: (纸本)9781538692547

Analytical modelings are not only rapid tools for the analysis of electrical machines, but also are precise enough compared to numerical methods. On the other hand, switched reluctance machines have non-linear magnetic features and doubly-salient configuration. Due to these features, finite element analysis (FEA) is usually applied to attain the main characteristics of the machine which is time-consuming. In this research, an improved non-linear magnetic equivalent circuit (NLMEC) for a fault-tolerant modular switched reluctance motor with three layers of C-shape stators is developed to achieve the main features of the motor. To clarify the accuracy of the model, a 3D finite element analysis is adopted, and the results are compared with analytical solutions. thanks to FEA, it is elucidated that the results attained from the developed circuit are accurate enough in comparison with those issued from FEA. It is also illustrated that this method saves a large time compared to FEA, which is a valuable factor for preliminary design stages.

关键词： C-shape stator finite element analysis magnetic equivalent circuit modular SRM

来源：评论

学校读者我要写书评

暂无评论

A Qualitative Method to Analyze Collaborative Patterns of Virtual Groups 10

A Qualitative Method to Analyze Collaborative Patterns of Vi...

引用

10th international conference on Computer Supported Education (CSEDU)

作者： Garcia, Consuelo Univ Int Rioja UNIR Univ Avda Paz 137 Logrono 26002 La Rioja Spain

ISBN: (纸本)9789897582912

this study aims to describe a qualitative method to analyze different patterns of organization that students show during their interaction in a virtual group. Literature review has shown that collaborative patterns have a relationship with knowledge construction. this method involves the analysis of the messages exchanged within the virtual group and the application of five indicators that help to identify these patterns: equality of contributions, distribution of responsibilities, reciprocity, revision of the final report and degree of consensus. Our results show that the procedure is useful for analyzing and identifying how virtual groups are organized. Likewise, as previous studies, three main collaborative patterns were detected: aggregation, integration and addition. Practical implications of these results point out the relevance of guiding the groups not only throughout the task but also in relation to the organizational decisions.

关键词： Collaboration Qualitative Method Virtual Groups Knowledge construction

来源：评论

学校读者我要写书评

暂无评论

analysis of puncture and prediction of crack fatigue in drilling tools 10

Analysis of puncture and prediction of crack fatigue in dril...

引用

2020 10th Chinese Geosynthetics conference and international Symposium on Civil Engineering and Geosynthetics, ISCEG 2020

作者： Li, Guangqiao Zhai, Kejun Zhu, Zhongxi Petroleum Engineering Technology Research Institute Sinopec Northwest Oilfield Company Urumqi830011 China Key Laboratory of Enhanced Recovery for Fracture-Cave Oil Reservoir Sinopec Urumqi830011 China Petroleum Engineering College Yangtze University Wuhan Hubei430100 China

In recent years, the drilling technology of directional wells and large displacement wells has been widely used, which has greatly improved the reservoir development efficiency. However, the "stabbing"accidents in the drilling of the inclined section drilled frequently occur frequently. In view of the above problems, this paper uses the finite element method to take the well "003-H1", which is more serious in the drilling tool, as the research object, and deeply analyzes the cause of the "stabbing"of the drilling tool and the prediction of the crack extension period. the results show that the "piercing"of the drill pipe is mainly caused by the fatigue failure of the drill pipe. the crack on the surface of the drill pipe increases with the slope of the construction. the crack changes rapidly from elastic expansion to plastic expansion, and the fatigue life is "breaking"down, move down to create a slanting point position, which can reduce the occurrence of drill pipe "stabbing"accident. © the Authors, published by EDP Sciences 2020.

关键词： Drill pipe

来源：评论

学校读者我要写书评

暂无评论

A Proposal for a Language Combining Biochemical Rules and Topological Structure for systems Biology 10

A Proposal for a Language Combining Biochemical Rules and To...

引用

12th international Joint conference on Biomedical Engineering systems and Technologies / 10th international conference on Bioinformatics Models, Methods and algorithms (BIOINFORMATICS)

作者： Compaore, Anasthasie Joelle Le Gall, Pascale Univ Nazi Boni Ecole Super Informat Bobo Dioulasso Burkina Faso Univ Paris Saclay Lab MISC CentraleSupelec Gif Sur Yvette France

ISBN: (纸本)9789897583537

For about twenty years, rule-based modelling has been widely used for systems Biology issues. Most existing languages focus on biochemical reactions primarily, and to a lest extent, on the cell structure in compartments. BIOCHAM and Pathway Logic Assistant (PLA) are representative examples of such rule-based languages. they are equipped with tools providing great analysis capabilities. We propose to provide such biochemical languages with annotations relating to the compartments in which the biochemical reactions take place. We will make sure that biochemical rules always indicate the nature of the compartments involved and the neighbourhood relations between them. At the end, it suffices to specialize the generic rules according to a particular topological structure in order to obtain sets of localized rules. thus, resulting models can be analysed by using either BIOCHAM or PLA.

关键词： Rule-Based Modelling Biochemical Rules Compartments Topology-Based Modelling

来源：评论

学校读者我要写书评

暂无评论

Unbiased Pairwise Learning from Biased Implicit Feedback 20

Unbiased Pairwise Learning from Biased Implicit Feedback

引用

10th international conference on the theory of Information Retrieval

作者： Saito, Yuta Tokyo Inst Technol Tokyo Japan

ISBN: (纸本)9781450380676

Implicit feedback is prevalent in real-world scenarios and is widely used in the construction of recommender systems. However, the application of implicit feedback data is much more complicated than its explicit counterpart because it provides only positive feedback, and we cannot know whether the non-interacted feedback is positive or negative. Furthermore, positive feedback for rare items is observed less frequently than popular items. the relevance of such rare items is often underestimated. Existing solutions to such challenges are subject to bias toward the ideal loss function of interest or accept a simple pointwise approach, which is inappropriate for a ranking task. In this study, we first define an ideal pairwise loss function defined using the ground-truth relevance parameters that should be used to optimize the ranking metrics. Subsequently, we propose a theoretically grounded unbiased estimator for this ideal pairwise loss and a corresponding algorithm, Unbiased Bayesian Personalized Ranking. A pairwise algorithm addressing the two major difficulties in using implicit feedback has yet to be investigated, and the proposed algorithm is the first pairwise method for solving these challenges in a theoretically principal manner. through theoretical analysis, we provide the critical statistical properties of the proposed unbiased estimator and a practical variance reduction technique. Empirical evaluations using real-world datasets demonstrate the practical strength of our approach.

关键词： implicit feedback recommender systems missing-not-at-random inverse propensity score positive-unlabeled learning Bayesian personalized ranking

来源：评论

学校读者我要写书评

暂无评论

Reachability analysis for Termination and Confluence of Rewriting 25th

Reachability Analysis for Termination and Confluence of Rewr...

引用

25th international conference on tools and algorithms for the construction and analysis of systems (TACAS) held as part of the 22nd European Joint conferences on theory and Practice of Software (ETAPS)

作者： Sternagel, Christian Yamada, Akihisa Univ Innsbruck Innsbruck Austria Natl Inst Informat Tokyo Japan

ISBN: (纸本)9783030174620;9783030174613

In term rewriting, reachability analysis is concerned with the problem of deciding whether or not one term is reachable from another by rewriting. Reachability analysis has several applications in termination and confluence analysis of rewrite systems. We give a unified view on reachability analysis for rewriting with and without conditions by means of what we call reachability constraints. Moreover, we provide several techniques that fit into this general framework and can be efficiently implemented. Our experiments show that these techniques increase the power of existing termination and confluence tools.

关键词： Reachability analysis Termination Confluence Conditional term rewriting Infeasibility

来源：评论

学校读者我要写书评

暂无评论

Sage: task-environment platform for evaluating a broad range of ai learners 1

引用

13th international conference on Artificial General Intelligence, AGI 2020

作者： Eberding, Leonard M. thórisson, Kristinn R. Sheikhlar, Arash Andrason, Sindri P. Center for Analysis and Design of Intelligent Agents Reykjavik University Reykjavik Iceland Institute of Photogrammetry and GeoInformation Leibniz U. Hannover Germany Icelandic Institute for Intelligent Machines Reykjavik Iceland

ISBN: (数字)9783030521523

ISBN: (纸本)9783030521516

While several tools exist for training and evaluating narrow machine learning (ML) algorithms, their design generally does not follow a particular or explicit evaluation methodology or theory. Inversely so for more general learners, where many evaluation methodologies and frameworks have been suggested, but few specific tools exist. In this paper we introduce a new framework for broad evaluation of artificial intelligence (AI) learners, and a new tool that builds on this methodology. the platform, called SAGE (Simulator for Autonomy & Generality Evaluation), works for training and evaluation of a broad range of systems and allows detailed comparison between narrow and general ML and AI. It provides a variety of tuning and task construction options, allowing isolation of single parameters across complexity dimensions. SAGE is aimed at helping AI researchers map out and compare strengths and weaknesses of divergent approaches. Our hope is that it can help deepen understanding of the various tasks we want AI systems to do and the relationship between their composition, complexity, and difficulty for various AI systems, as well as contribute to building a clearer research road map for the field. this paper provides an overview of the framework and presents results of an early use case. © Springer Nature Switzerland AG 2020.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 40 41 42 43 44 45 46 47 48 49 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：