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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Bots vs. Wikipedians, Anons vs. Logged-ins (Redux): A global study of edit activity on Wikipedia and Wikidata 14

Bots vs. Wikipedians, Anons vs. Logged-ins (Redux): A global...

引用

10th international symposium on Open Collaboration, OpenSym 2014

作者： Steiner, thomas Google Germany GmbH ABC-Str. 19 Hamburg20354 Germany

ISBN: (纸本)9781450330169

Wikipedia is a global crowdsourced encyclopedia that at time of writing is available in 287 languages. Wikidata is a likewise global crowdsourced knowledge base that provides shared facts to be used by Wikipedias. In the context of this research, we have developed an application and an underlying Application programming Interface (API) capable of monitoring realtime edit activity of all language versions of Wikipedia and Wikidata. this application allows us to easily analyze edits in order to answer questions such as \Bots vs. Wikipedians, who edits more?", \Which is the most anonymously edited Wikipedia?", or \Who are the bots and what do they edit?". To the best of our knowledge, this is the first time such an analysis was done for Wikidata and for really all Wikipedias|large and small. According to our results, all Wikipedias and Wikidata together are edited by about 50% bots and by about 23% anonymous users. Wikidata alone accounts for about 48% of the totally observed edits. If we do not consider Wikidata, i.e., if we only look at all Wikipedias, about 15% of all edits are made by bots and 26% of all edits are made by anonymous users. Overall, we found a stabilizing number of 274 active bots during our observation period. Our application is available publicly online at the URL http://***/, its code has been open-sourced under the Apache 2.0 license.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Approaches to the incremental detection of implicit equalities with the revised simplex method 10th

Approaches to the incremental detection of implicit equaliti...

引用

10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Refalo, Philippe ILOG S.A. 9 rue de Verdun BP 85 Gentilly94253 France

ISBN: (纸本)3540650121

this paper deals with the incremental detection of implicit equalities using the revised simplex method. this algorithm is more efficient and more suitable to practical problems than the tableau method usually applied in constraint logic programming. We describe and discuss the adaptation to the revised simplex of three approaches: the CLP (R), the Prolog III, and the quasi-dual one. All of these have been integrated into the constraint logic programming language Athena based on a revised simplex method over exact-precision rationals. this system is used to compare these methods on a set of typical CLP problems over linear constraints. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

AR-C&P: A Tangible programming for Children Based Augmented Reality 10

AR-C&P: A Tangible Programming for Children Based Augmented ...

引用

Joint Meeting of the 10th international symposium of Chinese CHI (Chinese CHI) / international Workshop on Human-Engaged Computing (IWHEC)

作者： Zhao, Yanyan Feng, Shuo Wang, Danli Chinese Acad Sci Inst Automat Beijing Peoples R China Univ Chinese Acad Sci Sch Artificial Intelligence Beijing Peoples R China

ISBN: (纸本)9781450398695

Augmented Reality (AR) technology enables continuous visual feedback and varied digital scenes on the real world. this paper presents AR-C&P, an AR-based tangible programming tool for young children. It allows children to create AR maze map with low-cost materials and plan the route by constructing tangible program sequences. Meanwhile, a variety of real-time visual feedback from the screen will be superimposed on the real scenes of the whole process. AR-C&P is intuitive and intriguing which could enrich children's creating experience, develops their cognitive developmental skills and helps children learn fundamental programming concepts. We conducted two experiments. the first experiment reveals the relationship between task completion and cognitive developmental skills. the second experiment reveals the effect of AR on learning programming.

关键词： Augmented Reality programming languages tangible programming children edutainment

来源：评论

学校读者我要写书评

暂无评论

Viewpoints handling in an object model with criterium-based classes 10th

Viewpoints handling in an object model with criterium-based ...

引用

10th international Conference on database and Expert Systems Applications, DEXA 1999

作者： Coulondre, Stephane Libourel, therese 161 rue Ada Montpellier Cedex 534392 France

ISBN: (纸本)3540664483

Traditional class-based object-oriented data models and programming languages do not allow an object to have several types or to play different roles while keeping the same identity. therefore, the modeling of persistent evolving entities is a difficult task. Some specific models and languages exist, but do not support some of the features of traditional OODB models such as inheritance, late binding or common implementation through the notion of class. In this paper, we propose an object model that extends the one proposed by the ODMG while keeping the statical strong type-checking property of the programming language. the model is based on the novel concept of criterium-based class, from which instance objects have an immutable identity and several viewpoints which are accessible through a single interface. the model allows to consider new features such as property sharing and viewpoints merging, unconsidered so far, in a clean and homogeneous way. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

10th International Symposium on Leveraging Applications of F...

引用

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

ISBN: (纸本)9783030891589

the proceedings contain 29 papers. the special focus in this conference is on Leveraging Applications of Formal Methods. the topics include: From Requirements to Executable Rules: An Ensemble of Domain-Specific languages for programming Cyber-Physical Systems in Warehouse Logistics;mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data;programming - What is Next?;low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering;time for All Programs, Not Just Real-Time Programs;integrated Modeling and Development of Component-Based Embedded Software in Scala;slang: the Sireum programming Language;HAMR: An AADL Multi-platform Code Generation Toolset;fundamental Constructs in programming languages;pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition;introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance theory and Practice ofSoftware Development and Computing;GATE: Gradual Effect Types;fixing Classification: A Viewpoint-Based Approach;the Future of programming andModelling: A Vision;towards Model-Based Intent-Driven Adaptive Software;the Interoperability Challenge: Building a Model-Driven Digital thread Platform for CPS;programming vs. that thing Subject Matter Experts Do;aligned, Purpose-Driven Cooperation: the Future Way of System Development;sVerify: Verifying Smart Contracts through Lazy Annotation and Learning;Verifying Temporal Properties of Stigmergic Collective Systems Using CADP;Integrating External Services in DIME;asking Why;Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021;agile Business Engineering: From Transformation Towards ContinuousInnovation;towards Living Canvases;use Cases for Simulation in the Development of Automated Driving Systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Termination detection in logic programs using argument sizes 91

Termination detection in logic programs using argument sizes

引用

10th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database Systems, PODS 1991

作者： Sohn, Kirack Van Gelder, Allen University of California Santa Cruz United States

ISBN: (纸本)0897914309

Progress on automated termination detection for logic programs is reported. the prospects for handling a large class of programs completely automatically appear promising, in contrast to the bleak picture for procedural languages. the methods reported are based on term size analysis of procedure arguments. Argument sizes of derivable facts involving an n-ary predicate are viewed as points in the positive orthant of Rn. We describe a method of finding a nonnegative linear combination of bound argument sizes that (if it is found) is guaranteed to decrease during top-down execution of recursive rules. Duality theory of linear programming is used. this methodology can handle nonlinear recursion, mutual recursion, and cases in which no specific argument is certain to decrease;while it requires rules to have a certain form, this form is attainable by known syntactic transformations. Several programs that could not be shown to terminate by earlier published methods are handled successfully. However, it only analyzes a sufficient condition;a procedure may terminate without our methodology detecting that fact. © 1991 ACM.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Applying Constraint Logic programming to SQL Test Case Generation 10

Applying Constraint Logic Programming to SQL Test Case Gener...

引用

10th international symposium on Functional and Logic programming

作者： Caballero, Rafael Garcia-Ruiz, Yolanda Saenz-Perez, Fernando Univ Complutense Madrid Dept Sistemas Informat & Computac E-28040 Madrid Spain

ISBN: (纸本)9783642122507

We present a general framework for generating SQL query test cases using Constraint Logic programming. Given a database schema and a SQL view defined in terms of other views and schema tables, our technique generates automatically a set of finite domain constraints whose solutions constitute the test database instances. the soundness and correctness of the technique w.r.t. the semantics of Extended Relational Algebra is proved. Our setting has been implemented in an available tool covering a wide range of SQL queries, including views, subqueries, aggregates and set operations.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

C++ optimizations for mobile applications

C++ optimizations for mobile applications

引用

2006 IEEE 10th international symposium on Consumer Electronics, ISCE 2006

作者： Chehimi, Fadi Coulton, Paul Edwards, Reuben Department of Communication Systems Lancaster University Lancaster LA1 4YW United Kingdom

ISBN: (纸本)1424402166

Mobile application development requires many techniques unfamiliar to the general PC developer due to the limitations presented by the mobile platforms. Unlike the PC environment where hardware capabilities can easily be upgraded to accommodate more complex applications, in the mobile environment the onus is on the ability of the developer to produce optimized software with minimal overhead to outcome the desired results. In this paper we define generic paradigms relating to memory and code optimizations for Symbian C++ applications on mobile phones. We illustrate through testing, on an actual device, the advantages that these techniques can produce and their importance for mobile application developers.. © 2006 IEEE.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

IMPLEMENTATION OF ALGEBRA FOR QUERYING WEB DATA SOURCES

IMPLEMENTATION OF ALGEBRA FOR QUERYING WEB DATA SOURCES

引用

10th international Conference on Enterprise Information Systems

作者： Savnik, Iztok Univ Primorska Fac Math Sci & Informat Syst Koper Slovenia

ISBN: (纸本)9789898111364

the paper presents the implementation of query execution system Qios. It serves as a lightware system for the manipulation of XML data. Qios employs the relational technology for query processing. the main aim in the implementation is to provide a querying system that is easy to use and does not require any additional knowledge about the internal representation of data. the system provides robust and simple solutions for many design problems. We aimed to simplify the internal structures of query processors rooted in the design of relational and object-relational query processors. We propose efficient internal data structures for the representation of queries during all phases of query execution. the query optimization is based on dynamic programming and uses beam search to reduce the time complexity. the data structure for storing queries provides efficient representation of queries during the optimization process and the simple means to explore plan caching. Finally, main memory indices can be created on-the-fly to support the evaluation of queries.

关键词： database algebras query languages distributed databases query optimization Web query languages

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：