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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Optimized translation of multi modal logic into predicate logic 4th

引用

4th international conference on logic programming and Automated Reasoning, LPAR 1993

作者： Ohlbach, Hans Jürgen Max-Planck-Institut für Informatik Im Stadtwald Saarbrücken 116600 Germany

ISBN: (纸本)9783540569442

the functional translation from modal logic into first-order predicate logic is revised. Quantifier elimination of second-order predicates is used to translate almost arbitrary modal systems, i.e. not only modal formulae, but also characteristic Hilbert axioms, fully automatically into predicate logic. Various optimizations of the functional translation are investigated. they even permit the translation of modal systems like the McKinsey axiom, whose correspondence property of the accessibility relation is not first-order axiomatizable. Quantifier exchange rules are defined for modifying the translated Hilbert axioms and thus simplifying their transformation into theory unification algorithms. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

5th international Andrei Ershov Memorial conference, PSI 2003

引用

5th international Andrei Ershov Memorial conference on Perspectives of System Informatics, PSI 2003

ISBN: (纸本)3540208135

the proceedings contain 55 papers. the special focus in this conference is on programming Issues and Software Engineering. the topics include: A grand challenge for computing research;linear types for cashflow reengineering;storing properties in grouped tagged tuples;a polymorphic radix-n framework for fast fourier transforms;intersecting classes and prototypes;making software more flexible;program construction in the context of evolutionary computation;a layered architecture sustaining model-driven and event-driven software development;the outside-in method of teaching introductory programming;numeric types in formal synthesis;on the possibility of provably secure obfuscating programs;verification-oriented language C-light and its structural operational semantics;application to synthesis of contracts;on the visualization and aesthetics of large graphs;data mappings in the model-view-controller pattern;the translation power of the futamura projections;a compiler generator for constraint logic programs;the supercompiler SCP4;partial evaluation for common intermediate language;verification of distributed dataspace architectures;using SPIN and STeP to verify business processes specifications;integrating tools for automatic program verification;open maps and trace semantics for timed partial order models;confidentiality for multithreaded programs via bisimulation;dynamic modification of system structures using LLPNs;principles for entity authentication;causality and replication in concurrent processes;event-driven traversal of logic circuits for re-evaluation of boolean functions in reactive systems;teams of pushdown automata;algebraic state machines: concepts and applications to security;combining aspects of reactive systems;OCL extended with temporal logic and the definition of transitive closure with OCL.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties

引用

4th international conference on Runtime Verification (RV)

作者： Decker, Normann Leucker, Martin thoma, Daniel Med Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (纸本)9783642407871;9783642407864

We study monitoring of visibly context-free properties. these properties reflect the common concept of nesting which arises naturally in software systems. they can be expressed e. g. in the temporal logic CaRet which extends LTL by means of matching calls and returns. the future fragment of CaRet enables us to give a direct unfolding-based automaton construction, similar to LTL. We provide a four-valued, impartial semantics on finite words which is particularly suitable for monitoring. this allows us to synthesize monitors in terms of deterministic push-down Mealy machines. To go beyond impartiality, we develop a construction for anticipatory monitors from visibly push-down.-automata by utilizing a decision procedure for emptiness.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Testing First-Order logic Axioms in Program Verification

Testing First-Order Logic Axioms in Program Verification

引用

4th international conference on Tests and Proofs

作者： Ahn, Ki Yung Denney, Ewen Portland State Univ Portland OR 97207 USA NASA Ames Res Ctr Mission Crit Technol Inc Moffett Field CA 94035 USA NASA Ames Res Ctr Stinger Ghaffarian Technol Inc Moffett Field CA 94035 USA

ISBN: (纸本)9783642139765

Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms correctly (that is, formalizing properties of an intended mathematical interpretation) is non-trivial in practice, and avoiding or even detecting unsoundness can sometimes be difficult to achieve. Moreover, speculating soundness of axioms based on the output of the provers themselves is not easy since they do not typically give counterexamples. We adopt the idea of model-based testing to aid axiom authors in discovering errors in axiomatizations. To test the validity of axioms, users define a computational model of the axiomatized logic by giving interpretations to the function symbols and constants in a simple declarative programming language. We have developed an axiom testing framework that helps automate model definition and test generation using off-the-shelf tools for meta-programming, property-based random testing, and constraint solving. We have experimented with our tool to test the axioms used in AUTOCERT, a program verification system that has been applied to verify aerospace flight code using a first-order axiomatization of navigational concepts, and were able to find counterexamples for a number of axioms.

关键词： model-based testing program verification automated theorem proving property-based testing constraint solving

来源：评论

学校读者我要写书评

暂无评论

A generic formulation of neural nets as a model of parallel and self-programming computation

引用

4th international Work-conference on Artificial Neural Networks (IWANN 97)

作者： Mira, J Herrero, JC Delgado, AE Univ Nacl Educ Distancia Dpto Inteligencia Artificial Madrid Spain

ISBN: (纸本)3540630473

In the same way the more conventional fields of computer science need some theory, including the mathematical foundations of the calculus and the establishment of formal models, neural computation also needs its own. the basic requirements of this model are modularity, "small grain", high connectivity, parametric local computation and some capacity of self-programming by means of the adjustment of these parameters. We present here a proposal in this line that allows the integration in a single frame of all current models (analogic, logic and inferential) and makes clear the natural way to bridge the symbolic and connectionistic perspectives of AI extending the model of local computation to hierarchic graphs, building networks by joining graphs and studying the set of operators we need for modifying local computation parameters values.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

A logic programming based specification animation tool for real-time systems

A logic programming based specification animation tool for r...

引用

4th IEEE Region 10th international conference - TENCON '89

作者： Mitra, S. Bhattacharyya, G. Ghoshal, T.K. Datta, K. Sengupta, R. Electr Eng Dept Jadavpur Univ Calcutta India

During elicitation and verification of specification for real time control systems the sequential-temporal aspects need to be treated separately. these aspects also require animation for verification and incremental refinement of the specification. An automated tool kit can be used to mechanize animation of specification. An augmented Petri net modeling tool is adopted to capture the logical, sequential and timing dependencies of a real time control system. A description is also given of a logic programming based animator for automated animation of the Petri net description. the augmentations involve a predicate net approach and temporal extensions.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

programming by Demonstration: An Inductive Learning Formulation 99

Programming by Demonstration: An Inductive Learning Formulat...

引用

4th international conference on Intelligent User Interfaces, IUI 1999

作者： Lau, Tessa A. Weld, Daniel S. Department of Computer Science and Engineering University of Washington SeattleWA98195-2350 United States

ISBN: (纸本)9781581130980

Although programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-specific approaches to execution-trace generalization. In this paper we define two applicationindependent methods for performing generalization that are based on well-understood machine learning technology. TGENV~ uses version-space generalization, and TGENFOIL is based on the FOIL inductive logic programming algorithm. We analyze each method both theoretically and empirically, arguing that TGENVS has lower sample complexity, but TGENFOIL can learn a much more interesting class of programs. © 1998 Association for Computing Machinery. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Soft Computing, Intelligent Systems and Information Technology, ICSIIT 2015

4th International Conference on Soft Computing, Intelligent ...

引用

4th international conference on Soft Computing, Intelligent Systems and Information Technology, ICSIIT 2015

ISBN: (纸本)9783662467411

the proceedings contain 68 papers. the special focus in this conference is on Fuzzy logic and control system, Genetic algorithm and heuristic approaches, Artificial intelligence and machine learning, Similarity-based models, Classification and clustering techniques, Intelligent data processing, Feature extraction and Image recognition. the topics include: A study of laundry tidiness: laundry state determination using video and 3D sensors;direction control system on a carrier robot using fuzzy logic controller;multidimensional fuzzy association rules for developing decision support system at petra christian university;genetic algorithm for scheduling courses;optimization of auto equip function in role-playing game based on standard deviation of character’s stats using genetic algorithm;the design of net energy balance optimization model for crude palm oil production;ACO-LS algorithm for solving no-wait flow shop scheduling problem;implementation discrete cosine transform and radial basis function neural network in facial image recognition;implementation of artificial intelligence with 3 different characters of AI player on “Monopoly Deal” computer game;optimizing instruction for learning computer programming - a novel approach;the comparation of distance-based similarity measure to detection of plagiarism in indonesian text;document searching engine using term similarity vector space model on english and indonesian document;knowledge representation for image feature extraction;the data analysis of stock market using a frequency integrated spherical hidden markov self organizing map and a search engine development utilizing unsupervised learning approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Concurrency theory, CONCUR 1993

4th International Conference on Concurrency Theory, CONCUR 1...

引用

4th international conference on Concurrency theory, CONCUR 1993

ISBN: (纸本)9783540572084

the proceedings contain 37 papers. the special focus in this conference is on Concurrency theory. the topics include: the lambda-calculus with multiplicities;a multiset semantics for the pi-calculus with replication;model checking mobile processes;a practical technique for process abstraction;modular completeness for communication closed layers;the linear time — branching time spectrum II;a classification of models for concurrency;on the ill-timed but well-caused;on the reduction of chocs bisimulation to p-calculus bisimulation;a theory of bisimulation for the p-calculus;bisimulation equivalence is decidable for basic parallel processes;a pi-calculus semantics for an object-based design notation;programming with broadcasts;interpreting broadcast communication in SCCS;proof systems for message-passing process algebras;refinement and decomposition of value-passing action systems;partial-order methods for temporal verification;model construction for implicit specifications in modal logic;branching time temporal logic and amorphous tree automata;a generalized event structure for the muller unfolding of a safe net;domains of higher-dimensional automata;non interleaving process algebra;quiescence, fairness, testing, and the notion of implementation;two fully abstract models for UNITY;minimal memory schedules for dataflow networks;networks of real-time processes;loop parallelization in the polytope model;an algebra of communicating shared resources with dense time and priorities;an elimination theorem for regular behaviours with integration;a linear local model checking algorithm for CTL;local event structures and petri nets;a congruence theorem for structured operational semantics with predicates and from CML to process algebras.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Optimal Trajectory Planning for Multiphase Lunar Landing

Optimal Trajectory Planning for Multiphase Lunar Landing

引用

4th IFAC conference on Advances in Control and Optimization of Dynamical Systems (ACODS 2016)

作者： Mathavaraj, S. Pandiyan, R. Padhi, R. ISRO Satellite Ctr FDG ADD Bangalore Karnataka India ISRO Satellite Ctr FDG Bangalore Karnataka India Indian Inst Sci Dept Aerosp Engn Bangalore Karnataka India

Lunar landing problem is formulated as an optimal control problem and has been solved by Legendre Pseudospectral method. the landing problem is split into various stages to take into account various mission constraints. Based on these constraints, the problem is split into three stages Hough Braking, Attitude Hold and Retargeting Legendre Pseudospectral method is used for solving this multiphase lunar landing problem. the idea of this method is to discretize the trajectory optimization as a nonlinear programming problem. Legendre Pseudospectral method was applied to approximate the state and the state differential equations as algebraic constraints. Optimal solutions of the above problem are those control variables which dynamically satisfy all mission constraints. the cost function considered is minimum fuel satisfying all mission constraints envisaged. the method guarantees a null (Mann fuel solution which satisfies terminal mission constraints in each stage as part of the formulation. the mission constraints considered in studying this problem are desired altitude, attitude and velocity while reaching the desired landing site from a specified perilune height. At touchdown, the lander orientation should be vertical favoring landing leg of the Lander to touch the Moons surface as desired. the commanded acceleration should be within the limit of the main engine thruster capability (saturation limit) which enforces maximum and minimum thrust constraints. (C) 2016, IFAC (international Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

关键词： Lunar Landing Legendre Pseudospectral Optimal Control Nonlinear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 34 35 36 37 38 39 40 41 42 43 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：