咨询与建议

限定检索结果

文献类型

  • 149 篇 期刊文献
  • 90 篇 会议
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 146 篇 工学
    • 117 篇 计算机科学与技术...
    • 65 篇 软件工程
    • 21 篇 电气工程
    • 15 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 12 篇 电子科学与技术(可...
    • 10 篇 核科学与技术
    • 6 篇 光学工程
    • 6 篇 生物医学工程(可授...
    • 6 篇 生物工程
    • 4 篇 机械工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
  • 105 篇 理学
    • 52 篇 物理学
    • 43 篇 数学
    • 8 篇 生物学
    • 6 篇 统计学(可授理学、...
    • 4 篇 系统科学
    • 2 篇 化学
    • 2 篇 地球物理学
  • 13 篇 管理学
    • 7 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 11 篇 医学
    • 9 篇 临床医学
    • 8 篇 基础医学(可授医学...
    • 3 篇 药学(可授医学、理...
    • 2 篇 公共卫生与预防医...
  • 3 篇 农学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 历史学

主题

  • 17 篇 laboratories
  • 8 篇 software enginee...
  • 7 篇 higgs bosons
  • 7 篇 computational mo...
  • 6 篇 concurrent compu...
  • 6 篇 supersymmetric m...
  • 6 篇 algebra
  • 6 篇 particle data an...
  • 5 篇 computer archite...
  • 5 篇 supersymmetry
  • 5 篇 semantics
  • 5 篇 hadron colliders
  • 5 篇 hardware
  • 5 篇 functional progr...
  • 5 篇 top quark
  • 4 篇 parallel algorit...
  • 4 篇 electroweak inte...
  • 4 篇 logic programmin...
  • 4 篇 specifications
  • 4 篇 costs

机构

  • 41 篇 department of ph...
  • 41 篇 faculty of scien...
  • 41 篇 departamento de ...
  • 41 篇 department for p...
  • 41 篇 department of ph...
  • 41 篇 yerevan physics ...
  • 41 篇 institute of phy...
  • 41 篇 institute of phy...
  • 41 篇 department of ph...
  • 41 篇 physics departme...
  • 40 篇 kirchhoff-instit...
  • 40 篇 graduate school ...
  • 40 篇 instituto de fís...
  • 39 篇 dipartimento di ...
  • 39 篇 fakultät für phy...
  • 39 篇 tomsk state univ...
  • 39 篇 dipartimento di ...
  • 38 篇 department of ph...
  • 38 篇 department of ph...
  • 38 篇 department of ph...

作者

  • 33 篇 m. klein
  • 32 篇 c. alexa
  • 32 篇 j. m. izen
  • 32 篇 s. veneziano
  • 32 篇 g. bella
  • 32 篇 j. strandberg
  • 32 篇 d. calvet
  • 32 篇 c. amelung
  • 32 篇 n. orlando
  • 32 篇 h. a. gordon
  • 32 篇 y. tayalati
  • 32 篇 g. spigo
  • 32 篇 v. chiarella
  • 32 篇 f. siegert
  • 32 篇 a. c. könig
  • 32 篇 r. ströhmer
  • 32 篇 h. sakamoto
  • 32 篇 g. h. a. viehhau...
  • 32 篇 s. nektarijevic
  • 32 篇 m. rijssenbeek

语言

  • 238 篇 英文
  • 6 篇 其他
检索条件"机构=Oxford University Computing Laboratory Programming Research Group"
244 条 记 录,以下是101-110 订阅
排序:
A theory of conjunction and concurrency
A theory of conjunction and concurrency
收藏 引用
International Conference on Databases, Parallel Architectures and Their Applications
作者: C.A.R. Hoare Programming Research Group Oxford University Computing Laboratory UK
Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component processes are explored. A lattice-theoretic fixed-point theorem abou... 详细信息
来源: 评论
Analysing parametrised designs by non-standard interpretation
Analysing parametrised designs by non-standard interpretatio...
收藏 引用
International Conference on Application Specific Array Processors
作者: W. Luk Computing Laboratory Programming Research Group Oxford UK
The authors consider the use of a nonstandard interpretation to analyze parametrized circuit descriptions, in particular for array based architectures. Various metrics are employed to characterize the performance trad... 详细信息
来源: 评论
Dynamics of control
Dynamics of control
收藏 引用
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering
作者: Sanders, J. W. Turilli, Matteo United Nations University International Institute for Software Technology P O Box 3058 Macao Programming Research Group Oxford University Computing Laboratory Wolf Son Building Oxford OX1 3QD Parks Rd
This paper proposes a notion, the 'ambit' of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use ... 详细信息
来源: 评论
A dynamic-logical perspective on quantum behavior
收藏 引用
Studia Logica 2008年 第2期89卷 187-211页
作者: Baltag, A. Smets, S. Computing Laboratory Oxford University Oxford United Kingdom Center for Logic and Philosophy of Science Vrije Universiteit Brussel Brussel Belgium IEG Research Group on the Philosophy of Information Oxford University Oxford United Kingdom
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properti... 详细信息
来源: 评论
A formal specification of an automatic train protection system  2nd
收藏 引用
2nd International Symposium of Formal Methods Europe, FME 1994
作者: Simpson, Andrew Programming Research Group Oxford University Computing Laboratory Wolfson Building OxfordOX1 3QD United Kingdom Smith Institute Surrey Research Park Guildford SurreyGU2 5YP United Kingdom
This paper attenlpts to provide a formed specification of an Automatic Train Protection (ATP) system. Such a system continuously checks the actual speed of a passenger train against its maximum permitted speed and tak... 详细信息
来源: 评论
An overview of D-I algebra
An overview of D-I algebra
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: M.B. Josephs J.T. Udding Programming Research Group Oxford University Computing Laboratory Oxford UK Department of Computing Science Groningen University Groningen Netherlands
An overview is given of D-I algebra, an algebra for the specification of the safety and progress properties of delay-insensitive circuits in terms of voltage-level transitions on wires. The algebraic laws make it poss... 详细信息
来源: 评论
The oxford parallel architecture for 3D vision
The Oxford parallel architecture for 3D vision
收藏 引用
IEE Colloquium on Parallel Architectures for Image Processing Applications
作者: H. Wang C. Bowman Programming Research Group Oxford University Computing Laboratory Oxford UK Edinburgh University Auckland New Zealand
A hybrid architecture for machine vision is described. The primary components of the architecture are a Datacube pipelined image processor, a configurable network of 32 T800 transputers, a Sun-4 workstation and a spec... 详细信息
来源: 评论
Functional pearl: Deduction for functional programmers
收藏 引用
Journal of Functional programming 1996年 第2期6.0卷 365-373页
作者: Leifer, J.J. Sufrin, B.A. Cambridge University Computing Laboratory New Museums Site Cambridge CB2 3QG Pembroke Street United Kingdom Oxford University Programming Research Group Wolfson Building Oxford OX1 3QD Parks Road United Kingdom
来源: 评论
Correlated information: A logic for multi-partite quantum systems
Correlated information: A logic for multi-partite quantum sy...
收藏 引用
作者: Baltag, Alexandru Smets, Sonja Computing Laboratory Oxford University Oxford United Kingdom Department of Artificial Intelligence Department of Philosophy University of Groningen Groningen Netherlands IEG Research Group Oxford University Oxford United Kingdom
In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it exte... 详细信息
来源: 评论
An Estimate of the Store Size Necessary for Dynamic Storage Allocation
收藏 引用
Journal of the ACM (JACM) 1971年 第3期18卷 416-423页
作者: Robson, J.M. Oxford University Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom
Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store need... 详细信息
来源: 评论