Refine
Year of publication
- 2009 (135) (remove)
Document Type
- Doctoral Thesis (76)
- Report (35)
- Periodical Part (9)
- Preprint (8)
- Master's Thesis (3)
- Working Paper (2)
- Diploma Thesis (1)
- Other (1)
Keywords
- Algebraische Geometrie (2)
- Datenanalyse (2)
- Derivat <Wertpapier> (2)
- Extrapolation (2)
- Finanzmathematik (2)
- Geothermal Flow (2)
- Mikroskopie (2)
- Numerische Mathematik (2)
- Oxidativer Stress (2)
- Reaktive Sauerstoffspezies (2)
- Scattered-Data-Interpolation (2)
- Visualisierung (2)
- algorithmic game theory (2)
- hidden variables (2)
- illiquidity (2)
- image processing (2)
- inverse optimization (2)
- mixture (2)
- nonparametric regression (2)
- option pricing (2)
- series-parallel graphs (2)
- 1 (1)
- 1'-Binaphthyle (1)
- 17beta-Estradiol (1)
- 3D Gene Expression (1)
- 3D Point Data (1)
- AR-ARCH (1)
- Aarhus-Konvention (1)
- Ab-initio-Rechnung (1)
- Abflussbeiwert (1)
- Abflussbildung (1)
- Abflussmodellierung (1)
- Ableitungsschätzung (1)
- Abstandsregeltempomat (1)
- Acrylamid (1)
- Adhäsion (1)
- Adiabatische Abkühlung (1)
- Advanced Encryption Standard (1)
- Agglomerat (1)
- Ah-Rezeptor (1)
- AhR/ER Crosstalk (1)
- Algebraic geometry (1)
- Allgemeinheit (1)
- American options (1)
- Analysis (1)
- Angewandte Toxikologie (1)
- Ansäuerung (1)
- Apfel (1)
- Apfelsaft (1)
- Apoptosis (1)
- Approximationsalgorithmus (1)
- Arbitrage (1)
- Aromatizität (1)
- Atmungskette (1)
- Ausfallwahrscheinlichkeit (1)
- Austin (1)
- Automatic Differentiation (1)
- Automobil (1)
- Automobilindustrie (1)
- Axiale Chiralität (1)
- Azaindirubin (1)
- B3 (1)
- B3- (1)
- BASIL-Verfahren (1)
- BASIL-process (1)
- Bauleitplanung (1)
- Bauplanung (1)
- Bauwesen (1)
- Bebauungsplan (1)
- Befahrbarkeitsanalyse (1)
- Begriff (1)
- Benutzerfreundlichkeit (1)
- Berufliche Entwicklung (1)
- Besonderheit (1)
- Bewertung (1)
- Binaphthalin (1)
- Binomialbaum (1)
- Bionas (1)
- Black–Scholes approach (1)
- Boratom (1)
- Brinkman (1)
- Bruchmechanik (1)
- Building Design (1)
- C3+ (1)
- CAD (1)
- CDO (1)
- CYP1A1 (1)
- CYP1B1 (1)
- CYP3A4 (1)
- Calcium (1)
- Capacitated Hub Location (1)
- Capacity decisions (1)
- Chemisc (1)
- Chemische Analyse (1)
- Chiralität <Chemie> (1)
- Chronische Darmentzündung (1)
- Cluster-Analyse (1)
- Combined IR/UV spectroscopy (1)
- Competence (1)
- Computer Algebra (1)
- Computer Graphic (1)
- Computer algebra (1)
- Computergraphik (1)
- Computerphysik (1)
- Computertomographie (1)
- Constrained mechanical systems (1)
- Constraint Programming (1)
- Cook Wilson (1)
- Cosserat rod (1)
- Crash (1)
- Cross-Cultural Product Development (1)
- Customer distribution (1)
- Cyclopentadienderivate (1)
- Cyochrome P450 (1)
- Cytochomes P450 (1)
- Cytochrom P-450 (1)
- Cytochrome P450 (1)
- Cytotoxicity (1)
- Cytotoxizität (1)
- DNS-Schädigung (1)
- Darmflora (1)
- Darmkrankheit (1)
- Darmkrebs (1)
- Datenerfassung und -auswertung (1)
- Decision support systems (1)
- Deformationsmessung (1)
- Dehnungsmessung (1)
- Delaunay-Triangulierung (1)
- Derivative Estimation (1)
- Design (1)
- Deutschland / Biostoffveror (1)
- Dialektische Logik (1)
- Didaktik (1)
- Diffusion processes (1)
- Digital Image Correlation (1)
- Digitale integrierte Schaltung (1)
- Dimerisierung (1)
- Diskrete Simulation (1)
- Dispergierung (1)
- Disulfidbrücken-Transfer (1)
- Doppelresonanz (1)
- Dreidimensionale Bildverarbeitung (1)
- Dry Coating (1)
- EM algorith (1)
- EM algorithm (1)
- ESPI (1)
- Effective Conductivity (1)
- Eingebettetes System (1)
- Einzelheit <Philosophie> (1)
- Elastomer (1)
- Elektronenspinresonanzspektroskopie (1)
- Elektroporation (1)
- Elliptic boundary value problems (1)
- Elliptisches Randwertproblem (1)
- Englisches Planungssystem (1)
- English Planning System (1)
- Enumerative Geometrie (1)
- Enzyminhibitor (1)
- Erkenntnistheorie (1)
- Ernergie effiziente Bewegung (1)
- Erwartungswert-Varianz-Ansatz (1)
- Estradiol (1)
- Estradiolrezeptor (1)
- Extended Finite-Elemente-Methode (1)
- FEM (1)
- Facility-Management (1)
- Fahrtkostenmodelle (1)
- Fatigue (1)
- Feature Detection (1)
- Feature Extraction (1)
- Ferrocen (1)
- Festigkeitsverteilung (1)
- Finanzkrise (1)
- Finanznumerik (1)
- Finite rotations (1)
- Finite-Elemente-Simulation (1)
- Finite-Volumen-Methode (1)
- First Order Optimality System (1)
- Flexibilisierung (1)
- Flexible multibody dynamics (1)
- Fluid-Feststoff-Strömung (1)
- Fluoreszenz (1)
- Flächennutzungsplan (1)
- Formale Beschreibungstechnik (1)
- Formale Methode (1)
- Formaler Beweis (1)
- Forward-Backward Stochastic Differential Equation (1)
- Freistrahl (1)
- Fremdstoffmetabolismus (1)
- G2++ model (1)
- Galerkin Approximation (1)
- Gasströmung (1)
- Gauß-Filter (1)
- Gene expression programming (1)
- Generierung (1)
- Geodesie (1)
- Geometric (1)
- Georg Wilhelm Friedrich (1)
- Geothermal Systems (1)
- Geothermischer Fluss (1)
- Gewichteter Sobolev-Raum (1)
- Granular (1)
- Granulat (1)
- Graphentheorie (1)
- Grauwertkorrelation (1)
- Gromov-Witten-Invariante (1)
- Group and Organizational Learning (1)
- Gröbner-Basis (1)
- HJM (1)
- Hardwareverifikation (1)
- Harold Arthur (1)
- Hegel (1)
- Helicene (1)
- Heston model (1)
- Heston-Modell (1)
- Heterozyklen (1)
- Heuristic (1)
- Heuristics (1)
- Hexen <1-> (1)
- Hirnstamm (1)
- Hochsicherheitslabor (1)
- Hochskalieren (1)
- Home Health Care (1)
- Homogenisieren (1)
- Homogenisierung <Mathematik> (1)
- Homogenization (1)
- Hub Location (1)
- Hull White model (1)
- Hypoxie (1)
- Hämoglobin (1)
- Hören (1)
- IMRT planning (1)
- ISO-Norm (1)
- Illiquidität (1)
- Imatinib mesilat (1)
- Imidazoliumsalze (1)
- Indigorot (1)
- Indirubin (1)
- Individual (1)
- Induktive logische Programmierung (1)
- Informationsfunktion (1)
- Infrarotspektroskopie (1)
- Inhibitor (1)
- Innovation (1)
- Interkulturelle Produktentwicklung (1)
- Interpolation (1)
- Iterative learning control (1)
- Ito (1)
- Jiang’s Model of Elastoplasticity (1)
- John L. (1)
- Kanalcodierung (1)
- Kardiotoxizität (1)
- Keimbildung (1)
- Kelvin Transformation (1)
- Kern-Schale-Struktur (1)
- Kirchhoff and Cosserat rods (1)
- Kiyoshi (1)
- Kohlenstoff (1)
- Kohlenstofffaserverstärkter Kohlenstoffwerkstoff (1)
- Kombinierte IR/UV-Spektroskopie (1)
- Kommunikationsprotokoll (1)
- Kompetenz (1)
- Konfidenz (1)
- Konvergenzrate (1)
- Konvergenzverhalten (1)
- Kristallmathematik (1)
- Kryptoanalyse (1)
- Kundenbeanspruchung (1)
- Kunststoffschweißen (1)
- Lagrangian mechanics (1)
- Large deformations (1)
- Laser Wakefield Particle Accelerator (1)
- Laval-Düse (1)
- Lebensdauerberechnung (1)
- Lebensstil (1)
- Leber (1)
- Lebertumor (1)
- Lehrmittel (1)
- Leichtbauvarianten (1)
- Linear Programming (1)
- Linking Data Analysis and Visualization (1)
- Liquidität (1)
- Local Development Framework (1)
- Löslichkeit (1)
- MILP formulations (1)
- MIP formulations (1)
- MIP-Emissionsspektroskopie (1)
- MIP-Massenspektrometrie (1)
- Marke (1)
- Markov switching (1)
- Markov-Prozess (1)
- Marktsegmentierung (1)
- Maschinelle Übersetzung (1)
- Maximum Intensity Projection (1)
- Mechanics (1)
- Medizinische Mikrobiologie (1)
- Medizinisches Labor (1)
- Mehrskalenmodell (1)
- Merkmalsextraktion (1)
- Metabolism (1)
- Metaheuristics (1)
- Metallocene (1)
- Mikrobieller (1)
- Mikrobiologie (1)
- Mikrobiologisches Labor (1)
- Mitochondrium (1)
- Modell (1)
- Modellgetriebene Entwicklung (1)
- Modellierung (1)
- Molekularsieb (1)
- Molekularstrahl (1)
- Monte-Carlo methods (1)
- Monte-Carlo-Simulation (1)
- Multi-Asset Option (1)
- Multibody simulation (1)
- Multiscale (1)
- Mustererkennung (1)
- Mutagenität (1)
- N-Liganden (1)
- NICS (1)
- Nanokomposit (1)
- Nanopartikel (1)
- Nash equilibria (1)
- Natural Neighbor (1)
- Natural Neighbor Interpolation (1)
- Natürliche Nachbarn (1)
- Navier-Stokes-Gleichung (1)
- Navigation (1)
- Nichtlineare Finite-Elemente-Methode (1)
- Nichtlineare Kontinuumsmechanik (1)
- Nichtlineare Schwingung (1)
- Noether’s theorem (1)
- Numerische Strömungssimulation (1)
- Nutzerorientierte Produktentwicklung (1)
- Nutzungsprofil (1)
- Objektorientierung (1)
- Operationen (1)
- Optimal Control (1)
- Optimierender Compiler (1)
- Optimierung (1)
- Optimization Algorithms (1)
- Option (1)
- Optische Abbildung (1)
- Optische Messtechn (1)
- P (1)
- POD (1)
- PXR (1)
- Palladiumkomplexe (1)
- Paralleler Hybrid (1)
- Parameter Identification (1)
- Parsimonious Heston Model (1)
- Parteto surface (1)
- Partial Differential Equations (1)
- Particle (1)
- Partielle Differentialgleichung (1)
- Partizipation (1)
- Peer-to-Peer-Netz (1)
- Peugeot (1)
- Pflasterflächen (1)
- Phasengleichgewicht (1)
- Photonische Kristalle (1)
- Pleated Filter (1)
- Poisson-Gleichung (1)
- PolyBoRi (1)
- Portfolio Selection (1)
- Portfolio-Optimierung (1)
- Potenzialhyperfläche (1)
- Prichard (1)
- Produktentwicklung (1)
- Professional development (1)
- Protein-Tyrosin-Kinasen (1)
- Proteinkinaseinhibitor (1)
- Proteintransport (1)
- Protonentransfer (1)
- Quantitative Bildanalyse (1)
- Quanto option (1)
- RNS-Interferenz (1)
- Ratte (1)
- Ray casting (1)
- Ray tracing (1)
- Reaktive Sauerstoff Spezies (1)
- Rechtecksgitter (1)
- Rectilinear Grid (1)
- Reliability (1)
- Requirements engineering (1)
- Risikomanagement (1)
- Rissausbreitung (1)
- Robotik (1)
- Rollreibung und -verschleiß (1)
- Rotational spinning process (1)
- Rounding (1)
- Route Planning (1)
- Räumliche Statistik (1)
- Röntgenstrukturen (1)
- Sauerstoffverbrauch (1)
- Schiefe Ableitung (1)
- Schlagfrequenz (1)
- Schluss (1)
- Schnitttheorie (1)
- Schwache Lösu (1)
- Second Order Conditions (1)
- Seismic Modeling (1)
- Semi-Markov-Kette (1)
- Singular <Programm> (1)
- Singularity theory (1)
- Singularitätentheorie (1)
- Sobolev-Raum (1)
- Softwarearchitektur (1)
- Solid-Gas Separation (1)
- Solid-Liquid Separation (1)
- Spannungsanalyse (1)
- Special Cosserat rods (1)
- Spinfalle (1)
- Sprödbru (1)
- Stadtentwicklung (1)
- Stadtplanung (1)
- Steuer (1)
- Stochastische Differentialgleichung (1)
- Stochastische Inhomogenitäten (1)
- Stochastische dynamische Optimierung (1)
- Stoffwechsel (1)
- Strategische Umweltprüfung (1)
- Stress-strain correction (1)
- Strukturiertes Gitter (1)
- Strömungsmechanik (1)
- Success Run (1)
- Supply Chain Design (1)
- Surface Reconstruction (1)
- Systemic Constructivist Approach (1)
- Systemische Konstruktivistischen Ansatz (1)
- Sägezahneffekt (1)
- TCDD (1)
- TSA (1)
- TVET teachers’ education (1)
- Tagesrhythmus (1)
- Teilchen (1)
- Tesselation (1)
- Tetrachlordibenzodioxine (1)
- Tetraeder (1)
- Tetraedergi (1)
- Tetrahedral Grid (1)
- Tetrahedral Mesh (1)
- Theorie schwacher Lösungen (1)
- Thermodynamics (1)
- Thermodynamik (1)
- Titration (1)
- Topologie (1)
- Transaktionen (1)
- Transfektion (1)
- Traversability Analysis (1)
- Trennverfahren (1)
- Tropische Geometrie (1)
- Tube Drawing (1)
- Tumorassoziierter Trypsininhibitor (1)
- UCP2-Protein (1)
- Ultraschalldispergierung (1)
- Ultraviolettspektroskopie (1)
- Umweltverträglichkeitsprüfung (1)
- Unorganized Data (1)
- Untermannigfaltigkeit (1)
- Upscaling (1)
- Usability (1)
- User-Centred Product Development (1)
- User-Experience (1)
- Validierung (1)
- Vermittlung (1)
- Versickerung (1)
- Versickerungsrate (1)
- Visualization (1)
- Volatilität (1)
- Volatilitätsarbitrage (1)
- Voronoi-Diagramm (1)
- Vorwärts-Rückwärts-Stochastische-Differentialgleichung (1)
- Wasserstoffbrückenbindungen (1)
- Wavelet (1)
- Wavelet-Analyse (1)
- Wavelet-Transformation (1)
- Weak Solution Theory (1)
- Wissen (1)
- Wissenserwerb (1)
- Worst-Case (1)
- Wärmeleitfähigkeit (1)
- Yaglom limits (1)
- Zeolith (1)
- Zielgruppe (1)
- Zielgruppen (1)
- acidification (1)
- adhesion (1)
- aerodynamic drag (1)
- algebraic attack (1)
- alkin (1)
- alkyne (1)
- amid (1)
- amide (1)
- apprehension (1)
- artial differential algebraic equations (1)
- asymptotic Cosserat models (1)
- automobile (1)
- beam refocusing (1)
- beating rate (1)
- bin coloring (1)
- binomial tree (1)
- biological motivated (1)
- biologisch motiviert (1)
- blackout period (1)
- brand (1)
- brittle fracture (1)
- building trade (1)
- c-Abl (1)
- calibration (1)
- cells on chips (1)
- cohesive cracks (1)
- composite (1)
- computational finance (1)
- consistency (1)
- convergence behaviour (1)
- correlation (1)
- coverage (1)
- crack path tracking (1)
- crash (1)
- curved viscous fibers (1)
- decoding (1)
- deformable bodies (1)
- differential algebraic equations (1)
- digital integrated circuit (1)
- discrete mechanics (1)
- discrete time setting (1)
- distributed compliant control (1)
- disulfide bond transfer (1)
- dividend discount model (1)
- dividends (1)
- drift due to noise (1)
- drug metablism (1)
- dynamic network flows (1)
- earliest arrival flow (1)
- earliest arrival flows (1)
- edge detection (1)
- efficiency loss (1)
- elastomer (1)
- electronically excited states (1)
- elektronisch angeregte Zustände (1)
- enamid (1)
- enamide (1)
- energy conservation (1)
- ernergy effcient motion (1)
- experimentelle Untersuchung (1)
- fallible knowledge (1)
- fiber-fluid interaction (1)
- fiber-fluid interactions (1)
- fibre reinforced plastic (1)
- finite differences (1)
- finite element method (1)
- flexible bodies (1)
- folding rocks (1)
- force-based simulation (1)
- formal description technique (1)
- formal method (1)
- foundational translation validation (1)
- full vehicle model (1)
- gaussian filter (1)
- geometric ergodicity (1)
- geometrically exact rods (1)
- global tracking (1)
- hardware verification (1)
- humanoid robot (1)
- humanoide Roboter (1)
- hybrid materials (1)
- hydrogen bonds (1)
- hyperealstic (1)
- image analysis (1)
- imaging (1)
- imidazolium salts (1)
- improving and feasible directions (1)
- impulse control (1)
- individual (1)
- inference (1)
- inhomogeneous Helmholtz type differential equations in bounded domains (1)
- ioneninduzierte Nukleation (1)
- ionic liquid (1)
- ioninduced nucleation (1)
- ionische Flüssigkeit (1)
- kernel estimates (1)
- lifestyle (1)
- limit theorems (1)
- linear code (1)
- logic (1)
- long slender fibers (1)
- machine-checkable proof (1)
- markov model (1)
- matroid flows (1)
- maximal dynamic flow (1)
- maximal function (1)
- maximum capacity path (1)
- maximum flows (1)
- mean-variance approach (1)
- mechanism design (1)
- mesoporous (1)
- minimum cut (1)
- mixture models (1)
- model reduction (1)
- modified gradient projection method (1)
- monotone Konvergenz (1)
- monotropic programming (1)
- multi-asset (1)
- multi-asset option (1)
- multibody dynamics (1)
- negative refraction (1)
- neonatal rat ventricular cardiomyocytes (1)
- neonatale ventrikuläre Kardiomyozyten der Ratte (1)
- network flows (1)
- nicht-newtonsche Strömungen (1)
- nichtlineare Druckkorrektor (1)
- non-newtonian flow (1)
- nonlinear diffusion (1)
- nonlinear model reduction (1)
- nonlinear pressure correction (1)
- nucleofection (1)
- numerical methods (1)
- objectoriented (1)
- operations (1)
- optimal control theory (1)
- optimal investment (1)
- optimales Investment (1)
- optimization correctness (1)
- option valuation (1)
- organic nanoparticles (1)
- organische Nanopartikel (1)
- oxidative DNA Damage (1)
- oxidative DNA Schäden (1)
- oxygen consumption (1)
- particular (1)
- path cost models (1)
- path-connected sublevelsets (1)
- pattern recognition (1)
- phase equilibrium (1)
- phenothiazine (1)
- photonic crystals (1)
- photonic crystals filter (1)
- polymer blends (1)
- polynomial algorithms (1)
- portfolio decision (1)
- portfolio optimization (1)
- price of anarchy (1)
- price of stability (1)
- processing (1)
- proof generating optimizer (1)
- quantile estimation (1)
- quasi-variational inequalities (1)
- radiotherapy planning (1)
- rare disasters (1)
- rate of convergence (1)
- reactive oxygen species (1)
- respiratory chain (1)
- rolling friction (1)
- ruthenium (1)
- safety critical components (1)
- sawtooth effect (1)
- segmentation (1)
- selfish routing (1)
- sharp function (1)
- sicherheitsrelevante Bauteile (1)
- slender-body theory (1)
- software architecture (1)
- solubility (1)
- spatial statistics (1)
- stabile Transfektion (1)
- stable transfection (1)
- stochastic arbitrage (1)
- stochastische Arbitrage (1)
- strong equilibria (1)
- sulfonic (1)
- target group (1)
- tax (1)
- technische und berufliche Aus- und Weiterbildung Lehrer lernen (1)
- tensions (1)
- thiazolium (1)
- transactions (1)
- translation contract (1)
- turbulence modeling (1)
- turbulence modelling (1)
- universal (1)
- vetreilte nachgiebige Regelung (1)
- volatility arbitrage (1)
- wave based method (1)
- weakly/ strictly pareto optima (1)
- wear (1)
- weld (1)
- worst-case (1)
- Öffentlichkeitsbeteiligung (1)
- Überdeckung (1)
- Übersetzung (1)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Mathematik (30)
- Fraunhofer (ITWM) (29)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (20)
- Kaiserslautern - Fachbereich Chemie (16)
- Kaiserslautern - Fachbereich Informatik (11)
- Kaiserslautern - Fachbereich Sozialwissenschaften (11)
- Kaiserslautern - Fachbereich ARUBI (6)
- Kaiserslautern - Fachbereich Biologie (4)
- Kaiserslautern - Fachbereich Elektrotechnik und Informationstechnik (3)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (2)
- Kaiserslautern - Fachbereich Physik (1)
- Universität (1)
- Universitätsbibliothek (1)
Gegenstand dieser Arbeit ist die Entwicklung eines Wärmetransportmodells für tiefe geothermische (hydrothermale) Reservoire. Existenz- und Eindeutigkeitsaussagen bezüglich einer schwachen Lösung des vorgestellten Modells werden getätigt. Weiterhin wird ein Verfahren zur Approximation dieser Lösung basierend auf einem linearen Galerkin-Schema dargelegt, wobei sowohl die Konvergenz nachgewiesen als auch eine Konvergenzrate erarbeitet werden.
This paper discusses the possibility to use and apply the ideas of theWave BasedMethod, which has been developed especially for the steady–state acoustic areas, i.e. to solve the Helmholtz type boundary value problems in a bounded domain, in non–acoustics areas such as steady–state temperature propagation, calculation of the velocity potential function of a liquid flux, calculation of the light irradience in a liver tissue/tumor, etc.
Von der Bauplanung zur Gebäudebewirtschaftung: Ein integrales Bewertungs- und Transformationsmodell
(2009)
Gegenstand der vorliegenden Arbeit ist der Entwurf eines integralen Bewertungs- und Transformationsmodells zur Integration der Gebäudebewirtschaftung in die Bauplanungsphase. Das Ziel der Untersuchung ist die Bildung eines Modells zur Identifizierung einer Bauplanungsvariante, die hinsichtlich ihrer späteren Nutzung bezüglich des Ressourcenverbrauchs, der Belastung für Mensch und Umwelt, der Durchführung von Bewirtschaftungsprozessen und bezüglich der Umgebungsressourcen eine optimierte Variante darstellt. Im ersten Teil der Arbeit werden nach einer kurzen Einführung zunächst die Motivation zur vorliegenden Arbeit, ihre Zielsetzung und die Grundlagen des Facility Management, der Bauplanung und Baukosten erläutert. Die ganzheitliche Betrachtung von Facility Management über den gesamten Lebenszyklus unter Berücksichtigung auch nicht monetärer Ziele wie Belastungsvermeidung oder Optimierung der Umgebungsressourcen macht eine eigene Neudefinition von Facility Management notwendig. Basis der weiteren Untersuchungen sind die entwickelten Übergeordneten Ziele des Facility Management. Zur Befriedigung der Übergeordneten Ziele des Facility Management muss Facility Management schon in der frühen Phase der Rahmen- und Nutzungsplanung und auf der funktional organisatorischen Bauplanungsebene integriert werden und muss die Interessen aller an Bau und Nutzung beteiligten integrieren. Der zweite Teil der Arbeit befasst sich mit der Integration von Facility Management in den Bauplanungsprozess. Dazu werden in einem ersten Schritt planungsabhängige Kosten und Leistungen des Facility Management identifiziert. Durch eine Analyse der Planungsabhängigkeiten der Übergeordneten Ziele des Facility Management wird aufgezeigt, wie Planungsobjekte identifiziert werden. Das entwickelte Transformationsmodell erlaubt die Transformation von Planungsobjekten zu Bewirtschaftungsobjekten, deren Variation in der Planungsphase die Bewirtschaftungsphase maßgeblich beeinflussen. Das erarbeitete Objektmodell zeigt im Sinne der Objektorientierung die Beziehungen der Bewirtschaftungsobjekte untereinander auf. Das Transformationsmodell bildet die Grundlage zur abschließenden Planungsbewertung anhand derer verschiedene Bauplanungsalternativen untereinander vergleichbar gemacht werden und hinsichtlich ihres Nutzwertes bezüglich der Bewirtschaftungsphase bewertet werden können.
Diese Arbeit beschreibt einen in der Praxis bereits vielfach erprobten, besonders leistungsfähigen Ansatz zur Verifikation digitaler Schaltungsentwürfe. Der Ansatz ist im Hinblick auf die Schaltungsqualität nach der Verifikation, als auch in Bezug auf den Verifikationsaufwand der simulationsbasierten Schaltungsverifikation deutlich überlegen. Die Arbeit überträgt zunächst das Paradigma der transaktionsbasierten Verifikation aus der Simulation in die formale Verifikation. Ein Ergebnis dieser Übertragung ist eine bestimmte Form von formalen Eigenschaften, die Operationseigenschaften genannt werden. Schaltungen werden mit Operationseigenschaften untersucht durch Interval Property Checking, einer be-sonders leistungsfähigen SAT-basierten funktionalen Verifikation. Dadurch können Schaltungen untersucht werden, die sonst als zu komplex für formale Verifikation gelten. Ferner beschreibt diese Arbeit ein für Mengen von Operationseigenschaften geeignetes Werkzeug, das alle Verifikationslücken aufdeckt, komplexitätsmäßig mit den Fähigkeiten der IPC-basierten Schaltungsuntersuchung Schritt hält und als Vollständigkeitprüfer bezeichnet wird. Die Methodik der Operationseigenschaften und die Technologie des IPC-basierten Eigenschaftsprüfers und des Vollständigkeitsprüfers gehen eine vorteilhafte Symbiose zum Vorteil der funktionalen Verifikation digitaler Schaltungen ein. Darauf aufbauend wird ein Verfahren zur lückenlosen Überprüfung der Verschaltung derartig verifizierter Module entwickelt, das aus den Theorien zur Modellierung digitaler Systeme abgeleitet ist. Der in dieser Arbeit vorgestellte Ansatz hat in vielen kommerziellen Anwendungsprojekten unter Beweis gestellt, dass er den Namen "vollständige funktionale Verifikation" zu Recht trägt, weil in diesen Anwendungsprojekten nach dem Erreichen eines durch die Vollständigkeitsprüfung wohldefinierten Abschlusses keine Fehler mehr gefunden wurden. Der Ansatz wird von OneSpin Solutions GmbH unter dem Namen "Operation Based Verification" und "Gap Free Verification" vermarktet.
Diese Doktorarbeit befasst sich mit Volatilitätsarbitrage bei europäischen Kaufoptionen und mit der Modellierung von Collateralized Debt Obligations (CDOs). Zuerst wird anhand einer Idee von Carr gezeigt, dass es stochastische Arbitrage in einem Black-Scholes-ähnlichen Modell geben kann. Danach optimieren wir den Arbitrage- Gewinn mithilfe des Erwartungswert-Varianz-Ansatzes von Markowitz und der Martingaltheorie. Stochastische Arbitrage im stochastischen Volatilitätsmodell von Heston wird auch untersucht. Ferner stellen wir ein Markoff-Modell für CDOs vor. Wir zeigen dann, dass man relativ schnell an die Grenzen dieses Modells stößt: Nach dem Ausfall einer Firma steigen die Ausfallintensitäten der überlebenden Firmen an, und kehren nie wieder zu ihrem Ausgangsniveau zurück. Dieses Verhalten stimmt aber nicht mit Beobachtungen am Markt überein: Nach Turbulenzen auf dem Markt stabilisiert sich der Markt wieder und daher würde man erwarten, dass die Ausfallintensitäten der überlebenden Firmen ebenfalls wieder abflachen. Wir ersetzen daher das Markoff-Modell durch ein Semi-Markoff-Modell, das den Markt viel besser nachbildet.
Verteilung von Na+/Ca2+-Austauschern während der Ontogenese des auditorischen Hirnstamms der Ratte
(2009)
Die Homöostase der intrazellulären Ca2+-Konzentration ist eine essenzielle Aufgabe in allen Zellen, da Ca2+ an diversen zellulären Prozessen beteiligt ist. Besonders Neurone des auditorischen Hirnstamms sind auf eine optimale Ca2+-Regulation angewiesen, da ihr Überleben und ihre Entwicklung von der intrazellulären Ca2+-Konzentration abhängen. Neben Ca2+-bindenden Proteinen und Ca2+-ATPasen sind besonders Na+/Ca2+-Austauscher, welche sich in die Familien NCX (NCX1-3), NCKX (NCKX1-5) und CCX (NCKX6) gliedern, in vielen neuronalen und nicht-neuronalen Strukturen maßgeblich für die Ca2+-Regulation verantwortlich. In meiner Arbeit wurde die Verteilung von NCX1-3 sowie NCKX2-6 im Nucleus cochlearis(CN), superioren Olivenkomplex (SOC) und inferioren Colliculus (IC), welche Strukturen des auditorischen Hirnstamms darstellen, untersucht. Dies erfolgte auf Boten-Ribonukleinsäure(messenger ribonucleic acid, mRNA)-Ebene qualitativ mittels reverser Transkription (RT)gefolgt von genspezifischer Polymerasekettenreaktion (PCR) sowie quantitativ mittels realtime-PCR, auf Proteinebene qualitativ mittels Immunhistochemie. Um auch ontogenetische Aspekte der Ca2+-Homöostase zu berücksichtigen, wurden Ratten in einem unreifen Entwicklungsstadium (P4) sowie junge adulte Ratten (P60) analysiert. Die Genexpression aller untersuchten ncx- und nckx-Isoformen wurde mittels RT-PCR in beiden Entwicklungsstadien in CN, SOC und IC nachgewiesen. Besonders auffallend war bei den ncx-Isoformen eine im Verlauf der Entwicklung meist verstärkte Transkription, während die nckx-Isoformen in den meisten Fällen eine verminderte Transkription im adulten Tier zeigten. Mittels Immunhistochemie zeigt meine Arbeit zum ersten Mal eine entwicklungsabhängige Umverteilung der Austauscher. Während die Isoformen bei P4 hauptsächlich im Neuropil lokalisiert waren, zeigte sich im Gegensatz dazu bei P60 eine verstärkte Immunfluoreszenz innerhalb der Somata. Ausnahme war hier NCKX2, welcher im CN auch bei P60 hauptsächlich im Neuropil exprimiert wurde. Die Expression von NCX1-3 und NCKX2 im Neuropil junger auditorischer Hirnstammneurone legt eine Ca2+-regulierende Funktion im Bereich dendritischer Synapsen nahe. Die Synapsen befinden sich in diesem Alter noch in einem unreifen Zustand, so dass die Na+/Ca2+-Austauscher einen maßgeblichen Einfluss auf die synaptische Plastizität ausüben können. Abschließend deutet die Verteilung der Na+/Ca2+-Austauscher darauf hin, dass alle NCX- und NCKX-Isoformen, im Zusammenspiel mit weiteren Ca2+-regulierenden Proteinen, an der Ca2+-Homöostase in den Strukturen des auditorischen Hirnstamms beteiligt sind.
In this paper we investigate the use of the sharp function known from functional analysis in image processing. The sharp function gives a measure of the variations of a function and can be used as an edge detector. We extend the classical notion of the sharp function for measuring anisotropic behaviour and give a fast anisotropic edge detection variant inspired by the sharp function. We show that these edge detection results are useful to steer isotropic and anisotropic nonlinear diffusion filters for image enhancement.
Untersuchungen zu Raum und Abschirmung am Beispiel der privaten Wohnhäuser von Philip Johnson
(2009)
Architektur ist geprägt vom Wandel. Auch wenn viele Architekten den daraus resultierenden Verlust von Konstanz in der Architektur bemängeln, lohnt sich die Auseinandersetzung mit dem Wandel. Er beinhaltet Entwicklungsmöglichkeiten der Architektur, aus denen wiederum Rückschlüsse für das eigene Entwerfen gewonnen werden können. Da sich die Gründe des Wandels selten eindeutig bestimmen lassen, liegt der Interessensschwerpunkt der Dissertation auf dessen Erscheinungen. Die Aufmerksamkeit wird deshalb auf die wesentlichen Elemente der Architektur, nämlich Raum und Abschirmung, gerichtet. An ihnen werden die Prinzipien des Wandels beschrieben. Dazu werden die Veränderungen von Raum und Abschirmung exemplarisch an den privaten Wohnhäusern von Philip Johnson untersucht. Diese Analyse ergibt, dass sich der Wandel in der Transformation von Raumtyp und Abschirmung bzw. im Wechsel zwischen Raumtypen manifestiert. Während durch die Transformation ein Raumtyp weiterentwickelt wird - Mittel der Transformation sind z.B. die Verformung oder die Verselbständigung von Elementen-, steht der Wechsel von einem Raumtyp zu einem anderen für den fundamentalen Wandel eines Raum- und Gestaltungskonzeptes. Die Wohnhäuser von Philip Johnson können in Bezug auf den Wandel nicht als inhaltlich abschließend bezeichnet werden. Zum einen arbeitet Johnson bei den Wohnhäusern nur mit den vier Raumtypen „Das klar definierte Innen“, „Das Ineinanderfließen von Innen und Außen“, „Innen und Außen als Raumeinheiten“ und „Das Innen im Außen“, zum anderen blendet er z.B. konstruktive Aspekte, wie Bauteilstärken aus. Dennoch können aus der Untersuchung allgemeingültige Rückschlüsse gewonnen werden. Zunächst ist festzustellen, dass der Wandel nicht so komplex ist, wie er durch die Masse diffuser Erscheinungsformen der Architektur erscheint. Er ist rückführbar auf die Veränderungen von Raum und Abschirmung. Sie bilden gemeinsam ein gedankliches und gebautes System, innerhalb dessen sich Architektur bewegt. Dieses System ist offen für potentielle Entwicklungen, d.h. es lässt neue Raumtypen oder aber Veränderungen des Raumtyps und der Abschirmung zu. Darüber hinaus ermöglicht es ein systematisches Vorgehen beim Entwerfen. Entwurfsalternativen und -varianten können aufbauend auf diesen Erkenntnissen aus Raum und Abschirmung gezielt entwickelt werden.
In der vorliegenden Arbeit werden experimentelle und theoretische Untersuchungen für die Löslichkeiten von Methan in den organischen Lösungsmitteln Petroleumbenzin, 1-Oktanol, n-Hexan und n-Dodekan sowie Untersuchungen des LW-H-V-Gleichgewichts des Systems (CH4 + H2O) vorgestellt. Im Vergleich zu den Vorhersageergebnissen von Sloan sowie Parrish und Praus-nitz wurde mit dem in der vorliegenden Arbeit weiterentwickelten, thermodynamischen Modell für das Hydratgleichgewicht des Systems (CH4 + H2O) durch Berücksichtigung des Dampf-Flüssigkeits-Gleichgewichts gerade im Bereich erhöhter Drücke eine wesentlich bessere Übereinstimmung der berechneten Hydratgleichgewichtsdrücke mit den Messdaten der vorliegenden Arbeit sowie mit Literaturdaten erreicht. Die Untersuchungen zur physikalischen Löslichkeit von Methan in den organischen Lö-sungsmitteln und Wasser wurden in einem Temperaturbereich von 273,2 K bis 293 K bei Ge-samtdrücken bis maximal 10 MPa durchgeführt. Die Ergebnisse wurden mit Rechenwerten verglichen, die mit dem in der vorliegenden Arbeit entwickelten Modell erhalten wurden. Die maximale Konzentration von Methan in der organischen Lösemittelphase betrug im System (CH4 + n-Hexan) bei max. 8,7 Mol CH4 pro Kilogramm Hexan. Dieses entspricht einer Beladung des Lösungsmittels von 140 Gramm Methan pro Kilogramm Hexan. Die Untersuchungen zur Löslichkeit von Kohlendioxid (CO2) und Schwefelwasser-stoff (H2S) in wässrigen Aminlösungen (Amine A, B, C, D) waren Teil einer Industriekooperation mit der BASF AG, Ludwigshafen. Ziel des Gesamtprojekts war es, ein bestehendes Aminsystem zu ersetzen. Die experimentellen Ergebnisse für die Löslichkeit von Kohlendi-oxid in diesen Aminmischungen liefern fundierte Grundlagen zur Thermodynamik solcher Lösungen in einem industriellen Absorptionsprozess. Die Untersuchungen am System (CO2 + MDEA + PIPH2 + H2O) stellen eine Weiter-entwicklung des von Pérez-Salado Kamps entwickelten thermodynamischen Modells dar. Die experimentellen Untersuchungen der vorliegenden Arbeit und von Speyer erweitern den Konzentrationsbereich dieses Modells und führten zu einer Neuparametrisierung im Hoch- und Niederdruckbereich. Dabei wurden auch Wechselwirkungen zwischen den aus MDEA und Piperazin entstehenden Spezies berücksichtigt. Die Korrelations- und Vorhersa-geergebnisse werden im Vergleich zu den Vorhersagen von Ermatchkov deutlich verbessert. Die Messungen erfolgten in einer Phasengleichgewichtsapparatur, die nach der synthetischen, d.h. mit bekannter Zusammensetzung des Lösungsmittels/-gemisches und bekannter Gasmenge, Methode arbeitet. Bei der experimentellen Vorgehensweise wurde die evakuierte Hochdrucksichtzelle mit dem zu lösenden Gas bei gemessenem Druck und konstanter Temperatur und einem Teil des Lösungsmittels befüllt. Mit einem Hochdruckverdränger wird gerade soviel Lösungsmittel in die Zelle nachgepresst, bis sich gerade eine homogene Phase bildet, d.h. bis keine Gasphase mehr sichtbar ist. Damit ist die gesamte Menge an Gas in der flüssi-gen Phase gelöst, allerdings liegt der Druck deutlich über dem Löslichkeitsdruck. Durch Entnehmen geringer Menge der Lösung (Herausdrehen der Verdrängerspindel) wird der Druck schrittweise gesenkt. Bei Erreichen der Siedelinie beginnt das Gas aus dem Lösungsmittel auszugasen. Der sich einzustellende Gleichgewichtsdruck ist derjenige Druck, der notwendig ist, um die gesamte Menge an Gas in der in die Zelle eingebrachte Lösungsmittelmenge zu lösen. Die Modellierung der gemessenen Gaslöslichkeiten erfolgte für die flüssigen Phasen mit dem von Edwards, Maurer und Newman modifizierten GE-Ansatz von Pitzer zur Be-rücksichtigung der Nichtidealitäten und Berechnung der Aktivitätskoeffizienten. Die Abweichungen von dem idealen Gasverhalten in der Gasphase wurden durch die Berech-nung der Fugazitätskoeffizienten mit der nach dem zweiten Koeffizienten abgebrochenen Virialgleichung ausgedrückt.
Der Entkopplermechanismus von UCP-2 sollte weitergehend untersucht sowie eine Methode zur Messung des Einfluss von UCP-2 auf die ROS-Homöostase gefunden werden. Durch Kompetitionsmessungen mit spinmarkierten Fettsäuren an rekonstituiertem UCP-2 sollte das Flip Flop Modell als Entkopplungsmechanismus weiter unterstützt und Bindungskonstanten abgeschätzt werden. Dies sollte in Titrationsmessungen mit kompetitierenden Fettsäuren und Purinnucleotiden gezeigt und mit Messungen in Gegenwart eines Kontrollproteins ohne Fettsäurebindungsstelle verglichen werden. Es konnte allerdings kein substöchiometrischer Verdrängungseffekt mit den Fettsäuren oder ATP gezeigt werden. Deswegen wurde der Einfluss des Detergens sowie der Ionenstärke auf das ESR-Signal untersucht und das Vorhandensein hochimmobilisierter spektraler Komponenten, typisch für die Einlagerung in eine Bindungsstelle, auch in Abwesenheit von UCP-2 gefunden. Um einen potenziellen Einfluss von UCP-2 auf die Homöostase von ROS zeigen zu können, sollte ein ESR-basierter Assay etabliert werden. Dazu wurden Spin Trapping Experimente mit ex vivo Detektion (Extraktion der generierten ROS in Ethylacetat) und in situ Detektion (direktes Messen bei der Entstehung) mit biologischen Proben (Mitochondrien, Mitoplasten und Zellen aus Zellkulturen) durchgeführt. Der in situ Assay schien geeigneter, allerdings waren die Radikalkonzentrationen nahe der Nachweisgrenze. Um dennoch eine zeitaufgelöste Auswertung der Daten zu ermöglichen und das Signal-Rauschen-Verhältnis zu verbessern, wurde zur Datenanalyse das Rauschen mit einer auf Singulärwertzerlegung basierten Methode gefiltert und zum Teil die zeitlichen Spuren der verschiedenen Radikaladdukte bestimmt. Eine weitere Methode zum Nachweis von UCP-2 auf die ROS-Homöostase ist die Verwendung fluoreszierender Double Spin Traps. Hier erlischt die zuächst vorhandene Fluoreszenz durch ROS-Einwirkung. Die Double Trap p-Nitrostilbentert.butylnitron sollte durch veränderte Substitution so modifiziert werden, dass sich die spektroskopischen Eigenschaften verbessern. Beide Spin Traps wurden hinsichtlich optischer und ESR-spektroskopischer Eigenschaften sowie dem Verhalten in der Zelle verglichen. Da die Einführung eines Coumarinrestes als Fluorophor nicht zur erhofften Rotverschiebung der Anregungswellenlänge führt, aber die Cytotoxizität ausgeprägter ist, ist NSN geeigneter, zumal dessen Fluoreszenz deckungsgleich mit dem mitochondrialem Marker TMRE ist. Das spricht für Akkumulation an diesem wichtigen Entstehungsort von ROS. In Gegenwart von ROS zeigen beide Spin Traps ein ESR-Signal und auch das Löschen der Fluoreszenz aufgrund des nahe gelegenen stabilen Radikals. Bei NSN war der Effekt ausgeprägter: Die Halbwertszeiten des Fluoreszenzrückgangs wurden zu typischerweise 25 s in Anwesenheit von ROS-induzierenden Atmungsketteninhibitoren und 180 s in deren Abwesenheit bestimmt. Zusammenfassend kann mit den vorgestellten Spin Trapping Methoden der Einfluss von UCP-2 auf die ROS-Homöostase direkt gemessen werden, indem Zellen mit deletierter Expression von UCP-2 mit adäquaten Wildtypzellen verglichen werden. Mit NSN lässt sich ROS mittels Fluoreszenzmikroskopie mit subzellulärer Auflösung in Mitochondrien detektieren.