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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

303 篇 会议
176 篇 期刊文献
19 册 图书

馆藏范围

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

日期分布

学科分类号

305 篇 工学
- 207 篇 计算机科学与技术...
- 170 篇 软件工程
- 98 篇 生物医学工程（可授...
- 66 篇 生物工程
- 65 篇 信息与通信工程
- 57 篇 光学工程
- 49 篇 控制科学与工程
- 40 篇 电子科学与技术（可...
- 39 篇 电气工程
- 21 篇 机械工程
- 21 篇 化学工程与技术
- 19 篇 仪器科学与技术
- 12 篇 动力工程及工程热...
- 11 篇 安全科学与工程
- 8 篇 力学（可授工学、理...
192 篇 理学
- 86 篇 数学
- 71 篇 生物学
- 66 篇 物理学
- 29 篇 统计学（可授理学、...
- 24 篇 化学
- 23 篇 系统科学
90 篇 医学
- 76 篇 临床医学
- 62 篇 基础医学(可授医学...
- 40 篇 药学(可授医学、理...
- 27 篇 公共卫生与预防医...
77 篇 管理学
- 40 篇 管理科学与工程(可...
- 36 篇 图书情报与档案管...
- 23 篇 工商管理
- 9 篇 公共管理
8 篇 教育学
- 8 篇 教育学
7 篇 经济学
6 篇 农学
5 篇 法学
3 篇 艺术学
1 篇 文学
1 篇 军事学

主题

11 篇 feature extracti...
11 篇 artificial intel...
8 篇 accuracy
7 篇 electroencephalo...
7 篇 hospitals
7 篇 biological syste...
6 篇 information syst...
6 篇 biomedical engin...
6 篇 data mining
6 篇 electrocardiogra...
6 篇 visualization
6 篇 semantics
6 篇 biomedical imagi...
6 篇 biomedical infor...
6 篇 training
5 篇 computer science
5 篇 magnetic resonan...
5 篇 image segmentati...
5 篇 software enginee...
5 篇 educational inst...

机构

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...
7 篇 department of ph...
7 篇 infn sezione di ...
7 篇 infn sezione di ...
7 篇 fakultät für phy...
7 篇 institute of phy...
7 篇 infn sezione di ...
7 篇 dipartimento di ...
6 篇 department of ph...
6 篇 infn sezione di ...
6 篇 department of ph...
6 篇 dept. of biomedi...
6 篇 niels bohr insti...

作者

10 篇 shoeibi afshin
10 篇 alizadehsani roo...
8 篇 bellos p.
8 篇 bona m.
8 篇 bachacou h.
8 篇 bressler s.
8 篇 moridian parisa
7 篇 acharya u. rajen...
7 篇 nahavandi saeid
7 篇 khosravi abbas
7 篇 catalyurek umit
7 篇 ghassemi navid
6 篇 kavuluru ramakan...
6 篇 boumediene d.
6 篇 gorriz juan m.
6 篇 maglogiannis ili...
6 篇 çatalyürek ümit ...
6 篇 khodatars marjan...
5 篇 armbruster a.j.
5 篇 biesuz n.v.

语言

478 篇 英文
19 篇 其他
1 篇 中文

检索条件"机构=Dept. of Computer Science and Engineering and Department of Biomedical Informatics"

共 498 条记录，以下是351-360 订阅

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

详细简洁

排序：

Residual investigation: Predictive and precise bug detection

Residual investigation: Predictive and precise bug detection

引用

21st International Symposium on Software Testing and Analysis, ISSTA 2012

作者： Li, Kaituo Reichenbach, Christoph Csallner, Christoph Smaragdakis, Yannis Computer Science Dept. University of Massachusetts Amherst MA 01003 United States Department of Computer Science and Engineering University of Texas at Arlington Arlington TX 76019 United States Dept. of Informatics U. of Athens Athens 15784 Greece Comp. Sci. U. Massachusetts Amherst MA 01003 United States Google Inc. Mountain View CA United States

ISBN: (纸本)9781450314541

We introduce the concept of "residual investigation" for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that reports a possible program error. The purpose is to observe conditions that indicate whether the statically predicted program fault is likely to be realizable and relevant. The key feature of a residual investigation is that it has to be much more precise (i.e., with fewer false warnings) than the static analysis alone, yet significantly more general (i.e., reporting more errors) than the dynamic tests in the program's test suite pertinent to the statically reported error. That is, good residual investigations encode dynamic conditions that, when taken in conjunction with the static error report, increase confidence in the existence of an error, as well as its severity, without needing to directly observe a fault resulting from the error. We enhance the static analyzer FindBugs with several residual investigations, appropriately tuned to the static error patterns in FindBugs, and apply it to 7 large open-source systems and their native test suites. The result is an analysis with a low occurrence of false warnings ("false positives") while reporting several actual errors that would not have been detected by mere execution of a program's test suite. © 2012 ACM.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

An out-of-core dataflow middleware to reduce the cost of large scale iterative solvers

An out-of-core dataflow middleware to reduce the cost of lar...

引用

41st International Conference on Parallel Processing Workshops, ICPPW 2012

作者： Zhou, Zheng Saule, Erik Aktulga, Hasan Metin Yang, Chao Ng, Esmond G. Maris, Pieter Vary, James P. Çatalyürek, Ümit V. Dept. of Biomedical Informatics Ohio State University Columbus OH 43210 United States Dept. of Electrical and Computer Engineering Ohio State University Columbus OH 43210 United States Wuhan University China Computational Research Division Lawrence Berkeley National Lab. Berkeley CA 94720 United States Department of Physics and Astronomy Iowa State University Ames IA 50011 United States

ISBN: (纸本)9780769547954

The emergence of high performance computing (HPC) platforms equipped with solid state drives (SSD) presents an opportunity to dramatically increase the efficiency of out-of-core numerical linear algebra computations. In this paper, we explore the advantages and challenges associated with performing sparse matrix vector multiplications (SpMV) on a small SSD test bed. Such an endeavor requires programming abstractions that ease implementation, while enabling an efficient usage of the resources in the test bed. For this purpose, we adopt a task-based out-of-core programming model on top of a dataflow middleware based on the filter stream programming model. We compare the performance of the resulting out-of-core iterated SpMV procedure running on the SSD test bed to the performance of an in-core implementation on a multi-core cluster for solving large-scale eigen value problems. Preliminary experiments indicate that the out-of-core implementation on the SSD test bed can compete with an in-core implementation in terms of the total CPU-hour cost. We conclude with some architectural design suggestions that can enable numerical linear algebra computations in general to be carried out with high efficiency on SSD-equipped platforms. © 2012 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Wireless myths, realities, and futures: From 3G/4G to optical and quantum wireless

Wireless myths, realities, and futures: From 3G/4G to optica...

引用

作者： Hanzo, Lajos Haas, Harald Imre, Sndor O'Brien, Dominic Rupp, Markus Gyongyosi, Laszlo School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom University of Edinburgh Edinburgh EH9 3JL United Kingdom Telecommunications Dept. Budapest University of Technology and Economics Budapest 1521 Hungary Department of Engineering Science University of Oxford Oxford OX1 3PJ United Kingdom Technische Universitt Wien Institute of Telecommunications Wien A-1040 Austria Faculty of Electrical Engineering and Informatics Department of Telecommunications Budapest University of Technology and Economics Budapest 1521 Hungary

The Myth: Sixty years of research following Shannon's pioneering paper has led to telecommunications solutions operating arbitrarily close to the channel capacityflawless telepresence with zero error is available ... 详细信息

关键词： Quantum communication

来源：评论

学校读者我要写书评

暂无评论

A Scalable Iterative Convex Design for Nonlinear Systems

A Scalable Iterative Convex Design for Nonlinear Systems

引用

American Control Conference

作者： Simone Baldi Petros A. Ioannou Elias B. Kosmatopoulos Computer Science Department University of Cyprus (UCY) 1678 Nicosia Cyprus Department of Electrical Engineering University of Southern California Los Angeles CA USA Dept. of Electrical and Computer Engineering Democritus University of Thrace Xanthi Greece and the Informatics & Telematics Institute Center for Research and Technology Hellas (ITICERTH) Thessaloniki Greece

ISBN: (纸本)9781457710957

A recently developed control scheme for approximately optimal control of nonlinear systems is the so-called Convex Control Design (ConvCD) methodology, that transforms the control problem of generic nonlinear systems into a convex optimization problem. The ConvCD approach constructs a polynomial controller approximating the optimal control law: such design does not provide a scalable controller as it requires the use of a polynomial controller, which is not scalable, especially in large-scale applications. This problem is overcome in this paper by modifying the ConvCD formulation so that the optimal control law is approximated with a Multi-Controller with Mixing: that is, the polynomial controller is substituted by linear control elements plus mixing signals that are responsible for smoothly switching from one linear element to another. The stability properties of the Multi-Controller with Mixing are analyzed and an iterative approach is proposed to solve the resulting optimization problem. The resulting procedure aims at the development of a scalable and modular architecture for nonlinear systems, in order to allow for easier implementation and re-configurability. A numerical example is used to show the effectiveness of the method.

关键词： Nonlinear systems Scalability Optimal control control law Mixing Blending Controllers Convexity Iterative Polynomial

来源：评论

学校读者我要写书评

暂无评论

Managing wearable sensor data through Cloud Computing

Managing wearable sensor data through Cloud Computing

引用

2011 3rd IEEE International Conference on Cloud Computing Technology and science, CloudCom 2011

作者： Doukas, Charalampos Maglogiannis, Ilias Dept. of Information and Communication Systems Engineering University of Aegean Samos Greece Dept. of Computer Science and Biomedical Informatics University of Central Greece Lamia Greece

ISBN: (纸本)9780769546223

Mobile pervasive healthcare technologies can support a wide range of applications and services including patient monitoring and emergency response. At the same time they introduce several challenges, like data storage and management, interoperability and availability of heterogeneous resources, unified and ubiquitous access issues. One potential solution for addressing all aforementioned issues is the introduction of the Cloud Computing concept. Within this context, in this work we have developed and present a wearable - textile platform based on open hardware and software that collects motion and heartbeat data and stores them wirelessly on an open Cloud infrastructure for monitoring and further processing. The proposed system may be used to promote the independent living of patient and elderly requiring constant surveillance. © 2011 IEEE.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Optimizing latency and throughput of application workflows on clusters

Optimizing latency and throughput of application workflows o...

引用

作者： Vydyanathan, Naga Catalyurek, Umit Kurc, Tahsin Sadayappan, Ponnuswamy Saltz, Joel Dept. of Computer Science and Engineering Ohio State University United States Dept. of Biomedical Informatics Ohio State University United States Dept. of Electrical and Computer Engineering Ohio State University United States Center for Comprehensive Informatics Emory University United States

Scheduling, in many application domains, involves optimization of multiple performance metrics. For example, application workflows with real-time constraints have strict throughput requirements and also desire a low latency or response time. In this paper, we present a novel algorithm for the scheduling of workflows that act on a stream of input data. Our algorithm focuses on the two performance metrics, latency and throughput, and minimizes the latency of workflows while satisfying strict throughput requirements. We also describe steps to use the above approach to solve the problem of meeting latency requirements while maximizing throughput. We leverage pipelined, task and data parallelism in a coordinated manner to meet these objectives and investigate the benefit of task duplication in alleviating communication overheads in the pipelined schedule for different workflow characteristics. The proposed algorithm is designed for a realistic bounded multi-port communication model, where each processor can simultaneously communicate with at most k distinct processors. Experimental evaluation using synthetic benchmarks as well as those derived from real applications shows that our algorithm consistently produces lower latency schedules that meet throughput requirements, even when previously proposed schemes fail. © 2011 Elsevier B.V. All rights reserved.

关键词： Throughput

来源：评论

学校读者我要写书评

暂无评论

Extracting BI-RADS features from Portuguese clinical texts

Extracting BI-RADS features from Portuguese clinical texts

引用

2012 IEEE International Conference on Bioinformatics and Biomedicine, BIBM2012

作者： Nassif, Houssam Cunha, Filipe Moreira, Inês C. Cruz-Correia, Ricardo Sousa, Eliana Page, David Burnside, Elizabeth Dutra, Inês University of Wisconsin Madison WI United States AroundKnowledge Porto Portugal Centro Hospitalar S. João Faculty of Medicine University of Porto Porto Portugal Superior School of Health Technology of Porto Vila Nova de Gaia Portugal INESC Porto Faculty of Engineering University of Porto Porto Portugal CINTESIS - Center for Research in Health Technologies and Information Systems Faculty of Medicine University of Porto Porto Portugal CIDES - Health Information and Decision Sciences Faculty of Medicine Universidade Do Porto Porto Portugal Dept. of Biostatistics and Medical Informatics UW-Madison United States Department of Radiology University of Wisconsin School of Medicine and Public Health Madison WI United States Department of Computer Science Faculty of Sciences University of Porto Porto Portugal

ISBN: (纸本)9781467325585

In this work we build the first BI-RADS parser for Portuguese free texts, modeled after existing approaches to extract BI-RADS features from English medical records. Our concept finder uses a semantic grammar based on the BI-RADS lexicon and on iterative transferred expert knowledge. We compare the performance of our algorithm to manual annotation by a specialist in mammography. Our results show that our parser's performance is comparable to the manual method. © 2012 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Parser evaluation using elementary dependency matching 12

Parser evaluation using elementary dependency matching

引用

12th International Conference on Parsing Technologies, IWPT 2011

作者： Dridan, Rebecca Oepen, Stephan NICTA Victoria Research Laboratory Dept. of Computer Science and Software Engineering University of Melbourne Australia Department of Informatics Universitetet i Oslo Norway

ISBN: (纸本)9781932432046

We present a perspective on parser evaluation in a context where the goal of parsing is to extract meaning from a sentence. Using this perspective, we show why current parser evaluation metrics are not suitable for evaluating parsers that produce logical-form semantics and present an evaluation metric that is suitable, analysing some of the characteristics of this new metric. © 2011 Association for Computational Linguistics

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

The third ACM international workshop on multimedia technologies for distance learning (MTDL 2011) 11

The third ACM international workshop on multimedia technolog...

引用

19th ACM International Conference on Multimedia ACM Multimedia 2011, MM'11

作者： Lau, Rynson W.H. Shih, Timothy K. Li, Frederick Yen, Neil Y. Department of Computer Science City University of Hong Kong Hong Kong Hong Kong Dept. of Computer Science and Info Engineering National Central University Taiwan School of Engineering and Computing Sciences University of Durham United Kingdom Dept. of Human Informatics and Cognitive Sciences Waseda University Japan

ISBN: (纸本)9781450306164

The MTDL 2011 workshop in its third edition aims to continue in the contribution and evaluation of the impact of multimedia technologies to e-Learning. This workshop is held in conjunction with the ACM Multimedia 2011 Conference in Scottsdale, Arizona, U.S.A.. As a cover paper of this workshop, we briefly summarize important issues to be addressed in e-learning in the first section, followed by a discussion of important issues proposed in the 5 papers accepted to the workshop (among the 9 submissions), plus 3 invited papers. © 2011 ACM.

关键词： E-learning

来源：评论

学校读者我要写书评

暂无评论

Mint: Realizing CUDA performance in 3D stencil methods with annotated C 11

Mint: Realizing CUDA performance in 3D stencil methods with ...

引用

Proceedings of the international conference on Supercomputing

作者： Unat, Didem Cai, Xing Baden, Scott B. Dept. of Computer Science and Engineering Univ. of California San Diego San Diego CA United States Simula Research Laboratory Department of Informatics University of Oslo Norway

ISBN: (纸本)9781450301022

We present Mint, a programming model that enables the non-expert to enjoy the performance benefits of hand coded CUDA without becoming entangled in the details. Mint targets stencil methods, which are an important class of scientific applications. We have implemented the Mint programming model with a source-to-source translator that generates optimized CUDA C from traditional C source. The translator relies on annotations to guide translation at a high level. The set of pragmas is small, and the model is compact and simple. Yet, Mint is able to deliver performance competitive with painstakingly hand-optimized CUDA. We show that, for a set of widely used stencil kernels, Mint realized 80% of the performance obtained from aggressively optimized CUDA on the 200 series NVIDIA GPUs. Our optimizations target three dimensional kernels, which present a daunting array of optimizations. © 2011 ACM.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共50页 << < 32 33 34 35 36 37 38 39 40 41 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：