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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

258 篇 会议
11 篇 期刊文献
7 册 图书

馆藏范围

276 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

192 篇 工学
- 167 篇 计算机科学与技术...
- 103 篇 软件工程
- 42 篇 信息与通信工程
- 30 篇 电气工程
- 21 篇 控制科学与工程
- 10 篇 电子科学与技术（可...
- 9 篇 生物工程
- 7 篇 动力工程及工程热...
- 6 篇 仪器科学与技术
- 6 篇 交通运输工程
- 5 篇 光学工程
- 5 篇 安全科学与工程
- 5 篇 网络空间安全
- 4 篇 建筑学
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 化学工程与技术
72 篇 理学
- 47 篇 数学
- 22 篇 系统科学
- 13 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
- 3 篇 化学
- 3 篇 地球物理学
35 篇 管理学
- 18 篇 管理科学与工程(可...
- 17 篇 图书情报与档案管...
- 12 篇 工商管理
6 篇 医学
5 篇 法学
- 4 篇 社会学
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
2 篇 农学
1 篇 文学
1 篇 军事学

主题

10 篇 genetic algorith...
8 篇 artificial intel...
8 篇 constraint theor...
6 篇 machine learning
6 篇 game theory
6 篇 clustering algor...
5 篇 computer science
5 篇 algorithm design...
4 篇 quality of servi...
4 篇 computational mo...
4 篇 graph theory
4 篇 computers
4 篇 decision making
4 篇 computer vision
4 篇 computer network...
3 篇 computer simulat...
3 篇 object detection
3 篇 systems engineer...
3 篇 algorithms
3 篇 logic gates

机构

3 篇 univ penn dept c...
3 篇 electronics and ...
3 篇 division of comp...
2 篇 ben-gurion unive...
2 篇 univ cambridge 6...
2 篇 duke univ dept e...
2 篇 tu wien austria
2 篇 institute of sys...
2 篇 school of mathem...
2 篇 department of co...
2 篇 dacya complutens...
2 篇 med mobile 535 2...
2 篇 college of compu...
2 篇 deis universit d...
2 篇 school of comput...
1 篇 lahore pakistan
1 篇 department of co...
1 篇 university of ca...
1 篇 dept. of mechani...
1 篇 key laboratory o...

作者

3 篇 parlato gennaro
3 篇 sokolsky oleg
3 篇 park junkil
3 篇 pajic miroslav
3 篇 lee insup
3 篇 la torre salvato...
3 篇 fischer bernd
2 篇 holeman isaac
2 篇 mohd azlishah ot...
2 篇 tomasco ermenegi...
2 篇 inverso omar
2 篇 segal michael
2 篇 lengál ondřej
2 篇 ross peter
2 篇 hamzah asyrani s...
2 篇 yahaya abd rahim
2 篇 mohd fairuz iska...
2 篇 marchetti-spacca...
2 篇 corne david
1 篇 roihan ahmad

语言

275 篇 英文
2 篇 中文

检索条件"任意字段=1st International ICST Conference on Theory and Practice of Algorithms in Computer Systems"

共 276 条记录，以下是151-160 订阅

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

详细简洁

排序：

Parallel governance for decentralized autonomous organizations enabled by blockchain and smart contracts 1

Parallel governance for decentralized autonomous organizatio...

引用

1st IEEE international conference on Digital Twins and Parallel Intelligence, DTPI 2021

作者： Ding, Wen Wen Liang, Xiaolong Hou, Jiachen Wang, Ge Yuan, Yong Li, Junqing Wang, Fei-Yue Institute of Systems Engineering Macau University of Science and Technology China School of Mathematics Renmin University of China Beijing China College of Computer Science and Engineering Shandong University of Science and Technology Qingdao China Institute of Automation Chinese Academy of Sciences State Key Laboratory for Management and Control of Complex Systems Beijing China

ISBN: (纸本)9781665433372

Decentralized autonomous organizations(DAOs) enabled by blockchain and smart contracts is regarded as an effective tool to solve corporate governance problems. It can minimize the contract risks, principal-agent dilemmas, and other issues in corporate governance. However, DAOs also face a variety of governance issues, such as internal governance issues and external governance issues caused by the technical attributes of blockchain and smart contracts. DAO is a typical complex system with the characteristics of both social and engineering complexity. It is difficult for existing governance theories to solve governance problems in DAOs. The parallel intelligence theory based on the artificial systems + computational experiments + parallel execution (ACP) method is a suitable research and practical approach to solve management and control problems for complex systems. Therefore, we propose a parallel governance framework for DAO based on the parallel intelligence theory and discuss its key research issues. Finally, we construct a parallel governance system for GnosisDAO, and conduct computational experiments on its voting mechanism. The results show the defects of GnosisDAO governance mechanism and we thus propose further research directions. We consider that parallel governance represents the future trend of DAO research and practice. This paper is aimed at stimulating further effort and providing helpful guidance and reference for future research works. © 2021 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Minor searching, normal forms of graph relabelling:: Two applications based on enumerations by graph relabelling 1st

引用

1st international conference on Foundations of Software Science and Computation structures (FoSSaCS 98) at the Joint European Conf on theory and practice of Software

作者： Bottreau, A Métivier, Y Univ Bordeaux 1 LABRI ENSERB F-33405 Talence France

ISBN: (纸本)3540643001

This paper deals with graph relabelling introduced in [LMS95]. Our first result concerns the open problem of searching a graph as a minor in a graph with a distinguished vertex, by means of graph relabellings. We give and prove a graph rewriting system which answers to this problem. Secondly we define and study normal forms of graph relabellings. We prove that any graph rewriting system can be simulated by a system in k-normal form (with an integer k depending on the original system). Proofs for both results are linked by the enumeration systems they wed.

关键词： local computations graph relabelling enumerations paths minor normal form of graph rewritings

来源：评论

学校读者我要写书评

暂无评论

1st international conference on Cognitive Computation and systems, ICCCS 2022

1st International Conference on Cognitive Computation and Sy...

引用

1st international conference on Cognitive Computation and systems, ICCCS 2022

ISBN: (纸本)9789819927883

The proceedings contain 31 papers. The special focus in this conference is on Cognitive Computation and systems. The topics include: The Survey of Self-play Method in computer Games;GK-Means SOM Algorithm Used to Plan the Paths for Multiple Agents Exploring Multiple Target Points;association Analysis of Gene Expression and Brain Image Identifies Gene Signatures in Major Depression Disorder;transfer Learning Based Seizure Detection: A Review;cognitive Computing and System Analysis of Seven Times Pass Method Applications and Its Significance;cognitive Computing and systems Analysis of Alumni Economic theory and practice;factor Space: Cognitive Computation and systems for Generalized Genes;how to Improve the Quality of Academic Conversations with the Help of Human-computer Interaction System;offline Causal Imitation Learning with Latent Confounders;Fruit Detection Based on Automatic Occlusion Prediction and Improved YOLOv5s;efficent Gradient Propagation for Robot Control and Learning;robot Navigation Using Reinforcement Learning with Multi Attention Fusion in Crowd;three-Dimensional Force Sensor Based on Deep Learning;gated Attention Unit: An Attention-Based Recurrent Neural Network in an Intelligent 3C Assembly Framework;skill Manipulation Method of Industrial Robot Based on Knowledge Graph for Assembly Scene;sponge-Based Mobile Soft Robot with Multimodal Locomotion;motion Languages for Robot Manipulation;Adaptive RBF-Neural-Network Control with Force Observer for Teleoperation Robotic System;evaluating Visual and Auditory Substitution of Tactile Feedback During Mixed Reality Teleoperation;multi-target Detection and Classification for Intelligent Vehicle Based on Deep Learning;a Novel Autoencoder for Task-Driven Object Segmentation;online static Obstacle Avoidance and Offline static Obstacle Avoidance Framework Based on Interaction Probabilistic Movement Primitives;an All-terrain Mobile Platform for Multi-Modal Perception and Traversability Estimation;feedback Attenti

关键词：

来源：评论

学校读者我要写书评

暂无评论

Power management in cloud computing using green algorithm

Power management in cloud computing using green algorithm

引用

1st international conference on Advances in Engineering, Science and Management, ICAESM-2012

作者： Yamini, R. Department of Computer Applications SRM University Kattankulathur Chennai India

ISBN: (纸本)9781467302135

The greatest environmental challenge today is global warming, which is caused by carbon emissions. Energy crisis brings green computing, and green computing needs algorithms and mechanisms to be redesigned for energy efficiency. Green IT refers to the study and practice of using computing resources in an efficient, effective and economic way. The various approaches of the green IT are Virtualization, Power Management, Material Recycling and Telecommuting. The basic principles of cloud computing is to make the computing be assigned in a great number of distributed computers rather than local computer or remote server. In fact, cloud computing is an extend of Grid Computing, Distributed Computing and Parallel Computing. It's foreground is to provide secure, quick, convenient data storage and net computing service centered by internet. Currently, a large number of cloud computing systems waste a tremendous amount of energy and emit a considerable amount of carbon dioxide. Thus, it is necessary to significantly reduce pollution and substantially lower energy usage. The analysis of energy consumption in cloud computing consider both public and private clouds. Cloud computing with green algorithm can enable more energy-efficient use of computing power. © 2012 Pillay Engineering College.

关键词： Green computing

来源：评论

学校读者我要写书评

暂无评论

Automated design and optimization of combinational circuits using genetic algorithms

引用

1st international conference on Frontiers in Intelligent Computing: theory and Applications, FICTA 2012

作者： Sagar, K. Vathsal, S. Department of Computer Science and Engineering Chitanya Bharathi Institute of Technology Hyderabad India JBIET Moinabad Hyderabad India

ISBN: (纸本)9783642353130

We introduce a method, based on genetic algorithm to automate and optimize the design of combinational circuits. Usually, logic circuits are designed by human beings who have a specific repertoire of conventional design techniques. These techniques limit the solutions that may be considered during the design process in both form and quality. The application of genetic algorithms has allowed the creation of circuits which are substantially superior to the best known human designs. We describe the important issues to consider when solving this circuit design problem : the representation scheme, the encoding scheme, the fitness function. We compare the solutions by our approach against those generated by a human designer. We also show that our approach produces better performances both in terms of quality of solution and in terms of speed of convergence. © 2013 Springer-Verlag.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Peckish initialisation strategies for evolutionary timetabling 1st

Peckish initialisation strategies for evolutionary timetabli...

引用

1st international conference on practice and theory of Automated Timetabling, PATAT 1995

作者： Corne, David Ross, Peter Parallel Emergent and Distributed Architectures Laboratory Department of Computer Science University of Reading ReadingRG6 6AY United Kingdom Department of Artificial Intelligence University of Edinburgh 80 South Bridge EdinburghEH1 1HN United Kingdom

ISBN: (纸本)3540617949

Some evolutionary algorithm (EA)/timetabling researchers find benefit from combining an EA with graph-colouring based greedy algorithms, while others opt for a simpler but faster method. We consider a combination of the two approaches, largely retaining the speed of the simpler method while adopting the greedy method to bootstrap the process. In this combination, the initial population is produced by a 'peckish' timetable construction algorithm, similar to a greedy algorithm, but less concerned with finding a best timeslot for an event at each step. We find peckish population initialisation more effective than either greedy or random initialisation on non-trivial problems. Peckish initialisation is shown to aid a simple hill-climbing approach in a simflax way. Finally, we add to the growing observation that hill-climbing often outperforms an EA on timetabling problems, but that this effect is reversed on problems of particular over constrainedness or difficulty. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Innovations in Smart Cities and Applications 1

引用

丛书名： Lecture Notes in Networks and systems

1000年

作者： Mohamed Ben Ahmed Anouar Abdelhakim Boudhir

ISBN: (数字)9783319745008

ISBN: (纸本)9783319744995

This proceedings book showcases the latest research work presented at the Second Edition of the Mediterranean Symposium on Smart City Application (SCAMS 2017), which was held in Tangier, Morocco on October 15–27, 2017. It presents original research results, new ideas and practical development experiences that concentrate on both theory and practice. It includes papers from all areas of Smart City Applications, e.g. Smart Mobility, Big Data, Smart Grids, Smart Homes and Buildings, clouds, crowds, mashups, social networks, and security issues.;The conference stimulated cutting-edge research discussions among pioneering researchers, scientists, industrial engineers, and students from all around the world. The topics covered in this book also focus on innovative issues at the international level by bringing together experts from different countries.;The scope of SCAMS 2017 included methods and practices that combine various emerginginternetworking and data technologies to capture, integrate, analyze, mine, annotate, and visualize data in a meaningful and collaborative manner.;A series of international workshops were organized as invited sessions during the SCAMS 2017:;The 2nd international Workshop on Smart Learning & Innovative Educations;The 1st international Workshop on Smart Healthcare;The 1st international Workshop on Mathematics for Smart City;The 1st international Workshop Industry 4.0 and Smart Manufacturing

关键词： Computational Intelligence Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Soft Set and genetic algorithms for association rule mining: A road map and direction for hybridization

引用

1st international conference on Frontiers in Intelligent Computing: theory and Applications, FICTA 2012

作者： Dash, Satya Ranjan Dehuri, Satchidananda School of Computer Application KIIT University Patia Bhubaneswar Odisha 751006 India Department of Information and Communication Technology Fakir Mohan University Vyasa Vihar Balasore Odisha 756019 India

ISBN: (纸本)9783642353130

Association rules have relied on user-specified threshold of support and confidence. With no prior/little domain knowledge, if the user is specifying threshold for the mining task;then there is a direct impact on quality of association rules. In this paper, we have discussed some of the early attempts of choosing automatically the user specified threshold (i.e., no user intervention to specify threshold) by soft set and genetic algorithms for association rule mining. The reason of being restricted with soft set and genetic algorithms is that: association rule using soft set is free from inadequacy of the parameterization tools, which can also deals with uncertainty. Alongside, genetic algorithms can help to user for finding out optimal threshold for generating a number of interesting and novel association rules. Furthermore, we discuss the possibility of hybridization and their future usage in association rule mining. © 2013 Springer-Verlag.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Neural networks solving free final time optimal control problem

Neural networks solving free final time optimal control prob...

引用

1st international conference on the theory and practice of Natural Computing, TPNC 2012

作者： Kmet, Tibor Kmetova, Maria Constantine the Philosopher University Tr. A. Hlinku 1 949 74 Nitra Slovakia

ISBN: (纸本)9783642338595

A neural network based optimal control synthesis is presented for solving free final time optimal control problems with control and state constraints. The optimal control problem is transcribed into nonlinear programming problem which is implemented with adaptive critic neural network. The proposed simulation methods is illustrated by the optimal control problem of photosynthetic production. Results show that adaptive critic based systematic approach holds promise for obtaining the free final time optimal control with control and state constraints. © 2012 Springer-Verlag.

关键词： Optimal control systems

来源：评论

学校读者我要写书评

暂无评论

Local and global relational consistency 1st

Local and global relational consistency

引用

1st international conference on Principles and practice of Constraint Programming, CP 1995

作者： Dechter, Rina Van Beek, Peter Department of Information and Computer Science University of California Irvine IrvineCA92717 United States Department of Computing Science University of Alberta EdmontonABT6G 2H1 Canada

ISBN: (纸本)3540602992

Local consistency has proven to be an important concept in the theory and practice of constraint networks. In this paper, we present a new definition of local consistency, called relational consistency. The new definition is relation-based, in contrast with the previous definition of local consistency, which we characterize as variable-based. It allows the unification of known elimination operators such as resolution in theorem proving, joins in relational databases and variable elimination for solving linear inequalities. We show the usefulness and conceptual power of the new definition in characterizing relationships between four properties of constraints—domain tightness, row-convexity, constraint tightness, and constraint looseness—and the level of local consistency needed to ensure global consistency. As well, algorithms for enforcing relational consistency are introduced and analyzed. © Springer-Verlag Berlin Heidelberg 1995.

关键词： Constraint theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：