咨询与建议

限定检索结果

文献类型

  • 53 篇 会议
  • 9 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 63 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 45 篇 工学
    • 43 篇 计算机科学与技术...
    • 25 篇 软件工程
    • 4 篇 控制科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
  • 20 篇 理学
    • 18 篇 数学
    • 4 篇 统计学(可授理学、...
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 9 篇 logic programmin...
  • 6 篇 computer circuit...
  • 5 篇 semantics
  • 4 篇 formal logic
  • 4 篇 algebra
  • 3 篇 specifications
  • 2 篇 simulation
  • 2 篇 markov decision ...
  • 2 篇 testing preorder
  • 2 篇 logic
  • 2 篇 compositionality
  • 2 篇 modal logic
  • 2 篇 semiotics
  • 1 篇 hybrid system
  • 1 篇 program calculat...
  • 1 篇 quasi-orthogonal
  • 1 篇 linear logic
  • 1 篇 modular logic pr...
  • 1 篇 expressive power
  • 1 篇 generalized quan...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 trinity coll dub...
  • 2 篇 shanghai jiao to...
  • 1 篇 univ pisa dipart...
  • 1 篇 univ koblenz dep...
  • 1 篇 dept. of patholo...
  • 1 篇 informatics inst...
  • 1 篇 univ utrecht dep...
  • 1 篇 institute of mat...
  • 1 篇 univ texas dept ...
  • 1 篇 dipartimento di ...
  • 1 篇 univ penn dept c...
  • 1 篇 mcmaster univ de...
  • 1 篇 universidade abe...
  • 1 篇 department of co...
  • 1 篇 logic and formal...
  • 1 篇 dipartimento di ...
  • 1 篇 computer science...
  • 1 篇 institut für rec...
  • 1 篇 university of pi...

作者

  • 2 篇 kahl wolfram
  • 2 篇 deng yuxin
  • 2 篇 niemela i
  • 2 篇 teusink f
  • 2 篇 hennessy matthew
  • 1 篇 kozen dexter
  • 1 篇 apt krzysztof r.
  • 1 篇 soh takehide
  • 1 篇 aravindan c
  • 1 篇 bruynooghe mauri...
  • 1 篇 parisi-presicce ...
  • 1 篇 vidal g
  • 1 篇 van oostrom vinc...
  • 1 篇 ball sheldon s.
  • 1 篇 jayararaan bhara...
  • 1 篇 ray oliver
  • 1 篇 kennaway richard
  • 1 篇 gui yx
  • 1 篇 bergstra jan a.
  • 1 篇 diaconescu răzva...

语言

  • 60 篇 英文
  • 3 篇 其他
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming, ALP 1994"
63 条 记 录,以下是1-10 订阅
A Linear Integer programming Method for Section Location in Distribution Networks Under Multiple Faults
A Linear Integer Programming Method for Section Location in ...
收藏 引用
Intelligent Power and Systems (ICIPS), international conference on
作者: Qiujie Wang Dewei Gan Chenxu Ji Hao Xiao Hong Tan College of Electrical Engineering and New Energy China Three Gorges University Yichang China
Existing linearized section location methods for distribution networks are only applicable to single faults. In response, this paper proposes a linear integer programming method for section location in distribution ne... 详细信息
来源: 评论
Compositional reasoning for weighted Markov decision processes
收藏 引用
SCIENCE OF COMPUTER programming 2013年 第12期78卷 2537-2579页
作者: Deng, Yuxin Hennessy, Matthew Shanghai Jiao Tong Univ Shanghai 200030 Peoples R China Trinity Coll Dublin Dublin Ireland
Weighted Markov decision processes (MDPs) have long been used to model quantitative aspects of systems in the presence of uncertainty. However, much of the literature on such MDPs takes a monolithic approach, by model... 详细信息
来源: 评论
Compositional reasoning for weighted Markov decision processes
Compositional reasoning for weighted Markov decision process...
收藏 引用
4th IPM international conference on Fundamentals of Software Engineering (FSEN)
作者: Deng, Yuxin Hennessy, Matthew Shanghai Jiao Tong Univ Shanghai 200030 Peoples R China Trinity Coll Dublin Dublin Ireland
Weighted Markov decision processes (MDPs) have long been used to model quantitative aspects of systems in the presence of uncertainty. However, much of the literature on such MDPs takes a monolithic approach, by model... 详细信息
来源: 评论
Proposition algebra and short-circuit logic
Proposition algebra and short-circuit logic
收藏 引用
4th IPM international conference on Fundamentals of Software Engineering, FSEN 2011
作者: Bergstra, Jan A. Ponse, Alban Informatics Institute Faculty of Science University of Amsterdam Netherlands
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programmin... 详细信息
来源: 评论
Analyzing pathways using ASP-based approaches
Analyzing pathways using ASP-based approaches
收藏 引用
4th international conference on algebraic and Numeric Biology, ANB 2010
作者: Ray, Oliver Soh, Takehide Inoue, Katsumi University of Bristol Merchant Venturers Building Woodland Road Bristol BS8 1UB United Kingdom Graduate University for Advanced Studies 2-1-2 Hitotsubashi Chiyoda-ku Tokyo 101-8430 Japan National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku Tokyo 101-8430 Japan
this paper contributes to a line of research which aims to combine numerical information with logical inference in order to find the most likely states of a biological system under various (actual or hypothetical) con... 详细信息
来源: 评论
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types
收藏 引用
JOURNAL OF logic AND algebraic programming 2008年 第1期76卷 60-89页
作者: Kahl, Wolfram McMaster Univ Dept Comp & Software Hamilton ON L8S 4K1 Canada
Finite maps or finite relations between infinite sets do not even form a category, since the necessary identities are not finite. We show relation-algebraic extensions of semigroupoids where the operations that would ... 详细信息
来源: 评论
algebraic Neighbourhood logic
收藏 引用
JOURNAL OF logic AND algebraic programming 2008年 第1期76卷 35-59页
作者: Hoefner, Peter Moeller, Bernhard Univ Sheffield Dept Comp Sci Sheffield S1 4DP S Yorkshire England Univ Augsburg Inst Informat D-86135 Augsburg Germany
We present an algebraic embedding of Neighbourhood logic (NL) into the framework of semirings which yields various simplifications. For example, some of the NL axioms can be dropped, since they are theorems in our fra... 详细信息
来源: 评论
Local variable scoping and Kleene algebra with tests
收藏 引用
JOURNAL OF logic AND algebraic programming 2008年 第1期76卷 3-17页
作者: Aboul-Hosn, Kamal Kozen, Dexter Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We provide (i) a fully compositional relatio... 详细信息
来源: 评论
VERIFY 2007 - Proceedings of 4th international Verification Workshop, in Connection with CADE 2007
VERIFY 2007 - Proceedings of 4th International Verification ...
收藏 引用
4th international Verification Workshop, VERIFY 2007, Affiliated with the 21st conference on Automated Deduction, CADE 2007
the proceedings contain 14 papers. the topics discussed include: reflecting linear arithmetic: from dense linear orders to Presburger arithmetic;lightweight verification with dependent types;trends and challenges in s...
来源: 评论
Semigroupoid interfaces for relation-algebraic programming in Haskell
收藏 引用
9th international conference on Relational Methods in Computer Science and 4th international Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006
作者: Kahl, Wolfram McMaster University Hamilton Ont. Canada
We present a Haskell interface for manipulating finite binary relations as data in a point-free relation-algebraic programming style that integrates naturally with the current Haskell collection types. this approach e... 详细信息
来源: 评论