Rajeev Joshi Livres

This book examines the everyday operations of the Gestapo, the Nazi secret police. The Gestapo were able to detect the smallest signs of non-compliance with Nazi doctrines, especially 'crimes' pertaining to the private spheres of social, family, and sexual life. One of the key factors in the enforcement of Nazi policies was the willingness of German citizens to provide the authorities with information about suspected 'criminality'. This book examines women denouncers in Nazi Germany through close examination of the Gestapo files. The author seeks to answer questions about how women in particular used denunciation and why so many ordinary women denounced 'deviants and dissenters' to the Gestapo.

Ziel dieser Arbeit ist die Entwicklung eines semi-aktiv gedämpften Spannfutters zur Reduzierung von Rattern. Zunächst wurden die Randbedingungen des bestehenden Spannfutters mittels Modalanalyse ermittelt. Anschließend wurden die Grenzen des Prozesses für das bestehende Fräsfutter experimentell untersucht. Bei der Konstruktion des Prototyps wird die Produktentwicklungsmethodik nach der VDI-Richtlinie 2221 angewendet. Elektrorheologische Flüssigkeiten ändern ihre Viskosität, wenn sie durch ein elektrisches Feld aktiviert werden. Die Anpassung des bestehenden Werkzeugsystems für die Integration von elektrorheologischen Flüssigkeiten wird in zwei Hauptaspekten gegliedert. Erstens die Konstruktion eines Massenrings, der mit Hilfe der elektrorheologischen Flüssigkeit an das Fräsfutter zur Schwingungsdämpfung gekoppelt wurde. Die Konstruktion des Massenrings wurde iterativ durch Experimente bestimmt. Zweitens die Integration der Möglichkeit zur Übertragung der elektrischen Spannung beim Fräsen. Die größte Herausforderung besteht hier darin, eine stabile Spannungsübertragung in das rotierende System zu ermöglichen. Die Validierung des Prototyps wurde durch Schwingungsanalyse durchgeführt. Durch Fräsexperimente wurde die Anwendung des entwickelten Prototyps für einen Anwendungsfall demonstriert.

This thesis presents the properties of magnetic and velocity fields of sunspots at various scales in the photospheric and upper chromospheric layers of the Sun. An analysis of the Doppler velocity maps of penumbral filaments obtained from the deeply formed photospheric C I 5380 Å spectral line observed with the Swedish Solar Telescope (SST) provides observational evidence of overturning convection as the predominant heat transport mechanism in the penumbra. A study of the vertical gradient of the sunspot magnetic field in the photospheric layer reveals the presence of patches in the inner penumbra, where the magnetic field decreases with depth. The three dimensional structure of the magnetic field of a sunspot is analyzed using the photospheric Si I 10827.1 Å spectral line and the chromospheric He I triplet at 10830 Å observed at the German Vacuum Tower Telescope (VTT).

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

The Rebound Effect 1 beschreibt die Firma Rebound Effect und die abenteuerliche Gechichte ihres Mitarbeiters Harry. The Rebound Effect 2 ist die Fortsetzung, in der viele ungeklärte Fragen des 1sten Buches beantwortet werden und die Firma neu aufgebaut wird. Erneut eine spannende Geschichte mit vielen witzigen Details, neuen eigenartigen Figuren und kleinen philososphischen Betrachtungsweisen, die rasant ihrem Höhepunkt entgegensteuert. The Rebound Effect 1 (Kurzzusammenfassung) Jeff Rebound setzt in seiner Firma 'Rebound Effect' auf die Älteren, die keiner mehr auf dem Arbeitsmarkt will. Deren Erfahrung nutzt er geschickt, indem er ihnen dreifache Gehälter zahlt. Dafür entfallen Rentenbeiträge und Krankenversicherung, wer das 65. Lebensjahr erreicht, scheidet aus. Allerdings auch aus dem Leben. Dieses letzte Jahr feiern die Letztjährigen, sogenannte Relienten, in allen nur erdenklichen Ausschweifungen. Ebenfalls scheidet aus, wer 30 Krankheitstage überschritten hat. Das Konzept geht auf. Die Motivation ist hoch und keiner möchte sein auschweifendes 65. Lebensjahr missen. Bis auf einen: Der Vater von Susan Lauren möchte weiterleben.