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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Refinable Record Structures in Formal Methods 10th

Refinable Record Structures in Formal Methods

引用

10th international Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021

作者： Fathabadi, Asieh Salehi Snook, Colin Hoang, thai Son Dghaym, Dana Butler, Michael ECS University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030876562

State-based formal specifications benefit from data structuring mechanisms, which collate associated properties and efficiently declare complex types. For example, ‘record’ data structures, similar to those used in programming languages, can be built into the concrete syntax of a language as an enhancement over flat data relationships. While this is relatively simple to achieve for a single-level specification, it becomes significantly more involved when the specification language allows for progressive refinement of the data supporting the specification. Individual fields may be added to create sub-records within a refinement and replaced to create refined records during a refinement step. the impact on the ability to verify invariant and refinement proof obligations must be considered. Here we describe a record structuring syntax that includes notions of extension and inheritance that can be used in a refinement-based formal method. We illustrate the approach using extensions to the Event-B formal method. © 2021, Springer Nature Switzerland AG.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

ATLAS OF ATMOSPHERIC AND TRACE GAS-ABSORPTION FOR GAS-ANALYSES AND RADIATIVE-TRANSFER 10

ATLAS OF ATMOSPHERIC AND TRACE GAS-ABSORPTION FOR GAS-ANALYS...

引用

10th ALL-UNION SYMP AND SCHOOL ON HIGH-RESOLUTION MOLECULAR SPECTROSCOPY

作者： FIRSOV, KM KATAEV, MY MITSEL, AA Institute of Atmospheric Optics (Russia)

ISBN: (纸本)081941011X

this paper describes developed computer code AIRA used to calculate the atmospheric transmittance with a low and medium spectral resolution in the visible and IR. three basic factors affecting the radiation attenuation (molecular absorption, aerosol extinction, molecular scattering) are included. AIRA calculates molecular absorption, using a band model whose parameters are derived from molecular absorption parameters database. AIRA is used both as a traditional band model and a single-line model. the latter was formerly regarded only as a theoretical treatment. However, it provides a satisfactory agreement with experiments for some H₂O and CO₂ bands.

关键词： Absorption Atmospheric modeling Data modeling Transmittance Radiative transfer Atmospheric optics databases Molecular spectroscopy Spectral resolution Computer 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：