Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
Institution
Mathematisch-Naturwissenschaftliche Fakultät II (11)
DDC004 Informatik (5)150 Psychologie (3)510 Mathematik (3)
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CollectionTitleAuthorSubject
PublishLoginRegisterHelp
Institution
Mathematisch-Naturwissenschaftliche Fakultät II (11)
DDC004 Informatik (5)150 Psychologie (3)510 Mathematik (3)
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Habilitationsschriften
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filter

Use filters to refine search results.

Now showing items 1-10 of 11

  • Sort by:
  • Relevance
  • Title ascending
  • Title descending
  • Issue date ascending
  • Issue date descending
  • Results per page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
2011-03-30Habilitation
The role of the medial prefrontal cortex in mediating social event knowledge 
Krüger, Frank
Zunehmend mehr Beweise aus der sozialen Neurowissenschaft deuten darauf hin, dass der mediale präfrontale Cortex (mPFC) eine entscheidende neurale Komponente in der Verarbeitung von sozialem Ereigniswissen ist. Die vorliegende ...
2014-04-16Habilitation
Executive functions modulated by context, training, and age 
Strobach, Tilo
Der vorliegende Arbeit systematisiert Befunde aus dem Gebiet der exekutiven Funktionen und ihren Modulationen durch verschiedene Parameter (d.h. Shifting, Inhibition, Updating, Dual tasking). Diese Parameter werden in einer ...
2011-10-28Habilitation
Neuroscientific approaches to general intelligence and cognitive ageing 
Penke, Lars
Nach einem ausführlichem Überblick über den Kenntnisstand der Genetik und Neurowissenschaft von allgemeiner Intelligenz und einer methodischen Anmerkung zur Notwendigkeit der Berücksichtigung latenter Variablen in den ...
2007-07-27Habilitation
Random planar structures and random graph processes 
Kang, Mihyun
Diese Habilitationsschrift richtete auf zwei diskrete Strukturen aus: planare Strukturen und zufällige Graphen-Prozesse. Zunächst werden zufällige planare Strukturen untersucht, mit folgende Gesichtspunkte: - Wieviele ...
2001-02-05Habilitation
Improved Inclusion-Exclusion Identities and Bonferroni Inequalities with Applications to Reliability Analysis of Coherent Systems 
Dohmen, Klaus
Viele Probleme der Kombinatorik, Zahlentheorie, Wahrscheinlichkeitstheorie, Zuverlässigkeitstheorie und Statistik lassen sich durch Anwendung einer einheitlichen Methode lösen, die als Prinzip der Inklusion-Exklusion bekannt ...
2014-10-02Habilitation
Darstellung von Hysterese-Operatoren mit stückweise monotaffinen Input-Funktionen durch Funktionen auf Strings 
Klein, Werner Olaf
In Brokate-Sprekels 1996 wurde ein Darstellungsresultat für Hysterese-Operatoren, die auf skalaren, stetigen, stückweise monotonen Funktionen definiert sind, hergeleitet. Dieses erlaubt es, die Operatoren eindeutig ...
2010-10-28Habilitation
Regular partitions of hypergraphs and property testing 
Schacht, Mathias
Die Regularitätsmethode für Graphen wurde vor über 30 Jahren von Szemerédi, für den Beweis seines Dichteresultates über Teilmengen der natürlichen Zahlen, welche keine arithmetischen Progressionen enthalten, entwickelt. ...
2001-05-23Habilitation
Formal Semantics for SDL 
Prinz, Andreas
In dieser Habilitationsschrift wird die formale Semantik der standardisierten Spezifikationssprache SDL (Specification and Description Language) beschrieben. Da SDL eine sehr umfangreiche Sprache ist, wurde eine repräsentative ...
2002-11-15Habilitation
Explicit state space verification 
Schmidt, Karsten
Gegenstand der Arbeit ist die Verifikation von verteilten diskreten Systemen in bezug auf Spezifikationen ihres Verhaltens. Diskrete Systeme bestehen aus einer abzaehlbaren Zustandsmenge und einer Zustandsuebergangsrelation. ...
2005-03-10Habilitation
Relaxation and decomposition methods for mixed integer nonlinear programming 
Nowak, Ivo
Die Habilitationsschrift beschäftigt sich mit Theorie, Algorithmen und Software zur Lösung von nichtkonvexen, gemischt-ganzzahligen, nichtlinearen Optimierungsproblemen (MINLP). Sie besteht aus 14 Kapiteln, die in zwei ...
  • 1
  • 2
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin