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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,396 篇 会议
133 篇 期刊文献
76 册 图书

馆藏范围

3,603 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,402 篇 工学
- 1,899 篇 计算机科学与技术...
- 1,155 篇 软件工程
- 418 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
676 篇 理学
- 485 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 51 篇 化学
403 篇 管理学
- 338 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,494 篇 英文
82 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3605 条记录，以下是2601-2610 订阅

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

详细简洁

排序：

Reengineering standard Java runtime systems through dynamic bytecode instrumentation

Reengineering standard Java runtime systems through dynamic ...

引用

7th IEEE international Working conference on Source Code Analysis and Manipulation

作者： Binder, Walter Hulaas, Jarle Moret, Philippe Univ Lugano Fac Informat CH-6900 Lugano Switzerland Ecole Polytech Fed Lausanne Sch Comp & Commun Sci CH-1015 Lausanne Switzerland

ISBN: (纸本)9780769528809

Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynamically generated or downloaded code, instrumentation has to be performed at runtime. the standard offers some mechanisms for dynamic instrumentation, which however either require the use of native code or impose severe restrictions on the instrumentation certain core classes of the JDK these limitations prevent several instrumentation techniques that are important for efficient, calling context-sensitive profiling. In this we present a generic bytecode instrumentation framework that goes beyond these restrictions and enables the customized, dynamic instrumentation of all classes in pure Java. Our framework addresses important issues, such as bootstrapping an instrumented JDK, as well as avoiding measurement perturbations due to dynamic instrumentation or execution of instrumentation code. We validated and evaluated our framework using an instrumentation for exact profiling which generates complete calling context trees of various platform-independent dynamic metrics.

关键词： Java JVM dynamic bytecode instrumentation program transformations dynamic metrics profiling aspect-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automatic and dynamic generation of GPU programs to mix renderings and enhance informations on high scale scenes

Automatic and dynamic generation of GPU programs to mix rend...

引用

7th IASTED international conference on Visualization, Imaging, and Image Processing

作者： Boyer, Vincent Univ Paris 08 LIASD F-93526 St Denis France

ISBN: (纸本)9780889866911

We propose an automatic and dynamic generation of GPU programs to mix renderings and enhance informations for visualization of high scale scenes. Mixing different kinds of rendering techniques in the same frame enhances pertinent informations on 2D images or 3D scenes. this is achieved in one pass because one and only one GPU program is used to render the scene. New rendering techniques can be imported and we present a method to automatically build and dynamically updated the program used by the GPU. For a given 3D scene or a 2D image, the user chooses key points, imports rendering techniques described as GPU programs and our model constructs one GPU program that render the scene with these different rendering techniques. the key points, the rendering techniques used, the camera position can be interactively changed by the user. In this paper we present the model used to mix renderings, a method to automatically generate and dynamically update GPU programs. the images produced by our system are presented and results are discussed.

关键词： rendering GPU programming non-photorealistic computer graphics

来源：评论

学校读者我要写书评

暂无评论

Computational genome-wide discovery of aberrant splice variations with exon expression profiles

Computational genome-wide discovery of aberrant splice varia...

引用

7th IEEE international conference on Bioinformatics and Bioengineering, BIBE

作者： Yoshida, Ryo Numata, Kazuyuki Imoto, Seiya Nagasaki, Masao Doi, Atsushi Ueno, Kazuko Miyano, Satoru Institute of Statistical Mathematics Research Organization of Information and Systems 4-6-7 Minami-Azabu Minato-ku Tokyo 103-8569 Japan Human Genome Center Institute of Medical Science University of Tokyo 4-6-1 Shirokanedai Minato-ku Tokyo 108-8639 Japan Gene Network International 4-2-12 Toranomon Minato-ku Tokyo 105-0001 Japan

ISBN: (纸本)1424415098

Alternative splicing plays a prominent role in eukaryotic gene regulations that allow a single gene to generate the multiple mRNA products. the recent advent of GeneChip Human Exon 1.0 ST Array enables us to measure the exon expression profiles of human cells on a genome-wide scale. With this advent, analysis of functional gene regulation could be extended to detect not only differentially expressed genes, but also specific splicing events that occur in target cells, but not in normal controls. We address some statistical issues for the identification of biomarker splice variations with exon expression data. the proposed method involves the following steps: (1) Whole transcript analysis with the nonparametric analysis of variance (ANOVA) to identify potential biomarkers that present specific splice variations. (2) Meta-analysis for discriminating non-specific splice variations that are caused by clinical heterogeneity in the collected samples. In the analysis of human cells, controlling non-specific splicing factors is essential for success in the detection of biomarker splice variations because splice patterns are possibly affected by inter-individual differences in the collected samples. We demonstrate its utility and perform a whole transcript analysis of exon expression profiles of colorectal carcinoma. ©2007 IEEE.

关键词： Biomarkers

来源：评论

学校读者我要写书评

暂无评论

Designing electronic circuits by means of Gene Expression programming II 1

引用

7th international conference on Evolvable Systems

作者： Yan, Xuesong Wei, Wei Liang, Qingzhong Hu, Chengyu Yao, Yuan China Univ Geosci Sch Comp Sci Wuhan 430074 Peoples R China China Univ Geosci Res Ctr Space Sci & Technol Wuhan 430074 Peoples R China

ISBN: (数字)9783540746263

ISBN: (纸本)9783540746256

A major bottleneck in the evolutionary design of electronic circuits is the problem of scale. this refers to the very fast growth of the number of gates, used in the target circuit, as the number of inputs of the evolved logic function increases. Another related obstacle is the time required to calculate the fitness value of a circuit. In this paper, We propose a new means (Gene Expression programming) for designing electronic circuits and introduces the encoding of the circuit as a chromosome, the genetic operators and the fitness function. From the case studies show this means has proved to be efficient to the electronic circuit and the evolution speed is fast. the experiments results show that we have attained the better results.

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

A novel DC nodal pricing method based on linear programming in competitive electricity market

A novel DC nodal pricing method based on linear programming ...

引用

7th international conference on Computational Science (ICCS 2007)

作者： Yang, Bo Chen, Yun-ping Zhao, Zun-lian Han, Qi-ye Wuhan Univ Sch Elect Engn Wuhan 430072 Peoples R China State Grid Corp China Beijing 100031 Peoples R China Ctr China Grid Co Ltd Wuhan 430077 Peoples R China

ISBN: (纸本)9783540725879

AC based nodal pricing method makes market rule less transparent and affects market decisions on risk and opportunity in short-run and long-run periods. therefore, AC based nodal pricing formulation is simplified into DC based nodal pricing formulation, which maximizes total social welfare with the condition of satisfying Kirchhoff's laws and other operational constraints in modified DC optimal power flow model. then, a simple but practical linear programming based nodal pricing method, which can be applied to solve market clearing mode with piecewise constant supply and demand curves, is proposed! the proposed method is tested on IEEE 30 bus system. Test results show that it can avoid premature and divergent phenomenon, which always occurs in the solution of AC based nodal pricing formulation, and has potential application in competitive electricity market.

关键词： nodal price linear programming constrained optimization optimal power flow electricity market

来源：评论

学校读者我要写书评

暂无评论

epsilon-Support vector and large-scale data mining problems

epsilon-Support vector and large-scale data mining problems

引用

7th international conference on Computational Science (ICCS 2007)

作者： Kou, Gang Peng, Yi Shi, Yong Chen, Zhengxin Thomson Co R&D 610 Opperman Dr Eagan MN 55123 USA Univ Nebraska Coll Informat Sci & Technol Omaha NE 68182 USA Grad Univ Chinese Acad Sci Chinese Acad Sci Res Ctr Data Technol & Knowledge Econ Beijing 100080 Peoples R China

ISBN: (纸本)9783540725879

Data mining and knowledge discovery has made great progress during the last fifteen years. As one of the major tasks of data mining, classification has wide business and scientific applications. Among a variety of proposed methods, mathematical programming based approaches have been proven to be excellent in terms of classification accuracy, robustness, and efficiency. However, there are several difficult issues. Two of these issues are of particular interest of this research. the first issue is that it is challenging to find optimal solution for large-scale dataset in mathematical programming problems due to the computational complexity. the second issue is that many mathematical programming problems require specialized codes or programs such as CPLEX or LINGO. the objective of this study is to propose solutions for these two problems. this paper proposed and applied mathematical programming model to classification problems to address two aspects of data mining algorithm: speed and scalability.

关键词： data mining classification mathematical programming multiple criteria decision making support vector machine

来源：评论

学校读者我要写书评

暂无评论

Interactive fuzzy goal programming approach for optimization of extended hub-and-spoke regional port transportation networks

Interactive fuzzy goal programming approach for optimization...

引用

7th international conference on Computational Science (ICCS 2007)

作者： Wang, Chuanxu Jiang, Liangkui Shanghai Maritime Univ Sch Econ & Management Shanghai 200135 Peoples R China Shanghai Maritime Univ Dept Basic Sci Shanghai 200135 Peoples R China

ISBN: (纸本)9783540725893

Based on interactive fuzzy goal programming, a model is introduced for extended hub-and-spoke regional port transportation network optimization problem where one of the objective functions is considered as a non-linear function. the proposed model considers the imprecise nature of the input data and assumes that each objective function has a fuzzy goal, and aims at jointly minimizing the total costs including the sailing cost and handling cost as well as the total transit times consisting of sailing time and handling time. Meanwhile it optimizes the following factors: transportation quantities via a hub port from an original port to a destination port, transportation quantities directly from an original port to a destination port. the solution procedure to the proposed model is then presented. At last, a numerical example is given to demonstrate the effectiveness of the proposed model and evaluate the performance of the solution procedure.

关键词： fuzzy goal programming hub-and-spoke optimization port transportation network

来源：评论

学校读者我要写书评

暂无评论

A random keys based genetic algorithm for the target visitation problem

A random keys based genetic algorithm for the target visitat...

引用

7th international conference on Cooperative Control and Optimization

作者： Arulselvan, Ashwin Commander, Clayton W. Pardalos, Panos M. Univ Florida Ctr Appl Optimizat Gainesville FL 32611 USA Eglin Air Force Base Air Force Res Lab Eglin AFB FL USA

ISBN: (纸本)9783540743545

the objective of the TARGET VISITATION PROBLEM is to determine a path for an unmanned aerial vehicle that begins at a point of origin and needs to visit several targets before returning to its starting point. An optimal visitation sequence is one which minimizes the total distance traveled and maximizes the utility of the visitation order. this utility measure is defined for each pair of targets and represents the relative value of visiting a particular target before another. In this chapter, we present the results of a preliminary study investigating the effectiveness of a genetic algorithm for the TARGET VISITATION PROBLEM. the encoding scheme is based on random keys. Numerical results are presented for a set of randomly generated test problems and compared with the optimal solutions as computed by a commercial integer programming package.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Optimizing stream organization to improve the performance of scientific computing applications on the stream processor

Optimizing stream organization to improve the performance of...

引用

7th international conference on Algorithms and Architectures for Parallel Processing

作者： Zhang, Ying Li, Gen Yang, Xuejun Zeng, Kun Natl Univ Def Technol Inst Comp Changsha 410073 Peoples R China

ISBN: (纸本)9783540729044

It is very important to organize streams well to make stream programs take advantage of the parallel computing and memory system of the stream processor effectively, especially for scientific stream programs. In this paper, after analyzing typical scientific programs, we present and characterize two methods to optimize the stream organization: stream reusing and stream transpose. Several representative scientific stream programs with and without our optimization are performed on a stream typical processor simulator. Simulation results show that these methods can improve scientific stream program performance greatly.

关键词： scientific computing stream programming model stream processor cluster SIMD parallel computing stream reusing stream transpose inter-cluster communication

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Cooperative Control and Optimization, 2007

7th International Conference on Cooperative Control and Opti...

引用

7th international conference on Cooperative Control and Optimization, 2007

ISBN: (纸本)3540743545

the proceedings contain 25 papers. the special focus in this conference is on Cooperative Control and Optimization. the topics include: Cooperative Vision Based Estimation and Tracking Using Multiple UAVs;waypoint selection in constrained domains (for cooperative systems);cooperative formation flying in autonomous unmanned air systems with application to training;Virtual leader based formation control of multiple unmanned ground vehicles (UGVs): Control design, simulation and real-time experiment;cooperative control of multiple agents and search strategy;Real-time optimal time-critical target assignment for UAVs;sequential inspection using loitering;distributed cooperative systems with human operator-in-the-loop;decentralized extremum-seeking control of nonholonomic vehicles to form a communication chain;out-of-order sigma-point kalman filtering for target localization using cooperating unmanned aerial vehicles;an adaptive sequential game theoretic approach to coordinated mission planning for aerial platforms;characteristics of the distribution of hamming distance values between multidimensional assignment problem solutions;robust cooperative visual tracking: A combined nonlinear dimensionality reduction/robust identification approach;a Lagrangian-based algorithm for a combinatorial motion planning problem;a random keys based genetic algorithm for the target visitation problem;cooperative rendezvous between active autonomous vehicles;multi-cumulant control for zero-sum differential games: Performance-measure statistics and state-feedback paradigm;decentralized cooperative optimization for multi-criteria decision making;simultaneous localization and planning for cooperative air munitions;Second-order cone programming (SOCP) techniques for coordinating large-scale robot teams in polygonal environments;UAV splay state configuration for moving targets in wind;a risk-based approach to sensor resource management;constructing optimal cyclic tours for planar exploration and

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 257 258 259 260 261 262 263 264 265 266 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：