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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,653 篇 会议
942 篇 期刊文献
36 册 图书

馆藏范围

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

日期分布

学科分类号

2,021 篇 工学
- 1,550 篇 计算机科学与技术...
- 1,265 篇 软件工程
- 578 篇 信息与通信工程
- 420 篇 控制科学与工程
- 268 篇 电气工程
- 211 篇 生物工程
- 208 篇 电子科学与技术（可...
- 204 篇 网络空间安全
- 190 篇 生物医学工程（可授...
- 156 篇 光学工程
- 155 篇 安全科学与工程
- 151 篇 动力工程及工程热...
- 127 篇 化学工程与技术
- 126 篇 机械工程
- 121 篇 交通运输工程
- 95 篇 仪器科学与技术
1,130 篇 理学
- 576 篇 数学
- 326 篇 物理学
- 254 篇 生物学
- 203 篇 统计学（可授理学、...
- 142 篇 化学
- 118 篇 系统科学
628 篇 管理学
- 387 篇 管理科学与工程(可...
- 279 篇 图书情报与档案管...
- 196 篇 工商管理
275 篇 医学
- 197 篇 临床医学
- 187 篇 基础医学(可授医学...
- 170 篇 公共卫生与预防医...
- 103 篇 药学(可授医学、理...
131 篇 法学
- 107 篇 社会学
68 篇 农学
62 篇 经济学
25 篇 教育学
16 篇 文学
8 篇 军事学
5 篇 艺术学

主题

231 篇 accuracy
156 篇 deep learning
134 篇 machine learning
129 篇 real-time system...
114 篇 computational mo...
111 篇 internet of thin...
111 篇 convolutional ne...
110 篇 feature extracti...
96 篇 predictive model...
86 篇 support vector m...
77 篇 training
72 篇 optimization
70 篇 technological in...
67 篇 cloud computing
67 篇 data models
66 篇 artificial intel...
63 篇 security
57 篇 machine learning...
53 篇 wireless sensor ...
49 篇 scalability

机构

115 篇 lovely professio...
105 篇 department of co...
92 篇 department of co...
64 篇 gla university d...
57 篇 department of co...
53 篇 lloyd law colleg...
46 篇 department of co...
42 篇 lloyd institute ...
42 篇 the islamic univ...
41 篇 school of comput...
39 篇 chitkara univers...
39 篇 beijing engineer...
38 篇 school of comput...
36 篇 graphic era deem...
35 篇 gla university d...
35 篇 institute of aer...
34 篇 department of co...
32 篇 graphic era deem...
30 篇 saveetha school ...
30 篇 lloyd institute ...

作者

47 篇 neeraj varshney
41 篇 varshney neeraj
37 篇 rakesh kumar
34 篇 singh ashutosh k...
33 篇 kumar rakesh
31 篇 huang heyan
28 篇 saloni bansal
27 篇 singh kamred udh...
26 篇 asha v.
25 篇 bibhuti bhusan d...
25 篇 singh teekam
25 篇 sudhansu shekhar...
24 篇 patra sudhansu s...
24 篇 saxena deepika
22 篇 kumar ankit
20 篇 n. naga saranya
20 篇 kumar gaurav
20 篇 shrivastava anur...
20 篇 anurag shrivasta...
19 篇 bansal saloni

语言

2,561 篇 英文
1,047 篇 其他
33 篇 中文
1 篇 德文
1 篇 法文

检索条件"机构=Institute for Computer Applications in Science and Engineering"

共 3631 条记录，以下是3371-3380 订阅

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

详细简洁

排序：

A Content Management Scheme in a SCORM compliant Learning Object Repository

A Content Management Scheme in a SCORM compliant Learning Ob...

引用

作者： Su, Jun-Ming Tseng, Shian-Shyong Wang, Ching-Yao Lei, Ying-Chieh Sung, Yu-Chang Tsai, Wen-Nung Department of Computer Science National Chiao Tung University Hsinchu 300 Taiwan Department of Information Science and Applications Asia University Taichung 413 Taiwan National Chiao Tung University Taiwan Taiwan Department of Computer and Information Science National Chiao Tung University College of Computer Science Asia University Institute of Computer and Information Science National Chiao Tung University Taiwan Taiwan Department of Computer Science and Information Engineering

With the rapid development of the Internet, e-learning systems have become more and more popular. For sharing and reusing teaching materials in different e-learning system, the Sharable Content Object Reference Model (SCORM) has become the most popular international standard among the existing ones. In an e-learning system, teaching materials are usually stored in a database, called the Learning Object Repository (LOR). In the LOR, a huge amount of SCORM teaching materials, including associated learning objects, will result in management problems in a wired/wireless environment. Recently, the SCORM organization has focused on devising ways to efficiently maintain, search, and retrieve desired learning objects in LORs for users. This effort is referred to as the Content Object Repository Discovery and Resolution Architecture (CORDRA). In this paper, we propose a management approach, called the Level-wise Content Management Scheme (LCMS), that can be used to efficiently maintain, search, and retrieve learning contents from a SCORM compliant LOR. LCMS includes two phases: the Construction phase and Search phase. In the former, the content structure of SCORM teaching materials (Content Package) is first transformed into a tree-like structure, called a Content Tree (CT), to represent each piece of teaching material. Based on Content Trees (CTs), the proposed Level-wise Content Clustering Algorithm (LCCAlg) then creates a multistage graph showing relationships among learning objects (LOs), e.g., a Directed Acyclic Graph (DAG), called the Level-wise Content Clustering Graph (LCCG). The LCCAlg determines the relationships among LOs in different teaching materials by clustering all of the LOs for each level from bottom to top, according to a similarity measure. Moreover, a maintenance strategy is employed to rebuild the LCCG if necessary by monitoring the condition of each node within the LCCG. The latter employs the LCCG Content Searching Algorithm (LCCG-CSAlg) to traverse

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

On the design of network-processor-based gigabit multiple-service switch

On the design of network-processor-based gigabit multiple-se...

引用

ITRE 2005 - 3rd International Conference on Information Technology: Research and Education

作者： Sheu, Tzu-Fang Huang, Nen-Fu Wu, Hung-Shen Shih, Ming-Chang Huang, Yuang-Fang Department of Computer Science National Tsing Hua University Taiwan Taiwan Institute of Communication Engineering National Tsing Hua University Taiwan Taiwan Institute of Information and System Applications National Tsing Hua University Taiwan Taiwan

ISBN: (纸本)0780389328

As the increasing users and services over the Internet, people demand faster data fetching and more reliable network services. However, the increasing network services and equipment causes the network management much more difficult. In this paper, we propose and implement a chassis-based multiple gigahit multiple-service switch (GMSS). This chassis-based GMSS aggregates several advanced network services and also provides easy upgrade and efficient management system. The architecture of GMSS and the designed of the advanced services are introduced. The implemented prototype of the GMSS is also presented in this paper. © 2005 IEEE.

关键词： computer networks

来源：评论

学校读者我要写书评

暂无评论

Application of Wu's method to symbolic model checking 05

Application of Wu's method to symbolic model checking

引用

ISSAC'05 - 2005 International Symposium on Symbolic and Algebraic Computation

作者： Mao, Weibo Wu, Jinzhao Chengdu Institute of Computer Applications Chinese Academy of Sciences Chengdu 610041 China School of Information Science and Engineering Lanzhou University Lanzhou 730000 China Universität Mannheim D7 27 68131 Mannheim Germany

ISBN: (纸本)1595930957

Model checking is widely used in verifying properties of concurrent systems. As an improvement, symbolic model checking uses OBDDs to alleviate the state explosion problem. However, the size of OBDDs greatly increases with the system becoming larger and more complex. In symbolic computation Wu's method is efficient to solve algebraic equations, and has succeeded in geometry theorem proving. In this paper, we present a framework to apply Wu's method to symbolic model checking. Briefly, symbolic model checking is carried out by using Wu's method to calculate the characteristic sets of polynomials that represent Kripke structures as well as CTL formulas. This is a new approach to model checking, and is a new successful application of Wu's method. Copyright 2005 ACM.

关键词： Set theory

来源：评论

学校读者我要写书评

暂无评论

A Secure Image Steganography using LSB, DCT and Compression Techniques on Raw Images

A Secure Image Steganography using LSB, DCT and Compression ...

引用

International Conference on Intelligent Sensing and Information Processing (ICISIP)

作者： K.B. Raja C.R. Chowdary K.R. Venugopal L.M. Patnaik Department ofComputer Science Engineering Bangalore University Department of Computer Science Engineering Bangalore University Bangalore Microprocessor Applications Laboratory Indian Institute of Science Bangalore

Steganography is an important area of research in recent years involving a number of applications. It is the science of embedding information into the cover image viz., text, video, and image (payload) without causing statistically significant modification to the cover image. The modern secure image steganography presents a challenging task of transferring the embedded information to the destination without being detected. In this paper we present an image based steganography that combines Least Significant Bit(LSB), Discrete Cosine Transform(DCT), and compression techniques on raw images to enhance the security of the payload. Initially, the LSB algorithm is used to embed the payload bits into the cover image to derive the stego-image. The stego-image is transformed from spatial domain to the frequency domain using DCT. Finally quantization and runlength coding algorithms are used for compressing the stego-image to enhance its security. It is observed that secure images with low MSE and BER are transferred without using any password, in comparison with earlier works.

关键词： Steganography Discrete cosine transforms Image coding Payloads Modems Information security Frequency domain analysis Cryptography Watermarking Filtering

来源：评论

学校读者我要写书评

暂无评论

IDEAS: intrusion detection based on emotional ants for sensors

IDEAS: intrusion detection based on emotional ants for senso...

引用

International Conference on Intelligent Systems Design and applications (ISDA)

作者： S. Banerjee C. Grosan A. Abraham Department of Computer Applications Institute of Management Studies India Department of Computer Science Babes Bolyai University Cluj-Napoca Romania School of Computer Science and Engineering Chung-Ang University South Korea

Due to the wide deployment of sensor networks recently security in sensor networks has become a hot research topic. Popular ways to secure a sensor network are by including cryptographic techniques or by safeguarding sensitive information from unauthorized access/manipulation and by implementing efficient intrusion detection mechanisms. This paper proposes a novel ant colony based intrusion detection mechanism which could also keep track of the intruder trials. The IDEAS technique could work in conjunction with the conventional machine learning based intrusion detection techniques to secure the sensor networks. The algorithm is presented and illustrated by simulating a sensor network.

关键词： Intrusion detection Monitoring Data mining Humans computer science Cryptography Telecommunication traffic Data security Wireless sensor networks Authentication

来源：评论

学校读者我要写书评

暂无评论

A label space reduction algorithm for P2MP LSPs using asymmetric tunnels

A label space reduction algorithm for P2MP LSPs using asymme...

引用

IEEE Symposium on computers and Communications (ISCC)

作者： F. Solano R. Fabregat Y. Donoso J.L. Marzo Institute of Informatics and Applications University of Girona Girona Spain Department of Computer Science and Systems Engineering Universidad del Norte Barranquilla Colombia

The aim of traffic engineering is to optimise network resource utilization. Although several works on minimizing network resource utilization have been published, few works have focused on LSR label space. This paper proposes an algorithm that uses MPLS label stack features in order to reduce the number of labels used in LSPs forwarding. Some tunnelling methods and their MPLS implementation drawbacks are also discussed. The algorithm described sets up the NHLFE tables in each LSR, creating asymmetric tunnels when possible. Experimental results show that the algorithm achieves a large reduction factor in the label space. The work presented here applies for both types of connections: P2MP and P2P.

关键词： Multiprotocol label switching Telecommunication traffic Resource management Informatics Application software Quality of service Virtual private networks Tellurium Protocols Delay

来源：评论

学校读者我要写书评

暂无评论

Emotional ant based modeling of crowd dynamics

Emotional ant based modeling of crowd dynamics

引用

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

作者： Soumya Banarjee C. Grosan A. Abraham Department of Computer Science Faculty of Mathematics and Computer Science Babes Bolyai University Cluj-Napoca Romania Department of Computer Applications Institute of Management Studies Dhradun India School of Computer Science and Engineering Chung-Ang University Seoul South Korea Department of Computer Science Babes-Bolyai University Cluj-Napoca Romania IITA Professorship Program Chung-Ang University Seoul Korea

It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people are crushed or trampled. This problem has been well researched from a socio-psychological point of view. In this paper we attempt to study and analyze the crowd behavior by using an ant colony optimization (ACO) based computational framework. The initial simulations refer to a panic situation generated in a few connected cities of a war affected country.

关键词： Biological system modeling computer science Humans Psychology computer applications engineering management Mathematics Ant colony optimization Military computing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Illustrative visualization

Illustrative visualization

引用

VIS 05: IEEE Visualization 2005, Proceedings

作者： Viola, Ivan Gröller, Meister E. Hadwiger, Markus Bühler, Katja Preim, Bernhard Sousa, Mario Costa Ebert, David S. Stredney, Don Kanitsar, Armin Bruckner, Stefan Grimm, Sören Svakhine, Nikolai A. Jang, Yun Gaithert, Kelly Tietjen, Christian Krüger, Arno Peitgen, Heinz-Otto Isenberg, Tobias Hintze, Jana Hertel, Ilka Strauß, Gero Institute of Computer Graphics and Algorithms Vienna University of Technology Austria VRVis Research Center Vienna Austria Department of Simulation and Graphics University of Magdeburg Germany Department of Computer Science University of Calgary Canada School of Electrical and Computer Engineering Purdue University United States Ohio Supercomputer Center United States Institute of Computer Graphics and Algorithms Vienna University of Technology Austria VRVis Research Center Vienna Austria Electrical and Computer Engineering Purdue University United States IEEE Austria Department of Computer Science University of Calgary Canada Department of Computer Science Computer Graphics Research Lab. University of Calgary Canada Purdue University United States Ohio Supercomputer Center United States University of Texas Austin United States Interface Laboratory United States Biomedical Applications United States Department of Simulation and Graphics Otto-von-Guericke-University of Magdeburg Germany Otto-von-Guericke-University of Magdeburg FIN/ISG Germany Institute for Simulation and Graphics Department for Computer Science Otto-von-Guericke-University of Magdeburg Universitaetsplatz 2 39106 Magdeburg Germany Center for Medical Diagnosic Systems and Visualization Universitaetsallee 29 28359 Bremen Germany Department of Simulation and Graphics Otto-von-Guericke University of Magdeburg Germany ENT Department University Hospital of Leipzig Germany

ISBN: (纸本)0780394623

The tutorial presents state-of-the-art visualization techniques inspired by traditional technical and medical illustrations. Such techniques exploit the perception of the human visual system and provide effective visual abstractions to make the visualization clearly understandable. Visual emphasis and abstraction has been used for expressive presentation from prehistoric paintings to nowadays scientific and medical illustrations. Many of the expressive techniques used in art are adopted in computer graphics, and are denoted as illustrative or non-photorealistic rendering. Different stroke techniques, or brush properties express a particular level of abstraction. Feature emphasis or feature suppression is achieved by combining different abstraction levels in illustrative rendering. Challenges in visualization research are very large data visualization as well as multi-dimensional data visualization. To effectively convey the most important visual information there is a significant need for visual abstraction. For less relevant information the dedicated image space is reduced to enhance more prominent features. The discussed techniques in the context of scientific visualization are based on iso-surfaces and volume rendering. Apart from visual abstraction, i.e., illustrative representation, the visibility of prominent features can be achieved by illustrative visualization techniques such as cut-away views or ghosted views. The structures that occlude the most prominent information are suppressed in order to clearly see more interesting parts. A different smart way to provide information on the data is using exploded views or other types of deformation. Furthermore intuitive feature classification via 3D painting and manipulation with the classified data including label placement is presented. Discussed non-photorealistic and illustrative techniques from visualization and graphics are shown from the perspective as tools for illustrators from medicine, botany, archeology

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

The preservation of interleaving equivalences

The preservation of interleaving equivalences

引用

IEEE International Conference on engineering of Complex computer Systems

作者： Jianmin Jiang Jinzhao Wu Computer Science and Information Engineering College Chongqing Technology and Business University Chongqing China Chengdu Institute of Computer Applications Chinese Academy and Sciences Chengdu China Fakultät für Mathematik und Informatik Universitat Mannheim Mannheim Germany

ISBN: (纸本)076952284X

In recent years, though many attempts have been made to solve whether equivalences are preserved under action refinement, this problem still needs to be further investigated. The usual approach to the preservation problem is: given some well-established equivalence notion which is not preserved under refinement, is there a way of adding some restricted conditions under consideration such that preservation of this equivalence in the restricted setting is obtained? Generally, one investigates how to restrict the concept of action refinement such that these equivalences are preserved under the restricted refinement. In this paper, in another way, we investigate how to find the class of suitable systems satisfying that the established equivalences on them are preserved under no restricted refinement. Interleaving trace equivalence and interleaving bisimulation equivalence which are not preserved under refinement are showed that they are preserved under refinement in the systems in which there are not causal independence relations or all the transitions are bundle action transitions.

关键词： Interleaved codes computer applications Concurrent computing Process design Algebra computer science Educational institutions Mathematical model Concrete System recovery

来源：评论

学校读者我要写书评

暂无评论

Modeling of human driving behavior based on piecewise linear model

Modeling of human driving behavior based on piecewise linear...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Jong-Hae Kim S. Okuma Young-Woo Kim Don-Ha Hwang Min-Huei Kim Dong-Hee Kim Department of Electrical Engineering and Computer Science Graduate School of Engineering University of Nagoya Japan Space Robotics Research Center Toyota Technological Institute Nagoya Japan Industry Applications Research Laboratory Korea Electrotechnology Research Institute Changwon South Korea Department of Electrical & Automation Engineering Yeungnam College of Science and Technology Daegu South Korea Department of Electrical Engineering Yeungnam University Kyungbuk South Korea

This paper presents the development of the modeling strategy of the human driving behavior based on the expression as Piecewise Linear (PWL) model focusing on the driver’s stopping maneuver. The driving data are collected by using the three-dimensional driving simulator based on CAVE, which provides stereoscopic immersive vision. In our modeling, the relationship between the driver’s sensory information and the operation of the driver such as braking amount is expressed by PWL model, which is a class of Hybrid Dynamical System (HDS). The identification problem for the PWL model is formulated as the Mixed Integer Linear Programming (MILP) by transforming the switching conditions into binary variables. From the obtained results, it is found that the driver appropriately switches the ‘control low’ according to the sensory information. These results enable us to capture not only the physical meaning of the driving skill, but also the decision-making aspect (switching conditions) in the driver’s stopping maneuver.

关键词： Humans Piecewise linear techniques Hidden Markov models Decision making computer science Space technology Robotics and automation Switches Automatic control Service robots

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共364页 << < 334 335 336 337 338 339 340 341 342 343 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：