····· lezzter Preis 21.85€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray In this thesis, we study the problem Monet¿the Mo(notone) n(ormal form)e(quivalence) t(est)¿that asks to decide equivalence of a monotone disjunctive normal form . and a monotone conjunctive normal form . This problem is a covering problem that can be interpreted as the task of enumerating all (in some sense) minimal solutions of some system. Hence, there is a huge number of similar questions in many problems from diverse applications.Our results can roughly be divided into results on the design and evaluation of algorithms for Monet and results that rather touch complexity questions related to the problem. As for the algorithmic part, we will give lower bounds for several known algorithms and report results obtained by practically examining the theoreticallyfastest algorithm in computational experiments. As for the complexitypart of this thesis, we show several restricted classes of the problem to be solvable in logarithmic space, which improves previously known polynomial time bounds. We also show Monet to be in the complexity class of .xed-arameter tractable problems with respect to several parameters. More precisely, we prove the following main results using various algorithmic and computational complexity techniques. - Several restricted classes of Monet are solvable in logarithmic space. Inparticular, these are the classes where the DNF- contains only a constant number of monomials (Section 4.1.1), contains only monomials of constant size (Section 4.1.2), contains only monomials that each do not contain only a constant number of variables(Section 4.1.3),- is regular (Section 4.2.1), aligned (Section 4.2.2), or 2-monotonic (Section 4.2.3).- The DL-algorithm (Section 5.1.2), the BMR-algorithm (Section 5.1.3), the KS-algorithm (Section 5.1.4), and the HBC-algorithm (Section 5.2) for theproblem Monet are not output-polynomial. Their running times are atleast nÙ(log log n), where n denotes the size of the input and output.-FK-algorithm B for the problem Monet is experimentally competitive to FK-algorithm A on many classes (Chapter 6).-Monet is .xed-parameter tractable with respect to the parameters- number v of variables in . and (Section 7.1),- number m of monomials in . (Section 7.2),- a parameter q describing the variable frequencies in . (Section 7.3),- and a parameter bounding the unions of transversals or edges of .`sassociated hypergraph (Section 7.4.3).This thesis contains material (to be) published in the journals Discrete Applied Mathematics, Information and Computation and Information Processing Letters, as well as material (to be) presented at, and (to be) published in the proceedingsof, the conference `Mathematical Foundations of Computer Science¿ (MFCS 2005), and the workshops `Graph-Theoretic Concepts in Computer Science¿ (WG 2007), `Parameterized and Exact Computation¿ (IWPEC 2008) and `Workshop on Algorithm Engineering & Experiments¿ (ALENEX 2009). ····· 10361169982
····· lezzter Preis 16.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray All models are wrong only some are useful. (G. E. P. Box) In this project, we have analyzed some useful models, based on an approximation introduced by G. E. P. Box hence, the next few chapters map an odyssey wherein Box and his adage go hand in hand. In a nutshell, one- and two-sample test statistics are developed for the analysis of repeated measures designs when the dimension, d, can be large compared to the sample size, n (d > n). The statistics do not depend on any specific structure of the covariance matrix and can be used in a variety of situations: they are valid for testing any general linear hypothesis, are equally applicable to the design set up of profile analysis and to the usual multivariate structure, are invariant to an orthogonal linear transformation, and are also valid when the data are not high dimensional. The test statistics, a modification of the ANOVA-type statistic (Brunner, 2001), are based on Box¿s approximation (Box, 1954a), and follow a 2 f -distribution. The estimators, the building blocks of the test statistics, are composed of quadratic and symmetric bilinear forms, and are proved to be unbiased, L2-consistent and uniformly bounded in dimension, d. This last property of estimators helps us in the asymptotic derivations in that we need not let both n and d approach infinity. We let n ! 1, while keep d fixed, such that the approximation of the distribution of the test statistic to the 2 distribution remains accurate when d > n, or even d >> n. The performance of the statistics is evaluated through simulations and it is shown that, for n as small as 10 or 20, the approximation is quite accurate, whatever be d. The statistic is also applied to a number of real data sets for numerical illustrations. ····· 10361169929
····· lezzter Preis 26.60€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Recursive partitioning methods from machine learning are being widely applied in many scientific fields such as, e.g., genetics and bioinformatics. The present work is concerned with the two main problems that arise in recursive partitioning, instability and biased variable selection, from a statistical point of view. With respect to the first issue, instability, the entire scope of methods from standard classification trees over robustified classification trees and ensemble methods such as TWIX, bagging and random forests is covered in this work. While ensemble methods prove to be much more stable than single trees, they also loose most of their interpretability. Therefore an adaptive cutpoint selection scheme is suggested with which a TWIX ensemble reduces to a single tree if the partition is sufficiently stable. With respect to the second issue, variable selection bias, the statistical sources of this artifact in single trees and a new form of bias inherent in ensemble methods based on bootstrap samples are investigated. For single trees, one unbiased split selection criterion is evaluated and another one newly introduced here. Based on the results for single trees and further findings on the effects of bootstrap sampling on association measures, it is shown that, in addition to using an unbiased split selection criterion, subsampling instead of bootstrap sampling should be employed in ensemble methods to be able to reliably compare the variable importance scores of predictor variables of different types. The statistical properties and the null hypothesis of a test for the random forest variable importance are critically investigated. Finally, a new, conditional importance measure is suggested that allows for a fair comparison in the case of correlated predictor variables and better reflects the null hypothesis of interest. ····· 10361169890
····· lezzter Preis 18.05€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The distribution pattern of centipedes (Chilopoda) and other soil arthropods in temperatedeciduous forests was investigated in four complementary studies that covered a wide range of environmental parameters, including soil chemical properties and microclimatic parameters. The results of this study culminate in a multitude of implications for forestmanagement which would help avoid an impoverishment of the soil fauna and a reduced productivity of forests. ····· 10361169827
····· lezzter Preis 30.40€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray An iterative human-centered design process is required to create interfaces that are useful, intuitive, efficient, and enjoyable for users in the ubiquitous computing domain. Currently, only experts can design, prototype, and deploy ubiquitous computing applications others lack the tools and conceptual frameworks. This work starts to fill the gap by providing contributions that support each phase of the iterative human-centered design process and address the complexity of ubiquitous computing application scenarios. ò To support the design phase, the range of ubiquitous mobile input techniques are organized into a design space, which helps identify the relationships between input techniques, and select the most appropriate input technique for an interaction scenario. ò To support the prototyping phase, the iStuff Toolkit architecture simplifies construction of functional prototypes for ubiquitous computing application scenarios. The architecture has been used to create two separate toolkits: iStuff to simplify prototyping physical user interfaces for ubiquitous computing, and iStuff Mobile to simplify prototyping new sensorbased interactions for mobile phones in ubiquitous computing. ò To support the evaluation phase, a new conceptual framework based on expressivenessis used to demonstrate how to evaluate input devices in prototype form (suffering from reduced resolution or sampling rates) and still make conclusions about future performance if further time and money were invested in improvements. To illustrate how this iterative design process can be used from drawing board to deployment, experiences developing REXplorer are shared. REXplorer is one of the first permanently installed pervasive games and helps tourists explore the historical UNESCO World Heritage city of Regensburg, Germany. Players use a special ôparanormal activity detectorö (a device composed of a mobile phone and a GPS receiver) to interact with location-based and site-specific spirits. ôCasting a spellö by waving the wand-like detector lets players awaken and communicate with the spirits to receive and solve quests. The game is designed to make learning history fun and influence touristsÆ path through the city. ····· 10361169816
····· lezzter Preis 18.05€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Algorithmen für Topologiebewusstsein in Sensornetzen Die vorliegende Arbeit beschäftigt sich mit algorithmischen und geometrischen Fragestellungen in Sensornetzwerken. Im Gegensatz zur klassischen Algorithmik, bei der ein einzelner Prozessor sequenziell Anweisungen abarbeitet und vollen Zugriff auf die Probleminstanz hat, werden hier verteilte Protokolle benötigt, bei denen die Knoten gemeinsam eine Aufgabe bewältigen, zu der sie allein nicht in der Lage wären. Zuerst untersuchen wir das grundlegende Problem, wie Sensorknoten ein Bewusstsein für ihre Position erlangen können. Motiviert daraus, dass das Problem, Koordinaten für ein globales Koordinatensystem zu bestimmen, in fast allen Varianten NP-schwer ist, wird ein vollkommen neuer Ansatz skizziert, bei dem das Netzwerk selbständig geometrische Cluster bildet und einen abstrakten Graphen konstruiert, der die Topologie des zugrunde liegenden Gebiets sehr genau widerspiegelt. Das sich daraus ergebende Positionsbewusstsein ist für einige Anwendungen dem klassischen euklidischen Ansatz deutlich überlegen. Der zweite Teil widmet sich einem Flussproblems für Sensornetzwerke, dass klassische dynamische Flüsse um Batteriebeschränkungen erweitert. Gesucht ist ein Fluss, der für gegebenen Zeithorizont die Datenmenge maximiert, die von einer Quelle zur Senke geschickt werden kann. Dieses Problem wird auch im zentralisierten Modell untersucht, da keine Vorarbeiten existieren. Wir beweisen Komplexitäten von Problemvarianten und entwickeln Approximationsschemata. Der dritte Teil stellt den Netzwerksimulator Shawn vor. Da der Benutzer zwischen verschiedenen geometrischen Kommunikationsmodellen wählen kann und das Speichermodell für den daraus resultierenden Graphen an den verfügbaren Speicher sowie an Simulationsparameter wie eventuell mögliche Mobilität der Knoten anpassen kann, ist Shawn hochflexibel und gleichzeitig deutlich schneller als vergleichbare Simulationsumgebungen. ····· 10361169803
····· lezzter Preis 25.65€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray This thesis presents a formal method how to refine algebraic specifications into object-oriented specifications in a systematic way. Thereby, we highlight the conceptual differences between algebraic specifications and object-oriented modeling. The correctness of the refinement step is established by preserving the models of the algebraic specification respecting a natural semantic relation. The thesis also comprises a basic system model for object-oriented systems and a comprehensive case study demonstrating the refinement step. Moreover, we survey the prototype system ASIOS which is an interactive tool mechanizing the transformation of algebraic specifications into object-oriented specifications.The basic system model for object-oriented systems serves to precisely define the semantics of object-oriented specifications. This way, it lays the formal foundation for the proof of the correctness of the transformation.The applicability of the transformation is demonstrated by a case study using the well-known abstract data type `stacks of natural numbers``. We investigate the transformation for characteristic design choices of the respective design space, and we present object-oriented classes which provide interpretations for the resulting object-oriented specifications. Furthermore, we give an implementation of each of these classes in the object-oriented programming language JAVA.All transformation procedures have been implemented in the prototype system ASIOS. The tool supports the transformation process with a graphical user interface providing the necessary guidance for the programmer in making various design choices. ASIOS includes an editor for entering algebraic specifications in CASL notation which is realized as an Eclipse plug-in. The tool results with UML class diagrams and sequence diagrams that can be exported as XMI files.The thesis shows that algebraic specifications can be refined into object-oriented specifications in a profound way. The transformation bridges the gap between functional specification concepts and object-oriented modeling techniques, and thus contributes to a better understanding of object-oriented software construction. Moreover, an important area of application comprises the mechanized top-down development of software components. ····· 10361169767
····· lezzter Preis 21.85€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Efficacy assessment of AIDS vaccines relies both on pre-clinically challenging immunised monkeys with a pathogenic virus and subsequent monitoring of infection rates in large human trials. Conventional parameters of vaccine-induced immune responses do not completely predict outcome. Moreover, existing methods for testing cellular immunity are sophisticated and difficult to establish in resource-limited settings, thereby constraining large studies. There is a need for study models that bridge the gap between preclinical and clinical vaccine testing, and which are able to predict a virus-specific vaccine effect before actual challenge. Virus replication kinetics (VVR) on ConA-stimulated peripheral blood mononuclear cells (PBMC) was used as an ex vivo model to mimic the interaction between different components of the immune system and viral infection. PBMCs were obtained from the 17 experimental rhesus monkeys before immunisation and subsequently at 12, 26 and 44 weeks during immunisation (wdi). Before immunization, VVR of vaccine-naïve PBMCs varied between individual animals by between >430-fold and >60-fold after 7 and 10 days of infection cultures. VVR of sham-vaccinated control monkeys remained constant over 44 the weeks. However, VVR of immunised animals was significantly attenuated during this follow-up period. This effect was not influenced by the MHC- class 1 Mamu-A\*01 allele, which is normally associated with slow disease progression. VVR was instead dependent on the number of IFN -producing cells (p=0.001), CD8+ T-cell non-cytotoxic antiviral response (CNAR) (p=0.01) and MIP-1a (p=0.013). High VVR correlated with increased CXCL10, IL-1ß and MIP-1ß. Importantly, pre-challenge VVR, CXCL10, IL-1ß and MIP-1ß but not IFN correlated directly with acute plasma viremia and inversely with memory CD4+ T-cell counts after SIVmac239 challenge. VVR was thus able to predict disease progression and the protective capacity of the vaccine regime. Likewise, pre-challenge CNAR, MIP-1a and IL-10 were associated inversely with acute-phase plasma viremia and directly with memory CD4+ T-cell concentrations in blood. When applied to human studies, this ex vivo infection technique could predict the efficacy of candidate AIDS vaccines prior to phase III clinical trials. ····· 10361169755
····· lezzter Preis 38.00€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The cost-e cient design of survivable optical telecommunication networks is the topic of this thesis. In cooperation with network operators, we have developed suitable concepts and mathematical optimization methods to solve this comprehensive planningtask in practice. Optical technology is more and more employed in modern telecommunication net-works.Digital information is therebytransmittedas short light pulses through glass bers. Moreover, the optical medium allows for simultaneous transmissions on a single ber by use of di erent wavelengths. Recent optical switches enable a direct forwarding of optical channels in the network nodes without the previously required signalretransformation to electronics. Their integration creates ongoingopticalconnections, which are called lightpaths. We study the problem of nding cost-e cient con gurations of optical networks which meet speci ed communication requirements. A con guration comprises the determination of all lightpaths to establish as well as the detailed allocation of all required devices and systems. We use a exible modeling framework for a realistic representation of the networks and their composition.For di erentnetworkarchitectures, we formulate integer linear programs which model the design task in detail. Moreover, network survivability is an important issue due to the immense bandwidths o ered by optical technology. Operators therefore request for designs which perpetuate protected connections and guarantee for a de ned minimum throughput in case of malfunctions. In order to achieve an e ective realization of scalable protection, we present a novel survivability concept tailored to optical networks and integrate several variants into the models. Our solution approach is based on a suitable model decomposition into two subtasks which separates two individually hard subproblems and enables this way to compute cost-e cient designs with approved quality guarantee. The rst subtask consists of routing the connections with corresponding dimensioning of capacities and constitutes a common core task in the area of network planning. Sophisticated methods for such problems have already been developed and are deployed by appropriate integration. The second subtask is characteristic for optical networks and seeks for a con ict-free assignment of available wavelengths to the lightpaths using a minimum number of involved wavelength converters. For this coloring-like task, we derive particular models and study methods to estimate the number of unavoidable conversions. As constructive approach, we develop heuristics and an exact branch-and-price algorithm. Finally, we carry out an extensive computational study on realistic data, provided by our industrial partners. As twofold purpose, we demonstrate the potential of our approach for computing good solutions with quality guarantee, and we exemplify its exibility for application to network design and analysis. ····· 10361169676
····· lezzter Preis 15.20€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Incomplete information is an omnipresent issue when dealing with real-world optimization problems. Typically, such limitations concern the uncertainty of given data or the complete lack of knowledge about future parts of a problem instance. This thesis is devoted to investigations on how to cope with incomplete information when solving scheduling problems. These problems involve the temporal allocation of limited resources for executing activities so as to optimize some objective. Scheduling problems are apparent in many applications including, for example, manufacturing and service industries but also compiler optimization and parallel computing. There are two major frameworks for modeling limited information in the theory of optimization. One deals with `stochastic information`, the other with `online information`. We design algorithms for NP-hard scheduling problems in both, the online and the stochastic scheduling models. Thereby, we provide first constant performance guarantees orimprove previously best known results. Both frameworks have their legitimacy depending on the actual application. Nevertheless, problem settings are conceivable that comprise both, uncertain information about the data set and the complete lack of knowledge about the future. This rouses the need for a generalized model that integrates both traditional information environments. Such a general model is designed as a natural extension that combines stochastic and online information. But the challenging question is whether there exists any algorithm that can perform well in such a restricted information environment. More precisely, is there an algorithm that yields a constant performance guarantee We successfully treat this intriguing question and give a positive answer by providing such algorithms for machine scheduling problems. In fact, our results are competitive with the performance guarantees best known in the traditional settings of stochastic and online scheduling. Thus, they do not only justify the generalized model but also imply - at least in the considered problem settings - that optimization in the general model with incomplete information does not necessarily mean to give up performance. ····· 10361169669
····· lezzter Preis 26.60€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Seit einigen Jahren gewinnt die Erfassung und Bewertung der gesundheitsbezogenen Lebensqualität bei der Beurteilung der medizinischen Versorgung immer mehr an Bedeutung. Der Einsatz von standardisierten Messinstrumenten (Fragebögen) ist dabei nicht mehr nur auf die Medizin begrenzt, sondern findet sich auch in der Pharmazie. Die Verbesserung der Lebensqualität ist ein wichtiger Outcome-Parameter innerhalb der Pharmazeutischen Betreuung. Die durchgeführte Studie verfolgte das Ziel, verschiedene Instrumente zur Messung der Lebensqualität zu vergleichen sowie den Nutzen der Pharmazeutischen Betreuung bei Patienten mit Osteoporose zu bewerten. Sechs vielfach eingesetzte Instrumente wurden zur umfassenden Darstellung der allgemeinen und krankheitsspezifischen Lebensqualität verwendet. Die Kohortenstudie betrachtete im zeitlichen Verlauf von 12 Monaten v.a. die Interventionseffekte anhand von varianzanalytischen Berechnungen und der Effektstärken bei Patienten aus Osteoporose-Selbsthilfegruppen und Patienten aus öffentlichen Apotheken. Die Arbeit zeigt, wie sich Interventionseffekte darstellen lassen und das sich die gesundheitsbezogene Lebensqualität bei den Patienten in den Selbsthilfegruppen sowie bei den pharmazeutisch betreuten Patienten in der Apotheke verbessert. Empfehlungen für den Einsatz geeigneter Lebensqualitätsmessinstrumente innerhalb des pharmazeutischen Betreuungsprozesses wurden abgeleitet. ····· 10361169554
····· lezzter Preis 16.49€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Dieses Buch vermittelt die mathematischen Zusammenhänge möglichst anschaulich. Deshalb sind die Darstellungen sehr ausführlich und durch zahlreiche Abbildungen verdeutlicht. Aufgebaut wird nur auf den Mathematikkenntnissen, die die meisten Studierenden der Wirtschaftswissenschaften tatsächlich haben. Bei der Darstellung des Stoffes wird also berücksichtigt, daß für viele, die mit dem Studium der Wirtschaftswissenschaften beginnen, ihre Schulzeit bereits um Jahre zurückliegen und auch längst nicht alle einen Mathematikleistungskurs belegt hatten. Außerdem sind in einem ausführlichen Anhang die wichtigsten mathematischen Zusammenhänge aus der Mittelstufe angeführt. In dem Buch werden aber nicht nur die Grundlagen vermittelt, sondern zusätzlich die für die Wirtschaftswissenschaften wesentlichen mathematischen Gebiete behandelt, welche durch typische ökonomische Anwendungen ergänzt werden. `Diese ausgezeichnete Darstellung sei nachdrücklich weiterhin empfohlen.` ekz-Informationsdienst (Besprechung der 9. Auflage) ····· 10361168577
····· lezzter Preis 29.90€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and realtime systems used in a safe tycritical environment. In this dissertation class diagrams, object diagrams, and OCL constraints are formalised. The formalisation serves as foundation for a trans lation of class diagrams, state machines, and constraints into the theorem prover PVS. This enables the formal verification of models defined in a subset of UML using the interactive theorem prover. The type system of OCL makes writing specifications difficult while the model is still under development. To overcome this difficulty a new type system is proposed, based on intersection types, union types, and bounded operator abstraction. To reduce the complexity of the model and to increase the structure of th especification, compositional reasoning is used. The introduction of history variables allows compositional specifications. Proof rules support compositional reasoning. The feasibility of the presented approach is demonstrated by two casestudies. The first one is the `Sieve of Eratosthenes` and the se cond one is a part of the medium altitude reconnaissance system (MARS) deployed in F-16 fighters of the Royal Dutch Air Force. ····· 10361158638
····· lezzter Preis 26.60€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray In der Dissertation werden Anwendungen der stochastischen Optimierung im Stromhandel und beim Erdgastransport vorgestellt. Ziel ist es, mathematische Modelle zu entwickeln, die die konkreten Fragestellungen hinreichend genau abbilden und gleichzeitig optimale Entscheidungen unter Ungewissheit noch berechenbar machen. Dabei sind die in den Problemen vorkommenden Nichtlinearitäten geeignet zu approximieren, um gemischt-ganzzahlige lineare Probleme zu erhalten, die vergleichsweise gut zu lösen sind. Zunächst werden einige Grundlagen der zweistufigen stochastischen Optimierung vorgestellt und verschiedene Lösungsverfahren benannt. Ausführlich wird auf einen Algorithmus zur zweistufigen stochastischen Optimierung gemischt-ganzzahliger linearer Probleme eingegangen. Mittels Szenariodekomposition über eine Lagrange-Relaxation der Nicht-Antizipativitätsbedingungen und in Kombination mit einem Branch-and-Bound-Verfahren macht er sich die Struktur der betrachteten sehr großen Optimierungsprobleme zu Nutze. Dieser Algorithmus dient zur Lösung der Anwendungen. In der ersten Anwendung geht es um die simultane Optimierung der Stromproduktion mit einem hydrothermischen Kraftwerkssystem und des Stromhandels eines Preisführers an einer Vortagesbörse, d. h. eines Marktteilnehmers, der die Preise spürbar beeinflussen kann. Vorgestellt wird ein gemischt-ganzzahliges lineares Modell zur optimalen Blockauswahl für ein Erzeugungssystem. Einige Nichtlinearitäten werden geeignet approximiert. Für den Börsenhandel wird ein ebenfalls gemischt-ganzzahliges lineares Modell entwickelt, welches das Produktionsmodell erweitert. Ziel ist es, die Kosten für die Produktion und den hinzugekauften Strom zu minimieren sowie die Einnahmen aus dem Stromverkauf zu maximieren - unter der Ungewissheit über die Gebote der anderen Marktteilnehmer. Der leitungsgebundene Erdgastransport bei ungewissem Bedarf wird als zweite Anwendung der zweistufigen stochastischen Optimierung behandelt. Gegeben ist ein Erdgastransportsystem, mit dessen Hilfe Gas über große Entfernungen zu Verbrauchsregionen befördert wird. Das Strömungsverhalten des Gases in den Leitungen sowie seine Kompression in Verdichtern stellen aufgrund der Nichtlinearitäten und der Betrachtung von Zeitperioden eine besondere Herausforderung bei der Modellierung und Lösung dar. In den Verdichtern und beim Schalten von Systemelementen entstehen zu minimierende Kosten. Es wird eine gemischt-ganzzahlige lineare Beschreibung des Problems entwickelt. Insgesamt gelingt es, geeignete Modellierungen für zwei Optimierungsprobleme aus der Energiewirtschaft zu finden. Sie werden mit dem praxisnahen Ansatz der zweistufigen stochastischen Optimierung - optimale Entscheidungen unter Ungewissheit - verbunden. Die Optimierungsprobleme werden aufgrund der Modellierung und dank der Nutzung moderner mathematischer Algorithmen und Software für konkrete reale Anwendungsbeispiele in praxistauglichen Rechenzeiten gelöst. ····· 10361158037
····· lezzter Preis 21.85€ ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Wasserstoff spielt bei der Herstellung von Halbleitern eine wichtige Rolle. In vielen Produktionsschritten von Halbleiterbauelementen, wie dem Ätzen von Strukturen und Schaltkreisen, ist Wasserstoff in Form von wässrigen Säuren und Lösungen vorhanden. Er diffundiert aufgrund seiner geringen Größe sehr leicht durch das Material und kann chemische Reaktionen mit dem Halbleiter, eingebrachten Fremdatomen (Dotierung) oder Verunreinigungen (Sauerstoff) eingehen. Es ist seit einiger Zeit bekannt, dass Wasserstoff im Halbleiter Störstellen (Dotieratome) passivieren [Pankove 1991, Pearton 1992] oder in bestimmten Temperaturbereichen die Sauerstoffdiffusion stark beschleunigen kann [Murray 1991, Myers 1992]. Dabei sind die zugrunde liegenden Prozesse oft noch nicht ganz verstanden. Um weitere Erkenntnisse über die ablaufenden Prozesse zu erhalten, wird in dieser Arbeit der Einfluss von Bor-Dotierung, Phosphor-Dotierung und Sauerstoff auf die Bildung wasserstoffähnlicher Myonenspezies in Silizium untersucht.Das positive Myon kann wie das Proton ein Elektron an sich binden und bildet somit wasserstoffähnliches Myonium. Da das Myon etwa 1/9 der Masse des Protons besitzt kann Myonium als leichtes Wasserstoff-Isotop angesehen werden, das sich chemisch nahezu identisch verhält. Die Myonenspektroskopie ist durch die Verwendung kernphysikalischer Methoden wesentlich empfindlicher bei der Vermessung geringster Wasserstoff-Konzentrationen, wie sie im Halbleiter vorkommen, als herkömmliche Methoden wie z.B. NMR, ESR oder IR-Spektroskopie. So wurde Myonium auf einem Bond-Center Platz (MuBC) schon 14 Jahre vor dem entsprechenden Wasserstoffzustand, in der NMR als AA9-Zentrum bekannt, entdeckt. Zusätzlich werden bei der Verwendung von Myonen Probleme wie Wasserstoff-Agglomeration oder Strahlenschädigungen, wie sie bei starker Protonenbestrahlung auftreten, elegant umgangen.Die Stuttgarter Myonengruppe des Max-Planck-Institutes für Metallforschung untersucht schon seit längerem mit Hilfe der Myonenspektroskopie wasserstoffähnliches Myonium, in eigenleitenden (intrinsischen) und dotierten Halbleitern [Major 1992, Iwanowski 1994, Scheuermann 1997, Schmidl 1997, Kormann 1998, Kormann 1999, Kormann 2000, Major 2000, Schefzik 2001].In dieser Arbeit wurden unterschiedlich dotierte Silizium-Kristalle (intrinsisch (eigenleitend), bor-dotiert (p-leitend), phosphor-dotiert (n-leitend)) die entweder nach dem Zonenschmelzverfahren (englisch: Float-Zone, FZ) oder nach dem Czochralski-Verfahren (hoher Sauerstoff-Gehalt) gezogen wurden untersucht. Mit dieser Arbeit wurden die Untersuchungen an Halbleitern abschließend behandelt und es konnten viele offene Fragen geklärt werden. So konnte durch den erstmaligen Nachweis einer in dotierten Halbleitern bisher nur aufgrund von Modellvorstellungen vermuteten Myonenspezies die Modellvorstellung überprüft und entscheidend überarbeitet werden. Zusätzlich bietet diese Arbeit viele Hinweise über den Aufbau und den Umgang mit der Messelektronik und den Hochfrequenz-Spulen. ····· 10361157975
für 71.10€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray The white-noise appearance of digital holograms has led researchers to exclusively employ uniform quantisation as a quantisation compression technique. During my research, I designed novel, and adapted conventional, iterative and non-iterative lossy nonuniform quantisation techniques, and completed the compression process by subsequently applying lossless coding. To quantify performance I combined an RMS metric computed in reconstruction space and compression ratio computed in digital hologram space. I show how iterative techniques (k-means, Kohonen competitive neural network, Kohonen self-organising map, and annealed Hopfield neural network) successfully exploit correlations between real and imaginary components of the digital holograms. Non-iterative techniques (companding, histogram quantisation, optimal quantisation, and wavelets) combine a uniform quantisation grid with nonuniform transformations of the grid and hologram data to trade reconstruction quality for speed. Finally, recognising the importance of security in data transmission, the resilience of encrypted digital holograms to quantisation is evaluated. ····· 10361147394
für 61.20€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Scour downstream irrigation and hydraulic structures is very dangerous because it can easily causes complete or at least partial failure of these structures if they are not designed to take to impact of scour into consideration. Sudden expanding stilling basins are used widely in irrigation canal systems downstream of weirs, regulators and barrages. Therefore, it is very important to predict the scour characteristics in these basins to enable a safe, efficient and economic design of sudden expanding stilling basins. Different techniques are used including dimensional analysis, experimental approach, visual analysis, statistical analysis and artificial neural network. The editor has a wide experience in the field of hydraulic engineering and water resources. He is the author of more than 170 scientific papers and several books in hydraulics. He has got many scientific prizes and awards. He supervised more than 20 MSc and PhD thesis. You should not miss the reading of this book ····· 10361147192
für 44.90€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Ja, es ist wahr und nicht zu vertuschen: Mann und Weib repräsentieren physiologisch zwei verschiedene Typen der Art.Henry Havelock Ellis (1859 -1939) war britischer Sexualforscher und Sozialreformer. Als studierter Mediziner, leistete er durch seine wissenschaftliche Erforschung sexueller Probleme wichtige Beiträge zum besseren Verständnis der menschlichen Sexualität. Er war einer der entschiedensten Verfechter allgemeiner Sexualerziehung und vertrat die für seine Zeit neue Auffassung, dass Schamhaftigkeit, Anstand und Nacktheit sich nicht ausschließen, sondern viele Kulturen, in denen öffentliche Nacktheit nicht tabuisiert ist, dennoch einen ausgeprägten Sinn für Scham und Anstand haben. Nachdruck der Originalausgabe aus dem Jahr 1894. ····· 10361137986
für 35.10€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray La caracterización de suspensiones concentradas es un campo de investigación activo de gran relevancia científica e industrial y donde la aplicación de la mecánica matemática permite desarrollar diseños de ingeniería más seguros y eficientes. Esta tesis de grado es un estudio teórico dividido en dos secciones, ambas en el marco de la reología aplicada a relaves mineros. La primera parte plantea una metodología eficiente para la construcción de la curva reológica de un fluido a partir de mediciones experimentales. Se describen e implementan distintas estrategias que han sido utilizadas históricamente para buscar soluciones numéricas aproximadas. Además, se realiza un análisis comparativo de estos métodos utilizando información experimental de relaves mineros. En la segunda parte se propone un modelo reológico original que da cuenta del comportamiento complejo observado en los experimentos. Globalmente, esta investigación contribuye, tanto de manera conceptual como práctica, a la comprensión de las suspensiones concentradas. La aplicación de los resultados que de aquí se desprenden puede conducir a mejoras significativas en procedimientos de análisis en laboratorios de reología. ····· 10361137748
für 44.10€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray Las cuencas hidrográficas subterráneas son territorios estratégicos, por constituir reservorios naturales de agua, que es la fuente de la vida como la conocemos. OTUA-MSCF, reúne para su solución, con una visión holística, los conflictos de uso de su superficie, interrelacionándolo con el sistema hidrológico subterráneo, fracciona el territorio para propiciar su manejo y gestión facilitando la gestión integrada de cuenca, suscita la adecuación del uso de suelo acorde a su valía y al valor hidrológico que subyace, y la preservación y recuperación estratégica del importante recurso hídrico. Beneficia el entendimiento y capacitación, tanto a especialistas, políticos y personas comunes, permitiendo una proyección y evaluación de impacto medible, y la consecución de la sustentabilidad del territorio. Interés para profesionales de la Planificación Física, Hidrología, Hidráulica, Geología, Geobiología, Geografía, Geomática, Medioambiente, Sociología, Salud y Economía entre otros ····· 10361137643
für 58.41€ kaufen ···· Rheinberg-Buch.de - Bücher, eBooks, DVD & Blu-ray En la actualidad, las empresas se enfrentan a un mundo dinámico y cambiante, y para mantenerse en la vanguardia, ser líderes y competentes deben enfrentarse a diversos desafíos día a día, para ello es necesario que su personal esté capacitado para desempeñar en sus roles con éxito. Esto se puede llevar a través de un proceso de Gestión del Conocimiento en todos los niveles y para ello las Tecnologías de Información y Comunicación ofrecen grandes ventajas y bondades. ····· 10361136953· 1 ·· 2 ·· 3 ·· 4 ·· 5 ·
Affiliate Marketing
AdHoc MeldungenAffiliate & PublisherAdvertiser & MerchantAcademyAntwortenArtikelsucheAdventskalender
AffilitivProduktdatenPreisvergleich
