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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,396 篇 会议
132 篇 期刊文献
76 册 图书

馆藏范围

3,602 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,403 篇 工学
- 1,901 篇 计算机科学与技术...
- 1,151 篇 软件工程
- 419 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 交通运输工程
- 55 篇 材料科学与工程（可...
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
674 篇 理学
- 485 篇 数学
- 104 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 50 篇 化学
404 篇 管理学
- 339 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 102 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
185 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
83 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
64 篇 parallel program...
56 篇 software enginee...
54 篇 costs
51 篇 mathematical mod...
48 篇 computer program...
47 篇 heuristic algori...
42 篇 quadratic progra...
42 篇 artificial intel...

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,431 篇 英文
144 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3604 条记录，以下是2061-2070 订阅

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

详细简洁

排序：

Ambiguity spotting using wordnet semantic similarity in support to recommended practice for Software Requirements Specifications

Ambiguity spotting using wordnet semantic similarity in supp...

引用

IEEE international conference on Natural Language Processing and Knowledge Engineering (NLP-KE)

作者： Jin Matsuoka Yves Lepage IPS Waseda University Kitakyushu Japan

Word Sense Disambiguation is a crucial problem in documents whose purpose is to serve as specifications for automatic systems. the combination of different techniques of Natural Language Processing can help in this task. In this paper, we show how to detect ambiguous terms in Software Requirements Specifications. And we propose a computer-aided method that signals the reader for possibly ambiguous usage of terms. the method uses compound term measure (C-value), WordNet semantic similarity (WordNet wup_similarity) and a proposed semantic similarity measure between sentences.

关键词： Semantics Natural language processing Software Lighting programming Compounds IEEE standards

来源：评论

学校读者我要写书评

暂无评论

Optimistic Concurrency Control for multihop sensor networks

Optimistic Concurrency Control for multihop sensor networks

引用

international Wireless Communications and Mobile Computing conference, IWCMC

作者： Onur Soysal Bahadir Ismail Aydin Murat Demirbas Google Mountain View CA USA Computer Science & Engineering Department State University of New York University at Buffalo USA

In this study, we provide a lightweight singlehop primitive, Read-All-Write-Self (RAWS), that achieves optimistic concurrency control. RAWS guarantees serializability, which simplifies implementation and verification of distributed algorithms, compared to the low level message passing model. We also present a self-stabilizing multihop extension of RAWS, called Multihop Optimistic Concurrency Control Algorithm (MOCCA), to address the challenges of multihop networks. We implement RAWS on motes and investigate the effects of message loss over this novel primitive.

关键词： Color Concurrency control Concurrent computing Wireless sensor networks Spread spectrum communication programming Safety

来源：评论

学校读者我要写书评

暂无评论

Integrate social simulation content with game designing curriculum to foster computational thinking

Integrate social simulation content with game designing curr...

引用

international conference on Digital Content, Multimedia Technology and its Applications (IDC)

作者： Chih-Kai Chang Department of Information and Learning Technology National University of Tainan Taiwan

Computational thinking is a fundamental analytical ability to solve problems, design systems, and understand human behavior based on the fundamental concepts of computer science. the concept of computational thinking is almost needed on every profession in the computerization of society. Teaching computational thinking to cultivate problem solving ability by computer is a challenge of computer science education, especially for the K-12 level. Although studies introduce computational concepts by programming design, computational thinking and computer science are not computer programming. the study uses social simulation content (i.e. NetLogo, which uses muti-agent technology) to scaffold learning computational thinking concepts, such as simple genetic algorithm, parallel computing, artificial neural net, or deadlock (such as dining philosophers). To stimulate learning transfer onto computational thinking, NetLogo models library will be used to motivate reflection and meta-cognition development. Preliminary experimental results came from both questionnaires and artifacts. In the future, Gero's (1990) function-behaviour-structure (FBS) ontology will be used for the qualitative analysis to explain the outcomes of learning transfer.

关键词： Computational modeling Object oriented modeling Brain modeling programming profession Biological system modeling Computer languages

来源：评论

学校读者我要写书评

暂无评论

Multiobjective genetic programming with adaptive clustering

Multiobjective genetic programming with adaptive clustering

引用

IEEE international conference on Intelligent Computer Communication and Processing (ICCP)

作者： Lavinia Ferariu Bogdan Burlacu Department of Automatic Control and Applied Informatics Gheorghe Asachi Technical University of Iasi Iasi Romania

this paper presents a new approach meant to provide an automatic design of feed forward neural models by means of multiobjective graph genetic programming. the suggested algorithm can deal with partially interconnected neural architectures and various types of global and local neurons within each hidden neural layer. It concomitantly ensures the reduction of variables and the selection of convenient model structures and parameters, by working on a set of graph-based encrypted individuals built via genetic programming with the guarantee of phenotypic and genotypic validity. In order to provide a realistic assessment of the neural models, the optimization is carried out subject to multiple objectives of different priorities. In relation to this idea, the authors propose a new Pareto-ranking strategy, which progressively guides the search towards the preferred zones of the exploration space. the fitness assignment procedure monitors the phenotypic diversity of the best individuals, as well as the convergence speed of the algorithm, and exploits the resulted heuristics for performing a preliminary clustering of individuals. the experimental trials targeting the identification of an industrial system show the capacity of the suggested approach to automatically build simple and precise models, whilst dealing with noisy data and scarce a priori information.

关键词： Neurons Clustering algorithms Accuracy Training Algorithm design and analysis Cryptography Genetics

来源：评论

学校读者我要写书评

暂无评论

Structural features of ball-milled nanostructured K₂Bi₈Se₁₃ thermoelectric material

Structural features of ball-milled nanostructured K<sub>2</s...

引用

7th international conference on Nanosciences and Nanotechnologies (NN10)

作者： Lioutas, Ch. B. Hatzikraniotis, E. Ioannou, M. Paraskevopoulos, K. M. Kyratsi, th. Univ Cyprus Dept Mech & Mfg Engn CY-1678 Nicosia Cyprus Aristotle Univ Thessaloniki Solid State Phys Sect Dept Phys GR-54124 Thessaloniki Greece

In this work. K2Bi8Se13 material was ball-milled in order to develop nanostructures through the modification of structural features. Structural changes during ball-milling were followed by powder X-ray diffraction measurements, Scanning Electron Microscope images and High Resolution and conventional Transmission Electron Microscopy studies. Powder X-ray diffraction patterns presented a significant broadening in the peak patterns with the increase of the ball-milling time that was attributed to the formation of nanocrystalline as well as amorphous material. TEM studies showed the formation of K2Bi8Se13 nanostructured material consisting of nanocrystals that were surrounded by an amorphous matrix. Preliminary measurements of thermoelectric properties have shown that Seebeck coefficient is increased in ball-milled samples where as thermal conductivity is decreased. Sintering process that was applied on the ball-milled material leads to its recrystallization and the growth of grains. (C) 2011 Elsevier B.V. All rights reserved.

关键词： TEM studies Powder X-ray diffraction Seebeck coefficient thermal conductivity

来源：评论

学校读者我要写书评

暂无评论

Approach to predict the software reliability with different methods

Approach to predict the software reliability with different ...

引用

international conference on Electrical and Electronics Engineering, ELECO

作者： Ossmane Krini Josef Börcsök Computer Architecture and System Programming University of Kassel Germany

this particular essay expounds upon how one can foresee and predict software reliability. there are two major components that exist within a computer system: hardware and software. the reliabilities between the two are comparable because both are stochastic processes, which can be described by probability distributions. With this said, software reliability is the probability that will function without failure in a given software and in a given environment during a specified period of time. thus, this is why software reliability is a major and key factor in software developmental processes and quality. However, one can spot the difference between software reliability and hardware reliability where it concerns the quality duration and the fact that software reliability does not decrease its reliability over time.

关键词： Software reliability Software Mathematical model Shape Hazards Weibull distribution

来源：评论

学校读者我要写书评

暂无评论

Estimation and evaluation of the 1004-architecture for safety related systems

Estimation and evaluation of the 1004-architecture for safet...

引用

international conference on Electrical and Electronics Engineering, ELECO

作者： Josef Börcsök Ali Hayek Computer Architecture and System Programming University of Kassel Kassel Germany

In the standard IEC 61508 miscellaneous architectures for safety related systems are introduced. Depending on the required safety, reliability and availability levels several architectures such as 1oo2-, 2oo2-, 1oo3-, and 2oo3-architectures can be selected. In this paper, the concept and calculation of a novel architecture is presented. the 1oo4-architecture (one out of four) represents an advanced safety architecture, which is 3-failure safe. this means that at least one of the four channels have to work correctly in order to trigger the safety function. In order to classify the quality of the proposed architecture for safety related systems the PFD-value is calculated. Additionally, the Markov-model for a 1oo4-architecture is introduced and the MTTF-value for this architecture is calculated. the results are high safety and high reliability.

关键词： Safety Computer architecture Phase frequency detector Availability Probability Markov processes

来源：评论

学校读者我要写书评

暂无评论

Modelica — A cyber-physical modeling language and the OpenModelica environment

Modelica — A cyber-physical modeling language and the OpenM...

引用

international Wireless Communications and Mobile Computing conference, IWCMC

作者： Peter Fritzson PELAB-Programming Environment Laboratory Department Computer Science Linköping University Linkoping Sweden

Modelica is a modern, strongly typed, declarative, equation-based, and object-oriented (EOO) language for modeling and simulation of complex cyber-physical systems. Major features are: ease of use, visual design of models with combination of lego-like predefined model building blocks, ability to define model libraries with reusable components, support for modeling and simulation of complex applications involving parts from several application domains, and many more useful facilities. this paper gives an overview of some aspects of the Modelica language and the OpenModelica environment - the most complete Modelica open-source tool for modeling, simulation, and development of Modelica applications. Special features are MetaModeling for efficient model transformations, the ModelicaML profile for UML-Modelica cyber-physical hardware-software modeling, as well as generation of parallel code for multi-core architectures.

关键词： Mathematical model Unified modeling language Object oriented modeling Equations Computational modeling Rabbits Software

来源：评论

学校读者我要写书评

暂无评论

An exact algorithm for providing multi-perspective event coverage in Wireless Multimedia Sensor Networks

An exact algorithm for providing multi-perspective event cov...

引用

international Wireless Communications and Mobile Computing conference, IWCMC

作者： Enes Yildiz Kemal Akkaya Esra Sisikoglu Mustafa Sir Department of Computer Science Southem Illinois University Carbondale Carbondale IL USA Department of Industrial Engineering University of Missouri Columbia Columbia MO USA

Deployment of cameras in Wireless Multimedia Sensor Networks (WMSNs) is crucial in achieving good coverage, accuracy and fault tolerance. With the decreased costs of wireless cameras, WMSNs provide opportunities for redundant camera deployment in order to get multiple disparate views of events. Referred to as multi-perspective coverage (MPC), this paper proposes an optimal solution for camera deployment that can achieve full MPC for a given region. the solution is based on a Bi-Level mixed integer program (MIP) which works by solving two sub-problems named master and sub-problems. the master problem identifies a solution based on an initial set of points and then calls the sub-problem to cover the uncovered points iteratively. Experiments show that our solution can provide full MPC with less number of cameras compared to traditional solutions.

关键词： Cameras Linear programming Wireless communication Wireless sensor networks Approximation methods Monitoring Measurement

来源：评论

学校读者我要写书评

暂无评论

Unmanned vehicle-aided automated meter reading

Unmanned vehicle-aided automated meter reading

引用

international conference on Broadband and Biomedical Communications (IB2Com)

作者： Gurkan Tuna V. Cagri Gungor Kayhan Gulez Department of Computer Programming Trakya University Edirne Turkey Faculty of Engineering Department of Computer Engineering Bahçeşehir University Istanbul Turkey Faculty of Engineering Bahçegehir University Istanbul Turkey Electrical-Electronics Eng. Faculty Yildiz Technical University Istanbul Turkey

this paper presents a novel approach of using unmanned vehicles for Automated Meter Reading (AMR) applications in rural areas where there are a few consumers scattered around a wide area. the proposed system does not require a fixed network infrastructure to transfer data to a central database, since data collection is carried out by unmanned vehicles. Compared to traditional meter reading systems, the use of unmanned vehicles for AMR brings several advantages, such as low cost operation, flexibility, and online system management. However, the realization of these potential gains directly depends on reliable communication capabilities of the deployed system and successful navigation of unmanned vehicles. Overall, in this paper, the design principles and challenges of using unmanned vehicles for AMR applications in rural areas have been presented. Also, the communication architecture of the proposed system has been explained and comparative simulation studies have been performed in terms of energy efficiency and navigation accuracy.

关键词： Vehicles Navigation Wireless sensor networks Simultaneous localization and mapping Accuracy Wireless communication

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 203 204 205 206 207 208 209 210 211 212 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：