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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

2,139 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,272 篇 工学
- 1,024 篇 计算机科学与技术...
- 582 篇 软件工程
- 252 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 10 篇 动力工程及工程热...
- 10 篇 建筑学
295 篇 理学
- 226 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,100 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2139 条记录，以下是1981-1990 订阅

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

详细简洁

排序：

Extreme programming and its development practices

Extreme programming and its development practices

引用

international conference on Information Technology Interfaces

作者： R. Juric South Bank University Business School London UK

ISBN: (纸本)9539676916

Extreme programming (XP) has attracted attention because of its fierce denial of many well-accepted software engineering practices considered as a sound approach to the development of intensive software systems. XP has been declared to be a new way of software development: a lightweight methodology, which is efficient, low-risk, flexible, predictable, scientific, and distinguishable from any other methodology. In the core of XP practices are programming activities, with strong emphasis on oral communications, automated tests, pair programming, storytelling culture and collective code-ownership at any time in the XP project. The paper gives an overview of XP practices and raises some serious concerns regarding their role in conceptual modelling and code generation; which directly affects software architecture solutions. The paper also tackles similarities between rational unified process (RUP) and XP, which have often been juxtaposed by software developers.

关键词： Object oriented modeling Software systems Unified modeling language Software engineering Automatic programming Employment Electronic mail Oral communication Automatic testing Software architecture

来源：评论

学校读者我要写书评

暂无评论

Requirement analysis using VORD

Requirement analysis using VORD

引用

international conference on Information Technology Interfaces

作者： Z. Pozgaj University of Zagreb Zagreb Croatia

ISBN: (纸本)9539676916

Requirements analysis is part of the global requirements engineering process. It is used in detecting and collecting the stakeholders' requirements that are important for developing the information system or software system. The viewpoint-oriented requirement definition (VORD) method is applied in the requirements analysis process. The method supports a service-oriented approach which is suitable for interactive systems. Using this method the analysis is based on external viewpoints which interact with the system by receiving services from it and giving data to the system. The analysis of a request for a point-of-sale (POS) system in a supermarket is presented as an application.

关键词： programming Application software Information systems Software systems Life estimation Production Software testing Information analysis Interactive systems Documentation

来源：评论

学校读者我要写书评

暂无评论

A beam weight determination method based on genetic algorithms for 3-D radiotherapy planning

A beam weight determination method based on genetic algorith...

引用

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

作者： Xingen Wu Yunping Zhu Department of Radiation Oncology Saint Jude Children''s Research Hospital Memphis TN USA

ISBN: (纸本)0780364651

The goal of radiotherapy treatment planning (RTP) is to deliver a high dose to target volumes (TV) while causing minimal damage to the surrounding healthy tissues. Many approaches have been proposed to optimize the dose distribution mainly in TV. Here, the authors propose a novel RTP optimization approach based on the use of genetic algorithms (GAs) to determine the beam weights and orientation, GA is based on the Darwinian principles of the survival-of-the-fittest mechanism. Through genetic operators like cross over and mutation, the new generation composed of many chromosomes will be better than the old one. The authors proposed a heuristic operation called 'sudden death' to speed up convergence. They present an example demonstrating that the application of genetic algorithms to three-dimensional (3D) RTP is feasible.

关键词： Genetic algorithms TV Biological cells Quadratic programming Structural beams Genetic mutations Application software Linear programming Oncology Pediatrics

来源：评论

学校读者我要写书评

暂无评论

Medical knowledge representation by means of multipopulation genetic programming: an application to burn diagnosing

Medical knowledge representation by means of multipopulation...

引用

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

作者： F.F. de Vega L.M. Roa M. Tomassini J.M. Sanchez Departamento Arquitectura y Tecnología de Computadores University de Extremadura Escuela Polittcnica. Caceres Spain Camino de los Descubrimientos Universidad de Sevilla Seville Spain Institute d''Informatique Universite de Lausanne Switzerland

ISBN: (纸本)0780364651

Decision support systems have proved to be useful in medical decision making. Here, the authors present a methodology that allow them to capture medical knowledge and develop a decision system for burn diagnosing by means of Genetic programming. Diagnosing the evolution of a burn is a very difficult task. The authors present a learning classifier system based on multipopulations genetic programming. It uses a set of parameters, obtained by specialist doctors, to predict the evolution of a burn according to its initial stages. The system is first trained with a set of parameters and results of evolution have been recorded over a set of clinic cases. Once the system is trained, it is useful for deciding how new cases will probably evolve. Thanks to the use of Genetic programming an explicit expression of the input parameter is provided. This explicit expression takes the form of a Decision Tree, which will be incorporated into software tools that help physicians in their everyday work.

关键词： Knowledge representation Genetic programming Medical diagnostic imaging Decision trees Biomedical imaging Classification tree analysis Knowledge based systems Evolutionary computation Senior members Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Some relationships among knowledge operators, the past temporal operator once, and the future temporal operators in multi-agent systems

Some relationships among knowledge operators, the past tempo...

引用

international conference on Information Technology Interfaces

作者： M. Cubrilo M. Malekovic Faculty of Organization and Informatics Varazdin University of Zagreb Croatia

ISBN: (纸本)9539676916

We consider some relationships among the knowledge operators (Ki, Kj), the past temporal operator (the once operator), and the future temporal operators (the next operator, the eventually operator, the always operator) in multi-agent systems. These relationships describe agent properties in multi-agent systems (the properties relate knowledge of two agents): if agent i has known F: then agent j will know F in the next step; if agent i has known F, then agent j will eventually know F; if agent i has known F, then agent j will always know F; and if agent i has known F, then agent i knows F until agent j knows F. These properties can be helpful in analyzing the respective multi-agent system.

关键词： Multiagent systems Informatics logic

来源：评论

学校读者我要写书评

暂无评论

WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation 00

WYSIWYT testing in the spreadsheet paradigm: an empirical ev...

引用

Proceedings of the 22nd international conference on Software engineering

作者： Karen J. Rothermel Curtis R. Cook Margaret M. Burnett Justin Schonfeld T. R. G. Green Gregg Rothermel Department of Computer Science Oregon State Universit y Corvallis OR

ISBN: (纸本)9781581132069

Is it possible to achieve some of the benefits of formal testing within the informal programming conventions of the spreadsheet paradigm? We have been working on an approach that attempts to do so via the development of a testing methodology for this paradigm. Our “What You See Is What You Test” (WYSIWYT) methodology supplements the convention by which spreadsheets provide automatic immediate visual feedback about values by providing automatic immediate visual feedback about “testedness”. In previous work we described this methodology; in this paper, we present empirical data about the methodology's effectiveness. Our results show that the use of the methodology was associated with significant improvement in testing effectiveness and efficiency even with no training on the theory of testing or test adequacy that the model implements. These results may be due at least in part to the fact that use of the methodology was associated with a significant reduction in overconfidence.

关键词： spreadsheets testing empirical studies visual programming

来源：评论

学校读者我要写书评

暂无评论

Reducing the number of instructions

Reducing the number of instructions

引用

international conference on Information Technology Interfaces

作者： M. Gusev A. Misev G. Popovski P. Mitrevski Faculty of Natural Sciences Ss Cyril and Methodius University Skopje Macedonia Faculty of Technical Engineering Saint Clement Ohridski University Bitola Macedonia

ISBN: (纸本)9539676916

The purpose of this article is to reduce the number of instructions while executing in processor. We analyse memory address dependent instructions and eliminate the address generation processing if the address was previously calculated. For standard RISC, VLIW and in-order superscalar processor we introduce a solution where the RMI (Reduction of Memory Instructions) algorithm is performed in the compile stage and address dependent instructions do not enter the processor at all. For out-of-order superscalar processors we introduce two solutions, the first one when these instructions are not issued at all and the second solution when these instructions are issued only in a reservation station without execution unit. All these solutions improve the behaviour of the processor for at least 10% since the processor does not execute these instructions.

关键词： Reduced instruction set computing Computer aided instruction Registers Out of order logic Counting circuits High level languages Hardware Delay Computer architecture

来源：评论

学校读者我要写书评

暂无评论

A study on exception detection and handling using aspect-oriented programming 00

A study on exception detection and handling using aspect-ori...

引用

Proceedings of the 22nd international conference on Software engineering

作者： Martin Lippert Cristina Videira Lopes Computer Science Department SE Group University of Hamburg Vogt-Kölln-Str. 30 22527 Hamburg Germany Computer Science Laboratory Xerox Palo Alto Research Center 3333 Coyote Hill Rd. Palo Alto CA

ISBN: (纸本)9781581132069

Aspect-Oriented programming (AOP) is intended to ease situations that involve many kinds of code tangling. This paper reports on a study to investigate AOP's ability to ease tangling related to exception detection and handling. We took an existing framework written in Java™, the JWAM framework, and partially reengineered its exception detection and handling aspects using AspectJ™, an aspect-oriented programming extension to *** found that AspectJ supported implementations that drastically reduced the portion of the code related to exception detection and handling. In one scenario, we were able to reduce that code by a factor of 4. We also found that, with respect to the original implementation in plain Java, AspectJ provided better support for different configurations of exceptional behaviors, more tolerance for changes in the specifications of exceptional behaviors, better support for incremental development, better reuse, automatic enforcement of contracts in applications that use the framework, and cleaner program texts. We also found some weaknesses of AspectJ that should be addressed in the future.

关键词： aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A formal approach for designing CORBA based applications 00

A formal approach for designing CORBA based applications

引用

Proceedings of the 22nd international conference on Software engineering

作者： Matteo Pradella Matteo Rossi Dino Mandrioli Alberto Coen-Porisini Dipartimento di Elettronica e Informazione Politecnico di Milano Piazza L. da Vinci 32 I-20133 Milano Italy Dipartimento di Ingegneria dell'Innovazione Università di Lecce via per Monteroni I-73100 Lecce Italy

ISBN: (纸本)9781581132069

The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high level architectural design. This is done by introducing in the specification all typical elements of CORBA and by providing a methodological support to the designers. The paper discusses a methodology to transform a formal specification written in TRIO into a high level design document written using an extension of TRIO named TC. The TC language is suited to formally describe the high level architecture of a CORBA based application. The methodology and the associated language are presented by means of an example involving a real Supervision and Control System.

关键词： temporal logic CORBA supervision and control system design formal methods

来源：评论

学校读者我要写书评

暂无评论

A "Sequential"" optimization technique for forward treatment planning for IMRT

A "Sequential"" optimization technique for forward treatment...

引用

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

作者： Y. Xiao G. Bednarz J. Galvin Department of Radiation Oncology Kimmel Cancer Center of Jefferson Medical College Philadelphia PA USA

ISBN: (纸本)0780364651

Radiation therapy treatment planning for intensity modulated dose delivery with user-defined beam angles and sub-fields (sometimes called forward-planning IMRT) is an alternative to inverse planning. This method can be used for cases where critical structures lie within cavities in the target, and has the advantage of building on the techniques conventionally used for conformal treatment. A number of different optimization approaches have been described in the literature, and each has advantages and disadvantages. Here, the authors apply the simple and fast linear programming method and, if necessary, follow it with the more rigorous Cimmino iterative algorithm to obtain optimized weights for the fields/sub-fields. The linear programming algorithm can produce a set of beam weights that allow the total dose for each point in the tumor or critical organ to meet its corresponding limit, while maximizing (minimizing) the dose to the tumor (organ). In this case, the problem is termed "feasible," and no further optimization is attempted. If a feasible solution is not found, the dose limits can be relaxed. However, it is not always easy to know how to manipulate the dose limits. In such situations, the Cimmino iterative algorithm is brought into play to find the best set of beam weights (weighted least squares solution to the linear feasibility problem) given the dose limits and importance weightings assigned to each organ. The authors have tested the technique on a number of patient cases and achieved substantial improvement over previously used techniques.

关键词： Iterative algorithms Linear programming Neoplasms Biomedical applications of radiation Intensity modulation Optical modulation Buildings Optimization methods Least squares methods Testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 195 196 197 198 199 200 201 202 203 204 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：