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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,365 篇 会议
406 篇 期刊文献
22 篇 学位论文
15 册 图书

馆藏范围

4,808 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,968 篇 工学
- 2,606 篇 计算机科学与技术...
- 2,375 篇 软件工程
- 290 篇 控制科学与工程
- 247 篇 电气工程
- 149 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 46 篇 机械工程
- 41 篇 建筑学
- 38 篇 土木工程
- 26 篇 生物工程
- 23 篇 材料科学与工程（可...
- 20 篇 航空宇航科学与技...
- 18 篇 仪器科学与技术
- 15 篇 光学工程
- 12 篇 环境科学与工程（可...
- 11 篇 化学工程与技术
- 10 篇 交通运输工程
415 篇 理学
- 294 篇 数学
- 49 篇 系统科学
- 43 篇 物理学
- 37 篇 生物学
- 22 篇 统计学（可授理学、...
- 15 篇 化学
362 篇 管理学
- 193 篇 图书情报与档案管...
- 192 篇 管理科学与工程(可...
- 74 篇 工商管理
44 篇 教育学
- 43 篇 教育学
25 篇 法学
- 24 篇 社会学
17 篇 医学
- 13 篇 临床医学
11 篇 经济学
- 11 篇 应用经济学
9 篇 文学
5 篇 农学
4 篇 军事学
1 篇 艺术学

主题

1,686 篇 object oriented ...
859 篇 object oriented ...
444 篇 application soft...
436 篇 computer languag...
305 篇 java
268 篇 programming
236 篇 software systems
233 篇 computer science
207 篇 programming prof...
188 篇 software enginee...
176 篇 computer archite...
161 篇 unified modeling...
140 篇 object oriented ...
135 篇 object-oriented ...
118 篇 database systems
96 篇 computational mo...
93 篇 prototypes
90 篇 real time system...
89 篇 concurrent compu...
88 篇 hardware

机构

9 篇 software composi...
8 篇 ibm
8 篇 carnegie mellon ...
8 篇 univ bern softwa...
8 篇 swiss fed inst t...
8 篇 univ texas austi...
7 篇 purdue universit...
6 篇 cwi
6 篇 ibm thomas j. wa...
6 篇 school of comput...
6 篇 ibm corp thomas ...
6 篇 university of il...
5 篇 school of comput...
5 篇 university of te...
5 篇 georgia inst tec...
5 篇 univ waterloo wa...
5 篇 ibm t.j. watson ...
5 篇 department of co...
5 篇 victoria univers...
5 篇 siemens ag

作者

13 篇 noble james
12 篇 aldrich jonathan
11 篇 de meuter wolfga...
10 篇 biddle robert
10 篇 cook william r.
9 篇 ricci alessandro
9 篇 de champeaux den...
9 篇 yonezawa akinori
9 篇 nierstrasz oscar
9 篇 johnson ralph
9 篇 chambers c
8 篇 coad peter
8 篇 madsen ole lehrm...
8 篇 abi-antoun marwa...
8 篇 salvaneschi guid...
8 篇 vitek jan
8 篇 s.s. yau
7 篇 hirschfeld rober...
7 篇 visser eelco
7 篇 ancona davide

语言

4,688 篇 英文
107 篇 其他
12 篇 中文
1 篇 日文

检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"

共 4808 条记录，以下是341-350 订阅

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

详细简洁

排序：

Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of object-oriented languages, Programs and systems, ICOOOLPS 2015

Proceedings of the 10th Workshop on Implementation, Compilat...

引用

10th Workshop on Implementation, Compilation, Optimization of object-oriented languages, Programs and systems, ICOOOLPS 2015

ISBN: (纸本)9781450336574

The proceedings contain 6 papers. The topics discussed include: building debuggers and other tools: we can 'have it all';trace-based debugging for advanced-dispatching programming languages;call-target-specific method arguments;Metis: a smart memory allocator using historical reclamation information;towards reducing the need for algorithmic primitives in dynamic language VMS through a tracing JIT;and techniques and applications for guest-language safepoints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Categories of Ontologies' applications in the Realm of Enterprise Modeling 17

Categories of Ontologies' Applications in the Realm of Enter...

引用

17th IEEE conference on Business Informatics

作者： Kaczmarek, Monika Univ Duisburg Essen Informat Syst & Enterprise Modeling D-45141 Essen Germany

ISBN: (纸本)9781467373401

The field of enterprise modeling (EM) is facing a number of challenges. Some of them result out of the application of informal or semi-formal modeling languages having usually semantics similar to object-oriented programming languages. The EM community has recognized ontologies as a promising way to address some of the existing problems. There is, however, a striking lack of consensus about understanding of ontology in the Information systems domain. The multiplicity of different understandings leads to an increased diversity of proposed approaches. To contribute to a better understanding of the role of ontologies in the realm of EM and of requirements they would need to meet, we distinguish and discuss different categories of applications of ontologies in the EM field. Based on their analysis, we identify the main benefits resulting out of the application of ontologies and point to the main challenges hampering their adoption. This allows to assess the maturity of this field and to identify directions of future research.

关键词： Enterprise Modeling Ontologies Ontology Enterprise modelling

来源：评论

学校读者我要写书评

暂无评论

LEARNING CROSS-LINGUAL INFORMATION WITH MULTILINGUAL BLSTM FOR SPEECH SYNTHESIS OF LOW-RESOURCE languages

LEARNING CROSS-LINGUAL INFORMATION WITH MULTILINGUAL BLSTM F...

引用

IEEE International conference on Acoustics, Speech and Signal Processing

作者： Quanjie Yu Peng Liu Zhiyong Wu Shiyin Kang Helen Meng Lianhong Cai Tsinghua-CUHK Joint Research Center for Media Sciences Technologies and Systems Graduate School at Shenzhen Tsinghua University Shenzhen 518055 China Department of Systems Engineering and Engineering Management The Chinese University of Hong Kong Shatin N.T. Hong Kong SAR China

ISBN: (纸本)9781479999897

Bidirectional long short-term memory (BLSTM) based speech synthesis has shown great potential in improving the quality of the synthetic speech. However, for low-resource languages, it is difficult to obtain a high quality BLSTM model. BLSTM based speech synthesis can be viewed as a transformation between the input features and the output features. We assume that the input and output layers of BLSTM are language-dependent while the hidden layers can be language-independent if trained properly. We investigate whether sufficient training data of another language (auxiliary) can benefit the BLSTM training of a new language (target) that has only limited training data. In this paper, we propose 1) a multilingual BLSTM that shares hidden layers across different languages and 2) a specific training approach that can best utilize the training data from both the auxiliary and target languages. Experimental results demonstrate the effectiveness of the proposed approach. The multilingual BLSTM can learn the cross-lingual information, and can predict more accurate acoustic features for speech synthesis of the target language than the monolingual BLSTM that is trained with only the data from the target language. Subjective test also indicates that multilingual BLSTM outperforms the monolingual BLSTM in generating higher quality synthetic speech.

关键词： Speech synthesis bidirectional long shortterm memory (BLSTM) low-resource multilingual cross-lingual Speech synthesis object oriented programming languages Language Multilingualism Training data language-independent biological control

来源：评论

学校读者我要写书评

暂无评论

The oprop verification tool: object propositions in action

The oprop verification tool: Object propositions in action

引用

ACM SIGPLAN International conference on systems, programming, languages and applications: Software for Humanity, SPLASH 2015

作者： Nistor, Ligia School of Computer Science Carnegie Mellon University United States

ISBN: (纸本)9781450337229

We have recently introduced object propositions as a modular verification technique that combines abstract predicates and fractional permissions. The Oprop tool implements the theory of object propositions and verifies programs written in a simplified version of Java, augmented with the object propositions specifications. Our tool parses the input files and automatically translates them into the intermediate verification language Boogie, which is verified by the Boogie verifier. We present the details of our implementation, the lessons that we learned and a number of examples that we have verified using the Oprop tool.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

How to model curricula and learnflows by Petri nets - a survey

How to model curricula and learnflows by Petri nets - a surv...

引用

International conference on Emerging eLearning Technologies and applications (ICETA)

作者： Ana Juhásova Igor Kazlov Gabriel Juhás Ludovít Molnár BIREGAL s.r.o. Bratislava Slovakia Slovenska Technicka Univerzita Bratislava SK Interes.Institute s.r.o. Bratislava Slovakia

ISBN: (纸本)9781509047024

Petri nets represent a prominent formal method for modeling distributed systems both visually and with sound mathematics. They are very successful in modeling different workflow processes. In particular, Petri nets can be used to model curricula including causal dependencies of courses, necessary and optional courses etc. Having a Petri net model of single courses and the model of the whole curriculum in a particular field, each run of the Petri net model will represent a possible individual learnflow of a student. In this survey we show how to construct Petri net models of courses, models of the whole curriculum and models of individual learnflows. The presented method is suitable both for planning, management and control of e-learning courses and study programs as well as for classroom courses and study programs.

关键词： Petri nets Computational modeling object oriented modeling Mathematical model programming Visualization Electrical engineering

来源：评论

学校读者我要写书评

暂无评论

Expression-Based Aliasing for OO-languages 1

引用

3rd International Workshop on Formal Techniques for Safety-Critical systems (FTSCS)

作者： Caltais, Georgiana ETH Dept Comp Sci Zurich Switzerland

ISBN: (数字)9783319175812

ISBN: (纸本)9783319175812;9783319175805

Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may reference to the same object is the main source of the challenges raised in alias analysis. In this paper we propose an extension of a previously introduced alias calculus based on program expressions, to the setting of unbounded program executions such as infinite loops and recursive calls. Moreover, we devise a corresponding executable specification in the K-framework. An important property of our extension is that, in a non-concurrent setting, the corresponding alias expressions can be over-approximated in terms of a notion of regular expressions. This further enables us to show that the associated K-machinery implements an algorithm that always stops and provides a sound over-approximation of the "may aliasing" information, where soundness stands for the lack of false negatives. As a case study, we analyze the integration and further applications of the alias calculus in SCOOP. The latter is an object-oriented programming model for concurrency, recently formalized in Maude;K definitions can be compiled into Maude for execution.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access 2015

ShamDroid: Gracefully Degrading Functionality in the Presenc...

引用

ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)

作者： Brutschy, Lucas Ferrara, Pietro Tripp, Omer Pistoia, Marco Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland IBM Thomas J Watson Res Ctr Yorktown Hts NY USA

ISBN: (纸本)9781450336895

Given a program whose functionality depends on access to certain external resources, we investigate the question of how to gracefully degrade functionality when a subset of those resources is unavailable. The concrete setting motivating this problem statement is mobile applications, which rely on contextual data (e.g., device identifiers, user location and contacts, etc.) to fulfill their functionality. In particular, we focus on the Android platform, which mediates access to resources via an installation-time permission model. On the one hand, granting an app the permission to access a resource (e.g., the device ID) entails privacy threats (e.g., releasing the device ID to advertising servers). On the other hand, denying access to a resource could render the app useless (e.g., if inability to read the device ID is treated as an error state). Our goal is to specialize an existing Android app in such a way that it is disabled from accessing certain sensitive resources (or contextual data) as specified by the user, while still being able to execute functionality that does not depend on those resources. We present SHAMDROID, a program transformation algorithm, based on specialized forms of program slicing, backwards static analysis and constraint solving, that enables the use of Android apps with partial permissions. We rigorously state the guarantees provided by SHAMDROID w.r.t. functionality maximization. We provide an evaluation over the top 500 Google Play apps and report on an extensive comparative evaluation of SHAMDROID against three other state-of-theart solutions (APM, XPrivacy, and Google App Ops) that mediate resource access at the system (rather than app) level. SHAMDROID performs better than all of these tools by a significant margin, leading to abnormal behavior in only 1 out of 27 apps we manually investigated, compared to the other solutions, which cause crashes and abnormalities in 9 or more of the apps. This demonstrates the importance of performing a

关键词： Security Verification Static Program Analysis Android applications Privacy

来源：评论

学校读者我要写书评

暂无评论

A metrics-based comparative study on object-oriented programming languages 27

A metrics-based comparative study on object-oriented program...

引用

27th International conference on Software Engineering and Knowledge Engineering, SEKE 2015

作者： Wu, Di Chen, Lin Zhou, Yuming Xu, Baowen State Key Laboratory for Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)1891706373

There has been a long debate on which programming language can help write better object-oriented programs. However, to date little response is given to this issue with empirical evidence. In this paper, we perform a comparative study on C++, C#, and Java programs by using object-oriented metrics, which comprise measures for class size, complexity, coupling, cohesion, inheritance, encapsulation, polymorphism, and reusability. Our experiment is conducted on 78 tasks in Rosetta Code, a code repository providing solutions to the same programming tasks in different languages. The experimental results show that: (1) C++ classes are significantly larger than C# and Java classes in size, but their complexity does not differ significantly;(2) C# classes are significantly more likely to be coupled than C++ and Java classes through inter-class method invocations instead of direct data access;(3) C# and Java classes tend to be more cohesive than C++ classes;(4) C# and Java significantly outperform C++ in building deep inheritance trees;and (5) programs written in C++, C#, and Java do not show a significant difference in class encapsulation, polymorphism, and reusability. These findings could help practitioners choose suitable languages to develop object-oriented systems. Copyright © 2015 by KSI Research Inc. and Knowledge systems Institute Graduate School.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

A More Practical Automatic Dressing Method for Clothes Animation

A More Practical Automatic Dressing Method for Clothes Anima...

引用

International conference on Intelligent Human-Machine systems and Cybernetics, IHMSC

作者： Hanwen Li Zilong Liu Wenting Wang Northwest University for Nationalities of Mathematics and Computer Institute Lanzhou China Department of Safety Technology Sales Company of GanSu Petroleum Kunlun Gas LanZhou China

ISBN: (纸本)9781509007691

With its more realistic simulation effects, the dynamic-based three dimensional clothes animation technique has very broad applications in e-commerce, virtual reality. As an essential part of clothes animation, the dressing process also has important impact to the overall system performance and applicability. Especially in the virtual network dressing room of clothes e-commerce system, it is still a problem how to dress various clothes more simply and efficiently. By reusing the collision detection module in our clothes animation system, this paper proposes an automatic dressing method, which greatly reduces the workload of programming. More importantly, compared with other existing dressing technologies, our proposed method is more easy to implement, operate, and can meet the needs of network virtual fitting for common consumers more practically.

关键词： Animation Solid modeling Computational modeling Clothing Collision avoidance Computers object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Using Archival Diplomatics and object-oriented programming to Build Preservation objects in the Cloud 2

Using Archival Diplomatics and Object-Oriented Programming t...

引用

Digital Heritage International Congress

作者： Jansen, Adam Univ British Columbia Sch Lib Archival & Informat Studies Vancouver BC Canada

ISBN: (纸本)9781509000487

The use of Cloud Service Providers to store and manage records has introduced a new challenge to establishing the authenticity of digital records. Not only are these records removed from their systems of creation, but they are then placed into a dynamic, co-tenancy environment that can span both technological and geographic boundaries. To overcome the challenges these changes present to determining the authenticity of records in the Cloud, the author is proposing the creation of preservation model objects that leverage Archival Diplomatics concepts within the object-oriented programming paradigm that is utilized by most modern programming languages. By basing the creation of digital records stored within Cloud-based systems on an Archival Diplomatics based view of authentic digital records, such as the extensive research by InterPARES, the preservation objects will possess sufficient evidence to support their presumption of authenticity regardless of movement across time and space.

关键词： Authenticity Digital Preservation Integrity InterPARES Archival Diplomatics Digital Records Cloud

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共481页 << < 31 32 33 34 35 36 37 38 39 40 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：