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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Minimum spanning tree based clustering using partitional approach

引用

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

作者： Edla, Damodar Reddy Jana, Prasanta K. Department of Computer Science and Engineering Indian School of Mines Dhanbad Jharkhand 826 004 India

ISBN: (纸本)9783642353130

Graph-based clustering techniques have widely been researched in the literature. Mst-based clustering is the well known graph-based model in producing the clusters of arbitrary shapes. However, the Mst-based clustering methods suffer from high computational complexity (i.e. quadratic). In this paper, we propose a partitional approach not only to speed up the Mst-based clustering, but also to identify the outlier points. Initially, a squared error clustering algorithm is used as a pre-processing stage for Mst-based clustering. Then the Mst-based approach is applied on the representative points (centroids) of the sub-clusters produced by the squared error clustering method. The local outlier factor is used to deal with the outliers. We have performed wide-ranging experiments on several synthetic and real world data sets. The results of the multi-dimensional data are evaluated using the computation time of the algorithms. © 2013 Springer-Verlag.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

LCV: A Verification Tool for Linear Controller Software 25th

LCV: A Verification Tool for Linear Controller Software

引用

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)

作者： Park, Junkil Pajic, Miroslav Sokolsky, Oleg Lee, Insup Univ Penn Dept Comp & Informat Sci 200 S 33Rd St Philadelphia PA 19104 USA Duke Univ Dept Elect & Comp Engn Durham NC USA

ISBN: (纸本)9783030174620;9783030174613

In the model-based development of controller software, the use of an unverified code generator/transformer may result in introducing unintended bugs in the controller implementation. To assure the correctness of the controller software in the absence of verified code generator/transformer, we develop Linear Controller Verifier (LCV), a tool to verify a linear controller implementation against its original linear controller model. LCV takes as input a Simulink block diagram model and a C code implementation, represents them as linear time-invariant system models respectively, and verifies an input-output equivalence between them. We demonstrate that LCV successfully detects a known bug of a widely used code generator and an unknown bug of a code transformer. We also demonstrate the scalability of LCV and a real-world case study with the controller of a quadrotor system.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Advanced computer and Communication Engineering Technology 1

引用

丛书名： Lecture Notes in Electrical Engineering

1000年

作者： Hamzah Asyrani Sulaiman Mohd Azlishah Othman Mohd Fairuz Iskandar Othman Yahaya Abd Rahim Naim Che Pee

ISBN: (数字)9783319076744

ISBN: (纸本)9783319076737;9783319384160

This book covers diverse aspects of advanced computer and communication engineering, focusing specifically on industrial and manufacturing theory and applications of electronics, communications, computing and information technology. Experts in research, industry, and academia present the latest developments in technology, describe applications involving cutting-edge communication and computer systems and explore likely future directions. In addition, access is offered to numerous new algorithms that assist in solving computer and communication engineering problems. The book is based on presentations delivered at ICOCOE 2014, the 1st international conference on Communication and computer Engineering. It will appeal to a wide range of professionals in the field, including telecommunication engineers, computer engineers and scientists, researchers, academics and students.

关键词： Communications Engineering, Networks Data Mining and Knowledge Discovery Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Model-Algorithmic Support for Abilities Calculating of Control System Based on Projection Operators 8th

Model-Algorithmic Support for Abilities Calculating of Contr...

引用

8th computer Science On-Line conference (CSOC)

作者： Sokolov, Boris Ushakov, Vitaly Russian Acad Sci St Petersburg Inst Informat & Automat 14th Line 39 St Petersburg 199178 Russia St Petersburg State Univ Aerosp Instrumentat Bolshaya Morskaya St 67 St Petersburg 190000 Russia

ISBN: (纸本)9783030198138;9783030198121

One of the important problems in moving objects control system is the calculating of goal abilities, i.e., potential of the system to perform its missions in different situations. Thus, the preliminary analysis of information and technological and goal abilities of moving objects control system is very important in practice and can be used to obtain reasonable means of the moving objects exploitation under different conditions. In the paper model-algorithmic support for abilities calculating of control system based on projection operators are proposed.

关键词： Moving objects control system Optimal control Reachability area Orthogonal projection Projection operator Complex dynamic objects Interdisciplinary approach Python

来源：评论

学校读者我要写书评

暂无评论

Automatic Verification of Finite Precision Implementations of Linear Controllers 23rd

Automatic Verification of Finite Precision Implementations o...

引用

23rd international conference on Tools and algorithms for the Construction and Analysis of systems (TACAS) Held as Part of the 19th European Joint conferences on theory and practice of Software (ETAPS)

作者： Park, Junkil Pajic, Miroslav Sokolsky, Oleg Lee, Insup Univ Penn Dept Comp & Informat Sci 200 S 33Rd St Philadelphia PA 19104 USA Duke Univ Dept Elect & Comp Engn Durham NC 27706 USA

ISBN: (纸本)9783662545775;9783662545768

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller's mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model and the specification by similarity checking. We show how to automatically verify the correctness of floating-point controller implementation in C language using the combination of techniques such as symbolic execution and convex optimization problem solving. We demonstrate the scalability of our approach through evaluation with randomly generated controller specifications of realistic size.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Scalable Verification of Linear Controller Software 22nd

Scalable Verification of Linear Controller Software

引用

22nd international conference on Tools and algorithms for the Construction and Analysis of systems (TACAS) held as Part of the European Joint conferences on theory and practice of Software (ETAPS)

作者： Park, Junkil Pajic, Miroslav Lee, Insup Sokolsky, Oleg Univ Penn Dept Comp & Informat Sci 200 S 33Rd St Philadelphia PA 19104 USA Duke Univ Dept Elect & Comp Engn Durham NC 27706 USA

ISBN: (纸本)9783662496749;9783662496732

We consider the problem of verifying software implementations of linear time-invariant controllers against mathematical specifications. Given a controller specification, multiple correct implementations may exist, each of which uses a different representation of controller state (e.g., due to optimizations in a third-party code generator). To accommodate this variation, we first extract a controller's mathematical model from the implementation via symbolic execution, and then check input-output equivalence between the extracted model and the specification by similarity checking. We show how to automatically verify the correctness of C code controller implementation using the combination of techniques such as symbolic execution, satisfiability solving and convex optimization. Through evaluation using randomly generated controller specifications of realistic size, we demonstrate that the scalability of this approach has significantly improved compared to our own earlier work based on the invariant checking method.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Hyperspectral Band Selection Based on Variants of Rough Set theory 1st

Hyperspectral Band Selection Based on Variants of Rough Set ...

引用

1st international conference on Electronic systems and Intelligent Computing, ESIC 2020

作者： Barman, Barnali Patra, Swarnajyoti Department of Computer Science & Engineering Tezpur University TezpurAssam784028 India

ISBN: (纸本)9789811570308

To deal with the arduous task of hyperspectral image classification band selection is a prominent approach broadly used in the literature. Rough set (RS) theory is a paradigm suitable for handling uncertain, incomplete, and vague data. By incorporating various concepts, classical RS has been extended for band selection capable of handling those problems that classical RS cannot deal with. Four forward greedy hyperspectral band selection algorithms are empirically studied in this paper achieved using the rough set, variable precision rough set, tolerance rough set, and neighborhood rough set. The usefulness of these state-of-the-art techniques is gauged in terms of average overall classification accuracy, average kappa accuracy, and standard deviation acquired by using support vector machine classifier on two real hyperspectral data sets. © 2020, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Passive decoy state quantum key distribution

Passive decoy state quantum key distribution

引用

1st international conference on Quantum Communication and Quantum Networking, QuantumComm 2009

作者： Curty, Marcos Moroder, Tobias Xiongfeng, Ma. Lütkenhaus, Norbert Department of Signal Theory and Communications ETSI Telecomunicación University of Vigo E-36310 Vigo Spain Institute for Quantum Computing University of Waterloo Waterloo ON N2L 3G1 Canada Quantum Information Theory Group Institut für Theoretische Physik I University of Erlangen-Nürnberg 91058 Erlangen Germany

ISBN: (纸本)3642117309

The use of decoy states enhances the performance of practical quantum key distribution systems significantly by monitoring the quantum channel in a more detailed way. While active modulation of the intensity of the pulses is an effective way of preparing decoy states in principle, in practice passive preparation might be desirable in some scenarios. Known passive methods involve parametric down-conversion. In this paper we show how phase randomized coherent states can be used for the same purpose. Our method involves only linear optics together with a simple threshold photon detector. The performace is comparable to the active decoy methods. © Institute for computer Sciences, Social-Informatics and Telecommunications Engineering 2010.

关键词： Quantum cryptography

来源：评论

学校读者我要写书评

暂无评论

1st international Workshop on Automatic Verification Methods for Finite state systems, 1989

1st International Workshop on Automatic Verification Methods...

引用

1st international Workshop on Automatic Verification Methods for Finite state systems, 1989

ISBN: (纸本)9783540521488

The proceedings contain 31 papers. The special focus in this conference is on Automatic Verification Methods for Finite state systems. The topics include: Process calculi, from theory to practice: Verification tools;fair smg and linear time model checking;network grammars, communication behaviors and automatic verification;cCS, liveness, and local model checking in the linear time mu-calculus;implementing a model checking algorithm by adapting existing automated tools;on-line model-checking for finite linear temporal logic specifications;timing assumptions and verification of finite-state concurrent systems;specifying, programming and verifying real-time systems using a synchronous declarative language;modal specifications;testing equivalence as a bisimulation equivalence;automated verification of timed transition models;temporal logic case study;the complexity of collapsing reachability graphs;what are the limits of model checking methods for the verification of real life protocols?;requirement analysis for communication protocols;state exploration by transformation with lola;parallel protocol verification: The two-phase algorithm and complexity analysis;formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore;combining CTL, trace theory and timing models;localized verification of circuit descriptions;the concurrency workbench;verification of synchronous sequential machines based on symbolic execution;parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition;argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra;using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications;verifying properties of large sets of processes with network invariants;a method for verification of trace and test equivalence.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A compositional theory of constraint hierarchies (operational semantics)

A compositional theory of constraint hierarchies (operationa...

引用

Workshop on Over-Constrained systems, held as part of 1st international conference on Principles and practice of Constraint Programming, CP 1995

作者： Jampel, Michael Department of Computer Science City University Northampton Square LondonEC1V OHB United Kingdom

ISBN: (纸本)3540614796

We propose a variant of the Hierarchical Constraint Logic Programming (HCLP) scheme of Borning, Wilson, and others. We consider compositionality and incrementality in Constraint Logic Programming, introduce HCLP, and present Wilson’s proof that it is non-compositional. We define a scheme which uses bags (multisets) called BCH (Bags for the Composition of Hierarchies) for composing together solutions to individual hierarchies;it calculates a superset of the solutions expected from HCLP. We prove that BCH is compositional. We then define FGH (Filters, Guards, Hierarchies), a non-compositional scheme which removes precisely those BCH solutions which are unacceptable to HCLP. Thus we separate HCLP into two parts, one compositional and one non-compositional. © 1996, Springer Verlag. All rights reserved.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共28页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：