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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,876 篇 会议
2,373 篇 期刊文献
101 册 图书

馆藏范围

5,350 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,946 篇 工学
- 1,990 篇 计算机科学与技术...
- 1,636 篇 软件工程
- 651 篇 信息与通信工程
- 435 篇 控制科学与工程
- 397 篇 生物工程
- 389 篇 生物医学工程（可授...
- 341 篇 电气工程
- 288 篇 电子科学与技术（可...
- 252 篇 光学工程
- 208 篇 机械工程
- 163 篇 仪器科学与技术
- 161 篇 化学工程与技术
- 160 篇 核科学与技术
- 127 篇 动力工程及工程热...
- 112 篇 安全科学与工程
- 90 篇 网络空间安全
2,244 篇 理学
- 1,078 篇 物理学
- 839 篇 数学
- 454 篇 生物学
- 274 篇 统计学（可授理学、...
- 204 篇 系统科学
- 182 篇 化学
831 篇 管理学
- 467 篇 管理科学与工程(可...
- 413 篇 图书情报与档案管...
- 255 篇 工商管理
373 篇 医学
- 321 篇 临床医学
- 276 篇 基础医学(可授医学...
- 194 篇 药学(可授医学、理...
- 128 篇 公共卫生与预防医...
121 篇 法学
- 95 篇 社会学
81 篇 教育学
78 篇 经济学
71 篇 农学
13 篇 文学
11 篇 军事学
5 篇 艺术学

主题

112 篇 machine learning
104 篇 deep learning
102 篇 artificial intel...
94 篇 accuracy
90 篇 hadron colliders
85 篇 informatics
82 篇 computational mo...
80 篇 feature extracti...
76 篇 training
65 篇 support vector m...
63 篇 higgs bosons
57 篇 internet of thin...
57 篇 data models
56 篇 convolutional ne...
55 篇 data mining
54 篇 forecasting
51 篇 predictive model...
49 篇 computer science
48 篇 optimization
47 篇 proton-proton in...

机构

417 篇 department for p...
410 篇 faculty of scien...
406 篇 kirchhoff-instit...
401 篇 department of ph...
392 篇 institute of phy...
387 篇 department of ph...
386 篇 department of ph...
378 篇 institute of phy...
370 篇 fakultät für phy...
352 篇 instituto de fís...
310 篇 department of ph...
289 篇 graduate school ...
289 篇 dipartimento di ...
282 篇 department of ph...
281 篇 department of ph...
277 篇 nikhef national ...
275 篇 universidade fed...
268 篇 ictp trieste
265 篇 department of ph...
259 篇 yerevan physics ...

作者

338 篇 c. alexa
335 篇 j. m. izen
334 篇 g. bella
333 篇 d. calvet
333 篇 c. amelung
331 篇 j. strandberg
327 篇 g. spigo
327 篇 f. siegert
320 篇 r. ströhmer
320 篇 m. rijssenbeek
320 篇 s. jin
320 篇 g. gaudio
320 篇 s. mohapatra
312 篇 s. guindon
308 篇 a. kaczmarska
302 篇 y. tayalati
302 篇 j. schaarschmidt
293 篇 a. d. pilkington
291 篇 l. chevalier
286 篇 m. klein

语言

4,611 篇 英文
720 篇 其他
19 篇 中文
6 篇 日文
4 篇 德文
2 篇 俄文
2 篇 土耳其文
1 篇 法文
1 篇 斯洛文尼亚文

检索条件"机构=Faculty of Computer & Informatics Computer Engineering"

共 5350 条记录，以下是4981-4990 订阅

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

详细简洁

排序：

Code Generation from Statecharts: Simulation of Wireless Sensor Networks

Code Generation from Statecharts: Simulation of Wireless Sen...

引用

Euromicro Symposium on Digital System Design

作者： Marcello Mura Maria Giovanna Sami ALaRI Faculty of Informatics University of Lugano Lugano Switzerland Department of Electrical Engineering and Computer Science Politecnico di Milano Milan Italy

Automatic generation of code starting from lightweight modeling languages such as UML is by now a widely adopted approach. In particular generation of executable SystemC models starting from StateCharts and other UML diagrams represents a promising research field. While RTL SystemC appears better suited for matching the StateCharts formalism (being intrinsically clocked), performances of the generated code suffer from the heavy overhead induced by time management, specially when the number of concurrent processes is high. In this paper we present a methodology that allows applying a solution mixing event based and clock-driven approach. More specifically, clock-driven simulation is activated only when the configuration of the system is identified to be evolving. When no events are present this fact is also detected (together with the interval of absence of events) so that no simulation is performed although the clock runs on. This solution is particularly suited for low duty cycle systems, as, e.g. when simulating Wireless Sensor Networks (WSN); in such instances, speedup of the generated code has been found to be well over two orders of magnitude. Application of the technique to the generation of a power simulator for the IEEE 802.15.4 networking protocol is used as a test case.

关键词： Wireless sensor networks Clocks Mathematical model Unified modeling language Discrete event simulation Power system modeling Protocols Power generation Testing Digital systems

来源：评论

学校读者我要写书评

暂无评论

Mining Top-K Closed Itemsets Using Best-First Search

Mining Top-K Closed Itemsets Using Best-First Search

引用

International Conference on computer and Information Technology (CIT)

作者： Panida Songram Veera Boonjing Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Maha sarakham Thailand

In this paper, we proposed an efficient algorithm, TOPK_CLOSED, for mining top-k closed itemsets. This algorithm mines top-k closed itemsets using best-first search. The closed itemsets with the highest supports are firstly found from this algorithm. Consequently, the method quickly finds top-k closed itemsets, which leads to an efficient pruning unnecessary itemsets and stop mining rapidly. In addition, this algorithm can generate closed itemsets without keeping candidates in main memory.

关键词： Itemsets Generators Data mining Pediatrics Complexity theory Algorithm design and analysis Databases

来源：评论

学校读者我要写书评

暂无评论

Raising the effectivity of e-learning systems with use of intelligent principles

Raising the effectivity of e-learning systems with use of in...

引用

International Conference on Computational Cybernetics (ICCC)

作者： Igor Sivy Marian Bucko Ladislav Madarasz Department of Computer and Informatics Technical University of Košice Kosice Slovakia Department of Cybernetics and Artificial Intelligence Faculty of Electrical Engineering and Informatics Technical University of Košice Kosice Slovakia

E-learning systems are powerful way for bringing the education to people, which wants to be skilled in some area. However, important term in education is quality of this education. Student must have effort to study, and e-learning system must also have tools for bringing educational informations in simplest way, or support learners study as much as it's possible. In present, main problem of e-learning systems is generalisation of learners, it means that all students can take only the same teaching material. In the related way, these informations are served a little bit chaotic and cold". Solving for this problem could be intelligent e-learning systems (IELS) that are e-learning systems, which have build-in intelligence support (algorithms) for learner's study. Next reason for building IELS is attempt for substitution of the teacher. It's not possible to make absolute substitution for the teacher, but scientific conferences all over the world still brings important conclusions in this area, which can help build interesting systems.

关键词： Electronic learning Education Artificial intelligence informatics Cybernetics Problem-solving Information analysis System testing Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Everything You Ever Wanted to Learn from the Semantic Web but Were Unable to Ask

Everything You Ever Wanted to Learn from the Semantic Web bu...

引用

International Conference on Advanced engineering Computing and Applications in Sciences (ADVCOMP)

作者： Jirí Dokulil Jakub Yaghob Jana Katreniaková Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Department of Computer Science Faculty of Mathematics Physics and Informatics Comenius University Bratislava Slovakia

One way to see the semantic Web is to think of it as a set of all-knowing technologies that respond to whatever the user asks. The other view is that it is a set of standards and tools that help build better Web applications. Since the latter is probably more realistic at the moment, it means that a lot of software has to be developed before we start actually seeing the semantic Web in widespread *** developers would be needed for the task and unless we "win their hearts and minds", they are likely to obstruct rather than support the semantic Web idea. And from the average developer's point of view, there is not much to like on today's RDF query languages, especially when compared with relational algebra and SQL. Besides the fact that they are built on different principles, none of the languages we are aware of has a property that has served SQL so well - they are not closed.

关键词： Semantic web Resource description format Database languages Electronic mail Real time systems Pattern matching Standards

来源：评论

学校读者我要写书评

暂无评论

Teaching Team Software Process in Graduate Courses to Increase Productivity and Improve Software Quality

Teaching Team Software Process in Graduate Courses to Increa...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Bayona O. Sussy Jose A. Calvo-Manzano Cuevas Gonzalo San Feliu Tomás Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Polytechnic University of Madrid Madrid Spain Languages Campus Montegancedo Madrid Spain

This paper presents a case study that describes TSPi teaching (introduction to the team software process) to 4th year students, grouped by teams, at the computer Science School, Polytechnic University of Madrid (UPM). The achievements of the teams, due to training and the use of TSPi, were analyzed and discussed. This paper briefly discusses the approach to the teaching and some of the issues that were identified. The teams collected data on the projects developed. They reviewed the schedule and quality status weekly. The metrics selected to analyze the impact on the students were: size, effort, productivity, costs and defects density. These metrics were chosen to analyze teams 'performance evolution through project development. This paper also presents a study related to the evolution of estimation, quality and productivity improvements these teams obtained. This study will prove that training in TSPi has a positive impact on getting better estimations, reducing costs, improving productivity, and decreasing defect density. Finally, the teams 'performance are analyzed.

关键词： Software Training Estimation Productivity Education Accuracy Programming

来源：评论

学校读者我要写书评

暂无评论

Examples of using technology in teaching Human—computer Interaction according to the Bologna process

Examples of using technology in teaching Human—Computer Int...

引用

International Conference on Information Technology Interfaces

作者： Matjaz Debevc Primoz Kosec Andreas Holzinger Faculty for Electrical Engineering and Computer Science Maribor Slovenia Institute of Medical Informatics Statistics and Documentation RU HCI4MED Graz Austria

ISBN: (纸本)9789537138127

The abundance of information and communication technology and especially internet services demands changes in lecturerspsila head-on teaching methods towards new directives. This article presents some examples of human-centred use of information technology, applied in the subject of human-computer interaction. Examples include the open source learning management system moodle, video based lecturing, remote laboratory of intelligent house and an age simulator - AgeSim. This article presents the planning and execution of teaching processes with use of Moodle Web tools and exposes organizational structure as well as characteristics, which appeared during the learning process. Finally we show some benefits and weaknesses that arose during the use of the Moodle environment.

关键词： Materials Streaming media User interfaces Laboratories Education Graphical user interfaces Mobile communication

来源：评论

学校读者我要写书评

暂无评论

An extensible query language for content based image retrieval based on Lucene

An extensible query language for content based image retriev...

引用

International Conference on computer and Information Technology (CIT)

作者： Raoul Pascal Pein Joan Lu Renz Wolfgang Multimedia Systems Laboratory (MMLab) Faculty of Engineering and Computer Science University of Applied Sciences Hamburg Germany Department of Informatics School of Computing and Engineering University of Huddersfield Huddersfield UK Multimedia Systems Laboratory (MMLab) Faculty of Engineering and Computer Science Hamburg University of Applied Sciences Berliner Tor 7 20099 Germany

One of the most important bits of every search engine is the query interface. Complex interfaces may cause users to struggle in learning the handling. An example is the query language SQL. It is really powerful, but usually remains hidden to the common user. On the other hand the usage of current languages for Internet search engines is very simple and straightforward. Even beginners are able to find relevant documents. This paper presents a hybrid query language suitable for both image and text retrieval. It is very similar to those of a full text search engine but also includes some extensions required for content based image retrieval. The language is extensible to cover arbitrary feature vectors and handle fuzzy queries.

关键词： Plugs Database languages Image retrieval Engines Feature extraction Search engines Histograms

来源：评论

学校读者我要写书评

暂无评论

Fast Information Sharing in Networks of Autonomous Agents

Fast Information Sharing in Networks of Autonomous Agents

引用

2008 American Control Conference (ACC), vol.10

作者： Feng Xiao Long Wang Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Seventh Research Division Beihang University Beijing China

A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-Saber and Murray, and furthermore guarantees the states of agents reach a consensus in finite time, provided that the interaction topology, represented by a directed graph, has a spanning tree.

关键词： Multi-agent systems coordination finite-time consensus interaction topology

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of MAC protocol for cooperative MIMO transmissions in WSN

Performance analysis of MAC protocol for cooperative MIMO tr...

引用

IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC)

作者： Mohd Riduan Ahmad Eryk Dutkiewicz Xiaojing Computer Engineering Department Universiti Teknikal Malaysia Melaka Melaka Malaysia Faculty of Informatics University of Wollongong NSW Australia University of Wollongong Wollongong NSW AU

Cooperative Multi-In Multi-Out (MIMO) schemes can reduce both transmission energy and latency in distributed wireless sensor networks (WSNs). When circuit energy is considered in such networks, the total energy consumed as the number of cooperating nodes increases becomes of particular interest. In addition, most of the previous works focused only on space-time-block-code (STBC) schemes and ignore other MIMO schemes. In this paper we present a comparison study of three cooperative MIMO schemes: beamforming (BF), STBC and spatial multiplexing (SM) where both the transmission and circuit energies are considered. We consider a wireless sensor network operating in quasi-static Rayleigh fading channels with M cooperating transmit nodes and N cooperating receive nodes. We show that the single-in-single-out (SISO) scheme is more energy-efficient and has lower packet latency at higher regions of transmission power while the three cooperative MIMO schemes are more energy-efficient and outperform the SISO scheme at the lower regions. From our analysis, we can conclude that, beamforming outperforms both the SM and STBC schemes in term of energy-efficiency and lower packet latency. Also we suggest that the beamforming scheme utilising two transmit nodes results in an efficient cooperative system.

关键词： Performance analysis Media Access Protocol MIMO Wireless sensor networks Delay Array signal processing Energy efficiency Circuits Samarium Fading

来源：评论

学校读者我要写书评

暂无评论

A formal framework of reconfigurable control based on model checking

A formal framework of reconfigurable control based on model ...

引用

2008 American Control Conference (ACC), vol.10

作者： He-xuan Hu Anne-lise Gehin Mireille Bayart Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université des Sciences et Technologies de Lille Villeneuve d'Ascq France

This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification.

关键词： Automatic control Control systems Specification languages Actuators Fault tolerance Performance loss Redundancy Safety Reconfigurable logic Databases

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：