搜索页_+Christian+von+Essen

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(1)	ProQuest学位论文(2)	Elsevier电子期刊(17)
SpringerLink电子期刊(29)	NATURE电子期刊(2)	ACS电子期刊(3)

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

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

1. Probabilistic verification and synthesis of the next generation airborne collision avoidance system

作者： Christian von Essen ; Dimitra Giannakopoulou

关键词：Markov decision processes ; Probabilistic verification ; Probabilistic synthesis ; Aircraft collision avoidance

刊名：International Journal on Software Tools for Technology Transfer (STTT)

出版年：2016

2. Program repair without regret

作者： Christian von Essen ; Barbara Jobstmann

关键词：Program repair ; Reactive systems ; Synthesis ; Games ; Linear temporal logic

刊名：Formal Methods in System Design

出版年：2015

3. Experimental and numerical investigation of blankholder’s vibration in a forming tool: a coupled MBS-FEM approach

作者： Krzysztof Swidergal ; Christian Lubeseder ; Ingo von Wurmb…

关键词：Forming tool/die ; Coupled MBS ; FEM simulation ; Blankholder ; Vibration ; Servo press

刊名：Production Engineering

出版年：2015

4. Berechnung der Verformungen und Steifigkeiten evolventischer Verzahnungen von Zahnkupplungen

作者： Christian Spura

刊名：Forschung im Ingenieurwesen

出版年：2015

5. On ball-milled ODS ferritic steel recrystallization: From as-milled powder particles to consolidated state

作者：Nicolas Sallez (1) (2)
Patricia Donnadieu (1) (2)
Eglantine Courtois-Manara (3)
Delphine Chassaing (3)
Christian K眉bel (3)
Frederic Delabrouille (4)
Martine Blat-Yrieix (4)
Yann de Carlan (5)
Yves Br茅chet (1) (2)

1. Universit茅 Grenoble Alpes ; SIMAP ; 38000 ; Grenoble ; France
2. CNRS ; SIMAP ; 38000 ; Grenoble ; France
3. Karlsruhe Nano Micro Facility & Institute of Nanotechnology ; Karlsruhe Institute of Technology ; Hermann-von-Helmhotz-Platz 1 ; 76344 ; Eggenstein-Leopoldshafen ; Germany
4. EDF 鈥?EDF R&D ; Les Renardi猫res ; 77818 ; Moret-sur-Loing ; France
5. CEA ; DEN ; Service de Recherches M茅tallurgiques Appliqu茅es ; 91191 ; Gif-sur-Yvette ; France

刊名：Journal of Materials Science

出版年：2015

6. Analyzing the Next Generation Airborne Collision Avoidance System

作者：Christian von Essen (18)
Dimitra Giannakopoulou (19)

关键词：Markov decision processes ; probabilistic verification ; probabilistic synthesis ; aircraft collision avoidance

刊名：Lecture Notes in Computer Science

出版年：2014

7. Prevalence and predictors of female sexual dysfunction: a protocol for a systematic review

作者：Megan E McCool (7)
Melissa A Theurich (8)
Christian Apfelbacher (7)

7. Medical Sociology ; Department of Epidemiology and Preventive Medicine ; University of Regensburg ; Dr. Gessler Strasse 17 ; 93051 ; Regensburg ; Germany
8. Division of Metabolic and Nutritional Medicine ; Dr. von Hauner Children鈥檚 Hospital ; Ludwig-Maximilians-University of Munich ; Lindwurmstrasse 4 ; 80337 ; Munich ; Germany

关键词：Systematic review ; Female sexual dysfunction ; Sexual disorder ; Prevalence ; Predictors ; General population

刊名：Systematic Reviews

出版年：2014

8. Clinical phenotypes of MAGEL2 mutations and deletions

作者：Karin Buiting (7)
Nataliya Di Donato (8)
Jasmin Beygo (7)
Susanne Bens (9)
Maja von der Hagen (10)
Karl Hackmann (8)
Bernhard Horsthemke (7)

7. Institut f眉r Humangenetik ; Universit盲tsklinikum Essen ; Universit盲t Duisburg-Essen ; Essen ; Germany
8. Institut f眉r Klinische Genetik ; Medizinische Fakult盲t Carl Gustav Carus ; TU Dresden ; Dresden ; Germany
9. Institute of Human Genetics ; University Hospital Schleswig-Holstein ; Campus Kiel & Christian-Albrechts-University Kiel ; Kiel ; Germany
10. Department of Neuropediatrics ; Technical University Dresden ; Dresden ; Germany

刊名：Orphanet Journal of Rare Diseases

出版年：2014

9. Secretory meningiomas are defined by combined KLF4 K409Q and TRAF7 mutations

作者：David E. Reuss (1) (2)
Rosario M. Piro (3) (4)
David T. W. Jones (5)
Matthias Simon (6)
Ralf Ketter (7)
Marcel Kool (5)
Albert Becker (8)
Felix Sahm (1) (2)
Stefan Pusch (1) (2)
Jochen Meyer (2)
Christian Hagenlocher (2)
Leonille Schweizer (1) (2)
David Capper (1) (2)
Phillipp Kickingereder (1) (2)
Jana Mucha (2)
Christian Koelsche (1) (2)
Natalie J?ger (3)
Thomas Santarius (19)
Patrick S. Tarpey (20)
Philip J. Stephens (20)
P. Andrew Futreal (20)
Ruth Wellenreuther (9)
Jürgen Kraus (10)
Doris Lenartz (11)
Christel Herold-Mende (12)
Christian Hartmann (13)
Christian Mawrin (14)
Nathalia Giese (15)
Roland Eils (3) (4)
V. Peter Collins (16)
Rainer K?nig (3) (4)
Otmar D. Wiestler (17)
Stefan M. Pfister (18) (5)
Andreas von Deimling (1) (2)

关键词：Meningioma ; Secretory ; KLF4 ; TRAF7 ; NF2 ; Krüppel ; like factor 4

刊名：Acta Neuropathologica

出版年：2013

10. Idea: Callee-Site Rewriting of Sealed System Libraries

作者：Philipp von Styp-Rekowsky (19)
Sebastian Gerling (19)
Michael Backes (19) (20)
Christian Hammer (19)

关键词：Android ; inline reference monitoring ; sealed libraries

刊名：Lecture Notes in Computer Science

出版年：2013

按检索点细分(29)

作者(6)

按出版年细分(29)

2016年(1)

2015年(4)

2014年(3)

2013年(4)

2011年(1)

2010年(2)

2009年(1)

2008年(1)

2007年(5)

2006年(2)

2004年(2)

2001年(3)