咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 66 篇 电子文献
  • 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
  • 3 篇 mathematical log...
  • 3 篇 logics and meani...
  • 2 篇 simulation
  • 2 篇 markov decision ...
  • 2 篇 testing preorder
  • 2 篇 symbolic and alg...
  • 2 篇 software enginee...
  • 2 篇 logic
  • 2 篇 compositionality
  • 2 篇 modal logic
  • 2 篇 programming lang...
  • 2 篇 semiotics
  • 1 篇 hybrid system
  • 1 篇 program calculat...

机构

  • 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...

语言

  • 63 篇 英文
  • 3 篇 其他
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming, ALP 1994"
66 条 记 录,以下是61-70 订阅
排序:
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... 详细信息
来源: 评论
4th international Joint conference on the theory and Practice of Software Development, TAPSOFT 1993
收藏 引用
4th international Joint conference on the theory and Practice of Software Development, TAPSOFT 1993
the proceedings contain 51 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: Goldilocks and the three specifications;on relating some models for concur...
来源: 评论
4th international Workshop on Analogical and Inductive Inference, AII 1994 and 5th international Workshop on Algorithmic Learning theory, ALT 1994
4th International Workshop on Analogical and Inductive Infer...
收藏 引用
4th international Workshop on Analogical and Inductive Inference, AII 1994 and 5th international Workshop on Algorithmic Learning theory, ALT 1994
the proceedings contain 45 papers. the special focus in this conference is on Analogical and Inductive Inference. the topics include: Deductive plan generation;average case analysis of pattern language learning algori...
来源: 评论
the sure programming framework  4th
收藏 引用
4th international conference on algebraic Methodology and Software Technology, AMAST 1995
作者: Jayararaan, Bharat Moon, Kyonghee Department of Computer Science State University of New York at Buffalo BuffaloNY14260 United States
We illustrate the use of a declarative programming paradigm based upon three kinds of program clauses: equational, subset, and general relational clauses. the implemented language is called SURE, which is an acronym f... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论