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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

44 篇 会议
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

32 篇 工学
- 30 篇 计算机科学与技术...
- 23 篇 软件工程
- 3 篇 机械工程
- 3 篇 信息与通信工程
- 2 篇 动力工程及工程热...
- 2 篇 电气工程
- 2 篇 控制科学与工程
- 2 篇 交通运输工程
- 1 篇 光学工程
- 1 篇 材料科学与工程（可...
- 1 篇 冶金工程
- 1 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 城乡规划学
7 篇 理学
- 6 篇 数学
- 3 篇 统计学（可授理学、...
- 2 篇 物理学
- 1 篇 大气科学
4 篇 管理学
- 4 篇 管理科学与工程(可...
- 3 篇 工商管理

主题

5 篇 application soft...
4 篇 computer science
3 篇 programming prof...
3 篇 high level langu...
3 篇 computer languag...
3 篇 application prog...
2 篇 libraries
2 篇 program processo...
2 篇 problem oriented...
2 篇 modular construc...
1 篇 computer simulat...
1 篇 software systems
1 篇 artifact or syst...
1 篇 query languages
1 篇 secondary condit...
1 篇 project manageme...
1 篇 productivity
1 篇 data updates
1 篇 programming/deve...
1 篇 interoperability

机构

1 篇 fudan univ sch c...
1 篇 university of el...
1 篇 uses research gr...
1 篇 department of co...
1 篇 computer dept. j...
1 篇 department of co...
1 篇 dept. of informa...
1 篇 department of in...
1 篇 semiotic enginee...
1 篇 department of el...
1 篇 department of co...
1 篇 iit madras
1 篇 department of co...
1 篇 albert einstein ...
1 篇 telecom innovati...
1 篇 huawei technol c...
1 篇 department of co...
1 篇 faculty of elect...
1 篇 carissma technis...
1 篇 peter the great ...

作者

1 篇 kalantari faezeh
1 篇 lee kiwon
1 篇 yong meng teo
1 篇 helsper philipp
1 篇 battaglia filipp...
1 篇 jansen k.
1 篇 wang ziwen
1 篇 zhang chengwei
1 篇 cao yinzhi
1 篇 nasre rupesh
1 篇 fernandez albert...
1 篇 damijan rebernak
1 篇 zaeifi mehrnoosh
1 篇 cai min
1 篇 papadopoulou n.
1 篇 heinz marcel
1 篇 song miao
1 篇 liabotis a.i.
1 篇 mao yiping
1 篇 chapa sergio v.

语言

45 篇 英文

检索条件"任意字段=Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"

共 45 条记录，以下是31-40 订阅

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

详细简洁

排序：

Mmapcopy: Efficient Memory footprint reduction using application knowledge 16

Mmapcopy: Efficient Memory footprint reduction using applica...

引用

31st Annual ACM symposium on Applied Computing, SAC 2016

作者： Korb, Ingo Kotthaus, Helena Marwedel, Peter Department of Computer Science 12 TU Dortmund University Germany

ISBN: (纸本)9781450337397

Memory requirements can be a limiting factor for programs dealing with large data structures. Especially interpreted programming languages that are used to deal with large vectors like R suffer from memory overhead when copying such data structures. Avoiding data duplication directly in the application can reduce the memory requirements. Alternatively, generic kernel-level memory reduction functionality like deduplication and compression can lower the amount of memory required, but they need to compensate for missing application knowledge by utilizing more CPU time, leading to excessive overhead. To allow new optimizations based on the application's knowledge about its own memory utilization, we propose to introduce a new system call. This system call uses the existing copy-on-write functionality of the Linux kernel to avoid duplicating memory when data is copied. Our experiments using real-world benchmarks written in the R language show that our approach can yield significant improvement in CPU time compared to Kernel Samepage Merging without compromising the amount of memory saved.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

Post-simulation visualization application for production improvement of modular construction manufacturing 31

Post-simulation visualization application for production imp...

引用

31st International symposium on Automation and Robotics in Construction and Mining, ISARC 2014

作者： Moghadam, M. Barkokebas, B. Al-Hussein, M. Hole School of Construction Department of Civil and Environmental Engineering University of Alberta Canada

ISBN: (纸本)9780646597119

The modular construction manufacturing (MCM) process is a complex operation that combines line flow product movement with a complex activity precedence network. There are physical constraints related to the given facility, as well as logical constraints caused by demand variation. In order to change production line layout and make improvements within the context of Lean, a tool is needed to assist MCM to quantify, at the planning and evaluation stages, the benefits they can expect from proposed changes to their system. Simulation is a technique by which to facilitate identifying changes and benefits of future transformation and to determine where valuable resources should be applied prior to actual implementation. Despite the benefits of simulation, project management teams typically are unwilling to make decisions based on current simulation outputs, since they are very difficult to understand and require specialized skills in interpretation of the information. Visualization is a more popular technique since it fosters better understanding of the construction process. However, to be effective for decision making purposes, such a model must be linked to project information. The visual interpretation of the simulation results constitutes a more effective approach. In this paper, a simulation model is thus generated to provide results for different production scenarios, and then the near-optimum scenarios are run to visualize the production constraints, which facilitates precise scenario comparison. The developed model capitalizes on the advantages of both simulation and visualization, whereby critical information such as the 3D model, time constraints, and resource demand are incorporated into the system. The proposed methodology is validated by a case study, a residential modular factory in Edmonton, Canada, which illustrates the effectiveness of the proposed methodology.

关键词： Modular construction

来源：评论

学校读者我要写书评

暂无评论

PLQCD library for lattice QCD on multi-core machines 31

PLQCD library for lattice QCD on multi-core machines

引用

31st International symposium on Lattice Field Theory, LATTICE 2013

作者： Abdel-Rehim, A. Alexandrou, C. Anastopoulos, N. Koutsou, G. Liabotis, A.I. Papadopoulou, N. CaSToRC Cyprus Institute 20 Konstantinou Kavafi Street Aglantzia Nicosia2121 Cyprus Department of Physics University of Cyprus P.O. Box 20537 Nicosia1678 Cyprus Computing Systems Laboratory National Technical University of Athens Zografou Campus Zografou Athens15773 Greece Greek Research and Technology Network 56 Mesogion Av. Athens11527 Greece

PLQCD is a stand-alone software library developed under PRACE for lattice QCD. It provides an implementation of the Dirac operator for Wilson type fermions and few efficient linear solvers. The library is optimized for multi-core machines using a hybrid parallelization with OpenMP+MPI. The main objectives of the library is to provide a scalable implementation of the Dirac operator for efficient computation of the quark propagator. In this contribution, a description of the PLQCD library is given together with some benchmark results.

关键词： application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Probabilities of sentences about very sparse random graphs

Probabilities of sentences about very sparse random graphs

引用

Annual IEEE symposium on Foundations of Computer Science

作者： J.F. Lynch Department of Mathematics & Computing Sciences Clarkson University Potsdam NY USA

The author considers random graphs with edge probability beta n/sup - alpha /, where n is the number of vertices of the graph, beta >0 is fixed, and alpha =1 or alpha =(l+1)/l for some fixed positive integer l. It is proved that, for every first-order sentence, the probability that the sentence is true for the random graph has an asymptotic limit. Also, there is an effective procedure for generating the value of the limit in closed form.< >

关键词： Computer science Probability distribution Logic Combinatorial mathematics application software Formal languages

来源：评论

学校读者我要写书评

暂无评论

A comparative evaluation of interaction models for the design of interactive systems 16

A comparative evaluation of interaction models for the desig...

引用

31st Annual ACM symposium on Applied Computing, SAC 2016

作者： Marques, Anna Beatriz Barbosa, Simone D. J. Conte, Tayana USES Research Group Instituto de Computação Universidade Federal do Amazonas Manaus Brazil Semiotic Engineering Research Group Departamento de Informática PUC-Rio Rio de Janeiro Brazil

ISBN: (纸本)9781450337397

Traditional models applied in the design of interactive systems focus on aspects related to the application functionality rather than its interaction with the user. Although some approaches have been developed for interaction modeling, there is no consensus on the more adequate model, making it necessary to evaluate the proposed models. To address the issue, this paper presents an empirical study comparing MoLIC (Modeling Language for Interaction as a Conversation) and CTDM (Comprehensive Tasks and Dialog Model) regarding their support for interaction modeling. While the number of defects in MOLIC diagrams was higher, there was no significant difference between the number of defects in MoLIC and CTDM diagrams. 60% of the participants pointed out that MoLIC is more useful and easier to use for designing interaction. And 56% of them indicated MoLIC as the more complete model in comparison with CTDM. © 2016 ACM.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

An Entropy Based Outlier Score and its application to Novelty Detection for Road Infrastructure Images 31

An Entropy Based Outlier Score and its Application to Novelt...

引用

31st IEEE Intelligent Vehicles symposium, IV 2020

作者： Wurst, Jonas Fernandez, Alberto Flores Botsch, Michael Utschick, Wolfgang Carissma Technische Hochschule Ingolstadt Ingolstadt85049 Germany Technical University Munich Munich80333 Germany

A novel unsupervised outlier score, which can be embedded into graph based dimensionality reduction techniques, is presented in this work. The score uses the directed nearest neighbor graphs of those techniques. Hence, the same measure of similarity that is used to project the data into lower dimensions, is also utilized to determine the outlier score. The outlier score is realized through a weighted normalized entropy of the similarities. This score is applied to road infrastructure images. The aim is to identify newly observed infrastructures given a pre-collected base dataset. Detecting unknown scenarios is a key for accelerated validation of autonomous vehicles. The results show the high potential of the proposed technique. To validate the generalization capabilities of the outlier score, it is additionally applied to various real world datasets. The overall average performance in identifying outliers using the proposed methods is higher compared to state-of-the-art methods. In order to generate the infrastructure images, an openDRIVE parsing and plotting tool for Matlab is developed as part of this work. This tool and the implementation of the entropy based outlier score in combination with Uniform Manifold Approximation and Projection are made publicly available. © 2020 IEEE.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

An application of multiple-valued logic to test case generation for software system functional testing

An application of multiple-valued logic to test case generat...

引用

International symposium on Multiple-Valued Logic

作者： M. Hu Telecom Innovation Centre Siemens Canada Limited Canada

ISBN: (纸本)0769510833

A multiple-valued input two-valued output logic system (MITOL) is proposed as a description language of software functionality for test case generation purpose. Based on the MITOL description of software functionality, test generation algorithms for multiple-valued logic circuits, such as path sensitization, can be used for test case generation for software system functional testing. The resulting minimum complete test set contains the minimum number of test cases to cover all logical stuck-at-faults. Finally, a comparison of this new method with traditional methods is presented.

关键词： Logic testing Software testing System testing application software Computer aided software engineering Software systems Circuit testing Software algorithms Logic circuits Natural languages

来源：评论

学校读者我要写书评

暂无评论

BaaS (Bluetooth-as-a-Sensor): Conception, design and implementation on mobile platforms 17

BaaS (Bluetooth-as-a-Sensor): Conception, design and impleme...

引用

32nd Annual ACM symposium on Applied Computing, SAC 2017

作者： Lautner, Douglas Hua, Xiayu Debates, Scott Song, Miao Shah, Jagat Ren, Shangping Illinois Institute of Technology 10 W. 31st St. ChicagoIL United States Motorola Mobility LLC 222 W Merchandise Mart ChicagoIL United States

ISBN: (纸本)9781450344869

As network connectivity becomes more capable, mobile devices are evolving into sensory data accumulators. Bluetooth (BT) components, which are widely used for communication purposes, also have the potential to become contextual sensors by constantly listening to information broadcast by nearby Bluetooth Low Energy (BLE) beacons. Compared to traditional Micro-Electro-Mechanical (MEMs) based contextual sensors, Bluetooth-as-a-Sensor (BaaS) provides a wider sensing spectrum and more comprehensive environmental information. However, current implementations of BT are optimized as a data transmitter, therefore deploying BaaS on a traditional mobile platform would cause an unacceptably high current drain and hence a significant reduction in battery life. Our objective is to conquer the current drain problem associated with having continuous wireless BT sensing. We provide a novel BaaS-based architecture which utilizes an energy-efficient sensor fusion core (SFC) to execute heavy-duty and long-standing tasks. We also present an optimized duty cycle algorithm that minimizes the duty cycle while guaranteeing an application's QoS requirements. Both BaaS architecture and algorithm are implemented and deployed on a Moto X platform and then applied to an indoor location service for consumer use validation. The performance of the BaaS-based architecture is evaluated for both average current drain and location accuracy. Data measured on Moto X shows that when using the BaaS architecture, the battery life is 5 times longer than using the traditional BT architecture. Copyright 2017 ACM.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Combinatorial generation via permutation languages 31

Combinatorial generation via permutation languages

引用

31st Annual ACM-SIAM symposium on Discrete Algorithms (SODA)

作者： Hartung, Elizabeth Hoang, Hung P. Mutze, Torsten Williams, Aaron Massachusetts Coll Liberal Arts North Adams MA 01247 USA Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland Univ Warwick Dept Comp Sci Coventry W Midlands England Charles Univ Prague Fac Math & Phys Prague Czech Republic Williams Coll Comp Sci Dept Williamstown MA 01267 USA

ISBN: (纸本)9781611975994

In this work we present a general and versatile algorithmic framework for exhaustively generating a large variety of different combinatorial objects, based on encoding them as permutations. This approach provides a unified view on many known results and allows us to prove many new ones. In particular, we obtain the following four classical Gray codes as special cases: the steinhaus-Johnson-Trotter algorithm to generate all permutations of an n-element set by adjacent transpositions;the binary reflected Gray code to generate all n-bit strings by flipping a single bit in each step;the Gray code for generating all n-vertex binary trees by rotations due to Lucas, van Baronaigien, and Ruskey;the Gray code for generating all partitions of an n-element ground set by element exchanges due to Kaye. We present two distinct applications for our new framework: The first main application is the generation of pattern-avoiding permutations, yielding new Gray codes for different families of permutations that are characterized by the avoidance of certain classical patterns, (bi)vincular patterns, barred patterns, Bruhat-restricted patterns, mesh patterns, monotone and geometric grid classes, and many others. We thus also obtain new Gray code algorithms for the combinatorial objects that are in bijection to these permutations, in particular for five different types of geometric rectangulations, also known as floorplans, which are divisions of a square into n rectangles subject to certain restrictions. The second main application of our framework are lattice congruences of the weak order on the symmetric group S(n. )Recently, Pilaud and Santos realized all those lattice congruences as (n - 1)-dimensional polytopes, called quotientopes, which generalize hypercubes, associahedra, permutahedra etc. Our algorithm generates the equivalence classes of each of those lattice congruences, by producing a Hamilton path on the skeleton of the corresponding quotientope, yielding a constructive pro

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

structured parallel simulation modeling and programming

Structured parallel simulation modeling and programming

引用

Annual symposium on Simulation

作者： Yong Meng Teo Seng Chuan Tay Siew Theng Kong Department of Information Systems & Computer Science National University of Singapore Singapore

ISBN: (纸本)0818684186

Parallel discrete-event simulation research has focused mainly on designing efficient parallel simulation protocols. However, the exploitation of parallel simulation technology in real-life applications has been hindered mainly by the lack of simulation support tools. The paper describes the design of SPaDES (structured Parallel Discrete-Event Simulation), a parallel simulation environment for developing portable simulation models, and a platform for design experimentation of parallel simulation synchronization protocols. An implementation of the environment, SPaDES/C/sub ++/, cleanly separates simulation modeling and programming from the details of parallelization such as parallel simulation synchronization and parallel programming. For ease of portability and modular design, SPaDES/C/sub ++/ is implemented as a parallel simulation library. A comparison of SPaDES/C/sub ++/ with CSim and Simscript using two application examples is discussed.

关键词： Parallel programming Computational modeling Object oriented modeling Computer simulation Concurrent computing Discrete event simulation Protocols application software Programming profession Libraries

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：