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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

590 篇 会议
18 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

438 篇 工学
- 383 篇 计算机科学与技术...
- 333 篇 软件工程
- 48 篇 电气工程
- 25 篇 控制科学与工程
- 24 篇 信息与通信工程
- 10 篇 光学工程
- 9 篇 土木工程
- 8 篇 生物工程
- 6 篇 材料科学与工程（可...
- 5 篇 建筑学
- 4 篇 电子科学与技术（可...
- 4 篇 生物医学工程（可授...
- 3 篇 力学（可授工学、理...
- 3 篇 机械工程
- 3 篇 仪器科学与技术
- 3 篇 测绘科学与技术
- 3 篇 化学工程与技术
- 3 篇 环境科学与工程（可...
- 2 篇 交通运输工程
70 篇 理学
- 51 篇 数学
- 9 篇 生物学
- 7 篇 物理学
- 4 篇 化学
- 2 篇 系统科学
60 篇 管理学
- 33 篇 管理科学与工程(可...
- 29 篇 图书情报与档案管...
- 5 篇 工商管理
20 篇 教育学
- 20 篇 教育学
8 篇 法学
- 8 篇 社会学
3 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

176 篇 object oriented ...
29 篇 software enginee...
19 篇 object-oriented ...
18 篇 object oriented ...
18 篇 java programming...
16 篇 programming tech...
15 篇 programming
15 篇 java
14 篇 programming lang...
13 篇 aspect oriented ...
12 篇 logic programmin...
10 篇 programming prof...
10 篇 functional progr...
10 篇 object recogniti...
9 篇 computer program...
9 篇 logics and meani...
9 篇 unified modeling...
8 篇 application soft...
8 篇 c++ (programming...
8 篇 permission

机构

4 篇 statoilhydro
4 篇 miles consulting
4 篇 sti university o...
4 篇 b&r ind automat ...
4 篇 victoria univers...
4 篇 technische unive...
4 篇 sintef
3 篇 department of co...
3 篇 carnegie mellon ...
3 篇 letterkenny inst...
2 篇 microsoft corp r...
2 篇 oberon microsyst
2 篇 univ essex dept ...
2 篇 univ chinese aca...
2 篇 technion haifa
2 篇 imperial college...
2 篇 tech univ darmst...
2 篇 adayana inc.
2 篇 tech univ darmst...
2 篇 open university ...

作者

6 篇 meyer bertrand
6 篇 aldrich jonathan
5 篇 noble james
5 篇 salvaneschi guid...
5 篇 mezini mira
4 篇 hirschfeld rober...
4 篇 berre arne jørge...
4 篇 preschern christ...
4 篇 yoshida nobuko
4 篇 zeid amir
4 篇 roman dumitru
4 篇 landre einar
4 篇 udnæs morten
4 篇 van den heuvel w...
3 篇 baniassad elisa
3 篇 thiemann peter
3 篇 skår lars arne
3 篇 nanz sebastian
3 篇 xinogalos stelio...
3 篇 foster jeffrey s...

语言

608 篇 英文
2 篇 其他
2 篇 中文
1 篇 法文

检索条件"任意字段=Proceedings of the 24th European conference on Object-oriented programming"

共 613 条记录，以下是151-160 订阅

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

详细简洁

排序：

Containers and aggregates, mutators and isolates for reactive programming

Containers and aggregates, mutators and isolates for reactiv...

引用

5th Annual Scala Workshop, SCALA 2014, Co-located with the 28th european conference on object-oriented programming, ECOOP 2014

作者： Prokopec, Aleksandar Haller, Philipp Odersky, Martin EPFL Switzerland Typesafe Switzerland

ISBN: (纸本)9781450328685

Many programs have an inherently reactive nature imposed by the functional dependencies between their data and external events. Classically, these dependencies are dealt with using callbacks. Reactive programming with first-class reactive values is a paradigm that aims to encode callback logic in declarative statements. Reactive values concisely define dependencies between singular data elements, but cannot efficiently express dependencies in larger datasets. Orthogonally, embedding reactive values in a shared-memory concurrency model convolutes their semantics and requires synchronization. this paper presents a generic framework for reactive programming that extends first-class reactive values with the concept of lazy reactive containers, backed by several concrete implementations. Our framework addresses concurrency by introducing reactive isolates. We show examples that our programming model is efficient and convenient to use.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

A Tree-Based Algorithm for Construction Robots 24

A Tree-Based Algorithm for Construction Robots

引用

24th International conference on Automated Planning and Scheduling (ICAPS)

作者： Kumar, T. K. Satish Jung, Sangmook Koenig, Sven Univ Southern Calif Dept Comp Sci Los Angeles CA 90007 USA

ISBN: (纸本)9781577356608

In this paper, we present a tree-based algorithm for construction robots. Inspired by the TERMES project of Harvard University, robots in this domain are required to gather construction blocks from a reservoir and build user-specified structures much larger than themselves. While the robots are of roughly the same size as the blocks, they can scale greater heights by using temporarily constructed ramps in the substructures. In this paper, we consider the problem of minimizing the number of pickup and drop-off operations performed on blocks in order to build user-specified structures. Our polynomial-time algorithm heuristically solves this problem and is based on the idea of performing dynamic programming on a spanning tree in the inner loop and searching for a good tree to do so in the outer loop. Our algorithm performs very well in simulation and scales easily to large problem instances. For planning problems of this nature that are akin to construction domains, we believe that valuable lessons can be learned from comparing the success of our algorithm with the failure of off-the-shelf planning technologies.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Flow-Based Heuristics for Optimal Planning: Landmarks and Merges 24

Flow-Based Heuristics for Optimal Planning: Landmarks and Me...

引用

24th International conference on Automated Planning and Scheduling (ICAPS)

作者： Bonet, Blai van den Briel, Menkes Univ Simon Bolivar Caracas Venezuela NICTA Canberra ACT Australia Australian Natl Univ Canberra ACT Australia

ISBN: (纸本)9781577356608

We describe a flow-based heuristic for optimal planning that exploits landmarks and merges. the heuristic solves a linear programming (LP) problem that represents variables in SAS(+) planning as a set of interacting network flow problems. the solution to the LP provides a reasonable admissible heuristic for optimal planning, but we improve it considerably by adding constraints derived from action landmarks and from variable merges. Merged variables, however, can quickly grow in size and as a result introduce many new variables and constraints into the LP. In order to control the size of the LP we introduce the concept of dynamic merging that allows us to partially and incrementally merge variables, thus avoiding the formation of cross products of domains as done when merging variables in the traditional way. the two types of improvements (action landmarks and variable merges) to the LP formulation are orthogonal and general. We measure the impact on performance for optimal planning of each improvement in isolation, and also when combined, for a simple merge strategy. the results show that the new heuristic is competitive with the current state of the art.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 25th International conference on european Association for Education in Electrical and Information Engineering, EAEEIE 2014

Proceedings of the 25th International Conference on European...

引用

25th International conference on european Association for Education in Electrical and Information Engineering, EAEEIE 2014

ISBN: (纸本)9781479942053

the proceedings contain 24 papers. the topics discussed include: big data challenges in the information engineering education;introducing a flipped classroom for a statistics course: a case study;constraints and requirements in designing an e-learning environment;educational policies in european engineering higher education system - best practice examples;object oriented business architecture on online-exam and assignment system;benefits of collaboration between a university and a vocational college;traineeships - continuous learning and training in a work context;open badge factory project consortium;micro/nano technology challenges and training opportunities;collaborative projects involving industry and academia to enhance electrical engineering education: the perspective of three Portuguese higher education institutions at the master degree level;and deep versus broad knowledge in interdisciplinary education.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CAPJA- A connector architecture for PROLOG and JAVA 10

CAPJA- A connector architecture for PROLOG and JAVA

引用

10th Workshop on Knowledge Engineering and Software Engineering, KESE 2014, Co-Located with 21st european conference on Artificial Intelligence, ECAI 2014

作者： Ostermayer, Ludwig Flederer, Frank Seipel, Dietmar Department of Computer Science University of Würzburg Am Hubland D - 97074 Würzburg Germany

Modern software often relies on the combination of several software modules that are developed independently. there are use cases where different software libraries from different programming languages are used, e.g., embedding DLL files in JAVA applications. Even more complex is the case when different programming paradigms are combined like within applications with database connections, for instance PHP and SQL. Such a diversification of programming languages and modules in just one software application is becoming more and more important, as this leads to a combination of the strengths of different programming paradigms. But not always, the developers are experts in the different programming languages or even in different programming paradigms. So, it is desirable to provide easy to use interfaces that enable the integration of programs from different programming languages and offer access to different programming paradigms. In this paper we introduce a connector architecture for two programming languages of different paradigms: JAVA as a representative of object oriented programming languages and PROLOG for logic programming. Our approach provides a fast, portable and easy to use communication layer between JAVA and PROLOG. the exchange of information is done via a textual term representation which can be used independently from a deployed PROLOG engine. the proposed connector architecture allows for object Unification on the JAVA side. We provide an exemplary connector for JAVA and SWI-PROLOG, a well-known PROLOG implementation.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Computing Solutions in Infinite-Horizon Discounted Adversarial Patrolling Games 24

Computing Solutions in Infinite-Horizon Discounted Adversari...

引用

24th International conference on Automated Planning and Scheduling (ICAPS)

作者： Vorobeychik, Yevgeniy An, Bo Tambe, Milind Singh, Satinder Vanderbilt Univ 221 Kirkland Hall Nashville TN 37235 USA Nanyang Technol Univ Singapore Singapore Univ Southern Calif Los Angeles CA USA Univ Michigan Ann Arbor MI 48109 USA

ISBN: (纸本)9781577356608

Stackelberg games form the core of a number of tools deployed for computing optimal patrolling strategies in adversarial domains, such as the US Federal Air Marshall Service and the US Coast Guard. In traditional Stackelberg security game models the attacker knows only the probability that each target is covered by the defender, but is oblivious to the detailed timing of the coverage schedule. In many real-world situations, however, the attacker can observe the current location of the defender and can exploit this knowledge to reason about the defender's future moves. We show that this general modeling framework can be captured using adversarial patrolling games (APGs) in which the defender sequentially moves between targets, with moves constrained by a graph, while the attacker can observe the defender's current location and his (stochastic) policy concerning future moves. We offer a very general model of infinite-horizon discounted adversarial patrolling games. Our first contribution is to show that defender policies that condition only on the previous defense move (i.e., Markov stationary policies) can be arbitrarily suboptimal for general APGs. We then offer a mixed-integer nonlinear programming (MINLP) formulation for computing optimal randomized policies for the defender that can condition on history of bounded, but arbitrary, length, as well as a mixed-integer linear programming (MILP) formulation to approximate these, with provable quality guarantees. Additionally, we present a non-linear programming (NLP) formulation for solving zero-sum APGs. We show experimentally that MILP significantly outperforms the MINLP formulation, and is, in turn, significantly outperformed by the NLP specialized to zero-sum games.

关键词： Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

A Robotic Execution Framework for Online Probabilistic (Re)Planning 24

A Robotic Execution Framework for Online Probabilistic (Re)P...

引用

24th International conference on Automated Planning and Scheduling (ICAPS)

作者： Chanel, Caroline P. Carvalho Lesire, Charles Teichteil-Konigsbuch, Florent Univ Toulouse ISAE 10 Ave Edouard Belin F-31055 Toulouse France Off Natl Etud & Rech Aerosp F-31055 Toulouse France

ISBN: (纸本)9781577356608

Due to the high complexity of probabilistic planning algorithms, roboticists often opt for deterministic replanning paradigms, which can quickly adapt the current plan to the environment's changes. However, probabilistic planning suffers in practice from the common misconception that it is needed to generate complete or closed policies, which would not require to be adapted on-line. In this work, we propose an intermediate approach, which generates incomplete partial policies taking into account mid-term probabilistic uncertainties, continually improving them on a gliding horizon or regenerating them when they fail. Our algorithm is a configurable anytime meta-planner that drives any sub-(PO)MDP standard planner, dealing with all pending and time-bounded planning requests sent by the execution framework from many reachable possible future execution states, in anticipation of the probabilistic evolution of the system. We assess our approach on generic robotic problems and on combinatorial UAVs (PO)MDP missions, which we tested during real flights: emergency landing with discrete and continuous state variables, and target detection and recognition in unknown environments.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Towards a better Understanding of the Dynamics of Platform as a Service Business Models

Towards a better Understanding of the Dynamics of Platform a...

引用

47th Annual Hawaii International conference on System Sciences

作者： Giessmann, Andrea Kyas, Philipp Tyrvainen, Pasi Stanoevska, Katarina Univ Lausanne CH-1015 Lausanne Switzerland Univ Jyvaskyla SF-40351 Jyvaskyla Finland Univ St Gallen St Gallen Switzerland

ISBN: (纸本)9781479925049

Platform as a Service (PaaS) solutions are changing the way software is produced, distributed, used, and priced. However, there has been little research into understanding the dynamics of PaaS business models and how these business models should be designed to establish a flourishing ecosystem around these platforms. Using design science research (DSR) we first identified the main design elements of PaaS business models as well as their relationships by investigating 24 PaaS providers. the resulting classification scheme as well as the qualitative systems dynamics model (inform of a causal loop diagram (CLD)) facilitates a better understanding of the adoption dynamics of PaaS business models. By focusing on the adoption dynamics of PaaS business models, our research goes beyond previous approaches for studying PaaS.

关键词： cloud computing pattern classification CLD DSR PaaS business models causal loop diagram classification scheme design science research flourishing ecosystem platform as a service business models qualitative systems dynamics model Analytical models Biological system modeling Business Ecosystems object oriented modeling Software Unified modeling language Business Models Dynamics Platform as a Service

来源：评论

学校读者我要写书评

暂无评论

A Fidelity Framework for Small Arms Combat 48

A Fidelity Framework for Small Arms Combat

引用

48th Annual IEEE International conference Carnahan on Security Technology (ICCST)

作者： Murton, Mark Johnston, Paul Waymire, Russel Belasich, Deborah Sandia Natl Labs POB 5800 Albuquerque NM 87185 USA

ISBN: (纸本)9781479935321

Modelling and simulation (Mod-Sim) tools are becoming a crucial component in the design and evaluation of cyber and physical security systems. Many Mod-Sim tools exist for the elucidation of attack scenarios, characterization of facility vulnerabilities, and the construction and maintenance of optimal protection systems. the growing use of Mod-Sim tools for assessment of physical and cyber security systems necessitates a consistency in the existence of requirements and in the definitions of use for the models defined within a simulation. there are currently many Mod-Sim software tools available for use in characterizing various combat, physical, and cyber security scenarios. Even with the existence of a glossary distributed by the Modeling and Simulation Information Analysis Center-U.S. Department of Defense, there is a lack of requirement specifications and definitions for many of the terms and processes used in the modelling and simulation field. A more meaningful understanding for the construction of useful analyses is needed. It is critical that requirements, definitions, and processes be clearly identified and agreed upon before undertaking any effort to establish an analysis tool. In so doing, more cost effective model and simulation tools can then be developed that will produce scenarios, environments, and execution models that provide more a meaningful analyses of interest. In this paper, we will define the term fidelity and we will show how to consistently and appropriately apply the term to models that are used in simulation. Our intent is to develop a boundary for the meaning so that it can be used as a definitive basis with which to assess how well a model, and its function within a scenario, satisfies the end goal of answering the appropriate questions for which the scenario and simulation were constructed. Fidelity will be derived from various aspects of a model's purpose within a given simulation including the level of required interactivity amongst e

关键词： fidelity modeling simulation physical security systems cyber security systems object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reverse engineering of object-oriented code into Umple using an incremental and rule-based approach 14

Reverse engineering of object-oriented code into Umple using...

引用

proceedings of 24th Annual International conference on Computer Science and Software Engineering

作者： Miguel A. Garzón Timothy C. Lethbridge Hamoud Aljamaan Omar Badreddin University of Ottawa Canada Northern Arizona University Flagstaff

In this paper we present a novel approach to reverse engineering, in which modeling information such as UML associations, state machines and attributes is incrementally added to code written in Java or C++, while maintaining the system in a textual format. Umple is a textual representation that blends modeling in UML with programming language code. the approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions. As the resulting program is Umple code, our approach eliminates the distinction between code and model. In this paper we discuss the principles of Umple, the umplification approach and a rule-driven tool called the Umplificator, which implements and validates the depicted approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共62页 << < 12 13 14 15 16 17 18 19 20 21 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：