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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Small and medium enterprises supporting system based on integration of CMS and CRM solutions using .NET framework

Small and medium enterprises supporting system based on inte...

引用

international Conference on CAD Systems in Microelectronics (CADSM)

作者： Lukasz Kujawiak Bartosz Sakowicz Jakub Chlapinski Piotr Mazur Department of Microelectronics and Computer Science Technical University of Lodz Poland

ISBN: (纸本)9789531841306

the article is an overview of a web system that was designed to support small and medium enterprises that wish to improve their online image and client interaction with a set of web tools. the system is based on the three - layer architecture, .NET framework technologies: ***, Language Integrated Query (LINQ) and is coded using C# programming language.

关键词： Collision mitigation Statistics database languages XML Computer languages Knowledge management User interfaces History HTML Authentication

来源：评论

学校读者我要写书评

暂无评论

Dancing with the Unexpected and Beyond: the Use of AI Assistance in Design Fiction Creation 10

Dancing with the Unexpected and Beyond: The Use of AI Assist...

引用

10th international symposium of Chinese CHI, Chinese CHI 2022

作者： Wu, Yiying Yu, Yunye An, Pengcheng School of Design The Hong Kong Polytechnic University Hong Kong Hong Kong School of Foreign Languages Southeast University Nanjing China Southern University of Science and Technology Shenzhen China

ISBN: (纸本)9781450398695

the creation process of design fiction is going participatory and inclusive with non-experts. Recognizing the potential of artificial intelligence in creativity support, we explore the use of AI assistance in creating design fiction. this investigation is based on a workshop on future work in 2040' with Chinese youth (N=20). We look into fiction quality, participants' experiences with the AI agent, and their ways of incorporating those texts into writing. Our findings show that human writers while responding to messy and unexpected AI-generated texts, can elevate the richness and creativity in writing and initiate joyful and inspirational interactions. Furthermore, for the design of AI assistance in creativity support, we suggest two implications of enhancing interactional quality between human and AI and prompt programming. Our study indicates the potential of applying design fiction outside the design context using a more inclusive approach for future speculation with critical reflection on technology. © 2022 ACM.

关键词： Creative writing Creativity support tools Design fiction Human-AI interaction

来源：评论

学校读者我要写书评

暂无评论

A virtual laboratory for tubular photobioreactors for outdoor microalgae culture

A virtual laboratory for tubular photobioreactors for outdoo...

引用

10th IFAC symposium on Advances in Control Education, ACE 2013

作者： Sánchez, J. Dormido, R. Duro, N. Fernández, I. Dormido, S. Department of Computer Sciences and Automatic Control UNED 28040 Madrid Spain Department of Languages and Computation University of Almería 04120 Almería Spain

ISBN: (纸本)9783902823434

this paper describes an interactive virtual laboratory for experimenting on an outdoor tubular photobioreactor. the virtual lab lets users simulate and study in a practical way the evolution of an outdoor culture of the microalga Scenedesmus Almeriensis in a generic tubular photobioreactor during specific periods of time, being possible to preset different experiences by changing the geographic location of the system, the solar irradiation profile, the conditions of the culture (pH, biomass concentrations, dissolved O2, inyected CO2, etc.), the photobioreactor geometry, or the control modes applied to some variables. the design of a highly interactive user interface makes possible to introduce on-the-fly unexpected working conditions of the actuators or fluctuations of the sunlight. the virtual lab has been developed with Easy Java Simulations, an open source tool for instructors with limited programming skills who want to create Java applications and applets. © IFAC.

关键词： Laboratories

来源：评论

学校读者我要写书评

暂无评论

X3D-UML: Enabling advanced UML visualisation through X3D 05

X3D-UML: Enabling advanced UML visualisation through X3D

引用

10th international Conference on 3D Web Technology

作者： McIntosh, Paul Hamilton, Margaret Van Schyndel, Ron School of Computer Science and Information Technology RMIT University GPO Box 2476V Melbourne Vic. 3000 Australia

ISBN: (纸本)9781595930125

the Unified Modelling Language (UML) has become a commercially accepted standard for visualising software systems. Much of this success can be attributed to the computer aided software engineering (CASE) tools, which enable the UML to be effectively integrated into the software development life cycle. the UML is designed to be tool independent, however, in practice it would not be possible to manage the complexities of developing a large software system with "pencil and paper" UML diagrams. the UML is also designed to be extensible, allowing advanced use of visualisation such as 3D, however, in practice this extensibility is limited by the CASE tool used. With X3D-UML we present a means of using extensible 3D (X3D) as a visualisation medium for UML, enabling both standard and advanced visualisation to occur independent of CASE tools. We discuss the means, problems and benefits of transforming existing software system information into UML within an X3D environment. Copyright © 2005 by the Association for Computing Machinery, Inc.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Meta-programming and Multi-stage programming for GPGPUs

Meta-programming and Multi-stage Programming for GPGPUs

引用

IEEE international symposium on Embedded Multicore Socs (MCSoC)

作者： Ian Masliah Marc Baboulin Joel Falcou University Paris Sud Orsay France

ISBN: (纸本)9781509035328

GPGPUs and other accelerators are becoming a mainstream asset for high-performance computing. Raising the programmability of such hardware is essential to enable users to discover, master and subsequently use accelerators in day-to-day simulations. Furthermore, tools for high-level programming of parallel architectures are becoming a great way to simplify the exploitation of such systems. For this reason, we have extended NT2 - the Numerical Template Toolbox - a C++ scientific computing library which can generate code for SIMD and multithreading systems in a transparent way using a MATLAB like syntax. In this paper, we study how to introduce an accelerator based programming model into this library to allow developers to reap the benefits of such an architecture. After a brief description of the NT2 framework, we explain how our accelerator programming model has been designed and integrated in a pure C++ library. We conclude by showing the applicability and performance of this tool on some practical applications.

关键词： Libraries C++ languages Graphics processing units programming Computational modeling MATLAB Mathematical model

来源：评论

学校读者我要写书评

暂无评论

A Unit-Test Framework for database Applications

A Unit-Test Framework for Database Applications

引用

international symposium on database Engineering and Applications (IDEAS)

作者： Claus A. Christensen Steen Gundersborg Kristian de Linde Kristian Torp KMD A/S Denmark KMD A/S Spar Nord Bank A/S Denmark Aalborg University Denmark

the outcome of a test of an application that stores data in a database naturally depends on the state of the database. It is therefore important that test developers are able to set up and tear down database states in a simple and efficient manner In existing unit-test frameworks, setting up and tearing down such test fixtures is labor intensive and often requires copy-and-paste of code. this paper presents an extension to existing unit-test frameworks that allows unit tests to reuse data inserted by other unit tests in a very structured fashion. With this approach, the test fixture for each unit test can be minimized. In addition, the reuse between unit tests can speed up the execution of test suites. A performance test on a medium-size project shows a 40% speed up and an estimated 25% reduction in the number of lines of test code

关键词： Fixtures Software testing Application software Software prototyping Prototypes Object oriented databases Object oriented programming Relational databases

来源：评论

学校读者我要写书评

暂无评论

On completeness of multi-dimensional first-order temporal logics

On completeness of multi-dimensional first-order temporal lo...

引用

international Workshop on Temporal Representation and Reasoning (TIME)

作者： D. Toman Department of Computer Science University of Waterloo Waterloo ONT Canada

In this paper, we show that first-order temporal logics form a proper expressiveness hierarchy with respect to dimensionality and quantifier depth of temporal connectives. this result resolves (negatively) the open question concerning the existence of an expressively complete first-order temporal logic, even when allowing multidimensional temporal connectives.

关键词： Sections database languages Chromium Computer science Logic functions Relational databases Algebra Data models Knowledge representation Information systems

来源：评论

学校读者我要写书评

暂无评论

Towards Integrated Query Processing for Object-Relational and XML Data Sources

Towards Integrated Query Processing for Object-Relational an...

引用

international symposium on database Engineering and Applications (IDEAS)

作者： Iryna Kozlova Norbert Ritter Olga Reimer University of Hamburg Germany Hamburg University of Technology Germany

the recently increased amount of information stored in XML format has lead to the development and wide deployment of so-called native XML database management systems (XML DBMS). In parallel, (object-)relational DBMS remain well known, approved and widely used for persistent storage of data. there are many research and industrial areas, including virtual enterprises, Web portals, digital libraries, data management systems, etc., where applications need to manage both (object-) relational DBMS and XML DBMS to retrieve information from these kinds of data sources. this has created a need for integrated access to (object-)relational and XML data sources. the focus of our investigation in this context comprises design and development of an integration middleware between the application and the data sources, allowing unified access to the entire information for SQL- and XML-based applications. In this paper, we propose a query processing technique supporting integrated access to (object-)relational and XML data sources via both query languages, SQL and XQuery. the local data sources under integration can be queried from the corresponding unified global views, an SQL-View (for SQL-based applications) as well as an XML-View (for XML-based applications), both offering access to the entire integrated information

关键词： Query processing XML database systems Industrial relations Virtual enterprises Portals Software libraries Information retrieval Middleware database languages

来源：评论

学校读者我要写书评

暂无评论

A comprehensive-based database language and its distributed execution

A comprehensive-based database language and its distributed ...

引用

international Conference on Distributed Computing Systems

作者： K. Kato T. Masuda Y. Kiyoki Department of Information Science Faculty of Science University of Tokyo Bunkyo Tokyo Japan Institute of Information Sciences and Electronics University of Tsukuba Tsukuba Ibaraki Japan

the authors describe a way of noticeably reducing the description cost of database operations executed in distributed computing environments through the design of a declarative language to describe database operations, the development of program transformation techniques to improve efficiency at execution time, and the clarification of prerequisites to execute the programs in distributed computing environments. With the language, database operations are described as functions which manipulate streams. To describe stream manipulation at a higher level, the language SPL (Set programming Language) is based on mathematical comprehensive notation for sets (ZF expressions). With this language, database operation implementors need not specify any communication primitives; a language processing system automatically translates the programs into procedural programs which include communication primitives.< >

关键词： database languages Distributed databases Distributed computing Parallel processing Transaction databases Hardware Costs Concurrent computing Information science Microprocessors

来源：评论

学校读者我要写书评

暂无评论

Computer adaptive tests: A comparative study

Computer adaptive tests: A comparative study

引用

international symposium on Intelligent Systems and Informatics (SISY)

作者： Sanja Maravić Čisar Dragica Radosav Robert Pinter Petar Čisar Department of Informatics Subotica Technology Subotica Serbia Department of Informatics Technical Faculty Mihajlo Pupin Zrenjanin Serbia Academy of Criminalistic and Police Studies Belgrade Serbia

Computer based tests are becoming increasingly important and are thus implemented in all fields of education. the clear advantage of computer adaptive testing is witnessed by the maximal balance of accuracy and efficiency. For purposes of determining the effects of applying the computer adaptive test for knowledge evaluation, the adaptive test was realized in the MATLAB software package. the research was done at Subotica Tech - College of Applied Sciences (Subotica, Serbia) with students from the Department of Informatics. the MATLAB application was compared with two computer adaptive tests with a similar purpose: testing student's knowledge of programming languages. the comparison was done for the four basic components that every computer adaptive test has to have: item bank, starting point, item selection algorithm and stopping rule.

关键词： Computers MATLAB Testing databases programming Calibration Educational institutions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：