搜索页_+Unification

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：1,964条，耗时：小于0.01 秒

1.On the parameterized complexity of associative and commutative unification

作者：Tatsuya Akutsu^a ; ^{takutsu@kuicr.kyoto-u.ac.jp} ; Jesper Jansson^a ; ^{jj@kuicr.kyoto-u.ac.jp} ; Atsuhiro Takasu^b ; ^{takasu@nii.ac.jp} ; Takeyuki Tamura^a ; ^{tamura@kuicr.kyoto-u.ac.jp}

关键词：Unification ; Parameterized algorithm ; Dynamic programming ; Tree edit distance

刊名：Theoretical Computer Science

出版年：2017

2.Is there an intrinsic duty to vote? Comparative evidence from East and West Germans

作者：Aram Hur ^{aram.hur@nyu.edu}

关键词：Turnout ; Duty to vote ; Nationalism ; Group commitments ; German unification

刊名：Electoral Studies

出版年：2017

3.A generic framework for multi-criteria decision support in eco-friendly urban logistics systems

作者：A. Gupta^a ; ^{abhishekg@ntu.edu.sg} ; C.K. Heng^b ; ^{hengck@simtech.a-star.edu.sg} ; Y.S. Ong^a ; ^{asysong@ntu.edu.sg} ; P.S. Tan^b ; ^{pstan@simtech.a-star.edu.sg} ; A.N. Zhang^b ; ^{nzhang@simtech.a-star.edu.sg}

关键词：Multi-objective optimization ; Evolutionary algorithms ; Vehicle routing problem ; Eco-friendly urban logistics

刊名：Expert Systems with Applications

出版年：2017

4.Private versus state-owned housing in Berlin: Changing provision of low-income households

作者：Robert Kitzmann ; ^{robert.kitzmann@geo.hu-berlin.de}

关键词：Berlin ; Housing privatization ; State-owned housing ; Financial investors ; Low-income

刊名：Cities

出版年：2017

5.Metastable dark energy

作者：Ricardo G. Landim ; ^{rlandim@if.usp.br} ; Elcio Abdalla ^{eabdalla@if.usp.br}

关键词：Dark energy ; Dark matter ; Particle physics

刊名：Physics Letters B

出版年：2017

6.Information environment and earnings management of dual class firms around the world

作者：Ting Li ; ^a ; ^{tli@skidmore.edu} ; Nataliya Zaiats^b ; ^{nzaiats@suffolk.edu}

关键词：Dual class ; Earnings management ; Information environment ; Investor protection

刊名：Journal of Banking & Finance

出版年：2017

7.Completeness in PVS of a Nominal Unification Algorithm

作者：Mauricio Ayala-Rincó ; n^a ; ¹ ; ^{ayala@unb.br" class="auth_mail" title="E-mail the corresponding author} ; Maribel Ferná ; ndez^b ; ² ; ^{maribel.fernandez@kcl.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Ana Cristina Rocha-Oliveira^a ; ³ ; ^{anacrismarie@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Nominal terms ; binders ; α-equivalence ; nominal unification ; PVS

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

8.The return of the King: No-Scale -SU(5)

作者：Tianjun Li^a ; ^b ; ^c ; James A. Maxin^d ; ^{james-maxin@utulsa.edu} ; Dimitri V. Nanopoulos^e ; ^f ; ^g

刊名：Physics Letters B

出版年：2017

9.Higgs Phenomenology of the Supersymmetric Grand Unification with the Hosotani Mechanism

作者：Mitsuru Kakizaki ^{kakizaki@sci.u-toyama.ac.jp" class="auth_mail" title="E-mail the corresponding author}

关键词：Higgs couplings ; Grand unification ; Supersymmetry ; Hosotani mechanism

刊名：Nuclear and Particle Physics Proceedings

出版年：2016

10.Reformulating XQuery queries using GLAV mapping and complex unification

作者：Saber Benharzallah ; ^{sbharz@yahoo.fr" class="auth_mail" title="E-mail the corresponding author} ; Hammadi Bennoui ^{bennoui@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Okba Kazar ^{kazarokba@yahoo.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Data integration ; Mediator ; XML ; XQuery ; GLAV mapping

刊名：Journal of King Saud University - Computer and Information Sciences

出版年：2016

按检索点细分(1964)

题名(604)

关键词(247)

文摘(1649)

按出版年细分(1964)

2027年及以后(48)

2017年(7)

2016年(56)

2015年(32)

2013年(79)

2012年(86)

2011年(88)

2010年(72)

2009年(95)

2008年(111)

2007年(95)

2006年(82)

2005年(84)

2004年(104)

2003年(98)

2002年(107)

2001年(82)

2000年(101)

2000年及以前(537)