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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,062 篇 会议
9 篇 期刊文献
4 册 图书

馆藏范围

1,075 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

702 篇 工学
- 564 篇 计算机科学与技术...
- 476 篇 软件工程
- 134 篇 信息与通信工程
- 131 篇 控制科学与工程
- 97 篇 电气工程
- 71 篇 生物工程
- 62 篇 机械工程
- 55 篇 动力工程及工程热...
- 50 篇 电子科学与技术（可...
- 45 篇 交通运输工程
- 38 篇 生物医学工程（可授...
- 31 篇 化学工程与技术
- 25 篇 安全科学与工程
- 23 篇 土木工程
- 22 篇 光学工程
- 22 篇 石油与天然气工程
391 篇 理学
- 277 篇 数学
- 78 篇 生物学
- 63 篇 物理学
- 58 篇 统计学（可授理学、...
- 57 篇 系统科学
- 32 篇 化学
191 篇 管理学
- 138 篇 管理科学与工程(可...
- 79 篇 工商管理
- 67 篇 图书情报与档案管...
34 篇 经济学
- 34 篇 应用经济学
33 篇 教育学
- 33 篇 教育学
28 篇 法学
26 篇 医学
- 24 篇 基础医学(可授医学...
- 24 篇 临床医学
- 23 篇 药学(可授医学、理...
13 篇 农学
1 篇 艺术学

主题

50 篇 programming
47 篇 linear programmi...
31 篇 dynamic programm...
26 篇 software enginee...
24 篇 integer programm...
23 篇 optimization
19 篇 machine learning
18 篇 heuristic algori...
17 篇 computer science
16 篇 computational mo...
16 篇 students
16 篇 software
15 篇 costs
13 篇 object oriented ...
13 篇 genetic programm...
13 篇 real-time system...
12 篇 genetic algorith...
11 篇 semantics
11 篇 mathematical mod...
10 篇 deep learning

机构

7 篇 college of energ...
6 篇 school of electr...
5 篇 college of elect...
5 篇 school of scienc...
5 篇 information engi...
4 篇 school of comput...
4 篇 school of vehicl...
4 篇 china electric p...
4 篇 school of cyber ...
3 篇 school of electr...
3 篇 school of electr...
3 篇 school of transp...
3 篇 department of co...
3 篇 college of infor...
3 篇 school of inform...
3 篇 state key labora...
3 篇 nanjing universi...
3 篇 shanghai maritim...
3 篇 polytechnic inst...
3 篇 school of comput...

作者

4 篇 meikang qiu
3 篇 wang hui
3 篇 miller james
3 篇 gong peizhu
3 篇 wang junxiang
3 篇 xigang yuan
3 篇 batra salil
3 篇 salil batra
3 篇 mekruksavanich s...
3 篇 jitpattanakul an...
3 篇 liu jin
3 篇 wu zhongdai
2 篇 yin jianbing
2 篇 heinz stefan
2 篇 seniman
2 篇 li cheng
2 篇 saraswat sudhir
2 篇 duo liu
2 篇 cheng wang
2 篇 da chen

语言

1,056 篇 英文
16 篇 其他
5 篇 中文

检索条件"任意字段=7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023"

共 1075 条记录，以下是861-870 订阅

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

详细简洁

排序：

ICSE Workshop on Software engineering for Adaptive and Self-Managing Systems: Foreword

ICSE Workshop on Software Engineering for Adaptive and Self-...

引用

7th ACM/IEEE international Symposium on Software engineering for Adaptive and Self-Managing Systems, SEAMS 2012

作者： Baresi, Luciano Müller, Hausi A.

ISBN: (纸本)9781467317870

SEAMS 2012, the 7th ACM/IEEE international Symposium on Software engineering for Adaptive and Self-Managing Systems, was held on June 4-5, 2012 in Zurich, Switzerland. As in previous years SEAMS is co-located with the ACM/IEEE international conference on Software engineering (ICSE). the increasing complexity, distribution, and dynamism of many software-intensive systems impose self-managing capabilities as key requirements. these systems must be able to adapt themselves at runtime to cope with changes in operating environments, variability of resources, new user needs, intrusions, or faults. the goal is to preserve effective, secure, and safe operation and react to changes with no (or limited) human intervention. Solutions to complement software systems with self-managing and self-adaptive capabilities have been proposed by researchers in many different areas, including software architecture, fault-tolerant computing, robotics, control systems, programming languages, runtime program analysis and verification, and biologically-inspired computing. the SEAMS Symposium focuses on the software engineering aspects, including the methods, techniques, and tools that can be used to support self-adaptive, self-managing, self-healing, selfoptimizing, and self-configuring software systems. the objective of the SEAMS Symposium is to bring together researchers and practitioners from many diverse areas to investigate, discuss, and examine thoroughly the fundamental principles, state of the art, and critical challenges of self-adaptive and self-managing systems. this second year of SEAMS as a symposium continues to attract researchers and practitioners from the different disciplines interested in self-adaptive systems. We received 50 submissions, and after a thorough review process - each paper was reviewed by at least three program committee members - accepted 14 full papers and 5 short papers. the SEAMS 2012 program comprises two keynotes, presentations of the 19 technical papers

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

On the scheduling and multiplexing throughput trade-off in MIMO networks

On the scheduling and multiplexing throughput trade-off in M...

引用

7th international ICST conference on Broadband Communications, Networks, and Systems, BROADNETS 2010

作者： ElBatt, Tamer Faculty of Engineering Cairo University Giza 12613 Egypt

ISBN: (纸本)9783642303753

In this paper we explore the cross-layer MIMO-MAC resource allocation problem in interference-limited wireless networks. this is primarily motivated by the trade-off between maximizing the throughput of individual non-interfering links, using spatial multiplexing, and maximizing the spatial reuse of lower rate interfering links, using spatial multiplexing in conjunction with nulling. First, we formulate a cross-layer optimization problem that jointly decides the scheduling and MIMO stream allocation in order to maximize the average sum rate of a given set of single-hop links, subject to signal-to-interference-and-noise- ratio (SINR) constraints. Second, we characterize the problem as a non-convex integer programming problem which is quite challenging to solve. However, we show that under low SINR regimes, an approximate problem can be cast into a geometric programming formulation which is convex. Finally, we characterize the optimal solution for the case of two links and utilize the developed decision rules as a basis for a distributed iterative MIMO link scheduling (IMLS) algorithm that achieves significant gains for arbitrary number of links. Numerical results show that, for plausible scenarios, IMLS achieves more than 2-fold improvement over one-link-per-slot utilizing full spatial multiplexing gain. © 2012 ICST Institute for Computer science, Social Informatics and Telecommunications engineering.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

CasADi: A symbolic package for automatic differentiation and optimal control

引用

6th international conference on Automatic Differentiation, AD 2012

作者： Andersson, Joel Åkesson, Johan Diehl, Moritz K.U. Leuven Kasteelpark Arenberg 10 Heverlee 3001 Belgium Department of Automatic Control Faculty of Engineering Lund University BOX 118 Lund 21100 Sweden

ISBN: (纸本)9783642300226

We present CasADi, a free, open-source software tool for fast, yet efficient solution of nonlinear optimization problems in general and dynamic optimization problems in particular. To the developer of algorithms for numerical optimization and to the advanced user of such algorithms, it offers a level of abstraction which is notably lower, and hence more flexible, than that of algebraic modeling languages such as AMPL or GAMS, but higher than working with a conventional automatic differentiation (AD) *** is best described as a minimalistic computer algebra system (CAS) implementing automatic differentiation in eight different flavors. Similar to algebraic modeling languages, it includes high-level interfaces to state-of-the-art numerical codes for nonlinear programming, quadratic programming and integration of differential-algebraic equations. CasADi is implemented in self-contained C++ code and contains full-featured front-ends to Python and Octave for rapid prototyping. In this paper, we present the AD framework of CasADi and benchmark the tool against AMPL for a set of nonlinear programming problems from the CUTEr test suite. © 2012 Springer-Verlag.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

the introduction of computer science to NZ high schools - An analysis of student work 12

The introduction of computer Science to NZ high schools - An...

引用

7th Workshop in Primary and Secondary Computing Education, WiPSCE 2012

作者： Bell, Tim Newton, Heidi Andreae, Peter Robins, Anthony Department of Computer Science and Software Engineering University of Canterbury Christchurch New Zealand School of Engineering and Computer Science Victoria University of Wellington Wellington New Zealand Computer Science Department University of Otago Dunedin New Zealand

ISBN: (纸本)9781450317870

In 2011 New Zealand introduced computer science as a topic that students could take as part of their studies in the last three years of high school. the change was initiated in late 2008, so the new material was introduced with barely two years of preparation and minimal teacher training. Despite this tight timeline, many schools adopted the new topic, and many students successfully completed assessment in it in 2011. the format of the assessment was required to be a report. In this paper we look carefully at the work that students submitted by examining publicly available information (statistics, markers' comments and exemplars), and performing a detailed analysis of a sample of 151 student papers. We describe the nature of the assessment (which is report-based with very flexible criteria for how students can demonstrate their understanding), and examine the kind of work that students submitted to meet the criteria, drawing out good practices that enabled students to do well. A recur- ring theme is the importance of students being able to use personal authentic examples so that the examiner can hear the \student's voice" in their report work, which provides evidence that the student has understood the topic rather than paraphrased descriptions. the analysis also reveals the value of prompting students effectively to get them engaged properly with the concepts, and identifies successful ways to achieve this in the three areas of the analysed standard (algorithms, programming languages and usability). Copyright © 2012 ACM.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Self-adaptive genetically programmed differential evolution

Self-adaptive genetically programmed differential evolution

引用

international conference on Electrical and Computer engineering (ICECE)

作者： Pravakar Roy Md. Jahidul Islam Md. Monirul Islam Department of Computer Science and Engineering Bangladesh University of Engineering and Technology Dhaka Bangladesh

Differential evolution (DE) is a simple and efficient technique for real parameter optimization over continuous spaces. Its success is highly dependent on the choice of correct trial vector generation strategies and control parameters. Choosing appropriate trial vector generation strategies and control parameters for new problems by trial and error method can be computationally costly and inefficient. this paper proposes a hybrid approach, incorporating genetic programming (GP) with DE, where GP generates trial vector generation strategies based on the problem specification and the state of the population using a simple learning method. Trial vector generation strategies are chosen from this pool of strategies generated by GP. the choice of a particular strategy depends on the type of the problem, initialization values and state of evolution. Consequently, the strategies chosen for different run of the same problem are different. However, it allows self-adaptation to be completely problem dependent and as a result for a unknown problem domain the method is expected to perform better than other state-of-the-art self-adaptive evolutionary techniques. In this method, the control parameter F is eliminated and crossover ratio Cr is evolved with the population and population size NP is still fixed empirically. the performance of this method is extensively evaluated using the CEC2005 contest test instances. Experimental results show that, self-adaptive genetically programmed differential evolution (SaGPDE) leads to quick convergence and produce very competitive results.

关键词： Vectors Sociology Statistics Optimization Genetic programming Evolutionary computation Erbium

来源：评论

学校读者我要写书评

暂无评论

Global equilibrium search algorithms for combinatorial optimization problems

Global equilibrium search algorithms for combinatorial optim...

引用

12th international conference on Parallel Problem Solving from Nature, PPSN 2012

作者： Shylo, Oleg Korenkevych, Dmytro Pardalos, Panos M. Department of Industrial Engineering University of Pittsburgh Pittsburgh PA 15261 United States Department of Industrial and Systems Engineering University of Florida 303 Weil Hall Gainesville FL 32611 United States 136 Rodionova St. Nizhny Novgorod 603093 Russia

ISBN: (纸本)9783642329630

Global Equilibrium Search (GES) is a meta-heuristic framework that shares similar ideas with the simulated annealing method. GES accumulates a compact set of information about the search space to generate promising initial solutions for the techniques that require a starting solution, such as the simple local search method. GES has been successful for many classic discrete optimization problems: the unconstrained quadratic programming problem, the maximum satisfiability problem, the max-cut problem, the multidimensional knapsack problem and the job-shop scheduling problem. GES provides state-of-the-art performance on all of these domains when compared to the current best known algorithms from the literature. GES algorithm can be naturally extended for parallel computing as it performs search simultaneously in distinct areas of the solution space. In this talk, we provide an overview of Global Equilibrium Search and discuss some successful applications. © 2012 Springer-Verlag.

关键词： Combinatorial optimization

来源：评论

学校读者我要写书评

暂无评论

Fast Algorithms of Anisotropic Diffusion Filters for Parallel Processors

Fast Algorithms of Anisotropic Diffusion Filters for Paralle...

引用

international conference on Computing and Convergence Technology

作者： Hyun Kyu Kim Hyo Jong Lee Division of Computer Science and Engineering Chonbuk National University Jeonju Korea Division of Computer Science and Engineering Center for Advanced Image & Information Technology Chonbuk National University Jeonju Korea

ISBN: (纸本)9781467308946

A noise in digital image degrades the performance of image processing. these images are most often used in medical field for diagnosis and treatment. thus, there is a huge demand for high quality images from the medical field. the current algorithms to process useable images are derived using Gaussian blur filter. However, using such isotropic diffusion technique, the filter cuts away pertinent information within the image. the high noise level in an image will blur organs in medical images such as in MRI. In order to accommodate the loss of information while maintaining the quality of the image, an anisotropic diffusion filter has been developed. the anisotropic diffusion filter uses heat equation and the only downfall of the technique is lengthy process time. the purpose of this study is to decrease the processing time using parallel processors through the optimization of GPU.

关键词： Anisotropic Anisotropic diffusion filter GPU CUDA parallel programming multi-core

来源：评论

学校读者我要写书评

暂无评论

Query rewriting under ontology contraction 6th

Query rewriting under ontology contraction

引用

6th international conference on Web Reasoning and Rule Systems, RR 2012

作者： Tsalapati, Eleni Stoilos, Giorgos Stamou, Giorgos Koletsos, George School of Electrical and Computer Engineering National Technical University of Athens Zographou Campus Athens15780 Greece

ISBN: (纸本)9783642332029

Conjunctive query (CQ) answering is a key reasoning service for ontology-based data access. One of the most prominent approaches to conjunctive query answering is query rewriting where a wide variety of systems has been proposed the last years. All of them accept as input a fixed CQ q and ontology O and produce a rewriting for q,O. However, in many real world applications ontologies are very often dynamic—that is, new axioms can be added or existing ones removed frequently. In this paper we study the problem of computing a rewriting for a CQ over an ontology that has been contracted (i.e., some of its axioms have been removed) given a rewriting for the input CQ and ontology. Our goal is to compute a rewriting directly from the input rewriting and avoid computing one from scratch. We study the problem theoretically and provide sufficient conditions under which this process is possible. Moreover, we present a practical algorithm which we implemented and evaluated against other state-of-the-art systems obtaining encouraging results. Finally, axiom removal can also be relevant to ontology design. For each test ontology we study how much the removal of an axiom affects the size of the rewriting and the performance of systems. If the removal of a single axiom causes a significant decrease either in the size or in the computation time then this part of the ontology can be re-modelled. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Uncertainty and computer assisted problem solving environment (PSE) in scientific computing

Uncertainty and computer assisted problem solving environmen...

引用

international conference on Computer sciences and Convergence Information Technology (ICCIT)

作者： Shigeo Kawata Takashi Ishihara Daisuke Barada Wu Zhang Jiang Xie Hitohide Usami Takayuki Teramoto Masami Matsumoto Yasuhiko Manabe Yoshikazu Hayase Tae Whan Kim School of Computer Engineering and Science Shanghai University Shanghai China Department of Advanced Interdisciplinary Sciences Utsunomiya University Utsunomiya Japan Tamagawa university Machida Japan Tsuyama National College of Technology Tsuyama Japan Yonago National College of Technology Yonago Japan Numazu National College of Technology Numazu Japan Toyama National College of Technology Toyama Japan Hanyang University Seoul South Korea

ISBN: (纸本)9781467308946

Uncertainty in scientific computing is discussed in this paper. Uncertainty comes from various sources, for example, from physical model uncertainty, mathematical model errors, unknown input data, numerical model errors, insufficient numerical precision, round-off error, floating point precision, programming errors, data processing errors or uncertainty, visualization errors, etc., as well as human errors concerned. the uncertainty in scientific computing has induced serious accidents or disasters, so far. the uncertainty in scientific computing must be managed to avoid serious accidents and disasters, and also to obtain reasonable or precise scientific results for discoveries and scientific progresses. the uncertainty management is a hard job in scientific computing. On the other hand, studies on problem solving environments (PSEs) have been explored to enhance programming power and to help users to solve problems using computers. PSE is defined as “a system that provides all the computational facilities necessary to solve a target class of problems. It uses the language of the target class and users need not have specialized knowledge of the underlying hardware or software”. the uncertainty management could be supported by the concept of PSE. In this paper first we discuss on the uncertainty properties and their origin in scientific computing. then discussed is how to support the uncertainty management by the PSE concept.

关键词： Scientific Computing PSE (problem Solving Environment) Uncertainty Validation Verification Scientific computing Uncertainty Verification model error

来源：评论

学校读者我要写书评

暂无评论

Function Sequence Genetic programming for pattern classification

Function Sequence Genetic Programming for pattern classifica...

引用

2011 7th international conference on Natural Computation, ICNC 2011

作者： Wang, Shixian Zhao, Qingjie Chen, Yuehui Wu, Peng School of Information Science and Engineering University of Jinan No.106 Ji Wei Road Jinan Shandong China School of Computer Science and Technology Beijing Institute of Technology Beijing China

ISBN: (纸本)9781424499533

Pattern classification is one of the most researched problems in artificial Intelligence. Genetic programming (GP) has been used to construct classifiers by many researchers. Function Sequence Genetic programming (FSGP) is a new variant of GP, base on which constructing classifier has not been investigated now. this paper explores the application of FSGP to pattern classification. Base on FSGP, binary classifier and multi-classifier are constructed. Experiments on four well-known data sets are made to demonstrate the classification performance of FSGP. © 2011 IEEE.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共108页 << < 83 84 85 86 87 88 89 90 91 92 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：