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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

388 篇 会议
20 册 图书
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

288 篇 工学
- 275 篇 计算机科学与技术...
- 184 篇 软件工程
- 29 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 控制科学与工程
- 7 篇 电子科学与技术（可...
- 4 篇 机械工程
- 3 篇 生物工程
- 3 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
67 篇 理学
- 53 篇 数学
- 9 篇 系统科学
- 7 篇 统计学（可授理学、...
- 6 篇 生物学
- 3 篇 物理学
31 篇 管理学
- 19 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 9 篇 工商管理
4 篇 教育学
- 4 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
1 篇 哲学
1 篇 法学
- 1 篇 社会学
1 篇 农学

主题

95 篇 logic programmin...
19 篇 fuzzy logic
18 篇 artificial intel...
14 篇 linear programmi...
13 篇 semantics
12 篇 logic gates
11 篇 computer circuit...
11 篇 programming
11 篇 mathematical log...
10 篇 programming lang...
10 篇 logics and meani...
8 篇 programming tech...
7 篇 computer archite...
7 篇 computer program...
7 篇 computer program...
6 篇 object oriented ...
6 篇 model checking
6 篇 software enginee...
6 篇 answer set progr...
5 篇 genetic programm...

机构

3 篇 univ minho ctr a...
2 篇 telecommunicatio...
2 篇 univ mediterrane...
2 篇 xidian univ inst...
2 篇 dept. of electri...
2 篇 dept. of biomedi...
2 篇 univ potsdam pot...
2 篇 univ orleans lab...
2 篇 queensland unive...
2 篇 univ paris 06 li...
2 篇 xidian univ isn ...
2 篇 chinese acad sci...
2 篇 department of in...
2 篇 institute of inf...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ americas pu...
2 篇 dept. of electri...
2 篇 univ technol syd...
2 篇 chinese univ hon...

作者

6 篇 schaub torsten
4 篇 vicente henrique
3 篇 brezillon patric...
3 篇 pereira luís mon...
3 篇 anon
3 篇 faber wolfgang
3 篇 neves jose
3 篇 damásio carlos v...
2 篇 suzuki taro
2 篇 a.r. gray
2 篇 saubion frédéric
2 篇 bruynooghe mauri...
2 篇 leone nicola
2 篇 karali i
2 篇 sakama chiaki
2 篇 gebser martin
2 篇 ojeda-aciego man...
2 篇 codish michael
2 篇 hofstedt petra
2 篇 ida tetsuo

语言

416 篇 英文
2 篇 其他
1 篇 法文
1 篇 中文

检索条件"任意字段=6th Conference on Logic Programming, 1987"

共 420 条记录，以下是71-80 订阅

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

详细简洁

排序：

targetDP: an Abstraction of Lattice Based Parallelism with Portable Performance 16

targetDP: an Abstraction of Lattice Based Parallelism with P...

引用

16th IEEE International conference on High Performance Computing and Communications HPCC 2014\11th IEEE International conference on Embedded Software and Systems ICESS 2014\6th International Symposium on Cyberspace Safety and Security CSS 2014

作者： Gray, Alan Stratford, Kevin Univ Edinburgh EPCC Edinburgh EH9 3JZ Midlothian Scotland

ISBN: (纸本)9781479961238

To achieve high performance on modern computers, it is vital to map algorithmic parallelism to that inherent in the hardware. From an application developer's perspective, it is also important that code can be maintained in a portable manner across a range of hardware. Here we present targetDP (target Data Parallel), a lightweight programming layer that allows the abstraction of data parallelism for applications that employ structured grids. A single source code may be used to target both thread level parallelism (TLP) and instruction level parallelism (ILP) on either SIMD multi-core CPUs or GPU-accelerated platforms. targetDP is implemented via standard C preprocessor macros and library functions, can be added to existing applications incrementally, and can be combined with higher-level paradigms such as MPI. We present CPU and GPU performance results for a benchmark taken from the lattice Boltzmann application that motivated this work. these demonstrate not only performance portability, but also the optimisation resulting from the intelligent exposure of ILP.

关键词： Synclitism data parallel parallelism crystal lattices Abstraction inductive logic programming central processing units Source code message passing mannose phosphate isomerase remote procedure calls library function BENCHMARKS HIGH-PERFORMANCE Codes

来源：评论

学校读者我要写书评

暂无评论

theoretical Computer Science: 6th IFIP WG 2.2 International conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23

引用

2014年

作者： Christian S Calude Vladimiro Sassone

ISBN: (纸本)9783642423116

thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International conference on theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World Computer Congress held in Brisbane, Australia, during September 20-23, 2010 ( ). TCS 2010 is composed of two main areas: (A) Algorithms, Complexity and Models of Computation, and (B) logic, Semantics, Speci?cation and Veri?cation. the selection process led to the acceptance of 23 papers out of 39 submissions, *** Committee discussion was held electronically using Easychair. the invited speakers at TCS 2010 are: Rob van Glabbeek (NICTA, Australia) Bart Jacobs (Nijmegen, the Netherlands) Catuscia Palamidessi (INRIA and LIX, Paris, France) Sabina Rossi (Venice, Italy) James Harland (Australia) and Barry Jay (Australia) acted as TCS 2010 Chairs. We take this occasion to thank the members of the Programme Committees and the external reviewers for the professional and timely work; the conference Chairs for their support; the invited speakers for their scholarly contribution; and of course the authors for submitting their work to TCS 2010.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Training oriented mobile device to learn software architecture 6

Training oriented mobile device to learn software architectu...

引用

6th International conference on Mobile, Hybrid, and On-Line Learning, eLmL 2014

作者： Sanae, Mostadi Fabrice, Mourlin Ecole Supérieure D'Informatique Appliquée À la Gestion ESIAG UPEC University Créteil France Algorithmic Complexity and Logic Laboratory LACL UPEC University Créteil France

ISBN: (纸本)9781612083285

Teaching new technologies has two facets. A first facet is the pleasure to discover new concepts with beginners. the second facet is the difficulty to create the right training for students who will apply this knowledge through an internship by the end of the training. Since January 2013, our challenge has been to prepare a new training about nomadic device and Android programming. Our training is structured as a master's degree in our UPEC University (Paris). this document presents both aspects of this master degree: the construction of the training and the perception of teaching activities by the students. We observe that the use of a tablet or a smart phone during the lessons is not enough. Pragmatic approach is limited even if it is a help for the participation of students, and a motivation for teachers and students in a computer science context where it is crucial to explore new domains. Learning with device provides a more practical teaching. But its use has to be completed by knowledge validation with it. Because devices take place into teaching approach, the whole process of teaching has to evolve into a more interactive exchange between teachers and students.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Motion Data Editor Software Architecture Oriented on Efficient and General Purpose Data Analysis

Motion Data Editor Software Architecture Oriented on Efficie...

引用

6th Asian conference on Intelligent Information and Database Systems (ACIIDS)

作者： Kulbacki, Marek Janiak, Mateusz Kniec, Wojciech Polish Japanese Inst Informat Technol PL-02008 Warsaw Poland

ISBN: (纸本)9783319054582;9783319054575

We present the architecture of the Motion Data Editor (MDE) real-time development framework for multi-modal motion data management, visualization and analysis. there is an emerging need for such tools due to the capability of recording and computing large number of motion modalities with high precision, synchronized in time domain. Such tools should be efficient, easy to use and flexible to apply to various data types and algorithms. Proposed Motion Data Editor (MDE) is dedicated to general data processing, and supports most of the common functionalities during data analysis. We discuss the most important functional requirements and present selected elements of system architecture: core data types, functionality and processing logic elements. the MDE with Human Motion Laboratory (HML) and cloud based Human Motion Database (BDR) [3] constitute collaborative environment for acquisition and analysis of multi-modal synchronized motion data for medical research and entertainment.

关键词： software architecture c plus generic programming variant type data flow continues integration plug-ins data analysis data processing

来源：评论

学校读者我要写书评

暂无评论

Schema Design on Detection of Business Constraints Based on AOP

Schema Design on Detection of Business Constraints Based on ...

引用

International conference on Multimedia, Computer Graphics and Broadcasting (MulGraB)

作者： Ning Chen College of computer science Xi'an Polytechnic University Xi'an ShaanXi China

ISBN: (纸本)9781479977659

the paper begins with discussion on Aspect-Oriented programming (AOP), including its concept, thought, development, and advantage in handling crosscutting concerns, followed by description of the theory of constraints. Furthermore, combined AOP with first-order logic language, a schema on detection of the business constraints in requirement analysis is presented, which is simple and practicable, thus making optimal designs for improving software robustness.

关键词： Business Software Redundancy Educational institutions Computers programming Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

6th International Symposium on Leveraging Applications of Fo...

引用

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

ISBN: (纸本)9783662452301

the proceedings contain 59 papers. the special focus in this conference is on Engineering Virtualized Systems, Statistical Model Checking, Risk-Based Testing, Medical Cyber-Physical Systems, Scientific Workflows, Evaluation and Reproducibility of Program Analysis and Industrial Track. the topics include: Introduction to track on engineering virtualized services;fault model design space for cooperative concurrency;towards the typing of resource deployment;fully abstract operation contracts;an effective heuristic for adaptive importance splitting in statistical model checking;a formalism for stochastic adaptive systems;a review of statistical model checking pitfalls on real-time stochastic models;using statistical model checking for measuring systems;blocking advertisements on android devices using monitoring techniques;a risk assessment framework for software testing;combining risk analysis and security testing;risk-based vulnerability testing using security test patterns;challenges for the dynamic interconnection of medical devices;temporal logic based monitoring of assisted ventilation in intensive care patients;meta-analysis of disjoint sets of attributes in large cohort studies;a visual programming approach to beat-driven humanoid robot dancing;automatic annotation of bioinformatics workflows with biomedical ontologies;modeling and verifying communication systems;simple management of high assurance data in long-lived interdisciplinary healthcare research;domain-specific business modeling with the business model developer;semantic heterogeneity in the formal development of complex systems;modelling and verifying an evolving distributed control system using an event-based approach and requirements driven data warehouse design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Investigation of intelligent robust controller for a position control system

Investigation of intelligent robust controller for a positio...

引用

IEEE Power India conference

作者： S. K. Jha Anuli Dass Division of ICE NSIT New Delhi India

the objective of this paper is to propose an intelligent robust controller to control the sun seeker system which is mounted on a space vehicle. the control objective is to maximize the amount of current produced by the photo-voltaic cells which are mounted on the sun seeker system. the PV cells produce electric current proportional to the amount of the sun light incident over them. thus the aim is to control the position of the sun seeker system such that the position of the PV cells enables them to produce maximum current. the result of the proposed controller is then compared for robustness with the classical proportional integral derivative (PID) controller and the modern pole placement technique (PPT) based controller. the simulated results using MATLAB clearly indicate that the proposed controller is more robust as compared to the other controllers.

关键词： Genetic algorithms Robustness Sun Linear programming Simulation Optimization Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Application of gene expression programming (GEP) in power transformers fault diagnosis using DGA

Application of gene expression programming (GEP) in power tr...

引用

IEEE Power India conference

作者： Hasmat Malik Sukumar Mishra Department of Electrical Engineering Indian Institute of Technology Delhi New Delhi India

ISBN: (纸本)9781479960439

the diagnosis of incipient fault is very important for power transformer condition monitoring. the incipient faults are monitored by conventional and artificial intelligence (AI) based models. In this paper, the GEP has been utilized to identify the incipient faults in an oil-immersed power transformer. Its performance is compared with traditional IEC/IEEE and AI methods (i.e. ANN and fuzzy logic). the juxtaposition of fault classification of ANN and FL method notify that proposed approach is much swiftly. the desired test analysis of experimental data from working transformers in the Northern Power Grid of India has been executed to present the robustness of evaluated incipient faults for wide changes in operational and loading conditions perturbations.

关键词： Oil insulation Power transformer insulation IEC standards Fault diagnosis Accuracy Artificial neural networks

来源：评论

学校读者我要写书评

暂无评论

Survey on clustering methods: Towards fuzzy clustering for big data

Survey on clustering methods: Towards fuzzy clustering for b...

引用

International conference of Soft Computing and Pattern Recognition (SOCPAR)

作者： Abdelkarim Ben Ayed Mohamed Ben Halima Adel M. Alimi REGIM-Lab.: REsearch Groups in Intelligent Machines National Engineering School of Sfax Tunisia Sfax Tunisia

In this report, we propose to give a review of the most used clustering methods in the literature. First, we give an introduction about clustering methods, how they work and their main challenges. Second, we present the clustering methods with some comparisons including mainly the classical partitioning clustering methods like well-known k-means algorithms, Gaussian Mixture Models and their variants, the classical hierarchical clustering methods like the agglomerative algorithm, the fuzzy clustering methods and Big data clustering methods. We present some examples of clustering algorithms comparison. Finally, we present our ideas to build a scalable and noise insensitive clustering system based on fuzzy type-2 clustering methods.

关键词： Clustering algorithms Clustering methods Big data Partitioning algorithms Fuzzy logic Linear programming Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

Proceedings of ASPOCP 2013 - Answer Set programming and Other Computing Paradigms, 6th International Workshop

Proceedings of ASPOCP 2013 - Answer Set Programming and Othe...

引用

6th Workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2013, co-located with the 29th International conference on logic programming, ICLP 2013

the proceedings contain 12 papers. the topics discussed include: properties of answer set programming with convex generalized atoms;hybrid automated reasoning tools: from black-box to clear-box integration;aspartame: solving constraint satisfaction problems with answer set programming;a functional view of strong negation in answer set programming;an algebra of causal chains;query answering in object oriented knowledge bases in logic programming: description and challenge for ASP;the DIAMOND system for argumentation: preliminary report;a system for interactive query answering with answer set programming;and generating shortest synchronizing sequences using answer set programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：