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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Sentiment Detection of Comment Titles in *** Using Probabilistic Latent Semantic Analysis

Sentiment Detection of Comment Titles in *** Using Probabili...

引用

International conference of Information and Communication Technology (ICoICT)

作者： Dewi Ayu Khusnul Khotimah Riyanarto Sarno Information Technology Management Institut Teknologi Sepuluh Nopember Surabaya Indonesia Departement Of Informatics Institut Teknologi Sepuluh Nopember Surabaya Indonesia

ISBN: (纸本)9781538645734

In a competitive and dynamic environment, many hotels compete to provide the best quality for customers. Hotel quality affects the brand image of a hotel marked from whether or not customers are satisfied. *** website is chosen as the ideal data source as being able to utilize User Generated Content (UGC). UGC, serves as a data source ensuring the authenticity of data for customer reviews in Ponorogo, Indonesia. this experiment uses English text classification, to determine customer satisfaction and dissatisfaction based on the text they write on the title of customer testimony. the classification method used is PLSA and python programming language is used for preprocessing data. the data sampling is performed by data crawling using WebHarvy. the test results show that PLSA slightly outperforms previous research methods, namely LSA.

关键词： Semantics Probability Customer satisfaction Probabilistic logic Text categorization Python

来源：评论

学校读者我要写书评

暂无评论

Automatic Cyclic Termination Proofs for Recursive Procedures in Separation logic 2017

Automatic Cyclic Termination Proofs for Recursive Procedures...

引用

6th ACM SIGPLAN conference on Certified Programs and Proofs (CPP)

作者： Rowe, Reuben N. S. Brotherston, James UCL Dept Comp Sci London England

ISBN: (纸本)9781450347051

We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic heaps in separation logic with user defined inductive predicates;we employ explicit approximations of these predicates as our termination measures. this enables us to extend cyclic proof to programs with procedures by relating these measures across the preand postconditions of procedure calls. We provide an implementation of our formal proof system in the CYCLIST theorem proving framework, and evaluate its performance on a range of examples drawn from the literature on program termination. Our implementation extends the current state-of-the-art in cyclic proof-based program verification, enabling automatic termination proofs of a larger set of programs than previously possible.

关键词： Automated proof search Cyclic proof Explicit approximation Imperative programming Proof Certificates Separation logic Termination

来源：评论

学校读者我要写书评

暂无评论

An Improved logic-Based Implementation to Ontology Assessment 6

An Improved Logic-Based Implementation to Ontology Assessmen...

引用

6th Brazilian conference on Intelligent Systems (BRACIS)

作者： de Oliveira Rodrigues, Cleyton Mario Goncalves de Freitas, Frederico Luiz de Azevedo, Ryan Ribeiro Univ Pernambuco UPE Garanhuns PE Brazil Univ Fed Pernambuco CIn POB 7851 Recife PE Brazil Univ Fed Rural Pernambuco Garanhuns PE Brazil

ISBN: (纸本)9781538624074

With the advent of the Semantic Web, ontology engineering has produced thousands of conceptual models. In this context, ontological evaluation is a crucial and imperative task, enabling reuse and the models' evolution. Several frameworks have been proposed in the literature for quality and correctness assessment as OntoClean, a very subjective methodology based on the user's knowledge to ascertain meta properties to the concepts of ontology, in order to find out disparities with respect the real domain. Unfortunately, OntoClean only applies to Ontologies whose concepts were completely labeled by the user. Due to the lack of stable OntoClean implementations and the imposed limitation, this paper presents an implementation in a general Constraint logic-based language, which is still useful to partially labeled ontologies. At the end, some of scalability and efficiency tests are demonstrated.

关键词： Constraint logic programming Knowledge Representation Ontology Evaluation

来源：评论

学校读者我要写书评

暂无评论

Complex Event Recognition Notification Methodology for Uncertain IoT Systems Based on Micro-Service Architecture

Complex Event Recognition Notification Methodology for Uncer...

引用

International conference on Future Internet of things and Cloud (FiCloud)

作者： Mira Vrbaski Miodrag Bolic Shikharesh Majumdar School of Electrical Engineering and Computer Science University of Ottawa Ottawa Canada Systems and Computer Engineering Carlton University Ottawa Canada

ISBN: (纸本)9781538675045

One of the main purposes of the Internet of things (IoT) systems is to provide information on the observed physical system and to notify when a certain observed complex event occurs in the system. the biggest challenge of the IoT systems is that the systems collect a massive amount of uncertain data from diverse IoT devices, where the devices are connected through the internet. In addition to that, some events are inferred from other events and uncertainty is propagated from parent events to the inferred events, which additionally contributes to overall system uncertainty. the observed complex events are a complex relationship of primitive events that are produced by IoT devices and collected in IoT system. there were a couple of attempts to quantify the system uncertainty by estimating the likelihood of the occurrence of events of interest while taking into account the uncertain data and uncertain parameters of the model of the physical system with rule-based complex event processing and/or Bayesian network. these methods were implemented as stand-alone software solutions that are unable to scale under heavy loads of incoming events. this paper proposes a micro-service based notification methodology that uses complex event recognition to handle the IoT system uncertainty.

关键词： Uncertainty Monitoring Probabilistic logic Computer architecture programming Internet of things Microprocessors

来源：评论

学校读者我要写书评

暂无评论

An Intelligent Edge Computing Based Semantic Gateway for Healthcare Systems Interoperability and Collaboration

An Intelligent Edge Computing Based Semantic Gateway for Hea...

引用

International conference on Future Internet of things and Cloud (FiCloud)

作者： Tshiamo Sigwele Yim Fun Hu Muhammad Ali Jiacheng Hou Misfa Susanto Helmy Fitriawan University of Bradford Bradford United Kingdom Department of Electrical Engineering Faculty of Engineering University of Lampung Indonesia

ISBN: (纸本)9781538675045

the use of Information and Communications Technology (ICTs) in healthcare has the potential of minimizing medical errors, reducing healthcare cost and improving collaboration between healthcare systems which can dramatically improve the healthcare service quality. However interoperability within different healthcare systems (clinics/hospitals/pharmacies) remains an issue of further research due to a lack of collaboration and exchange of healthcare information. To solve this problem, cross healthcare system collaboration is required. this paper proposes a conceptual semantic based healthcare collaboration framework based on Internet of things (IoT) infrastructure that is able to offer a secure cross system information and knowledge exchange between different healthcare systems seamlessly that is readable by both machines and humans. In the proposed framework, an intelligent semantic gateway is introduced where a web application with restful Application programming Interface (API) is used to expose the healthcare information of each system for collaboration. A case study that exposed the patient's data between two different healthcare systems was practically demonstrated where a pharmacist can access the patient's electronic prescription from the clinic.

关键词： Medical services Interoperability Semantics logic gates Standards Collaboration Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Soft Computing Based Software Testing - A Concise Travelogue 6th

Soft Computing Based Software Testing - A Concise Travelogue

引用

6th International conference on Soft Computing for Problem Solving (SocProS)

作者： Sharma, Deepak Chandra, Pravin Guru Gobind Singh Indraprastha Univ Univ Sch Informat & Commun Technol Delhi 110078 India

ISBN: (纸本)9789811033254;9789811033247

Soft computing is an accumulation of procedures, which intend to adventure resistance for the defect, deception, ambiguity and incomplete truth to accomplish tractability, strength, and low arrangement cost. In this paper, a comprehensive overview of software testing based on soft computing is presented. In this survey, we try to elaborate some problems of software engineering specifically software testing and their solutions, which are based on soft computing approaches. the paper presents an overview of the usage of soft computing techniques including Neural Networks, Fuzzy logic, Ant Colony Optimization, and Particle Swarm Optimization and Genetic algorithm in software testing.

关键词： Soft computing Software testing Neural networks Fuzzy logic Genetic programming Ant colony optimization Particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

COMPLX: A Verification Framework for Concurrent Imperative Programs 2017

COMPLX: A Verification Framework for Concurrent Imperative P...

引用

6th ACM SIGPLAN conference on Certified Programs and Proofs (CPP)

作者： Amani, Sidney Andronick, June Bortin, Maksym Lewis, Corey Rizkallah, Christine Tuong, Joseph CSIRO Data61 Canberra ACT Australia UNSW Sydney NSW Australia Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9781450347051

We propose a concurrency reasoning framework for imperative programs, based on the Owicki-Gries (OG) foundational shared-variable concurrency method. Our framework combines the approaches of Hoare-Parallel, a formalisation of OG in Isabelle/HOL for a simple while-language, and SIMPL, a generic imperative language embedded in Isabelle/HOL, allowing formal reasoning on C programs. We define the COMPLX language, extending the syntax and semantics of SIMPL with support for parallel composition and synchronisation. We additionally define an OG logic, which we prove sound w.r.t. the semantics, and a verification condition generator, both supporting involved low-level imperative constructs such as function calls and abrupt termination. We illustrate our framework on an example that features exceptions, guards and function calls. We aim to then target concurrent operating systems, such as the interruptible eChronos embedded operating system for which we already have a model-level OG proof using Hoare-Parallel.

关键词： formal verification programming languages imperative code concurrency Owicki-Gries Isabelle/HOL

来源：评论

学校读者我要写书评

暂无评论

ACM International conference Proceeding Series

ACM International Conference Proceeding Series

引用

8th Workshop on Parallel programming and Run-Time Management Techniques for Many-Core Architectures and 6th Workshop on Design Tools and Architectures For Multicore Embedded Computing Platforms, PARMA-DITAM 2017

ISBN: (纸本)9781450348775

the proceedings contain 6 papers. the topics discussed include: dataflow acceleration of Scikit-learn Gaussian process regression;VectorPU: a generic and efficient data-container and component model for transparent data transfer on GPU-based heterogeneous systems;using PEGs for automatic extraction of memory access descriptions to support data-parallel pattern recognition;on boosting energy-efficiency of heterogeneous embedded systems via game theory;scaling binarized neural networks on reconfigurable logic;MTP-Caffe: memory, timing, and power aware tool for mapping CNNs to GPUs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of Fuzzy logic on FORTRAN Coded Free Convection Around Vertical Tube 6th

引用

6th International conference on Soft Computing for Problem Solving (SocProS)

作者： Singh, Jashanpreet Singh, Chanpreet Kumar, Satish Thapar Univ Mech Engn Dept Patiala 147004 Punjab India Punjabi Univ Dept Mech Engn Patiala 147002 Punjab India

ISBN: (纸本)9789811033223;9789811033216

In present study, fuzzy logic is used to predict the free convection over a heated vertical cylindrical tube. Tube has diameter 38 mm and length 500 mm. Numerical simulation involves use of implicit finite difference scheme to solve the fluidics equations for vertical tube. Tube is imposed to a fine structural grid and appropriate boundary conditions. Properties of two fluids namely air and water vapour is used for numerical simulation. Grashof number is varied from 2.04 x 10(6) to 2.62 x 10(8) and 2.69 x 10(6) to 3.36 x 10(8) for air and water vapour respectively. A computer code in FORTRAN programming language is used to draw velocity and temperature profiles. Fuzzy Interface System Mamdani is used to evaluate output membership from different fuzzy sets. Fuzzy predicted results are found in good agreement with experiments. Rayleigh number was found 1.45 x 10(7) to 3.63 x 10(8) and 2.66 x 10(7) to 6.67 x 10(8) for air and water vapour. Fuzzy logic results confirm +/- 4% agreement with experimental results.

关键词： Free convection Vertical cylinder Fuzzy logic Implicit scheme Finite difference method

来源：评论

学校读者我要写书评

暂无评论

Scaling Binarized neural networks on reconfigurable logic 17

Scaling Binarized neural networks on reconfigurable logic

引用

作者： Fraser, Nicholas J. Umuroglu, Yaman Gambardella, Giulio Blott, Michaela Leong, Philip Jahre, Magnus Vissers, Kees Xilinx Research Labs United States Norwegian University of Science and Technology Norway University of Sydney Australia

ISBN: (纸本)9781450348775

Binarized neural networks (BNNs) are gaining interest in the deep learning community due to their significantly lower computational and memory cost. they are particularly well suited to reconfigurable logic devices, which contain an abundance of fine-grained compute resources and can result in smaller, lower power implementations, or conversely in higher classification rates. Towards this end, the Finn framework was recently proposed for building fast and flexible field programmable gate array (FPGA) accelerators for BNNs. Finn utilized a novel set of optimizations that enable efficient mapping of BNNs to hardware and implemented fully connected, non-padded convolutional and pooling layers, with per-layer compute resources being tailored to user-provided throughput requirements. However, FINN was not evaluated on larger topologies due to the size of the chosen FPGA, and exhibited decreased accuracy due to lack of padding. In this paper, we improve upon Finn to show how padding can be employed on BNNs while still maintaining a 1-bit datapath and high accuracy. Based on this technique, we demonstrate numerous experiments to illustrate flexibility and scalability of the approach. In particular, we show that a large BNN requiring 1.2 billion operations per frame running on an ADM-PCIE-8K5 platform can classify images at 12 kFPS with 671 μs latency while drawing less than 41 W board power and classifying CIFAR-10 images at 88.7% accuracy. Our implementation of this network achieves 14.8 trillion operations per second. We believe this is the fastest classification rate reported to date on this benchmark at this level of accuracy. © 2017 ACM.

关键词： logic devices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共42页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：