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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是271-280 订阅

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

详细简洁

排序：

AIRE 2022: 9th international Workshop on Artificial Intelligence and Requirements Engineering 30

AIRE 2022: 9th International Workshop on Artificial Intellig...

引用

30th IEEE international Requirements Engineering conference (RE)

作者： Ferrari, Alessi Heyn, Hans-Martin Sabetzadeh, Mehrdad CNR ISTI Pisa Italy Chalmers Univ Gothenburg Dept Comp Sci & Engn Gothenburg Sweden Univ Ottawa Sch Elect Engn & Comp Sci Ottawa ON Canada

ISBN: (数字)9781665460002

ISBN: (纸本)9781665460002

RE researchers have employed AI techniques to tackle different notions of requirements quality, have applied the techniques to different case studies and domains, and have used different metrics to assess the performance of their techniques. Given the pervasiveness of AI-based systems in our daily life, recent years have also seen an increasing need for RE techniques to support sound and structured development of AI system, with particular interest in explainability of system behaviour. the primary purpose of the AIRE workshop is to explore synergies between AI and RE in order to identify complex RE problems that could benefit from the application of AI techniques and the other way round, thus addressing RE for AI challenges. the edition of the workshop in 2022 received 6 submissions, which were independently reviewed by at least three program committee members. In the end, 5 papers were accepted. All the conflicts of interest were treated seriously and independently. the workshop takes place virtually on August 16, 2022. We hope that you enjoy the AIRE'22 workshop and its proceedings. We consider that in the days when AI is gaining prominence in our daily lives, the RE community cannot neglect the benefit that AI techniques can deliver to the practice of requirements engineering. the workshop will feature also two keynotes, from Fabiano Dalpiaz, from the University of Utrecht, the Netherlands, on Requirements Conversations: A New Frontier in Alfor-RE, and from Jennifer Horkoff, on Requirements Engineering for Machine Learning: Non-functional Requirements as Core Functions. We look forward to seeing you all at this workshop and the future editions. We are very grateful to the Program Committee members and authors of the submissions for their hard work and dedication in putting together this program. We would like to thank you all for your participation in AIRE'22.

关键词： Measurement conferences Oral communication Machine learning Requirements engineering Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Ceramic Art Teaching Resource Sharing Platform Based on Classroom Behavior Analysis 9th

Ceramic Art Teaching Resource Sharing Platform Based on Clas...

引用

9th EAI international conference on e-Learning, e-Education, and Online Training, eLEOT 2023

作者： Zhang, Zhiyan Xu, Yongshun Xia, Yu Lu, Senyang Fine Arts of Nanjing Xiaozhuang University Nanjing211171 China School of Communication Jiangsu Second Normal University Nanjing211171 China Aviation Services and Music School Nanchang Hangkong University Nanchang330063 China Yunnan Normal University Yunnan Kunming650500 China

ISBN: (纸本)9783031514647

Aiming at the problem of poor sharing effect of modern pottery teaching resources, this research proposes and designs a pottery teaching resource sharing platform based on classroom behavior analysis. In terms of hardware, the API sharing interface is designed, the information transmission master station is connected to the collection device through GPRS public network communication channel, and the structure of XML parser is designed to realize cross-regional resource sharing. In terms of software, the Grobeis criterion is used to pre-process the teacher-student interaction graph data and determine the resource center. the sharing center determined according to the classroom behavior of the interactive map and the ranking method of the remote sharing mode of resource library resources are established to realize the integration of teaching resources. the experimental results show that the maximum shared resource of the platform is 4500bit, which proves that the proposed method has a good resource sharing effect. © 2024, ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Optimal Length Cutting Plane Refutations of Integer Programs 9th

Optimal Length Cutting Plane Refutations of Integer Programs

引用

9th international conference on Algorithms and Discrete Applied Mathematics (CALDAM)

作者： Subramani, K. Wojciechowski, P. West Virginia Univ LDCSEE Morgantown WV 26506 USA

ISBN: (纸本)9783031252105;9783031252112

In this paper, we discuss the computational complexities of determining optimal length refutations of infeasible integer programs (IPs). We focus on three different types of refutations, namely read-once refutations, tree-like refutations, and dag-like refutations. For each refutation type, we are interested in finding the length of the shortest possible refutation of that type. For our purposes, the length of a refutation is equal to the number of inferences in that refutation. the refutations in this paper are also defined by the types of inferences that can be used to derive new constraints. We are interested in refutations with two inference rules. the first rule corresponds to the summation of two constraints and is called the ADD rule. the second rule is the DIV rule which divides a constraint by a positive integer. For integer programs, we study the complexity of approximating the length of the shortest refutation of each type (read-once, tree-like, and dag-like). In this paper, we show that the problem of finding the shortest read-once refutation is NPO PB-complete. Additionally, we show that the problem of finding the shortest tree-like refutation is NPO-hard for IPs. We also show that the problem of finding the shortest dag-like refutation is NPO-hard for IPs. Finally, we show that the problems of finding the shortest tree-like and dag-like refutations are in FPSPACE.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Systemic functional Linguistics Approach for Implicit Topic Sentiment Analysis

Systemic Functional Linguistics Approach for Implicit Topic ...

引用

6th international conference on Intelligent Computing and Signal Processing (ICSP)

作者： Junfeng Zhang Graduate School Xi'an International Studies University Xi'an China College of Humanities and Foreign Languages Xi'an University of Science and Technology Xi'an China

ISBN: (数字)9798350376548

ISBN: (纸本)9798350376555

the identification of implicit topics within text data from online review platforms poses a significant challenge to existing sentiment analysis tools. this study proposes a novel sentiment analysis framework based on revised Support Vector Machine (SVM) mode. It integrates a multidimensional analysis of context, semantics, and lexical-grammatical features, and is enhanced with feature extraction methods optimized for implicit expressions. Experimental results confirm the effectiveness of this model in enhancing sentiment classification accuracy, particularly in dealing with texts that contain implicit topics.

关键词： Support vector machines Sentiment analysis Analytical models Accuracy Reviews Social networking (online) Feature extraction Stability analysis Sustainable development Context modeling

来源：评论

学校读者我要写书评

暂无评论

Analyzing Transient Voltage Stability Using DA of A State-Reduction Model of Power Systems

Analyzing Transient Voltage Stability Using DA of A State-Re...

引用

IEEE international conference on Power and Power and Renewable Energy (ICPRE)

作者： Yingjie Qin Deyang Chen Yu Liu Wei Fan Lu Miao Qianghui Hao Yuhan Zhang Jiemin Liao Electric Dispatching and Control Center Guangdong Power Grid Corporation Guangzhou China School of Electric Power Engineering South China University of Technology Guangzhou China

ISBN: (数字)9798350377460

ISBN: (纸本)9798350377477

High complexity is one of harsh problems in transient voltage stability analysis (TVSA) of power systems. To overcome this difficulty, a state-reduction model incorporating induction motors (IMs) has been considered. And an expanding interior algorithm based on Sum of Squares (SOS) programming is adopted to estimate the domain of attraction (DA) of the state-reduction model for TVSA. First the state space is transformed to polynomial space using coordinate transformation. then based on Lyapunov stability theorems, relaxed constraints for the DA are derived. then the expanding interior algorithm based on SOS programming is utilized to simultaneously optimize the Lyapunov function and the DA. the proposed methodology is validated through modified IEEE test cases, demonstrating its effectiveness and robustness in enhancing transient voltage stability assessment in complex power systems.

关键词： Analytical models Voltage Power system stability programming Stability analysis Robustness Complexity theory Transient analysis thermal stability Lyapunov methods

来源：评论

学校读者我要写书评

暂无评论

Implementing Internet Key Exchange with Image-based Key Exchange through Socket programming

Implementing Internet Key Exchange with Image-based Key Exch...

引用

international conference for Convergence of Technology (I2CT)

作者： M SreeDeepika N Sri Lekhya Likesh K Shinu M Rajagopal Dept. of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Bengaluru India

ISBN: (数字)9798350394474

ISBN: (纸本)9798350394481

the primary objective of our project is to execute the Internet Key Exchange (IKE) protocol, which is commonly utilized for secure key exchange in virtual private networks (VPNs) and other secure connections. Our project is divided into two parts: a server and a client, both of which are written in Python and use socket programming. In order to receive an encrypted symmetric key, the server first creates anRivest, Shamir, Adleman (RSA) key pair, then delivers the client its public key. the symmetric key is contained into an image file and encrypted with the server’s public key. A symmetric key is created on the client side, encrypted using the public key of the server, and hidden inside an image. After then, the server receives this encrypted key image. After the server gets the picture, it uses the decrypted symmetric key to decode another picture, which concludes the key exchange procedure. this creative strategy not only makes use of IKE’s advantages but also investigates a novel technique for key exchange using picture hiding.

关键词： Protocols Sockets Public key programming Internet Virtual private networks Encryption

来源：评论

学校读者我要写书评

暂无评论

Correlation Analysis of Factors Influencing the Motion Planning Accuracy of Articulated Robots

Correlation Analysis of Factors Influencing the Motion Plann...

引用

international conference on Autonomous Robots and Agents, ICARA

作者： Oguz Kedilioglu Markus Nikol Jonas Walter Jög Franke Institute for Factory Automation and Production Systems Friedrich-Alexander-Universitat Erlangen-Niirnberg (FAU) Erlangen Germany

the motion planning accuracy of articulated robots can be increased by augmenting them with an objective function. Parameters that influence the absolute accuracy of 6-axis articulated robots can be integrated into such objective functions. However, it is still unclear how to prioritize the various influencing factors so that they can be utilized together instead of separately. Here, it is shown how to rate these factors by analyzing and comparing their impact on the accuracy of the robot. the factors manipulability, smoothness, gear backlash caused by direction change of axis rotation, joint space distance and robot layout are studied in this regard. the evaluation with a 6DoF laser tracker reveals that manipulability and smoothness have the biggest impact. With these results it is possible to combine multiple factors into a comprehensive function and achieve a higher accuracy without the necessity of applying any hardware upgrades.

关键词： Visualization Correlation Torque Service robots Tracking Layout Linear programming

来源：评论

学校读者我要写书评

暂无评论

A case study on the assembly of food parcel applying linear programming 9th

A case study on the assembly of food parcel applying linear ...

引用

9th international conference on Information Technology and Quantitative Management, ITQM 2022

作者： Dos Anjos Carvalho, Wagner De Araújo Costa, Igor Pinheiro Dos Santos, Marcos De Oliveira, Luana De Azevedo Moreira, Miguel Ângelo Lellis Kojima, Emerson Hissao Business School Brasil CE Fortaleza60170-001 Brazil Naval Systems Analysis Center Brazil RJ Rio de Janeiro20091-000 Brazil Fluminense Federal University RJ Niterói24210-240 Brazil Military Institute of Engineering Urca RJ 22290-270 Brazil

the companies increasingly need to adopt strategies that improve their decision-making, and Operational Research is one of them. Operational Research aims to represent, through mathematical models, real-life problems offering viable solutions and for this it has numerous techniques that provide organizations to achieve economies of significant scales. this article aims to present a practical application of one of these techniques, the linear programming, applied in the making of Christmas food parcel. the article aims to maximize the sales revenue of the food parcel by controlling the items that compose them and performing the possible resupplies if there were missing items in stock. this study is justified by the fact that companies working in this segment do not have an academic reference in this subject. From its construction, it was noticed that the model presented concrete results, its use and interpretation of easy understanding to the employee of the supply sector, and mainly by its daily monitoring and financial result. © 2022 the Authors. Published by Elsevier B.V.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Neural Network-Based Lyapunov Stability Verification for Continuous-Time Nonlinear Systems via Mixed Integer Linear programming

Neural Network-Based Lyapunov Stability Verification for Con...

引用

IEEE international conference on Control and Robotics Engineering (ICCRE)

作者： Jingya Wang Yongbin Yu Xiangxiang Wang Xiao Feng Xinyi Han Jingye Cai School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (数字)9798350372694

ISBN: (纸本)9798350372700

this paper discusses Lyapunov stability verification methods for continuous-time nonlinear systems. Traditional mathematical methods require a lot of manual calculations, which consume a lot of time and energy. To address the problem of the low efficiency in traditional methods, this paper introduces neural networks into the design of the Lyapunov function to achieve independent verification. First, a neural network is used to represent the Lyapunov function. then, the Lyapunov stability condition is converted into a mixed integer linear programming (MILP) problem, and the solution to the optimization problem is solved through the MILP solver to verify whether the output of the neural network satisfies the Lyapunov stability condition. In addition, this paper gives the training loss function of the Lyapunov neural network, which mainly consists of optimization problems. Finally, a simulation example is given to illustrate the effectiveness of this method.

关键词： Training Deep learning Neural networks Manuals Stability analysis Mixed integer linear programming Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Current trends in robotics in education and computational thinking 21

Current trends in robotics in education and computational th...

引用

9th international conference on Technological Ecosystems for Enhancing Multiculturality (TEEM)

作者： Jose Garcia-Penalvo, Francisco Angel Conde, Miguel Goncalves, Jose Lima, Jose Univ Salamanca Res Inst Educ Sci GRIAL Res Grp Comp Sci Dept Salamanca Spain Univ Leon Leon Spain Inst Politecn Braganca Braganca Portugal

Computational thinking-related issues have had a specific track on TEEM conference since 2016. this is the sixth edition of this track within the 2021 TEEM conference edition. this year the papers are centered on prog... 详细信息

ISBN: (纸本)9781450390668

关键词： Computational thinking robots coding in schools computational thinking skills and curriculum programming computer science in K-12 STEM STEAM

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 24 25 26 27 28 29 30 31 32 33 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：