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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

722 篇 会议
193 篇 期刊文献
20 册 图书

馆藏范围

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

日期分布

学科分类号

601 篇 工学
- 419 篇 计算机科学与技术...
- 348 篇 软件工程
- 162 篇 信息与通信工程
- 109 篇 控制科学与工程
- 68 篇 生物工程
- 67 篇 生物医学工程（可授...
- 65 篇 电气工程
- 56 篇 电子科学与技术（可...
- 52 篇 光学工程
- 30 篇 机械工程
- 28 篇 动力工程及工程热...
- 24 篇 化学工程与技术
- 23 篇 仪器科学与技术
- 19 篇 交通运输工程
- 17 篇 安全科学与工程
338 篇 理学
- 189 篇 数学
- 107 篇 物理学
- 73 篇 生物学
- 50 篇 系统科学
- 45 篇 统计学（可授理学、...
- 28 篇 化学
195 篇 管理学
- 115 篇 管理科学与工程(可...
- 91 篇 图书情报与档案管...
- 63 篇 工商管理
57 篇 医学
- 52 篇 临床医学
- 47 篇 基础医学(可授医学...
- 32 篇 药学(可授医学、理...
- 17 篇 公共卫生与预防医...
26 篇 法学
- 21 篇 社会学
25 篇 经济学
- 24 篇 应用经济学
10 篇 教育学
10 篇 农学
3 篇 文学
1 篇 军事学
1 篇 艺术学

主题

20 篇 feature extracti...
19 篇 accuracy
15 篇 semantics
15 篇 training
13 篇 informatics
13 篇 computational mo...
13 篇 artificial intel...
11 篇 resource managem...
10 篇 internet of thin...
10 篇 computer science
10 篇 signal to noise ...
10 篇 image segmentati...
10 篇 quality of servi...
10 篇 data mining
10 篇 visualization
10 篇 testing
9 篇 information syst...
9 篇 interference
9 篇 optimization
9 篇 monitoring

机构

15 篇 computer enginee...
11 篇 computer enginee...
8 篇 department of ph...
8 篇 faculty of scien...
8 篇 bahcesehir unive...
8 篇 kirchhoff-instit...
8 篇 department physi...
8 篇 institute of phy...
8 篇 department of ph...
8 篇 department of ph...
8 篇 dept. of informa...
8 篇 computer technol...
8 篇 international wi...
7 篇 department of ph...
7 篇 infn sezione di ...
7 篇 infn sezione di ...
7 篇 fakultät für phy...
7 篇 dept. of busines...
7 篇 dept. of compute...
7 篇 institute of phy...

作者

27 篇 bouras christos
18 篇 christos bouras
12 篇 baranyi péter
11 篇 vasileios kokkin...
9 篇 andreas papazois
9 篇 kokkinos vasilei...
9 篇 alexiou antonios
8 篇 bellos p.
8 篇 bona m.
8 篇 bachacou h.
8 篇 bressler s.
8 篇 korondi péter
8 篇 kaklamanis chris...
8 篇 zhong ning
8 篇 baranyi peter
8 篇 georgios diles
7 篇 bocewicz grzegor...
7 篇 demberg vera
7 篇 caragiannis ioan...
7 篇 paraskevas micha...

语言

853 篇 英文
66 篇 其他
13 篇 中文
3 篇 日文

检索条件"机构=Dept. of Informatics and Computer Technology"

共 935 条记录，以下是491-500 订阅

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

详细简洁

排序：

Declarative approach to AGVS modeling and cyclic scheduling

Declarative approach to AGVS modeling and cyclic scheduling

引用

4th International Conference on Information technology for Manufacturing Systems, ITMS 2013

作者： Grzegorz, Bocewicz Wojciech, Muszyński Zbigniew, Banaszak Dept. of Electronics and Computer Science Koszalin University of Technology Koszalin Poland Institute of Computer Engineering Control and Robotics Wroclaw University of Technology Wroclaw Poland Dept. of Business informatics Warsaw University of Technology Warsaw Poland

ISBN: (纸本)9783037858783

The paper presents constraint satisfaction problem driven approach to analytical solution of the cyclic scheduling problem in the Flexible Manufacturing System (FMS) producing multi-type parts where for material handling are used the Automated Guide Vehicles Systems (AGVS). Finding the conditions guaranteeing the AGVs deadlock-free and collision-free movement policy is the aim of our researches. The AGVs co-sharing the common parts of the transportation route while executing repetitive processes, i.e. being assigned to AGVs passing along machines in a cyclic way, can be modeled in terms of Cyclic Concurrent Process Systems (CCPS). Schedulability analysis for a given CCPS answers the question whether a cyclic schedule exists or not. The paper suggests approach for schedulability analysis of multimodal processes representing real manufacturing employing the declarative modeling. © (2013) Trans Tech Publications, Switzerland.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

When do noisy votes reveal the truth? 13

When do noisy votes reveal the truth?

引用

14th ACM Conference on Electronic Commerce, EC 2013

作者： Caragiannis, Ioannis Procaccia, Ariel D. Shah, Nisarg Dept. of Computer Engineering and Informatics Computer Technology Institute University of Patras and CTI Greece Computer Science Department Carnegie Mellon University United States

ISBN: (纸本)9781450319621

A well-studied approach to the design of voting rules views them as maximum likelihood estimators;given votes that are seen as noisy estimates of a true ranking of the alternatives, the rule must reconstruct the most likely true ranking. We argue that this is too stringent a requirement, and instead ask: How many votes does a voting rule need to reconstruct the true ranking? We define the family of pairwise-majority consistent rules, and show that for all rules in this family the number of samples required from the Mallows noise model is logarithmic in the number of alternatives, and that no rule can do asymptotically better (while some rules like plurality do much worse). Taking a more normative point of view, we consider voting rules that surely return the true ranking as the number of samples tends to infinity (we call this property accuracy in the limit);this allows us to move to a higher level of abstraction. We study families of noise models that are parametrized by distance functions, and find voting rules that are accurate in the limit for all noise models in such general families. We characterize the distance functions that induce noise models for which pairwise-majority consistent rules are accurate in the limit, and provide a similar result for another novel family of position-dominance consistent rules. These characterizations capture three well-known distance functions. Copyright © 2013 ACM.

关键词： Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

An analytical hierarchy process methodology to evaluate it solutions for organizations

An analytical hierarchy process methodology to evaluate it s...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Vasilakos, Spiros Stylios, Chrysostomos D. Garofalakis, John Dept. of Telematics Center Computer Technology Institute and Press Diophantus Greece Dept. of Informatics Engineering Technological Educational Institute of Epirus Arta Greece

ISBN: (纸本)9788897999225

Nowadays organizations continuously update, adopt or introduce new Information technology Systems within their structure. This requires great resources in capital, staff and time. Selection and adoption of the proper information system and/or technologies must be performed in a way which will ensure that the system will meet the requirements and will fit in the organization's procedures and structure. This paper proposes a methodology for selecting the appropriate solution for an organization among the available options. It describes the requirement analysis phase where the selection criteria are defined and the available solutions are evaluated. For the evaluation of the different solutions, the Bipolar Analytic Hierarchical Process (BAHP) is proposed. The best solution is selected so as to fulfill the functional requirements and the requirements of the organization regarding the maintenance needs and the cost. The proposed approach is tested for the case of the Port Authority of Igoumenitsa, Greece. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

An effective example-based learning method for denoising of medical images corrupted by heavy Gaussian noise and poisson noise

An effective example-based learning method for denoising of ...

引用

作者： Trinh, Dinh-Hoan Luong, Marie Dibos, Franccoise Rocchisani, Jean-Marie Pham, Canh-Duong Linh-Trung, Nguyen Nguyen, Truong Q. Center for Informatics and Computing VAST Viet Nam L2TI Université Paris 13 99 Avenue Jean-Baptiste Clément Villetaneuse France LAGA Université Paris 13 99 Avenue Jean-Baptiste Clément Villetaneuse France Hôpital Avicenne - Médecine Nucléaire Bobigny France Fac. Electronics and Telecom. University of Engineering and Technology Vietnam National University Hanoi Viet Nam Dept. Electrical and Computer Engineering University of California San Diego United States

ISBN: (纸本)9781479957514

Denoising is an essential application to improve image quality, especially in medical imaging. This paper introduces an example and patch-based learning method for reducing Gaussian noise and Poisson noise which often appear in medical imaging modalities using ionizing radiation. In the proposed method, denoising is performed by learning the regression model based on a set of the nearest neighbors of a given noisy patch, with the help of a given set of standard images. The method is evaluated and compared to several state-of-the-art denoising methods. The obtained results confirm its efficiency, especially for heavy noise. © 2014 IEEE.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Resource contention analysis of service-based systems through fUML-driven model execution 5

Resource contention analysis of service-based systems throug...

引用

5th International Workshop Non-Functional Properties in Modeling: Analysis, Languages and Processes, NiMALP 2013 - Co-located with 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013

作者： Fleck, Martin Berardinelli, Luca Langer, Philip Mayerhofer, Tanja Cortellessa, Vittorio Business Informatics Group Vienna University of Technology Austria Dept. of Information Engineering and Computer Science and Mathematics L'Aquila Italy

Model-driven software engineering not only enables the efficient development of software but also facilitates the analysis of non-functional properties (NFPs). As UML, the most adopted modeling language for designing software, lacks in formal execution semantics, current approaches translate UML models into dedicated analysis models, before NFPs can be computed. However, such transformations introduce additional complexity for the users and developers of analysis tools. To avoid this additional complexity, we show how the analysis of certain NFPs can be performed solely based on UML models without translating them into, e.g., queuing networks. Therefore, we leverage the execution semantics of fUML, a recent OMG standard, to gain execution traces from UML models and, based on these traces, compute indices, such as response time, taking into account the contention of resources, as well as different resource management configurations, such as balancing and scaling strategies.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Towards a hierarchically-structured decision support tool for improving seniors' independent living. The USEFIL decision support system 13

Towards a hierarchically-structured decision support tool fo...

引用

6th ACM International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2013

作者： Billis, Antonis S. Papageorgiou, Elpiniki I. Frantzidis, Christos Konstantinidis, Evdokimos I. Bamidis, Panagiotis D. Lab. of Medical Informatics Medical School Aristotle University of Thessaloniki Thessaloniki Greece Dept. of Informatics and Computer Technology Technological Educational Institute of Lamia Lamia Greece

ISBN: (纸本)9781450319737

In the current work, we present our position towards the modeling of a decision support system for health assessment and prevention of risky situations in the life of seniors. A two-layer architecture based on the Fuzzy Cognitive Maps (FCMs) methodology is considered as the main tool to encode medical knowledge and reason about the health status of seniors. This is the initial step, since outputs of several discrete FCM models are then combined to form the input concepts for an upper level schema (the health status of the senior) of upper-level concepts and relationships, so as to infer about recommended individualized therapies and interventions that would help therapists to prevent risky situations and enhance the independence and quality of life of the seniors. A modeling sample of the depression assessment is presented at the first level of the proposed architecture, while am integration schema of the proposed approach provides a view of our future extended model. © 2013 ACM.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Efficient Inter-ONU Communication in Ring-Based WDM-PONs

Efficient Inter-ONU Communication in Ring-Based WDM-PONs

引用

International Conference on Transparent Optical Networks

作者： Demetris Monoyios Antonis Hadjiantonis Kyriakos Vlachos Georgios Ellinas Computer Engineering and Informatics Dept. and Computer Technology Inst. Univ. of Patras Rio Greece Department of Engineering University of Nicosia Cyprus Department of Electrical and Computer Engineering University of Cyprus Cyprus

ISBN: (纸本)9781479956029

Ring-based WDM-PONs can employ a single dedicated wavelength channel to interconnect the Optical Network Units (ONUs) thus providing a means for inter-ONU communication and downstream wavelength sharing. In this paper, a new TDM dynamic bandwidth allocation (DBA) algorithm for inter-ONU communication is proposed, which takes into account the destination of the ONUs on the ring. The main purpose of this 'Destination-Aware' (DestAware) algorithm is to improve the network inter-ONU communication performance without any additional cost. Performance results show that by considering the destination of the ONUs during the bandwidth allocation process both line utilization and experienced delay are improved.

关键词： destination Communication Research Optical network units dynamic bandwidth allocation wavelengths bandwidth allocation DESIGN BASIS ACCIDENTS time division multiplexing

来源：评论

学校读者我要写书评

暂无评论

Efficient frequent connected induced subgraph mining in graphs of bounded tree-width

Efficient frequent connected induced subgraph mining in grap...

引用

European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013

作者： Horváth, Tamás Otaki, Keisuke Ramon, Jan Dept. of Computer Science III University of Bonn Germany Fraunhofer IAIS Schloss Birlinghoven Sankt Augustin Germany Dept. of Intelligence Science and Technology Graduate School of Informatics Kyoto University Kyoto Japan Dept. of Computer Science Katholieke Universiteit Leuven Belgium

ISBN: (纸本)9783642409875

We study the frequent connected induced subgraph mining problem, i.e., the problem of listing all connected graphs that are induced subgraph isomorphic to a given number of transaction graphs. We first show that this problem cannot be solved for arbitrary transaction graphs in output polynomial time (if P ≠ NP) and then prove that for graphs of bounded tree-width, frequent connected induced subgraph mining is possible in incremental polynomial time by levelwise search. Our algorithm is an adaptation of the technique developed for frequent connected subgraph mining in bounded tree-width graphs. While the adaptation is relatively natural for many steps of the original algorithm, we need entirely different combinatorial arguments to show the correctness and efficiency of the new algorithm. Since induced subgraph isomorphism between bounded tree-width graphs is NP-complete, the positive result of this paper provides another example of efficient pattern mining with respect to computationally intractable pattern matching operators. © 2013 Springer-Verlag.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

On the farthest-neighbor voronoi diagram of segments in three dimensions

On the farthest-neighbor voronoi diagram of segments in thre...

引用

10th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2013

作者： Barequet, Gill Papadopoulou, Evanthia Dept. of Computer Science Technion-Israel Institute of Technology Haifa 32000 Israel Faculty of Informatics Università della Svizzera Italiana Lugano Switzerland

ISBN: (纸本)9780769550374

We consider the farthest-neighbor Voronoi diagram of a set of line segments in three dimensions. To understand the structure of the diagram, we define the "farthest hull" of the segments and investigate it by its representation in a Gaussian map. We then provide lower and upper bounds on the worst-case complexities of the farthest hull and of the Voronoi diagram. © 2013 IEEE.

关键词： Computational geometry

来源：评论

学校读者我要写书评

暂无评论

AN EFFECTIVE EXAMPLE-BASED LEARNING METHOD FOR DENOISING OF MEDICAL IMAGES CORRUPTED BY HEAVY GAUSSIAN NOISE AND POISSON NOISE

AN EFFECTIVE EXAMPLE-BASED LEARNING METHOD FOR DENOISING OF ...

引用

IEEE International Conference on Image Processing

作者： Dinh-Hoan Trinh Marie Luong Francoise Dibos Jean-Marie Rocchisani Canh-Duong Pham Nguyen Linh-Trung Truong Q. Nguyen Center for Informatics and Computing VAST L2TI Universite Paris 13 99 Avenue Jean-Baptiste Clement LAGA Universite Paris 13 99 Avenue Jean-Baptiste Clement Fac. Electronics & Telecom. University of Engineering and Technology Vietnam National University Dept. Electrical & Computer Engineering University of California

ISBN: (纸本)9781479957521

关键词： Denoising Learning Medical imaging Gaussian noise Poisson noise

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共94页 << < 46 47 48 49 50 51 52 53 54 55 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：