搜索页_Closure+operators

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Springer电子图书(2)	ProQuest学位论文(2)	ACS电子期刊(1)
SpringerLink电子期刊(314)	Elsevier电子期刊(306)

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

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

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

2.Learning definite Horn formulas from closure queries

作者：Marta Arias^a ; ¹ ; ³ ; ^{marias@cs.upc.edu} ; José ; L. Balcá ; zar^a ; ¹ ; ³ ; ^{jose.luis.balcazar@upc.edu} ; Cristina Tî ; rnăucă^b ; ¹ ; ² ; ^{cristina.tirnauca@unican.es}

关键词：Query learning ; Definite Horn clauses ; Closure operators

刊名：Theoretical Computer Science

出版年：2017

3.Post-Approval U.S. Experience With Left Atrial Appendage Closure for Stroke Prevention in Atrial Fibrillation

作者：Vivek Y. Reddy ; MD^a ; ^{vivek.reddy@mountsinai.org} ; Douglas N. Gibson ; MD^b ; Saibal Kar ; MD^c ; William O&rsquo ; Neill ; MD^d ; Shephal K. Doshi ; MD^e ; Rodney P. Horton ; MD^f ; Maurice Buchbinder ; MD^g ; Nicole T. Gordon ; BSEE^h ; David R. Holmes ; MDⁱ

关键词：atrial fibrillation ; complications ; left atrial appendage closure ; stroke ; Watchman

刊名：Journal of the American College of Cardiology

出版年：2017

4.Minimal spaces with a mathematical structure

作者：Shyamapada Modak ^{spmodak2000@yahoo.co.in}

关键词：Grill topological space ; Filter ; Grill minimal space ; Kuratowski closure axioms ; MM-local function

刊名：Journal of the Association of Arab Universities for Basic and Applied Sciences

出版年：2017

5.Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and π-institutions

作者：Nikolaos Galatos^a ; ^{ngalatos@du.edu" class="auth_mail" title="E-mail the corresponding author} ; José ; Gil-Fé ; rez^b ; ^{gilferez@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：03B22 ; 03B70 ; 03G30 ; 06A15 ; 06F07 ; 18A15

刊名：Journal of Pure and Applied Algebra

出版年：2017

6.Anatomic Suitability for Transcaval Access Based on Computed Tomography

作者：Robert J. Lederman ; MD^a ; ^{lederman@nih.gov} ; Adam B. Greenbaum ; MD^b ; Toby Rogers ; PhD ; BM BCh^a ; Jaffar M. Khan ; BM BCh^a ; Melissa Fusari ; MD^c ; Marcus Y. Chen ; MD^a

关键词：aorto-caval ; caval-aortic ; computed tomography ; structural heart disease ; transcatheter aortic valve replacement ; transcatheter electrosurgery ; transcaval

刊名：JACC: Cardiovascular Interventions

出版年：2017

7.Comparing columnar, row and array DBMSs to process recursive queries on graphs

作者：Carlos Ordonez ; Wellington Cabrera ; ^{wcabrera@cs.uh.edu" class="auth_mail" title="E-mail the corresponding author} ; Achyuth Gurram

关键词：Graph ; SQL ; Recursive query ; Matrix ; Reachability ; Query optimization

刊名：Information Systems

出版年：2017

8.Operators on Pavelka's algebras induced by fuzzy relations

作者：Michal Botur ; ¹ ; ^{michal.botur@upol.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Galois connection ; Fuzzy relation ; Tense operators ; Monadic operators ; Residuated lattice ; Pavelka's algebra

刊名：Fuzzy Sets and Systems

出版年：2016

9.Extension principles for closure operators on fuzzy sets and cuts

作者：Jiří ; Močkoř ^{Jiri.Mockor@osu.cz" class="auth_mail" title="E-mail the corresponding author}

刊名：Fuzzy Sets and Systems

出版年：2016

10.Bases of closure systems over residuated lattices

作者：Radim Belohlavek ^{radim.belohlavek@acm.org" class="auth_mail" title="E-mail the corresponding author} ; Jan Konecny ; ^{jan.konecny@upol.cz" class="auth_mail" title="E-mail the corresponding author}

关键词：Closure operator ; Base ; Residuated lattice ; Fuzzy logic

刊名：Journal of Computer and System Sciences

出版年：2016

按检索点细分(306)

题名(38)

关键词(15)

文摘(255)

按出版年细分(306)

2027年及以后(10)

2017年(7)

2016年(13)

2015年(5)

2013年(19)

2012年(30)

2011年(18)

2010年(21)

2009年(17)

2008年(11)

2007年(15)

2006年(15)

2005年(16)

2004年(11)

2003年(11)

2002年(10)

2001年(10)

2000年(10)

2000年及以前(57)