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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 会议
37 篇 期刊文献
24 册 图书

馆藏范围

1,041 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 583 篇 计算机科学与技术...
- 365 篇 软件工程
- 146 篇 电气工程
- 57 篇 控制科学与工程
- 30 篇 信息与通信工程
- 27 篇 材料科学与工程（可...
- 19 篇 电子科学与技术（可...
- 16 篇 机械工程
- 11 篇 动力工程及工程热...
- 11 篇 生物医学工程（可授...
- 10 篇 生物工程
- 7 篇 仪器科学与技术
- 7 篇 石油与天然气工程
- 6 篇 城乡规划学
- 4 篇 核科学与技术
- 4 篇 农业工程
191 篇 理学
- 158 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 12 篇 统计学（可授理学、...
- 10 篇 生物学
69 篇 管理学
- 53 篇 管理科学与工程(可...
- 22 篇 工商管理
- 19 篇 图书情报与档案管...
16 篇 教育学
- 16 篇 教育学
11 篇 文学
- 11 篇 新闻传播学
9 篇 法学
- 8 篇 社会学
6 篇 医学
- 4 篇 基础医学(可授医学...
4 篇 农学
- 4 篇 作物学
3 篇 经济学
- 3 篇 应用经济学
1 篇 军事学

主题

96 篇 logic gates
77 篇 programming
63 篇 logic programmin...
40 篇 fuzzy logic
35 篇 application soft...
30 篇 linear programmi...
30 篇 probabilistic lo...
27 篇 programming prof...
27 篇 computer archite...
26 篇 computer science
26 篇 dynamic programm...
23 篇 software enginee...
23 篇 protocols
21 篇 uncertainty
20 篇 object oriented ...
20 篇 java
20 篇 semantics
19 篇 computer circuit...
18 篇 costs
17 篇 software systems

机构

4 篇 univ potsdam pot...
4 篇 vienna univ tech...
4 篇 imdea software i...
4 篇 institute for lo...
3 篇 tu wien austria
3 篇 graduate school ...
3 篇 univ calabria de...
3 篇 carnegie mellon ...
3 篇 univ freiburg fr...
3 篇 univ british col...
3 篇 imperial coll lo...
3 篇 department of in...
2 篇 univ tecn federi...
2 篇 ist austria klos...
2 篇 univ savoie savo...
2 篇 tel aviv univers...
2 篇 zhongguancun lab...
2 篇 univ ferrara dip...
2 篇 south china univ...
2 篇 univ neuchatel i...

作者

8 篇 alviano mario
6 篇 lamma evelina
5 篇 schaub torsten
4 篇 riguzzi fabrizio
3 篇 lin yu
3 篇 vardi moshe y.
3 篇 gebser martin
3 篇 bellodi elena
3 篇 costa vitor sant...
3 篇 shinji sakamoto
3 篇 lakemeyer gerhar...
3 篇 ikeda markus
3 篇 zhou neng-fa
3 篇 xu hongxiang
3 篇 sabuncu orkunt
3 篇 leonard barolli
3 篇 schockaert steve...
3 篇 pichler andreas
3 篇 wang bin
3 篇 de givry simon

语言

1,015 篇 英文
21 篇 其他
8 篇 中文
1 篇 法文

检索条件"任意字段=30th International Conference on Logic Programming"

共 1043 条记录，以下是951-960 订阅

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

详细简洁

排序：

Understanding Requirements: Aspect Oriented Software Development

Understanding Requirements: Aspect Oriented Software Develop...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Deepak Dahiya Rajinder K. Sachdeva Department of Technology Majan College Muscat Oman IIPA New Delhi India

this paper discusses the requirements for aspect oriented design language in general and derives the specific requirements for the AOSDDL (Aspect Oriented Software Development Design Language) design language architecture that is proposed within this work. It has become apparent that design language research deals largely with trade-offs. For example, many of the aspect oriented design systems trade-off implementation dependency for wide tool support or limited support with general purpose flexibility. Research into aspect oriented design languages so far has shown that no single solution will meet all possible requirements of aspect oriented software development, and thus, multiple systems for domains with different demands must be able to co-exist and interoperate. the challenge in designing aspect oriented solutions therefore is to draw the optimal line between trade-offs depending on the requirements at hand. For this, it is crucial to understand fully the requirements of a given domain

关键词： programming Software design Unified modeling language Object oriented modeling Educational institutions Computer architecture Software engineering Computer applications Application software Encoding

来源：评论

学校读者我要写书评

暂无评论

SDN Based Architecture to Improve Video Streaming in Home Networks

SDN Based Architecture to Improve Video Streaming in Home Ne...

引用

international conference on Advanced Information Networking and Applications (AINA)

作者： Rabee Mustapha Abuteir Anne Fladenmuller Olivier Fourmaux Sorbonne Universités LIP6 Paris

ISBN: (纸本)9781509018598

Nowadays, Internet video is the dominant internet traffic. DASH is an adaptive video streaming technique introduced to enable high quality video delivery over HTTP. In home networks, multiple video streams will compete for bandwidth, thus leading to poor performance and impacting the received quality of experience. In this paper we introduce a new technique to address this issue at the home network gateway without modifying neither the client player nor the video server. We design our framework NAVS (Network Assisted Video Streaming) relies on the deployment of Software Defined Networking (SDN). NAVS performs a dynamic traffic shaping based on the collected network traffic statistics and monitoring of video flows. NAVS dynamically allocates bandwidth for each video flow in real time. NAVS scheme has been evaluated over several metrics: bandwidth utilization, instability of players as well as the average video quality received by the clients. Our results demonstrate an improvement for all these parameters.

关键词： Streaming media Bandwidth Home automation Bit rate Servers Internet logic gates

来源：评论

学校读者我要写书评

暂无评论

A mean shift based fuzzy c-means algorithm for image segmentation

A mean shift based fuzzy c-means algorithm for image segment...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： Huiyu Zhou Gerald Schaefer Chunmei Shi School of Engineering and Design Brunei University UK School of Engineering and Applied Science Aston University UK Peoples Hospital of Guangxi China

Image segmentation is an important task in many medical applications. One family of segmentation algorithms is based on the idea of clustering pixels with similar characteristics. C-means based approaches, in particular fuzzy c-means has been shown to work well for clustering based segmentation, however due to the iterative nature are also computationally complex. In this paper we introduce a new mean shift based fuzzy c-means algorithm that we show to be faster than previous techniques while providing good segmentation performance. the proposed clustering method incorporates a mean field term within the standard fuzzy c-means objective function. Since mean shift can quickly and reliably find cluster centres, the entire strategy is capable of optimally segmenting clusters within an image.

关键词： Image segmentation Clustering algorithms Kernel Bandwidth Matrix decomposition Standards Linear programming

来源：评论

学校读者我要写书评

暂无评论

the influence of organizational structure on software quality

The influence of organizational structure on software qualit...

引用

international conference on Software Engineering (ICSE)

作者： Nachiappan Nagappan Brendan Murphy Victor Basili Microsoft Research Limited Redmond WA USA Microsoft Research Limited Cambridge UK University of Maryland College Park MD USA

Often software systems are developed by organizations consisting of many teams of individuals working together. Brooks states in the Mythical Man Month book that product quality is strongly affected by organization structure. Unfortunately there has been little empirical evidence to date to substantiate this assertion. In this paper we present a metric scheme to quantify organizational complexity, in relation to the product development process to identify if the metrics impact failure-proneness. In our case study, the organizational metrics when applied to data from Windows Vista were statistically significant predictors of failure-proneness. the precision and recall measures for identifying failure-prone binaries, using the organizational metrics, was significantly higher than using traditional metrics like churn, complexity, coverage, dependencies, and pre-release bug measures that have been used to date to predict failure-proneness. Our results provide empirical evidence that the organizational metrics are related to, and are effective predictors of failure-proneness.

关键词： Software quality Software measurement programming Software metrics Reliability engineering Quality management Engineering management Software engineering Educational institutions Software systems

来源：评论

学校读者我要写书评

暂无评论

A novel variation-tolerant 4T-DRAM cell with enhanced soft-error tolerance

A novel variation-tolerant 4T-DRAM cell with enhanced soft-e...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Shrikanth Ganapathy Ramon Canal Dan Alexandrescu Enrico Costenaro Antonio Gonzalez Antonio Rubio Department dArquitectura de Computadors Universitat Poliltècnica de Catalunya Barcelona Spain Engineering Division IRoC Technologies SA Grenoble France Department dEnginyeria Electrònica Universitat Poliltècnica de Catalunya Barcelona Spain

In view of device scaling issues, embedded DRAM (eDRAM) technology is being considered as a strong alternative to conventional SRAM for use in on-chip memories. Memory cells designed using eDRAM technology in addition to being logic-compatible, are variation tolerant and immune to noise present at low supply voltages. However, two major causes of concern are the data retention capability which is worsened by parameter variations leading to frequent data refreshes (resulting in large dynamic power overhead) and the transient reduction of stored charge increasing soft-error (SE) susceptibility. In this paper, we present a novel variation-tolerant 4T-DRAM cell whose power consumption is 20.4% lower when compared to a similar sized eDRAM cell. the retention time on-average is improved by 2.04X while incurring a delay overhead of 3% on the read-access time. Most importantly, using a soft-error (SE) rate analysis tool, we have confirmed that the cell sensitivity to SEs is reduced by 56% on-average in a natural working environment.

关键词： logic gates Transistors Random access memory threshold voltage Capacitance System-on-a-chip Power demand

来源：评论

学校读者我要写书评

暂无评论

Problem solving skills

Problem solving skills

引用

Frontiers in Education (FIE) conference

作者： L.R. Carter W.M. Waite Institute for Software Research International Carnegie Mellon University Pittsburgh PA USA Electrical and Computer Engineering University of Colorado Boulder CO USA

this paper describes a three-year experiment to determine whether student performance can be improved by making their performance visible in quantitative ways and assisting them to reflect on deviations between desired and actual performance. the experiment focused on improving effort estimation for planning, improving effort allocation over the period of performance, and reducing the recurrence of previously reported defects in subsequent assignments. To accomplish this, a Web-based tool was implemented and used to capture numerous student performance parameters as well as planning rationales, postmortem reflections, and feedback to the students.

关键词： Problem-solving Reflection programming Feedback Software standards Standards development Productivity Educational products Education courses Design optimization

来源：评论

学校读者我要写书评

暂无评论

Timing aware partitioning for multi-FPGA based logic simulation using top-down selective hierarchy flattening

Timing aware partitioning for multi-FPGA based logic simulat...

引用

IEEE international conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Subramanian Poothamkurissi Swaminathan Pey-Chang Kent Lin Sunil P. Khatri Department of ECE Texas A and M University College Station TX USA

In order to accelerate logic simulation, it is highly beneficial to simulate the circuit design on FPGA hardware. this is often referred to as emulation, and we use the terms simulation and emulation interchangeably in this paper. However, limited hardware on FPGAs prevents large designs from being implemented on a single FPGA. Hence there is a need to partition the design and simulate it on a multi-FPGA platform. In contrast to existing FPGA-based post-synthesis partitioning approaches which first completely flatten the circuit and then possibly perform bottom-up clustering, we perform a selective top-down flattening and thereby avoid the potential netlist blowup. this also allows us to preserve the design hierarchy to guide the partitioning and to make subsequent debugging easier. Our approach analyzes the hierarchical design and selectively flattens instances using two metrics based on slack. the resulting partially flattened netlist is converted to a hypergraph, partitioned using hMetis, and reconverted back to a plurality of FPGA netlists, one for each FPGA of the FPGA-based accelerated logic simulation platform. We compare our approach with a partitioning approach that operates on a completely flattened netlist. Static timing analysis was performed for both approaches, and over 15 large examples from the OpenCores project, our approach yields a 52% logic simulation speedup and about 0.74× runtime for the entire flow, compared to the completely flat approach. the entire tool chain of our approach is automated in an end-to-end flow from hierarchy extraction, selective flattening, partitioning, and netlist reconstruction. Compared to an existing method which also performs slack-based partitioning of a hierarchical netlist, we obtain a 35% simulation speedup. Our method scales very well, yielding a significantly better simulation speedup and runtime improvement for larger examples.

关键词： Partitioning algorithms Field programmable gate arrays Algorithm design and analysis Runtime Delay Mathematical model

来源：评论

学校读者我要写书评

暂无评论

A Domain Specific Modeling Framework for Secure Network Applications

A Domain Specific Modeling Framework for Secure Network Appl...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Hiroshi Wada Junichi Suzuki Department of Computer Science University of Massachusetts Boston USA

Domain specific languages (DSLs) provide a promising solution to directly represent and implement domain concepts (G. Cook, 2004). DSLs are visual or textual languages targeted to particular problem domains, rather than general-purpose languages that are aimed at any software problems. Various DSLs have been proposed and used for describing, for example, security aspects of network applications (e.g., role-based access control, data encryption and secure network links) (T. Lodderstedt et al., 2002). Although many experience reports have demonstrated DSLs can improve software development productivity (e.g., by M. Vokac, 2005), existing DSLs are supported only by specific tools and frameworks; there are few generic frameworks supporting arbitrary DSLs. this Ph.D. research investigates a generic model-driven development (MDD) framework that supports arbitrary DSLs, and empirically evaluates a series of techniques to develop such a framework. Steps towards creating the proposed framework include investigating a generic foundation to handle arbitrary DSLs; strategies, principles and tradeoffs in different DSL designs (e.g., DSL syntax and semantics); building blocks for modeling and programming domain concepts; transformation strategies from domain concepts to the final (compilable) source code; and development processes to leverage the proposed framework well

关键词： DSL Unified modeling language Skeleton Application software programming profession Java Computer science Domain specific languages Data security Access control

来源：评论

学校读者我要写书评

暂无评论

the Field Marshal electromagnetic simulation environment

The Field Marshal electromagnetic simulation environment

引用

international conference on Infrared and Millimeter Waves

作者： R.H. Jackson M. McLay R.P. Joshi Old Dominion University Norfolk VA USA Calabazas Creek Research Inc. Saratoga CA USA

Summary form only given. High power microwave research requires multiple simulation codes to address physics at different space and time scales. Costs associated with purchase, maintenance and training become important issues when a "toolbox" of codes is needed. Usability issues involving user interface consistency between codes and use of a research community's vocabulary and units are also of concern. Access to source code is of enormous benefit to research groups but is usually not possible within the present technical software market. Along with these "usability" issues, the codes must provide state-of-the-art simulation power. Field Marshal is a simulation environment aimed at addressing the above issues for small research groups involved in electromagnetics design and analysis. Consistent user interface, single-geometry/multiple-tools and inclusion of legacy codes are project goals. A key objective is to construct the environment in such a way that it is usable, maintainable, and extensible by researchers who are not expert programmers. Four primary elements are necessary to cost-effectively achieve this: finite difference techniques, multigrid techniques, a modern scripting environment (e.g. Python), and Internet-based distributed development. the role each of these plays in the environment is outlined. the Field Marshal architecture and key components is described along with the present state of the environment.

关键词： Electromagnetic fields Usability User interfaces Physics Costs Vocabulary Analytical models Electromagnetic analysis programming profession Finite difference methods

来源：评论

学校读者我要写书评

暂无评论

Objective evaluation of methods for border detection in dermoscopy images

Objective evaluation of methods for border detection in derm...

引用

Annual international conference of the IEEE Engineering in Medicine and Biology Society (EMBC)

作者： M. Emre Celebi Gerald Schaefer Hitoshi Iyatomi Department of Computer Science Louisiana State University in Shreveport Shreveport LA USA School of Engineering and Applied Science Aston University Birmingham UK Department of Electrical Informatics Hosei University Tokyo Japan

Dermoscopy is one of the major imaging modalities used in the diagnosis of melanoma and other pigmented skin lesions. Due to the difficulty and subjectivity of human interpretation, dermoscopy image analysis has become an important research area. Border detection is often the first step in the automated analysis of dermoscopy images. Although numerous methods have been developed for the detection of lesion borders, very few studies were comprehensive in the evaluation of their results. In this paper, we evaluate five recent border detection methods on a set of 90 dermoscopy images using three sets of dermatologist-drawn borders as the ground-truth. In contrast to previous work, we utilize an objective measure, the Normalized Probabilistic Rand Index, which takes into account the variations in the ground-truth images. the results demonstrate that the differences between four of the evaluated border detection methods are in fact smaller than those predicted by commonly used measures.

关键词： Lesions Image segmentation Manuals Indexes Probabilistic logic Melanoma Skin

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共105页 << < 92 93 94 95 96 97 98 99 100 101 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：