搜索页_+85748

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(23)

在“SpringerLink电子期刊”中，命中：23条，耗时：小于0.01 秒

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

1. $ B\to {K}^{\left(\ast \right)}\nu \overline{\nu} $ decays in the Standard

作者：Andrzej J. Buras (1) (2)
Jennifer Girrbach-Noe (1) (2)
Christoph Niehoff (3)
David M. Straub (3)

1. TUM Institute for Advanced Study ; Lichtenbergstr. 2a ; 85748 ; Garching ; Germany
2. Physik Department ; TUM ; James-Franck-Stra脽e ; 85748 ; Garching ; Germany
3. Excellence Cluster Universe ; TUM ; Boltzmannstr. 2 ; 85748 ; Garching ; Germany

关键词：Rare Decays ; Beyond Standard Model ; B ; Physics ; Standard Model

刊名：Journal of High Energy Physics

出版年：2015

2. Adjoint based optimal control of partially miscible two-phase flow in porous media with applications to CO2 sequestration in underground reservoirs

作者：Moritz Simon (1)
Michael Ulbrich (1)

1. Department of Mathematics ; Technische Universit盲t M眉nchen ; Boltzmannstr. 3 ; 85748 ; Garching b. M眉nchen ; Germany

关键词：Optimal control ; Partially miscible two ; phase flow ; Adjoint approach ; Complementarity condition ; Control ; volume FE method ; CO2 sequestration

刊名：Optimization and Engineering

出版年：2015

3. An improved Talbot method for numerical Laplace transform inversion

作者：Benedict Dingfelder (1)
J. A. C. Weideman (2)

1. Zentrum Mathematik ; M3 ; Technische Universit盲t M眉nchen ; Boltzmannstrasse 3 ; 85748 ; Garching bei M眉nchen ; Germany
2. Department of Mathematical Sciences ; Stellenbosch University ; Stellenbosch ; 7600 ; South Africa

关键词：Inverse Laplace transform ; Talbot鈥檚 method ; Trapezoidal rule ; Midpoint rule ; 65R10 ; 65Z05

刊名：Numerical Algorithms

出版年：2015

4. Efficient redundancy reduced subgroup discovery via quadratic programming

作者：Rui Li (1)
Robert Perneczky (2) (3) (4)
Alexander Drzezga (5)
Stefan Kramer (6)

1. Institut f眉r Informatik/I12 ; Technische Universit盲t M眉nchen ; Boltzmannstr. 3 ; 85748 ; Garching b. M眉nchen ; Germany
2. Neuroepidemiology and Ageing Research Unit ; School of Public Health ; Faculty of Medicine ; The Imperial College of Science ; Technology and Medicine ; St Dunstan鈥檚 Road ; London ; W6 8RP ; UK
3. Klinik und Poliklinik f眉r Psychiatrie und Psychotherapie ; Technische Universit盲t M眉nchen ; Ismaninger Str. 22 ; 81675 ; M眉nchen ; Germany
4. West London Cognitive Disorders Treatment and Research Unit ; West London Mental Health Trust ; London ; Brentford Lodge ; Boston Manor Road ; London ; TW8 8DS ; UK
5. Klinik und Poliklinik f眉r Nuklearmedizin ; Universit盲t zu K枚ln ; Kerpener Str. 62 ; 50937 ; K枚ln ; Germany
6. Institut f眉r Informatik ; Johannes Gutenberg - Universit盲t Mainz ; Staudingerweg 9 ; 55128 ; Mainz ; Germany

关键词：Subgroup discovery ; Mutual information ; Quadratic programming ; Rule learning ; Redundancy

刊名：Journal of Intelligent Information Systems

出版年：2015

5. Frustrated Ferromagnetic Spin Chains: A Variational Approach to Chirality Transitions

作者：Marco Cicalese (1)
Francesco Solombrino (1)

1. Zentrum Mathematik - M7 ; Technische Universit盲t M眉nchen ; Boltzmannstrasse 3 ; 85748聽 ; Garching ; Germany

关键词：$$\Gamma $$ 螕 ; convergence ; Frustrated lattice systems ; Chirality transitions ; 49J45 ; 49M25 ; 82A57 ; 82B20 ; 82B24

刊名：Journal of Nonlinear Science

出版年：2015

6. Profiling and annotation combined method for multimedia application specific MPSoC performance estimation

作者：Kai Huang (1)
Xiao-xu Zhang (1)
Si-wen Xiu (2)
Dan-dan Zheng (1)
Min Yu (1)
De Ma (3)
Kai Huang (4)
Gang Chen (4)
Xiao-lang Yan (1)

1. Institute of VLSI Design ; Zhejiang University ; Hangzhou ; 310027 ; China
2. College of Optical and Electronic Technology ; China Jiliang University ; Hangzhou ; 310018 ; China
3. Microelectronics CAD Center ; MOE Key Lab of RF Circuits and Systems ; Hangzhou Dianzi University ; Hangzhou ; 310018 ; China
4. Department of Informatics VI ; Technical University Munich ; Garching ; 85748 ; Germany

关键词：MPSoC ; Gradual refinement ; Native simulation ; Performance estimation ; Profiling ; Annotation ; Gcov ; TP36 ; TN47

刊名：Journal of Zhejiang University - Science C

出版年：2015

7. Deriving fault-detection mechanisms from safety requirements

作者：Dominik Sojer (1)
Christian Buckl (2)
Alois Knoll (1)

1. Department of Informatics ; Technische Universit盲t M眉nchen ; 85748 ; Garching bei M眉nchen ; Germany
2. Cyber-Physical Systems ; Fortiss GmbH ; 80805 ; M眉nchen ; Germany

关键词：Safety ; Model ; driven development ; Fault detection

刊名：Informatik - Forschung und Entwicklung

出版年：2015

8. A Graph Library for Isabelle

作者：Lars Noschinski (1)

1. Lehrstuhl XXI ; Institut f眉r Informatik ; Technische Universit盲t M眉nchen ; Boltzmannstr. 3 ; 85748 ; Garching ; Germany

关键词：Graph theory ; Isabelle ; HOL ; Euler ; Kuratowski ; Primary 05C20 ; Secondary 05C45

刊名：Mathematics in Computer Science

出版年：2015

9. Inter-procedural Two-Variable Herbrand Equalities

作者：Stefan Schulze Frielinghaus (14)
Michael Petter (14)
Helmut Seidl (14)

14. Technische Universit盲t M眉nchen ; Boltzmannstrasse 3 ; 85748 ; Garching ; Germany

刊名：Lecture Notes in Computer Science

出版年：2015

10. Instanton operators in five-dimensional gauge theories

作者：N. Lambert (1)
C. Papageorgakis (2)
M. Schmidt-Sommerfeld (3) (4)

1. Department of Mathematics ; King鈥檚 College London ; The Strand ; London ; W2CR 2LS ; U.K.
2. RST and School of Physics and Astronomy ; Queen Mary University of London ; Mile End Road ; London ; E1 4NS ; U.K.
3. Arnold-Sommerfeld-Center f眉r Theoretische Physik ; LMU M眉nchen ; Theresienstra脽e 37 ; M眉nchen ; 80333 ; Germany
4. Excellence Cluster Universe ; Technische Universit盲t M眉nchen ; Boltzmannstra脽e 2 ; Garching ; 85748 ; Germany

关键词：Solitons Monopoles and Instantons ; Nonperturbative Effects ; Field Theories in Higher Dimensions

刊名：Journal of High Energy Physics

出版年：2015

按检索点细分(23)

题名(2)

作者(19)

文摘(2)

按出版年细分(23)

2015年(12)

2014年(6)

2011年(1)

2005年(2)

2004年(2)