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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"

共 545 条记录，以下是351-360 订阅

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

详细简洁

排序：

4th international conference on Global e-Security, ICGeS 2008

4th International Conference on Global e-Security, ICGeS 200...

引用

4th international conference on Global e-Security, ICGeS 2008

ISBN: (纸本)9783540694021

the proceedings contain 36 papers. the special focus in this conference is on Global e-Security. the topics include: A Reasoning Agent for Credit Card Fraud on the Internet Using the Event Calculus;trends in Smartcard Fraud;tracking Online Trails;evaluation of Tools for Protection of Interest against Hacking and Cracking;Testing Dialog-Verification of SIP Phones with Single-Message Denial-of-Service Attacks;Covert Channels in SIP for VoIP Signalling;secure Recognition of Voice-Less Commands Using Videos;an Extended Secret Sharing Scheme for Color Images with Fixed Pixel Expansion;experimental Results on algebraic Analysis of Trivium and Tweaked Trivium;secure Repayable Storage System;A Generalized Model of E-trading for GSR Fair Exchange Protocol;Mobile-PKI Service Model for Ubiquitous Environment;Supporting Security against SYN Flooding Attack in Distributed DoS Via Measuring IPFIX-Based Traffic;multisensor Message Exchange Mechanism;spam Filtering without Text Analysis;collaborative Approach to Network Behavior Analysis;making Concurrent Switching with Input-Output-Queued Switches Practical;user Dynamics in Graphical Authentication Systems;improved Results on algebraic Cryptanalysis of A5/2;a logic for Inclusion of Administrative Domains and Administrators in Multi-domain Authorization;quantum Key Distribution;a Survey of User Authentication Based on Mouse Dynamics;decoding Algorithm of Low Density Parity Check Code;LMIP/AAA: Local Authentication, Authorization and Accounting (AAA) Protocol for Mobile IP;secure Biometrically Based Authentication Protocol for a Public Network Environment;another Security Improvement over the Lin et al.’s E-voting Scheme;a Meta-process for Information Security Risk Management;security Issues in mGovernment;mobile Customer Relationship Management and Mobile Security;IT Governance Metrics, Measurements and Benchmarking.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Non-Clausal reasoning with propositional definite theories 4th

Non-Clausal reasoning with propositional definite theories

引用

4th international conference on Artificial Intelligence and Symbolic Computation, AISC 1998

作者： Stachniak, Zbigniew York University Toronto Canada

ISBN: (纸本)3540649603

In this paper we propose a non-clausal representational formalism (of definite formulas) that retains the syntactic flavor and algorithmic advantages of Horn clauses. the notion of a definite formula is generic in the sense that it is available to any logical calculus. We argue that efficient automated reasoning techniques which utilize definiteformula representation of knowledge (such as SLD-resolution) can be developed for classical and a variety of non-classical logics. © Springer-Verlag Berlin Heidelberg 1998.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A basis set of operators for space-time computations

A basis set of operators for space-time computations

引用

作者： Beal, Jacob BBN Technologies Cambridge MA 02138 United States

ISBN: (纸本)9780769542294

Although many different models of spatial computation have been proposed, no unifying theory of computation over continuous space-time has yet been developed. Lack of such a theory has made it difficult to compare spatial computing models and impossible to determine their completeness. this paper takes a step toward the goal of a unifying model by identifying a mathematical basis set of operators from which any finitely-approximable causal computation can be constructed. the utility of this basis set of operators is then further demonstrated by using it to analyze the universality of the Proto spatial computing programming language. © 2010 IEEE.

关键词： Formal logic

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1998

4th International Conference on Tools and Algorithms for the...

引用

4th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1998, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 1998

ISBN: (纸本)3540643567

the proceedings contain 33 papers. the special focus in this conference is on Invited Papers and Regular Papers. the topics include: Uncertain learning agents (abstract);constructing and sharing perceptual distinctions;on prediction by data compression;induction of feature terms with INDIE;exploiting qualitative knowledge to enhance skill acquisition;integrated learning and planning based on truncating temporal differences;θ-subsumption for structural matching;classification by voting feature intervals;constructing intermediate concepts by decomposition of real functions;conditions for occam's razor applicability and noise elimination;learning different types of new attributes by combining the neural network and iterative attribute construction;metrics on terms and clauses;learning when negative examples abound;a model for generalization based on confirmatory induction;learning linear constraints in inductive logic programming;finite-element methods with local triangulation refinement for continuous reinforcement learning problems;inductive genetic programming with decision trees;parallel and distributed search for structure in multivariate time series;compression-based pruning of decision lists;probabilistic incremental program evolution;a system for extracting oblique decision rules from neural networks;inducing and using decision rules in the GRG knowledge discovery system;learning and exploitation do not conflict under minimax optimality;model combination in the multiple-data-batches scenario;search-based class discretization;natural ideal operators in inductive logic programming;a case study in loyalty and satisfaction research;ibots learn genuine team solutions;global data analysis and the fragmentation problem in decision tree induction and beyond classification of feature vectors;empirical learning of natural language processing tasks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SPVT-II: An Efficient Security Protocol Verifier Based on logic programming

引用

4th international conference on Information Security and Cryptology (Inscript 2008)

作者： Li, MengJun Zhou, Ti Li, ZhouJun Natl Univ Def Technol Sch Comp Sci Changsha Hunan Peoples R China BeiHang Univ Sch Comp Sci Beijing Peoples R China

ISBN: (纸本)9783642014390

SPVT-II is a security protocol verifier based on logic programming, in which an accurate verification approach and an abstract verification approach are combined by a non-termination prediction algorithm. the prediction algorithm predicts non-termination of the solved-form fixpoint of the logic program model of security protocols. In SPVT-II, if the fixpoint is predicted non-termination, then the abstract approach is used to verify protocols, otherwise the accurate approach is used. the combined approach inherits the efficiency of the accurate approach for verifying those security protocols whose fixpoint terminates, and in the abstract-refinement iteration verification framework, the combined approach can be used to incrementally verify security protocols whose fixpoint is predicted non-termination. And in SPVT-II, the non-termination prediction of fixpoint, verification, constructing counterexamples and refinement are all implemented mechanically. the experiment results demonstrate the practicality of our verifier.

关键词： security protocol non-termination characterization and prediction abstract and refinement

来源：评论

学校读者我要写书评

暂无评论

A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics 06

A co-design strategy for embedded Java applications based on...

引用

JTRES'06: 4th international Workshop on Java Technologies for Real-time and Embedded Systems

作者： Borg, Andrew Gao, Rui Audsley, Neil University of York United Kingdom

ISBN: (纸本)9781595935441

As programmable hardware technology gathers momentum, the partitioning of applications into hardware and software will prove to be an increasingly important research area,. Co-design technologies that achieve this partitioning typically adopt a strategy in which a high level specification is used to synthesise both hardware and software. this paper proposes an alternative approach by which equivalencies between hardware and software components are defined, thereby providing a, common interface between them. this allows logic to be moved between hardware and software while retaining the functional properties of the application. An investigation is carried out to derive equivalencies between software elements of the Java, language and hardware components by appropriate wrapping of the latter. By developing a framework that captures these equivalencies, this paper shows how hardware/software partitioning of a system can be relegated to a, late stage of system development and include both application and virtual machine logic. Copyright 2006 ACM.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Ladder logic diagram development for programmable logic controllers via S-method

Ladder logic diagram development for programmable logic cont...

引用

4th international conference on Mechanical and Electrical Technology, ICMET 2012

作者： Yong, Lim Chin Saad, Nordin Idris, Adrien Muhammad Syahmi, Ahmad Hazwan Electrical and Electronics Engineering Department Universiti Teknologi PETRONAS Bandar Seri Iskandar 31750 Tronoh Perak Malaysia

ISBN: (纸本)9783037855102

this paper proposes a method of developing ladder logic diagram for PLCs via S-method (a structured method of programming routines). From flexible manufacturing industry point of view, engineers can easily understand the operation of the complicated system and have better control on industrial automation system by applying S-method. By practicing this, highly dependent on vendor for operating the system also can be eliminated. this paper describes detailed steps of the method that converts from description of the system to a ladder logic diagram involving a series of systematic steps. A case study on pick and place section, the KUKA system which is implementing the S-method is discussed in paper. © (2012) Trans Tech Publications, Switzerland.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

2017 4th international conference on Power, Control and Embedded Systems, ICPCES 2017

2017 4th International Conference on Power, Control and Embe...

引用

4th international conference on Power, Control and Embedded Systems, ICPCES 2017

ISBN: (纸本)9781509044269

the proceedings contain 60 papers. the topics discussed include: a comparative study of junctionless dual material double gate silicon on insulator (SOI) and silicon on nothing (SON) MOSFET;performance analysis of three-phase five-level NPC inverter by using triangular and trapezoidal triangular carrier-based modulation techniques;harmonic mitigation of cascaded multilevel inverter with non equal dc sources using hybrid Newton Raphson method;a genetic algorithm tuned Kalman filter for estimating harmonic and inter-harmonic attributes;comparative analysis of junctionless bulk and SOI/SON FinFET;charge plasma based graded channel with dual material double gate JLT for enhance analog/RF performance;analysis of low power feedthrough logic with leakage control technique;architecture of cost-effective, advanced, high data rate baseband data handling system and realization for high resolution remote sensing satellites;RNN based soft sensor for estimation of concentration for a reactive distillation column;implicit language identification system based on random forest and support vector machine for speech;online identification of coherent generators in power system by using SVM;power system state estimation by linear programming under false data injection attack;enhanced fault ride - through ability of DFIG-based wind energy system using superconducting fault current limiter;wells turbine modeling and pi control scheme for OWC plant using Xilinx system generator;and voltage profile improvement in off grid wind turbine system using MGVC and diesel generator.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Deductive and object data languages: A quest for integration 4th

Deductive and object data languages: A quest for integration

引用

4th international conference on Deductive and Object-Oriented Databases, DOOD 1995

作者： Kifer, Michael Department of Computer Science University at Stony Brook Stony BrookNY11794 United States

ISBN: (纸本)9783540606086

According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logic programming communities began to take notice. the temptation was hard to resist: the object-oriented paradigm provides a better way of manipulating structured objects, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning. thus, hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems. the approaches to integration of the two paradigms range from logic-based languages with unified declarative semantics, to message-passing prologs, to Prolog/C++ cocktails. In the past eight years, my colleagues and I have been developing a unified object-based logic intended to capture most of the essentials of the object-oriented paradigm. the overall plot here is that once the fundamentals are in place, the actual hybrid programming languages can be carved out of the logic the same way as deductive data languages have been carved out of the classical logic. there are two distinct aspects in object-orientation: structural (the statics) and procedural (the dynamics). the static aspect was somewhat easier to capture in logic and after taking a few wrong turns F-logic was developed [17]. Taming the dynamics was harder, because there was no widely accepted solution to the problem of state changes even for traditional deductive languages. Our recent work on Transaction logic [8, 7] appears to provide an adequate framework for specifying the dynamics in classical deductive languages. this paper first reviews some core aspects of F-logic and Transaction logic, and then shows how the two can be combined in a natural way to yield a unified foundation for future work on deductive object-oriented languages both in theory and practice. At the end, we discuss areas that still remai

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

4th EAI International Conference on Artificial Intelligence ...

引用

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

ISBN: (纸本)9783031291258

the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-infectious Person for Data Driven Simulation;creating Trust Within Population of Evolutionary Computation in an Uncertain Environment Using Blockchain;efficient Inductive logic programming Based on Particle Swarm Optimization;fault Diameter of Strong Product Graph of Two Paths;Design and Implementation of SF Selection Based on Distance and SNR Using Autonomous Distributed Reinforcement Learning in LoRa Networks;QBRT: Bias and Rising threshold Algorithm with Q-Learning: Implementation of the Tower of Hanoi;A Study on Effectiveness of BERT Models and Task-Conditioned Reasoning Strategy for Medical Visual Question Answering;deep Robust Neural Networks Inspired by Human Cognitive Bias Against Transfer-based Attacks;efficient Estimation of Cow’s Location Using Machine Learning Based on Sensor Data;A Time Series Forecasting Method Using DBN and Adam Optimization;unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 32 33 34 35 36 37 38 39 40 41 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：