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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
15 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 software enginee...
9 篇 artificial intel...
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
7 篇 programming lang...
6 篇 computer science
6 篇 software enginee...
6 篇 mathematical log...
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
6 篇 logics and meani...

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 tallinn universi...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 department of co...
1 篇 the pennsylvania...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

183 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 186 条记录，以下是11-20 订阅

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

详细简洁

排序：

From Requirements to Executable Rules: An Ensemble of Domain-Specific languages for programming Cyber-Physical Systems in Warehouse Logistics 10th

From Requirements to Executable Rules: An Ensemble of Domain...

引用

10th international symposium on Leveraging Applications of Formal Methods, ISoLA 2021

作者： Mauritz, Malte Roidl, Moritz TU Dortmund University Dortmund44227 Germany

ISBN: (纸本)9783030891589

the fourth industrial revolution is driven by Software-enabled automation. To fully realize the potential of this digital transformation in a way that is beneficial to society, automation needs to become programmable by domain experts—the vision being a Software-assisted increase in productivity instead of replacing workers with Software. While domain experts, e.g., workers in production, typically have extensive experience with processes and workflows involving cyber-physical systems, e.g., production machines, they have little to no knowledge of programming and formal logic. In this paper, we present a framework for expressing executable rules in the context of a cyber-physical system at the conceptual level, akin to human reasoning, in almost natural sentences (e.g., if a person is within 1 m of the machine then the light will turn red). these requirements are automatically transformed by our framework into formal logic and can be executed and evaluated by a rule engine without additional input by domain experts. the framework is designed in a modular way that enables domain engineering, i.e., the development of new languages for individual application domains, with minimal effort. Only domain-specific entities and predicates (e.g., is within) need to be defined and implemented for a new domain. We demonstrate our framework in a logistics scenario on a shop floor that requires human-machine collaboration. © 2021, Springer Nature Switzerland AG.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

From Business Modeling to Software Design 1

引用

10th Annual international symposium on Business Modeling and Software Design (BMSD)

作者： de Brock, Bert Univ Groningen Fac Econ & Business POB 800 NL-9700 AV Groningen Netherlands

ISBN: (数字)9783030523060

ISBN: (纸本)9783030523060;9783030523053

Graphical system sequence diagrams (SSDs), used in Requirements Engineering and Analysis, are hard to draw for larger use cases. However, we wanted to be able to express SSDs for such use cases as well. While we were designing a grammar for textual SSDs, we noted that we needed the same kind of structuring mechanisms as for modeling business processes and programming languages. Only the basic building block differs: e.g., an assignment statement for (imperative) programming languages and a (basic) interaction step for SSDs. Can we generalize this similarity idea, leading to (uniform) grammars for instruction languages in general, and exploit this? this paper presents a grammar for 'structured' Ws (where W stands for 'Whatever'), leading to grammars for (textual) instruction languages. the general grammar contains constructs necessary for specifying all kinds of instructions. We illustrate our theory with examples from several different application areas. A basic building block might even be a picture or an icon, as we will point out. the main contribution of the paper is a powerful and uniform grammar for instruction languages in general, containing generic constructs for specifying various instructions conveniently. Exploiting the similarity between the structuring mechanisms for modeling business processes, (textual) SSDs, and programming languages will ease the translation towards an implementation in a software system. Usually the grammar rules for basic building blocks are domain specific and must be specified and added per application.

关键词： Language design Grammars Structuring mechanisms Instruction languages Business Modeling System sequence diagram programming language

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Various programming languages in Relation to Solving the Problem of Determining Indicators of Balance Reliability 10

Evaluation of Various Programming Languages in Relation to S...

引用

10th international Scientific symposium on Electrical Power Engineering (ELEKTROENERGETIKA)

作者： Chukreyev, Iurii Chukreyev, Mikhail Syktyvkar Forest Inst Syktyvkar Russia

ISBN: (纸本)9788055333243

Considers the use of various software tools to assess the possibility of obtaining indicators of balance reliability. A fairly new high-level, high-performance free programming language with dynamic typing Julia was used as a mathematical programming language. Traditional languages are represented by Fortran. the comparison of the speed of obtaining the result. the pros and cons of using each of the options are considered.

关键词： reliability criteria power system adequacy parameter power reserve software

来源：评论

学校读者我要写书评

暂无评论

Automatic generation and assessment of student assignments for parallel programming learning 10th

Automatic generation and assessment of student assignments f...

引用

10th international symposium on Parallel Architectures, Algorithms and programming, PAAP 2019

作者： Luo, Zhenxiao Wang, Zelong Wu, Di Hei, Xiaojun Du, Yunfei School of Data and Computer Science Sun Yat-sen University Guangzhou China Guangdong Key Laboratory of Big Data Analysis and Processing Guangzhou510006 China School of Electronic Information and Communications Huazhong University of Science and Technology Wuhan China National Supercomputer Center in Guangzhou Guangzhou China

the course of parallel programming is becoming more and more important for the education of students majoring in computer science. However, it is not easy to learn parallel programming well due to its high theory and practice requirements. In this paper, we design and implement an automatic assignment generation and assessment system to help students learn parallel programming. the assignments can be generated according to user behaviors and thus able to guide students to learn parallel programming step by step. Besides, it can automatically generate an overall assessment of student assignments by using fuzzy string matching, which provides an approximate reference score of objective questions. Subjective questions can be assessed directly by comparing the answer to the reference answer. this system also provides a friendly user interface for students to complete online assignments and let teachers manage their question database. In our teaching practice, students can learn parallel programming more effectively with the help of such an assignment generation and assessment system. © Springer Nature Singapore Pte Ltd. 2020.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Modeling Markov decision processes with imprecise probabilities using probabilistic logic programming 10

Modeling Markov decision processes with imprecise probabilit...

引用

10th international symposium on Imprecise Probability: theories and Applications, ISIPTA 2017

作者： Bueno, thiago P. Mauá, Denis D. De Barros, Leliane N. Cozman, Fabio G. Instituto de Matemática e Estatística Universidade de São Paulo Rua do Matão São Paulo S1010 Brazil Escola Politécnica Universidade de São Paulo Av. Prof. Mello Moraes São Paulo P2231 Brazil

We study languages that specify Markov Decision Processes with Imprecise Probabilities (MDPIPs) by mixing probabilities and logic programming. We propose a novel language that can capture MDPIPs and Markov Decision Processes with Set-valued Transitions (MDPSTs);we then obtain the complexity of one-step inference for the resulting MDPIPs and MDPSTs. We also present results of independent interest on the complexity of inference with probabilistic logic programs containing interval-valued probabilistic assessments. Finally, we also discuss policy generation techniques. Copyright © PMLR 2017. All rights reserved.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Automatic runtime calculation of communications for data-parallel expressions with periodic conditions

Automatic runtime calculation of communications for data-par...

引用

10th international symposium on High-Level Parallel programming and Applications (HLPP)

作者： Moreton-Fernandez, Ana Gonzalez-Escribano, Arturo Univ Valladolid Dept Informat Valladolid Spain

Many real-world applications feature data accesses on periodic domains. Manually implementing the synchronizations and communications associated to the data dependences on each case is cumbersome and error-prone. It is increasingly interesting to support these applications in high-level parallel programming languages or parallelizing compilers. In this paper, we present a technique that, for distributed-memory systems, calculates the specific communications derived from data-parallel codes with or without periodic boundary conditions on affine access expressions. It makes transparent to the programmer the management of aggregated communications for the chosen data partition. Our technique moves to runtime part of the compile-time analysis typically used to generate the communication code for affine expressions, introducing a complete new technique that also supports the periodic boundary conditions. We present an experimental study to evaluate our proposal using several study cases. Our experimental results show that our approach can automatically obtain communication codes as efficient as those found in MPI reference codes, reducing the development effort.

关键词： communications distributed memory parallel programming periodic boundary condition

来源：评论

学校读者我要写书评

暂无评论

Characterizing and Computing Causes for Query Answers in databases from database Repairs and Repair Programs 10th

Characterizing and Computing Causes for Query Answers in Dat...

引用

10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)

作者： Bertossi, Leopoldo Carleton Univ Sch Comp Sci Ottawa ON Canada

ISBN: (纸本)9783319900506;9783319900490

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes. Here, causes are also introduced at the attribute level by appealing to a both null-based and attribute-based repair semantics. the corresponding repair programs are presented, and they are used as a basis for computation and reasoning about attribute-level causes.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

Human motion retrieval based on feedback learning

Human motion retrieval based on feedback learning

引用

作者： Xiao, Qinkun Zhao, Yidan Li, Kin Fun Department of Electronic Information Engineering Xi'An Technological University Xi'an City710032 China Electrical and Computer Engineering University of Victoria Victoria CityV8W 2Y2 Canada

ISBN: (纸本)9781538636749

A novel content-based feedback learning motion retrieval approach is presented. the approach includes two primary stages. (1) In the learning stage, fuzzy clustering is first utilized to get the representative frames of motions, and the body gesture features are extracted to build a motion feature database. (2) In the motion retrieval stage, the query motion feature is extracted according to stage (1). Similarity measurements are then conducted by employing a novel method that combines Manhattan distance dynamic programming (MDP) and support vector machine (SVM) feedback learning. the retrieval results are ranked according to the feedback learning values. the effectiveness of the proposed method is verified experimentally. © 2017 IEEE.

关键词： Dynamic programming Feedback learning Manhattan distance Motion retrieval SVM

来源：评论

学校读者我要写书评

暂无评论

10th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2018

10th International Symposium on Foundations of Information a...

引用

10th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2018

ISBN: (纸本)9783319900490

the proceedings contain 21 papers. the special focus in this conference is on Foundations of Information and Knowledge Systems. the topics include: Probabilistic team semantics;strategic dialogical argumentation using multi-criteria decision making with application to epistemic and emotional aspects of arguments;first-order definable counting-only queries;the power of tarski’s relation algebra on trees;improving the performance of the k rare class nearest neighbor classifier by the ranking of point patterns;preference learning and optimization for partial lexicographic preference forests over combinatorial domains;enumeration complexity of poor man’s propositional dependence logic;refining semantic matching for job recruitment: An application of formal concept analysis;ontodebug: Interactive ontology debugging plug-in for protégé;concatenation, separation, and other properties of variably polyadic relations;a framework for comparing query languages in their ability to express boolean queries;a generalized iterative scaling algorithm for maximum entropy model computations respecting probabilistic independencies;compilation of conditional knowledge bases for computing C-inference relations;characterizing and computing causes for query answers in databases from database repairs and repair programs;inferences from attribute-disjoint and duplicate-preserving relational fragmentations;ASP programs with groundings of small treewidth;rationality and context in defeasible subsumption;haydi: Rapid prototyping and combinatorial objects;argumentation frameworks with recursive attacks and evidence-based supports.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Framework for Comparing Query languages in their Ability to Express Boolean Queries 10th

A Framework for Comparing Query Languages in Their Ability t...

引用

10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)

作者： Surinx, Dimitri Van den Bussche, Jan Van Gucht, Dirk Hasselt Univ Hasselt Belgium Indiana Univ Bloomington IN USA

ISBN: (纸本)9783319900506;9783319900490

We identify three basic modalities for expressing boolean queries using the expressions of a query language: nonemptiness, emptiness, and containment. For the class of first-order queries, these three modalities have exactly the same expressive power. For other classes of queries, e.g., expressed in weaker query languages, the modalities may differ in expressiveness. We propose a framework for studying the expressive power of boolean query modalities. Along one dimension, one may work within a fixed query language and compare the three modalities, e.g., we can compare a fixed query language F under emptiness to F under nonemptiness. Here, we identify crucial query features that enable us to go from one modality to another. Furthermore, we identify semantical properties that reflect the lack of these query features to establish separations. Along a second dimension, one may fix a modality and compare different query languages. this second dimension is the one that has already received quite some attention in the literature, whereas in this paper we emphasize the first dimension. Combining both dimensions, it is interesting to compare the expressive power of a weak query language using a strong modality, against that of a seemingly stronger query language but perhaps using a weaker modality. We present some initial results within this theme. As an important auxiliary result, we establish a preservation theorem for monotone containments of conjunctive queries.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：