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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,801 篇 会议
355 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,233 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,596 篇 工学
- 3,093 篇 计算机科学与技术...
- 2,589 篇 软件工程
- 586 篇 信息与通信工程
- 437 篇 控制科学与工程
- 343 篇 电气工程
- 230 篇 机械工程
- 200 篇 电子科学与技术（可...
- 194 篇 生物工程
- 142 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 100 篇 动力工程及工程热...
- 94 篇 土木工程
- 83 篇 交通运输工程
- 82 篇 仪器科学与技术
- 82 篇 材料科学与工程（可...
994 篇 理学
- 559 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 170 篇 物理学
- 152 篇 统计学（可授理学、...
- 77 篇 化学
803 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 290 篇 图书情报与档案管...
143 篇 医学
- 120 篇 临床医学
- 110 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
224 篇 software
175 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
130 篇 computer communi...
114 篇 computer science
110 篇 software enginee...
109 篇 hardware
109 篇 computer softwar...
102 篇 real-time system...
94 篇 control systems
90 篇 computer aided s...
74 篇 software systems
72 篇 computational mo...
72 篇 software design
71 篇 software archite...
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
7 篇 sturm arnon
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,054 篇 英文
155 篇 其他
40 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5237 条记录，以下是4091-4100 订阅

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

详细简洁

排序：

Light-addressable potentiometric penicillin image sensor using the self-assembled monolayer immobilizing method

Light-addressable potentiometric penicillin image sensor usi...

引用

13th International conference on Solid-State Sensors and Actuators and Microsystems, TRANSDUCERS '05

作者： Jang, Su-Won Lee, Sun-Young Lee, Kwang-Man Kwon, Dae-Hyuk Kang, Shin-Won Department of Electronic Engineering Kyungpook National University Korea Republic of Faculty of Electrical and Electronic Engineering Cheju National University Korea Republic of Department of Electronic and Information Engineering Kyungil University Korea Republic of School of Electrical Engineering and Computer Science Kyungpook National University Korea Republic of

ISBN: (纸本)0780389948

In this study, the LAPSs(Light Addressable Potentiometric Sensors) which have devices of Si3N4/SiO2/Si, Ta 2O5/SiO2/Si structure were fabricated. Also, it was investigated the response characteristics to penicillin concentration and detected the 2-D images of 128 × 128 pixels. the penicillinase was immobilized on the devices to hydrolyze the penicillin using self-assembled monolayer(SAM) method. the measuring system was simplified by using LabVIEW software. the result of the enzyme reaction, the sensitivity of the sensor which has Si3N4 surfaces was 60 mV/decade and Ta 2O5 surfaces was 74 mV/decade in the range of 0.1 mM ∼ 10 mM of the penicillin concentration. Image detecting time by an enzyme reaction between penicillin and penicillinase took about 10 minutes at 128 × 128 pixels in 1 × 1 cm sensing area. © 2005 IEEE.

关键词： Image sensors

来源：评论

学校读者我要写书评

暂无评论

LRC-RED: A self-tuning robust and adaptive AQM scheme

LRC-RED: A self-tuning robust and adaptive AQM scheme

引用

6th International conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005

作者： Xiong, Naixue Yang, Yan Défago, Xavier He, Yanxiang School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai Nomi Ishikawa Japan State Key Lab of Software Engineering Computer School Wuhan University China Computer School Wuhan University of Science and Technology China

ISBN: (纸本)0769524052

In this paper, we propose a novel active queue management (AQM) scheme based on the Random Early Detection (RED) of the loss ratio and the total sending rate control, called LRC-RED, to regulate the queue length with small variation and to achieve high utilization with small packet loss. this scheme measures the latest packet loss ratio, and uses it and the total sending rate as complements to queue length in order to dynamically adjust packet drop probability. Further, we also provide the design rules for this scheme based on the well-known TCP control model. On the basis of the design rules, we develop a simple, scalable and systematic rule for tuning the control parameters which can be adaptive to dynamic network conditions. through ns 2 simulations, we show the faster response time and better robustness of the proposed LRC-RED as compared with the Loss Ratio based RED (LRED) [5] algorithm.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Keynote address II: Domain-specific modeling: No one size fits all

引用

8th International conference on Model Driven engineering Languages and systems, MoDELS 2005

作者： Tolvanen, Juha-Pekka MetaCase Finland

ISBN: (纸本)3540290109

After 10 years of UML we have still not overcome the problems of the CASE tools of the 1980s. Imposing a "one size fits all" modeling language and generators has not significantly increased developers' productivity. Domain-Specific Modeling (DSM) provides a viable solution for improving development productivity by moving the focus from implementation concepts to problem domain concepts. With DSM, a new modeling language is created for each problem domain, with elements representing concepts from the domain world, not the code world. the DSM language follows domain abstractions and rules, guiding developers and allowing them to perceive themselves as working directly with domain concepts. When the domain is narrowed down to fit a single company's needs, domain-specific code generators can automatically produce full code straight from the models. Industrial experiences of this approach have consistently shown productivity increasing by a factor of 5-10. this talk introduces DSM and shows a series of real-life examples from various fields of software product development, ranging from embedded cell phone software to B2B J2EE web sites. these cases illustrate a wide variety of design and generation requirements and demonstrate how different languages can support different kinds of modeling work. Having a modeling language focused on a given domain allows better code generation, optimization, error detection and reuse. Defining a language and generator is usually considered a difficult task: this is certainly true if you try to make one language for everyone. the task eases considerably if you need make it for just one problem domain in one company areas where you are the experts. In the second part of the talk we will explore the principles of creating DSM languages and generators: how to identify the necessary language constructs, different ways of building code generation, and how to deal with evolution of the DSM language. © Springer-Verlag Berlin Heidelberg 2005.

关键词： computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

Advances in computer systems Architecture计算机体系结构进展 1

引用

丛书名： Lecture Notes in computer Science 3740

2005年

作者： Srikanthan, T. Srikanthan, thambipillai Xue, Jingling

ISBN: (数字)9783540321088

ISBN: (纸本)9783540296430

this book constitutes the refereed proceedings of the 10th Asia-Pacific computer systems Architecture conference, ACSAC 2005, held in Singapore in October *** 65 revised full papers presented were carefully reviewed and selected from 173 submissions. the papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management.

关键词： computer architecture Congresses.

来源：评论

学校读者我要写书评

暂无评论

An application of information retrieval technique to automated code classification

An application of information retrieval technique to automat...

引用

9th International conference on Knowledge-Based Intelligent Information and engineering systems, KES 2005

作者： Lim, Heui Seok Lee, Seong Hoon Dept. of Software Hanshin University Korea Republic of Dept. of Information and Communications Cheonan University Korea Republic of

ISBN: (纸本)3540288945

this paper describes an application of information retrieval techniques to automated industry and occupation code classification for Korean Census records. the purpose of the proposed system is to convert natural language responses on survey questionnaires into corresponding numeric codes according to standard code book from the Census Bureau. the system was experimented with 46,762 industry records and occupation 36,286 records using 10-fold cross-validation evaluation method. As experimental results, the system showed 87.08% and 66.08% production rates when classifying industry records into level 2 and level 5 codes respectively. In semi-automated mode, it showed 99.10% and 92.88% production rates for level 2 and level 5 codes respectively. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Model-driven development of enterprise applications 1

引用

7th Satellite Activities conference on UML Modeling Languages and Applications

作者： Kulkarni, V Reddy, S Tata Res Dev & Design Ctr Pune Maharashtra India

ISBN: (数字)9783540317975

ISBN: (纸本)3540250816

Modern business systems need to cater to rapidly evolving business requirements in an ever-shrinking window of opportunity. Modern business systems also need to keep pace with rapid advances in technology. For developing large and complex applications, industrial practice has traditionally used a combination of non-formal notations and methods. Different notations are used to specify the properties of different aspects of an application and these specifications are transformed into their corresponding implementations through the steps of a development process. the development process relies heavily on manual verification to ensure the different pieces integrate into a consistent whole. this is an expensive and error-prone process demanding large teams with broad-ranging expertise in business domain, architecture and technology platforms. We present a model-driven development approach that addresses this problem by providing a set of modeling notations for specifying different layers of a system namely user interface, application functionality and database;a set of code generators that transform these models into platform-specific implementations;an abstraction for organizing application specification into work-units and an associated tool-assisted development process. Models, being at a higher level of abstraction, are easier to understand and verify for properties of interest. Model based code generation incorporating proven design and architectural patterns results in significant gains in productivity and uniformly high quality. Models defined using these different notations are instances of a single meta model. this enables well-formedness constraints to be specified between different models ensuring their consistency leading to smooth integration of implementations of these models. the approach has been used extensively to construct medium and large-scale enterprise applications resulting in improved productivity, better quality and platform independence. We als

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Recovery method based on communicating extended finite state machine (CEFSM) for mobile communications

Recovery method based on communicating extended finite state...

引用

IEEE International conference on engineering of Complex computer systems

作者： M.Z. Beiroumi V.B. Iversen Motorola CGISS Glostrup Denmark Research Center COM Technical University of Denmark Lyngby Denmark

Fast recovery from software and hardware failures is very essential to communication systems, especially, when it is used for mission-critical applications such as public safety systems. A failure in the network infrastructure can affect a large number of users and may result in loss of lives. the infrastructure software applications that provide services to the mobile stations according to some defined communication protocols play a key role for system availability. the real-time peer-to-peer nature of these communication protocols poses a real challenge in developing a recovery mechanism that can work in such environments. In this paper, we introduce a new recovery method that takes into account the layered architecture of the communication protocols and their peer-to-peer communication pattern. the method is based on communicating extended finite state machine and does not assume transient and fail-stop failures. Furthermore, an experimental testbed has been implemented to evaluate our new approach. the experimental results have shown that the infrastructure applications can reliably recover and quickly restore the servicing level that the system was performing immediately prior to the failure. Moreover, the failure-free overhead caused by this approach is relatively low, and is experimentally found to be less than 5%.

关键词： Automata Mobile communication Protocols Communication system software software safety Application software Peer to peer computing Hardware Mission critical systems Availability

来源：评论

学校读者我要写书评

暂无评论

A principal component neural network-based face recognition system and ASIC implementation

A principal component neural network-based face recognition ...

引用

International conference on VLSI Design

作者： Chakka Siva Sai Prasanna N. Sudha V. Kamakoti Department of Computer Science and Engineering Indian Institute of Technology Madras India

ISBN: (纸本)0769522645

Principal component analysis (PCA) finds wide usage in computer-aided vision applications and one such application is face recognition. the neural network that performs PCA is called a principal component neural network (PCNN). this paper presents a new PCNN-based face recognition system. the proposed recognition system can tolerate local variations in the face such as expression changes and directional lighting. An optimal digital hardware design is proposed for PCNN. An ASIC implementation of the proposed design yields a throughput of processing about 11,000 inputs per second during the training phase and about 19,000 inputs per second during the retrieval phase. the customized hardware-based recognition is about 10/sup 5/ times faster than a software-based recognition in a PC. Such results are valuable for high-speed applications.

关键词： Neural networks Face recognition Application specific integrated circuits Principal component analysis Application software computer applications computer vision Face detection Hardware throughput

来源：评论

学校读者我要写书评

暂无评论

Scale-space Based Corner Detection of Gray Level Images Using Plessey Operator

Scale-space Based Corner Detection of Gray Level Images Usin...

引用

International conference on Information, Communications and Signal Processing

作者： Xinting Gao Wenbo Zhang F. Sattar R. Venkateswarlu E. Sung School of Electrical and Electronic Engineering Nanyang Technological University Singapore Nanyang Technological University Singapore Singapore SG Institute for Infocomm Research Singapore

this paper proposes a multiscale corner detection method for gray level images based on scale-space theory and Plessey operator. the proposed method solves three problems existing in the original Plessey detector. First, it works in the scale-space domain, so it detects corners belonging to different scales instead of a certain scale. Second, only one parameter needs to be set instead of three parameters needed in the original Plessey method. third, delocalization is a well-known inherent drawback of the Plessey corner operator and it will increase with the scale at which it operates. the proposed algorithm solves the problem by detecting the corners from small scale to large scale, then track back from large scale to small scale. As the delocalization in the smallest scale can be ignored, the proposed method obtain the accurate localization. this proposed multiscale scheme can also be applied to other spatial corner detectors to improve their performances. the simulation results and the application in stereo matching show the improved performance of the proposed method compared with the original Plessey detector and the SUSAN detector

关键词： Detectors Large-scale systems Application software Stereo vision Signal to noise ratio computer vision Image processing Humans Visual system Visual perception

来源：评论

学校读者我要写书评

暂无评论

theory of infinite streams and objects

Theory of infinite streams and objects

引用

2005 conference on Specification and Verification of Component-Based systems, SAVCBS 2005

作者： Chekin, Konstantin Institute of Theoretical Computer Science Dresden University of Technology DresdenD-01062 Germany

ISBN: (纸本)1595933719

this paper provides a theory of infinite streams and objects, which contains our point of view on the problem of formal modelling of behaviors of objects and their systems with big or infinite number of internal states. the most closed analogue of our theory are the theory of finite automata, FOCUS theory of M. Broy and K. Stolen [4] and Reo calculus introduced by F. Arbab and J. Rutten [3] together with its alternative semantics given by constraint finite automata in [2]. In FOCUS objects are described in terms of their input/output behaviors given by sets of stream processing functions. In the coalgebraic semantics of Reo objects are modelled by means of relations on timed data streams. the second semantics of Reo uses constrain finite automata to describe objects. theory of infinite streams and objects differs cardinally: 1) from the automata theory, FOCUS theory and Reo calculus so, that we use infinite streams for modelling of internal variables as well as for inputs and outputs of objects;2 from FOCUS and Reo so, that we work with all involved streams concurrently and synchronously. In our theory we give up the representation of an object through its states and switch to the representation through the sets of all admissible behaviors of interface streams and internal streams constituting the object. this provides our theory of infinite streams and objects greater expressive power than theory of finite automata and moreover than push-down automata the use of streams gives us uniform way for modelling of inputs, outputs and internal variables of objects, simplifies object's definitions, and renders possible our theory to be not afraid of the object's dimensionality increase. A side benefit of the suggested theory is presence of the algorithm for automatic obtaining of the formal model of a system from the given models of objects constituting the system and their topology in the system. We use the theory of universal coalgebras [5] to describe semantics of our th

关键词： Finite automata

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 406 407 408 409 410 411 412 413 414 415 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：