搜索页_+Closure+properties

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(4)	SpringerLink电子期刊(1006)	GSW全文库(21)
Wiley电子期刊(19)	ProQuest学位论文(20)	Elsevier电子期刊(1637)
Springer电子图书(5)	NATURE电子期刊(8)	ACS电子期刊(125)

在“Elsevier电子期刊”中，命中：1,637条，耗时：0.0919852 秒

在所有数据库中总计命中：2,845条

1.Closure properties of pattern languages

作者：Joel D. Day^a ; ^{J.Day@lboro.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Daniel Reidenbach^a ; ^{D.Reidenbach@lboro.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Markus L. Schmid^b ; ^{MSchmid@uni-trier.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Pattern languages ; Closure properties

刊名：Journal of Computer and System Sciences

出版年：2017

2.Succinctness and tractability of closure operator representations

作者：Sebastian Rudolph ^{sebastian.rudolph@tu-dresden.de}

关键词：Closure operators ; Formal contexts ; Implications ; Tractability ; Succinctness ; Computational properties

刊名：Theoretical Computer Science

出版年：2017

3.On some closure properties of the non-abelian tensor product

作者：G. Donadze^a ; ^{gdonad@gmail.com} ; M. Ladra^b ; ^{manuel.ladra@usc.es} ; V.Z. Thomas^a ; ^{vthomas@iisertvm.ac.in}

关键词：20D99 ; 20F16 ; 20F05 ; 20F80 ; 20G05 ; 20G06

刊名：Journal of Algebra

出版年：2017

4.Concise representations and construction algorithms for semi-graphoid independency models

作者：Stavros Lopatatzidis^a ; ^{stavros.lopatatzidis@ugent.be} ; Linda C. van der Gaag^b ; ^{L.C.vanderGaag@uu.nl}

关键词：Conditional independence ; Semi-graphoid axioms ; Closure ; Closure representation ; Dominant independence statements

刊名：International Journal of Approximate Reasoning

出版年：2017

5.A broadly-applicable unified closure relation for Taylor bubble rise velocity in pipes with stagnant liquid

作者：E. Lizarraga-Garcia ; ^a ; ^{elizaga@mit.edu} ; J. Buongiorno^b ; E. Al-Safran^c ; D. Lakehal^b ; ^d

关键词：Taylor bubble ; Slug flow ; Terminal velocity ; Inclined pipes

刊名：International Journal of Multiphase Flow

出版年：2017

6.Epoch extraction from emotional speech using single frequency filtering approach

作者：Sudarsana Reddy Kadiri ; ^a ; ^{sudarsanareddy.kadiri@research.iiit.ac.in} ; ^{sudarsanareddy.kadiri@gmail.com} ; B. Yegnanarayana^b ; ^{yegna@iiit.ac.in}

关键词：Speech analysis ; Excitation source ; Epochs ; Glottal closure instants ; Emotional speech ; Single frequency filtering ; Multi-scale product

刊名：Speech Communication

出版年：2017

7.Heterogeneous and asynchronous networks of timed systems

作者：José ; L. Fiadeiro^a ; ^{fiadeiroj@me.com} ; Antó ; nia Lopes^b

关键词：Asynchronous process networks ; Component algebra ; Heterogeneous time ; Orchestration ; Temporal logic

刊名：Theoretical Computer Science

出版年：2017

8.Recombinant human lubricin for prevention of postoperative intra-abdominal adhesions in a rat model

作者：Jaewook Oh ; MD^a ; Kean G. Kuan ; MD^a ; Leong U. Tiong ; MD ; MS ; FRACS^a ; Markus I. Trochsler ; MD ; FMH ; MMIS ; FRACS^a ; Gregory Jay ; MD ; PhD^b ; Tannin A. Schmidt ; PEng ; PhD^c ; Harry Barnett ; JD^d ; Guy J. Maddern ; MD ; PhD ; MS ; FRACS^a ; ^{guy.maddern@adelaide.edu.au}

关键词：Intraabdominal ; Adhesion prevention ; Adhesion barrier ; Abdominal surgery ; Adhesions

刊名：Journal of Surgical Research

出版年：2017

9.Binomial difference ideals

作者：Xiao-Shan Gao ^{xgao@mmrc.iss.ac.cn} ; Zhang Huang ; Chun-Ming Yuan

关键词：Laurent binomial difference ideal ; Binomial difference ideal ; Z[x]Z[x]-lattice ; Difference characteristic set ; Grö ; bner basis of Z[x]Z[x]-module ; Generalized Hermite normal form

刊名：Journal of Symbolic Computation

出版年：2017

10.Algebraic proof theory: Hypersequents and hypercompletions

作者：Agata Ciabattoni^a ; ^{agata@logic.at} ; Nikolaos Galatos^b ; ^{ngalatos@du.edu} ; Kazushige Terui^c ; ^{terui@kurims.kyoto-u.ac.jp}

关键词：03B47 ; 03G10 ; 03F05 ; 03F03

刊名：Annals of Pure and Applied Logic

出版年：2017

按检索点细分(1637)

题名(57)

关键词(48)

文摘(1435)

按出版年细分(1637)

2027年及以后(43)

2017年(17)

2016年(84)

2015年(15)

2014年(2)

2013年(115)

2012年(104)

2011年(123)

2010年(97)

2009年(101)

2008年(94)

2007年(80)

2006年(80)

2005年(80)

2004年(64)

2003年(51)

2002年(56)

2001年(61)

2000年(63)

2000年及以前(307)