搜索页_+68Q10

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：34条，耗时：0.0189894 秒

在所有数据库中总计命中：132条

1.A derivative-free trust region framework for variational data assimilation

作者：Elias D. Nino Ruiz^a ; ^b ; ^{enino@vt.edu" class="auth_mail" title="E-mail the corresponding author} ; ^{enino@uninorte.edu.co" class="auth_mail" title="E-mail the corresponding author} ; Adrian Sandu^a ; ^{sandu@cs.vt.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：11K45 ; 65C05 ; 65M75 ; 68Q10

刊名：Journal of Computational and Applied Mathematics

出版年：2016

2.A reactive extension of the OpenMusic visual programming language

作者：Jean Bresson ; ^{jean.bresson@ircam.fr" class="auth_mail} ; Jean-Louis Giavitto

关键词：68N15 ; 68N19 ; 68Q10

刊名：Journal of Visual Languages & Computing

出版年：August 2014

3.A synthetic theory of sequential domains

作者：Bernhard Reus^a ; ^{bernhard@sussex.ac.uk} ; Thomas Streicher^b ; ^{streicher@mathematik.tu-darmstadt.de}

关键词：68Q10 ; 68Q55 ; 68Q70

刊名：Annals of Pure and Applied Logic

出版年：2012

4.Computable de Finetti measures

作者：Cameron E. Freer^a ; ^{freer@math.mit.edu} ; Daniel M. Roy^b ; ^{droy@csail.mit.edu}

关键词：03F60 ; 60G09 ; 68Q10 ; 68N18

刊名：Annals of Pure and Applied Logic

出版年：2012

5.Separating the basic logics of the basic recurrences

作者：Giorgi Japaridze ; ^{giorgi.japaridze@villanova.edu} ;

关键词：primary ; 03B47 ; secondary ; 03B70 ; 68Q10 ; 68T27

刊名：Annals of Pure and Applied Logic

出版年：2012

6.Abstract Behavior Types: a foundation model for components and their composition

作者：Arbab ; Farhad

关键词：68Q85 ; 68Q70 ; 81P05 ; 68N99 ; 68Q65 ; 18C50 ; 68Q10 ; 68Q65 ; Coordination ; Components ; Composition ; Abstract Behavior Types ; Reo ; Coalgebraic semantics ; Streams

刊名：Science of Computer Programming

出版年：2005

7.CCS with Hennessy's merge has no finite-equational axiomatization

作者：Aceto ; Luca ; Fokkink ; Wan ; Ingó ; lfsdó ; ttir ; Anna ; Luttik ; Bas

关键词：08A70 ; 03B45 ; 03C05 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q70 ; Concurrency ; Process algebra ; CCS ; Bisimulation ; Hennessy's merge ; Left merge ; Communication merge ; Equational logic ; Complete axiomatizations ; Non-finitely based algebras

刊名：Theoretical Computer Science

出版年：2005

8.Asynchronous iterations with flexible communication: contracting operators

作者：Baz ; Didier El ; Frommer ; Andreas ; Spiteri ; Pierre

关键词：65Y05 ; 68Q10 ; 68Q22 ; Asynchronous iterations ; Parallel computing ; Flexible communication ; Fixed point methods

刊名：Journal of Computational and Applied Mathematics

出版年：2005

9.On computing ord_N(2) and its application

作者：Lihua Liu and Zhengjun Cao

关键词：Shor’ ; s quantum algorithm ; RSA modulus ; Repunit
AMS ; 81P10 ; 11Y05 ; 68Q10 ; 03D10

刊名：Information and Computation

出版年：2006

10.Nested semantics over finite trees are equationally hard

作者：Aceto ; Luca ; Fokkink ; Wan ; van Glabbeek ; Rob ; Ingó ; lfsdó ; ttir ; Anna

关键词：08A70 ; 03B45 ; 03C05 ; 68Q10 ; 68Q45 ; 68Q55 ; 68Q70 ; Concurrency ; Process algebra ; BCCSP ; Nested simulation ; Possible futures ; Nested trace semantics ; Equational logic ; Complete axiomatizations ; Non-finitely based algebras ; Hennessy&ndash ; Milner logic

刊名：Information and Computation

出版年：2004

按检索点细分(34)

关键词(33)

文摘(1)

按出版年细分(34)

2027年及以后(1)

2016年(1)

2012年(3)

2006年(1)

2005年(3)

2004年(7)

2003年(6)

2002年(3)

2001年(1)

2000年(2)

2000年及以前(6)