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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是131-140 订阅

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

详细简洁

排序：

Data-Driven Publication of Relational databases

Data-Driven Publication of Relational Databases

引用

international symposium on database Engineering and Applications (IDEAS)

作者： Sonia Guehis Philippe Rigaux Emmanuel Waller LAMSADE UMR CNRS 7024 Université Paris-Dauphine France LRI UMR CNRS 8623 Université Paris-Sud Orsay France

the paper presents a framework for publishing relational databases in textual documents such as mails, HTML pages, LATEX or BibTex files, plain texts, etc. the publication process relies on a mapping of the relational database to a virtual data graph which supports navigation operators. Applications can express the data they need by navigating in the graph. these operations are provided by a declarative query language over virtual graphs, named DOCQL. We illustrate its features with the conference management system MYREVIEW

关键词： Relational databases XML Publishing Navigation Computer languages Postal services HTML database languages Conference management Production

来源：评论

学校读者我要写书评

暂无评论

Advances in Model and Data Engineering in the Digitalization Era 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Ladjel Bellatreche George Chernishev Antonio Corral Samir Ouchani Jüri Vain

ISBN: (数字)9783030876579

ISBN: (纸本)9783030876562

this book constitutes the thoroughly refereed papers of the workshops held at the 10th international Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; the international Health Data Workshop, HEDA 2021.

关键词： Software Engineering/programming and Operating Systems Information Systems Applications (incl. Internet) Computer System Implementation Special Purpose and Application-Based Systems Computer Communication Networks Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Probabilistic Programs: Contextuality and Relational database theory 10th

Probabilistic Programs: Contextuality and Relational Databas...

引用

10th international Conference on Quantum Interaction (QI)

作者： Bruza, P. D. Abramsky, S. Queensland Univ Technol Informat Syst Sch Brisbane Qld Australia Univ Oxford Dept Comp Sci Oxford England

ISBN: (纸本)9783319522890;9783319522883

[6] have introduced a contextual probability theory called Contextuality-by-Default (C-b-D) which is based on three principles. the first of these principles states that each random variable should be automatically labeled by all condition under which it is recorded. the aim of this article is to relate this principle to block structured computer programming languages where variables are declared local to a construct called a "scope". In this way a variable declared in two scopes can be safely overloaded meaning that they can have the same label but preserve two distinct identities without the need for the modeller to label each variable in each condition as advocated by C-b-D. A core issue addressed is how to construct a single probabilistic model from the various interim probability distributions returned by each syntactic scope. For this purpose, a probabilistic variant of the natural join operator of relational algebra is used to "glue" together interim distributions into a single distribution. the semantics of this join operator are related to contextual semantics [1].

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Hardware-Near programming in the Common Language Infrastructure

Hardware-Near Programming in the Common Language Infrastruct...

引用

international symposium on Object-Oriented Real-Time Distributed Computing

作者： Stefan Richter Andreas Rasche Andreas Polze Hasso-Plattner-Institute University of Potsdam Potsdam Germany

Virtual machine-based programming languages, such as Java and C # have made the programming of desktop computer systems simpler, less error-prone and more efficient. Embedded systems development rarely benefits from this advantages. this is because the disciplines special needs, such as direct hardware access and timelininess, are rarely considered in these environments. In particular, virtual machines usually do not allow for accessing hardware directly, making it impossible to express substantial parts of embedded systems inside the virtual environment. By specifying additional rules, describing an implementation of a conforming compiler, and presenting examples, we show how the virtual machine defined by the ECMA standard 335 can be carefully extended to support hardware-near programming

关键词： Hardware Utility programs Embedded system Program processors programming profession Virtual machining Libraries Computer languages Java Assembly

来源：评论

学校读者我要写书评

暂无评论

Fundamental Constructs in programming languages 10th

Fundamental Constructs in Programming Languages

引用

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

作者： Mosses, Peter D. Delft University of Technology Delft Netherlands Swansea University Swansea United Kingdom

ISBN: (纸本)9783030891589

When a new programming language appears, the syntax and intended behaviour of its programs need to be specified. the behaviour of each language construct can be concisely specified by translating it to fundamental constructs (funcons), compositionally. In contrast to the informal explanations commonly found in reference manuals, such formal specifications of translations to funcons can be precise and complete. they are also easy to write and read, and to update when the language evolves. the PLanCompS project has developed a large collection of funcons. Each funcon is defined independently, using a modular variant of structural operational semantics. the definitions are available online, along with tools for generating funcon interpreters from them. this paper introduces and motivates funcons. It illustrates translation of language constructs to funcons, and funcon definition. It also relates funcons to the notation used in some previous language specification frameworks, including monadic semantics and action semantics. © 2021, Springer Nature Switzerland AG.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Undecidability Results for Finite Interactive Systems

Undecidability Results for Finite Interactive Systems

引用

international symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

作者： Alexandru Sofronia Alexandru Popa Gheorghe Stefanescu Department of Computer Science University of Bucharest Bucharest Romania Department of Computer Science University of Bristol Bristol UK Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

this paper is on the foundations of a recent approach to the design of massively parallel and interactive programming languages using rv-systems (interactive systems with registers and voices) and Agapia programming. It includes a few theoretical results on FISs (finite interactive systems), the underlying mechanism used for specifying control and interaction in these systems. First, we give a proof for the undecidability of the emptiness problem for FISs by reduction to the post correspondence problem. Next, we use the proof to get other undecidability results, e.g., for the accessibility of a transition in a FIS, or for the finiteness of the language recognized by a FIS. Finally, we present a simple proof of the equivalence between FISs and tile systems, making explicit that they precisely capture recognizable two-dimensional languages.

关键词： Interactive systems Computer languages Computer science Tiles Control systems Scientific computing Algorithm design and analysis Parallel programming Arithmetic Functional programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

the Power of Tarski's Relation Algebra on Trees 10th

The Power of Tarski's Relation Algebra on Trees

引用

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

作者： Hellings, Jelle Wu, Yuqing Gyssens, Marc Van Gucht, Dirk Hasselt Univ Martelarenlaan 42 B-3500 Hasselt Belgium Pomona Coll 185 E 6th St Claremont CA 91711 USA Indiana Univ 150 S Woodlawn Ave Bloomington IN 47405 USA

ISBN: (纸本)9783319900506;9783319900490

Fragments of Tarski's relation algebra form the basis of many versatile graph and tree query languages including the regular path queries, XPath, and SPARQL. Surprisingly, however, a systematic study of the relative expressive power of relation algebra fragments on trees has not yet been undertaken. Our approach is to start from a basic fragment which only allows composition and union. We then study how the expressive power of the query language changes if we add diversity, converse, projections, coprojections, intersections, and/or difference, both for path queries and Boolean queries. For path queries, we found that adding intersection and difference yields more expressive power for some fragments, while adding one of the other operators always yields more expressive power. For Boolean queries, we obtain a similar picture for the relative expressive power, except for a few fragments where adding converse or projection yields no more expressive power. One challenging problem remains open, however, for both path and Boolean queries: does adding difference yields more expressive power to fragments containing at least diversity, coprojections, and intersection?

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Optimization rules for programming with collective operations

Optimization rules for programming with collective operation...

引用

international symposium on Parallel Processing

作者： S. Gorlatch C. Wedler C. Lengauer Fakultät für Mathematik und Informatik Universität Passau Passau Germany

We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a formal framework for reasoning about collective operations; (2) a set of optimization rules which save communications by fusing several collective operations into one; (3) performance estimates, which guide the application of optimization rules depending on the machine characteristics; (4) a simple case study with machine experiments.

关键词： Broadcasting Concurrent computing Parallel processing Parallel languages Computer architecture Functional programming Parallel programming Libraries programming environments Hardware

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：