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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是611-620 订阅

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

详细简洁

排序：

A Proposal of Features to Support Analysis and Debugging of Declarative Model Transformations with Graphical Syntax by Embedded Visualizations 22

A Proposal of Features to Support Analysis and Debugging of ...

引用

ACM/IEEE 22nd international conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Ege, Florian Tichy, Matthias Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781728151250

In model-driven software engineering (MDSE), chains of model transformations are used to turn a source model via a series of intermediate models into a target artifact. At times such a transformation chain does not deliver the expected result, either because a particular transformation step fails due to unmet preconditions, or the produced target artifact is not the desired one. To better understand the transformation process, and to locate and correct defects in the models or transformations involved, developers need appropriate tool support for analysis and debugging. MDSE tools provide a spectrum of techniques for analysis. These range from model checking approaches for proving logical properties of transformations to low-level stepwise debugging functionality that exposes how particular algorithms, e.g., graph matching, are implemented. However, these existing analysis features often do not present concrete suggestions directed at locating and fixing defects, or require developers to reason about their models and transformations in a procedural way. We focus on declarative model-to-model transformations with graphical syntax and consider defects located in source models or transformation specifications. For each of those defects, we sketch how a specific approach based on visualizing information integrated in the graphical syntax could support identifying and fixing that defect. These techniques aim towards enabling developers to analyze models and transformations on the same level of abstraction and with representations in the same syntax they normally work with.

关键词： declarative model transformations graphical syntax analysis debugging

来源：评论

学校读者我要写书评

暂无评论

Active participation of older adults in the development of stimulus material in an storytelling context 6th

Active participation of older adults in the development of s...

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Volkmann, Torben Akyildiz, Deniz Knickrehm, Nikolas Vorholt, Fabian Jochems, Nicole Institut für Multimediale und Interaktive Systeme Universität zu Lübeck Ratzeburger Allee 160 Lübeck23562 Germany

ISBN: (纸本)9783030502515

Information and communication technology is of great importance in our society an became an integral part of our every day life. However, older adult’s acceptance and technology adoption rate still lacks behind. To address this issue, older adults have to be actively involved as co-authors in the development process to ensure that products meet the right requirements. The Historytelling project relies heavily on the integration of older adults in the whole human centered design projects and aims to compensate age-related deficits and addresses their strengths such as life-experience. It offers the possibility to document and share personal life stories. In addition to content-related aspects, such as the design of stimulus material for stories inspiration, the project aims at using participatory methodological aspects. Thus, this paper presents two workshops with 14 participants which dealt with the evaluation of stimulus material and a web-based prototype. The evaluation served as a good method for gathering the required information regarding stimulus material and the evaluation of the prototype. We could show that pictures, concise questions and unfamiliar stories worked best to stimulate personal stories, especially if they are personalized to the authors. © Springer Nature Switzerland AG 2020.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Novel Developer Portrait Model based on Bert-Capsule Network

A Novel Developer Portrait Model based on Bert-Capsule Netwo...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Pengyu Yu Yirui Wu Benze Wu College of Computer and Information Hohai University Nanjing China

ISBN: (纸本)9781728176505

In order to ensure code quality, it's necessary to construct portraits for developers, which could analyze their behavior to provide personalized programming suggestions. However, most of the existing developer portrait algorithms only use global features and ignore local features extracted from log texts, which leads to the lack of comprehensive personality analysis. To solve this problem, the proposed method proposes a novel developer portrait model, which could describe developers' programming styles more accurately with both global and local information extracted from texts. The proposed model firstly collects the log data produced in the process of continuous integration development. Afterwards, the proposed method proposes the personality portrait model based on BERT-Capsule network, which successfully combines global semantic features and local emotional features. The experimental results show that the proposed BERT-Capsule model can effectively extract the contextual information and the local emotional information of the text, thus improving classification performance of the developer portrait model.

关键词： Analytical models Computational modeling High performance computing conferences Semantics programming Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Digital Inclusion or Digital Divide for Older Immigrants? A Scoping Review 1

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Chen, Xin Östlund, Britt Frennert, Susanne KTH Royal Institute of Technology SE-14 152 Huddinge Stockholm Sweden Malmö University Malmö21 119 Sweden

ISBN: (数字)9783030502324

ISBN: (纸本)9783030502317

The discussion of the digital divide and digital inclusion has extended to older adults. Although knowledge on the digital divide and digital inclusion among native older adults has increased substantially, little is known about the situations of older immigrants in relation to the digital divide. This paper employed the scoping review approach to map the situations and research methods of the digital divide among older immigrants from recent empirical studies. The initial search identified 997 articles, of which 13 articles were selected for this review. The results showed that socioeconomic status, language proficiency, degree of acculturation, level of education, and digital literacy are the most common factors leading to the disparities between native older adults and older immigrants. Although the results showed a narrowing gap as concerns access to the Internet, interventions are needed to reduce the divide among individuals of different ethnicities due to disparities in digital skills and knowledge. The included studies applied quantitative, qualitative, and mixed-method approaches. The homogeneity of the findings of some included studies implied the need to develop more methods and models to study the digital divide among older immigrants. This review suggested that future research incorporate ethnic characteristics in the research design to provide in-depth knowledge about the ethnic group. This knowledge could potentially be utilized for future interventions aimed at narrowing the remaining gap of the digital divide. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Research on user experience classification based on phenomenological method 9th

Research on user experience classification based on phenomen...

引用

9th international conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Jia, Jingpeng Dong, Xueyan The College of Special Education Beijing Union University Beijing100075 China

ISBN: (纸本)9783030497125

An important issue in the construction of the basic theory on user experience is that user experience classification has not yet received a satisfactory answer. This makes it difficult for user experience researchers and designers to practice without clear recognition on research objects. This article points out the existing classification methods are inadequate to explain an independent and clear experience phenomenon. The key challenge lies in the current research methods are not suitable for the user experience task. To overcome it, we utilize a phenomenological method of inductive reasoning method to construct a new framework including 20 experience classification. In the qualitative research based on phenomenological methods, researcher’s own knowledge background tends to have an important impact on the quality and effectiveness of the research. The aim of this research is not trying to provide a once and for all solution, but make the applicability of phenomenological research methods applicable. The proposed framework can provide a possible platform for the discussion of experience classification issues. © Springer Nature Switzerland AG 2020.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Study on the Effect of Gamification on Alleviation Anxiety Levels of the Elderly in China 6th

A Study on the Effect of Gamification on Alleviation Anxiety...

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Muroi, Fumie Tao, Xinyi Han, Ting School of Design Shanghai Jiao Tong University No. 800 Dongchuan Road Shanghai200240 China

ISBN: (纸本)9783030502485

As the problem of aging becomes increasingly serious, anxiety symptom has seriously affected the mental health of the elderly as a ubiquitous phenomenon in the elderly of China. Recently, a lot of researches show that gamification plays a positive role in relieving negative moods. This paper sorts out the gamification design strategies for the elderly to relieve anxieties and develops a collage game for the elderly according to this strategy: background, text and picture materials are used to make different subject patterns of collage and create own collage works. This game is used to verify the influence of gamification intervention means on the anxieties of the elderly as an intervention of control experiment. In this experiment, 42 participants were divided into two groups. The experiment group used gamification intervention, while the control group did not;STAI scale and galvanic skin were used to measure the change in the anxiety level of participants. According to the results, collage game for the elderly can relieve the anxiety state of the elderly, and most of the participants were free from usage pressure and relieved their anxieties during the game. Gamification seems to be a promising way to relieve the anxieties of the elderly. In the future work, it is necessary to make long-term experiments with a large sample size, so as to verify the influence of gamification intervention means on the reduction of anxieties, explore the influence of demography factor on the reduction of anxieties and sort out more targeted gamification intervention means. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Mixed Open-and-Closed Loop Satellite Task Planning 22

Mixed Open-and-Closed Loop Satellite Task Planning

引用

22nd international conference on Information Fusion (FUSION)

作者： Tharmarasa, Ratnasingham Kirubarajan, Thia Berger, Jean Florea, Mihai Cristian TrackGen Solut Inc Mississauga ON Canada Valcartier Res Ctr Def Res & Dev Canada Quebec City PQ Canada Thales Res & Technol Thales Grp Quebec City PQ Canada

ISBN: (纸本)9780996452786

A key problem in earth observation using satellite-based sensors is to allocate the limited resources to achieve optimal performance. In the literature, several algorithms are proposed to handle this problem as an open-loop problem. Using a closed-loop formulation over an open-loop formulation would provide a better solution if the closed-loop solution could be implemented in real-time. However, an optimal closed-loop formulation may not be able to handle a medium or a large scale problem in real-time. In this work, we have proposed a mixed open-and-closed loop algorithm to handle the problem in real-time by taking the advantages of open- and closed-loop formulations. Simulation results illustrating the performance of the proposed algorithm are also presented.

关键词： Multi-satellite scheduling open-loop closed-loop Markov-decision process integer quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems 22

Mixed-Integer Formulations for Optimal Control of Piecewise-...

引用

22nd ACM international conference on Hybrid Systems: Computation and Control (HSCC)

作者： Marcucci, Tobia Tedrake, Russ MIT 77 Massachusetts Ave Cambridge MA 02139 USA

ISBN: (纸本)9781450362825

In this paper we study how to formulate the optimal control problem for a piecewise-affine dynamical system as a mixed-integer program. Problems of this form arise typically in hybrid Model Predictive Control (MPC), where at every time step an open-loop optimal control sequence is computed via numerical optimization and applied to the system in a moving horizon fashion. Not surprisingly, the efficiency in the formulation of the underlying mathematical program has a crucial influence on computation times, and hence on the applicability of hybrid MPC to high-dimensional systems. We leverage on modern concepts and results from the fields of mixed-integer and disjunctive programming to conduct a comprehensive analysis of this formulation problem. Among the outcomes enabled by this novel perspective is the derivation of multiple highly-efficient formulations of the control problem, each of which represents a different tradeoff between the two most important features of a mixed-integer program: the size and the strength. First in theory, then through a numerical example, we show how all the proposed methods outperform the traditional approach employed in MPC, enabling the solution of larger-scale problems.

关键词： Optimal control model predictive control piecewise-affine systems hybrid systems mixed-integer programming disjunctive programming mixed-integer formulations perspective formulations

来源：评论

学校读者我要写书评

暂无评论

Segmentation of arabic letters on dot matrix play board 22

Segmentation of arabic letters on dot matrix play board

引用

22nd international conference on Computer and Information Technology, ICCIT 2019

作者： Rahaman, Atikur Islam, Muhammad Nurul Hannan, Saif Soliman, Md Mohiuddin International Islamic University Chittagong Electronic Telecommunication Engineering Chittagong Bangladesh

ISBN: (纸本)9781728158426

Because of the immense necessity of displaying short messages on electronic devices the segmented display system has become greatly popular. Numerous research activities are done to represent English and Bengali letters on segmented display. On the other hand, no research work is found till now for Arabic letters. This paper brings an accurate and systematic segmentation method for Arabic letters. The points covered by each segment, the segments needed for each letter, the truth table for the letter, simplified expressions and the logic circuits of the segments are given. In this paper, we have generated all the Arabic letters with understandable and proper shapes. Also, the segment-to-letter ratio is found to be less comparatively. © 2019 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

User-centered Performance Engineering of Model Transformations 22

User-centered Performance Engineering of Model Transformatio...

引用

ACM/IEEE 22nd international conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Groner, Raffaela Ulm Univ Inst Software Engn & Programming Languages Ulm Germany

ISBN: (纸本)9781728151250

In Model-Driven Engineering, models are key artifacts. Due to the fact that the systems to be developed become larger and more complex, the corresponding models also become larger and more complex. This trend also influences operations on these models, such as transformations. They are applied at design time and at runtime, e.g. to update models, generate code or to create new models. With increasing model size, their execution time increases, making their performance an important quality aspect. Current research mainly concentrates on further improvements of the transformation engine that performs the transformation, but this will not solve the problem alone. Engine optimizations will never be able to mitigate every possible performance problem due to the fact that there's an arbitrary amount of ways to define a transformation as well as the models and meta-models that all affect the runtime. Therefore, transformation engineers must also ensure that they define their transformations in such a way that they have a short execution time. To achieve this, a performance engineering approach for model transformations is necessary. This approach must consist of steps and techniques that help to analyze and improve performance. In this paper we present our performance engineering approach for declarative model transformations. We identified the five artifacts Guidelines, Monitoring, Analyses, Visualizations and Improvement proposals that form our approach. These artifacts are intended to help an engineer to understand the execution of a transformation and the causes of performance problems with the help of Analyses and Visualizations based on our Monitoring in order to improve them. During the improvement the engineer will be supported by Guidelines and Improvement proposals.

关键词： declarative model transformation performance engineering Henshin

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 58 59 60 61 62 63 64 65 66 67 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：