搜索页_+Functional+equivalence

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(4)	CNKI会议论文(3)	CNKI期刊论文0611(2)
Springer电子图书(4)	CNKI学位论文(4597)	知网期刊论文(1362)

在“SpringerLink电子期刊”中，命中：487条，耗时：0.0229899 秒

在所有数据库中总计命中：5,972条

1. Reduced Order Podolsky Model

作者： Ronaldo Thibes

关键词：Podolsky’s model ; BFV quantization ; Functional quantization ; Higher ; order derivatives ; Canonical quantization

刊名：Brazilian Journal of Physics

出版年：2017

2. Constructions of categories of setoids from proof-irrelevant families

作者： Erik Palmgren

关键词：Martin–Löf type theory ; Proof ; irrelevance ; Category

刊名：Archive for Mathematical Logic

出版年：2017

3. Some New Results on Subquadratic Lane–Emden Elliptic Systems

作者： Sara Barile ; Addolorata Salvatore

关键词：Nonlinear elliptic system of Lane–Emden type ; subquadratic growth ; fourth ; order elliptic equation ; variational tools ; compact imbeddings

刊名：Mediterranean Journal of Mathematics

出版年：2017

4. Dirichlet series with functional equations and arithmetical identities

作者： Sister Ann M. Heath

关键词：Hecke’s functional equation ; Dirichlet series with functional equations ; Bessel functions ; Hypergeometric functions

刊名：The Ramanujan Journal

出版年：2016

5. Modular Curvature and Morita Equivalence

作者： Matthias Lesch ; Henri Moscovici

关键词：and phrasesNoncommutative two tori ; Modular curvature ; Morita equivalence ; Heat expansion ; Pseudodifferential calculus ; Heisenberg module ; Imprimitivity bimodule

刊名：Geometric And Functional Analysis

出版年：2016

6. From Peirce’s Semiotics to Information-Sign-Symbol

作者： Gennaro Auletta

关键词：Code ; Alphabet ; Codeword ; Equivalence class ; Functional equivalence class ; Information control ; Meaning ; Second ; level functions

刊名：Biosemiotics

出版年：2016

7. Pronounced species turnover, but no functional equivalence in leaf consumption of invasive amphipods in the river Rhine

作者： Jonas Jourdan ; Benjamin Westerwald ; Antonia Kiechle ; Wei Chen…

关键词：Dikerogammarus villosus ; Echinogammarus ischnus ; Ecosystem functioning ; Gammarus ; Shredding

刊名：Biological Invasions

出版年：2016

8. A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models

作者： Carlos Ivan Castro Marquez ; Marius Strum ; Wang Jiang Chau

关键词：Functional verification ; Formal methods ; Equivalence checking ; High ; level specification ; Interface protocol ; RTL design

刊名：Journal of Electronic Testing

出版年：2015

9. Behaviour of Entropy Under Bounded and Integrable Orbit Equivalence

作者： Tim Austin

刊名：Geometric and Functional Analysis

出版年：2016

10. A language-independent proof system for full program equivalence

作者： Ştefan Ciobâcă ; Dorel Lucanu ; Vlad Rusu ; Grigore Roşu

刊名：Formal Aspects of Computing

出版年：2016

按检索点细分(487)

题名(19)

关键词(22)

文摘(396)

按出版年细分(487)

2017年(3)

2016年(30)

2015年(44)

2014年(44)

2013年(31)

2012年(23)

2011年(8)

2010年(18)

2009年(22)

2008年(42)

2007年(45)

2006年(31)

2005年(30)

2004年(21)

2003年(24)

2002年(16)

2001年(7)

2000年(18)

2000年及以前(30)