Refine
Has Fulltext
- no (11868) (remove)
Year of publication
Document Type
- Diploma Thesis (8212)
- Bachelor Thesis (2216)
- Master's Thesis (899)
- Doctoral Thesis (351)
- Article (132)
- Part of a Book (31)
- Book (22)
- Other (5)
Institute
- Maschinenbau und Kraftfahrzeugtechnik (bis 2018) (4478)
- Physikalische Technik, Informatik (1655)
- Gesundheits- und Pflegewissenschaften (1450)
- Wirtschaftswissenschaften (1368)
- Elektrotechnik (741)
- Sprachen (571)
- Angewandte Kunst (369)
- Architektur (354)
- Kraftfahrzeugtechnik (315)
- Ingenieurhochschule (254)
Language
- German (11651)
- English (201)
- French (11)
- Spanish (3)
- Multiple languages (2)
Electrical and thermal measurements were conducted during the plasma electrolytic polishing (PEP) of cemented tungsten carbide (WC-Co) materials to characterize energetic aspects of the process in relation to the temporal development of the gaseous layer near the workpiece. The power transferred to the workpiece is determined using a calorimetric probe and employing the time derivative of the temperature curve. It shows distinct heating phases due to the generation of the gaseous layer. At the beginning of the process, a typical power of 367 ± 17 W is transferred to the workpiece of a surface area of 14 cm2. At longer process times, a stabilized gaseous layer limits the power transferred to the workpiece to 183 ± 3 W. In an attempt to describe the heat transferred to the electrolyte, the electrolyte temperature was measured using a thermocouple situated 15 mm away from the workpiece. The local electrolyte temperature increases from 70 to 81 °C for an immersion depth of 20 mm. Moreover, the spatiotemporal development of the electrolyte temperature was obtained by 2D-hydrodynamic modeling using COMSOL Multiphysics®. The modeling results for the local temporal temperature development are in excellent agreement with the experimental values when the turbulent model is applied up to t = 65 s. Afterward, the laminar model leads to a better agreement. Furthermore, line scan x-ray photoelectron spectroscopy revealed that aliphatic carbon was preferentially removed. Only a slight compositional gradient in the vertical direction after the PEP process was observed.
Liquid deposition modeling is an energy-efficient, additive manufacturing process for pasty materials. Physical material properties were determined for a water-based paste consisting of the binder carboxymethyl cellulose and wood flour. A continuously operating dual screw extruder was developed, which was used to manufacture a table frame with a height of 18 cm.
Introduction: In the spring of 2020, coronavirus disease 2019 posed a substantial challenge for countries and their healthcare systems. In Germany, over 70% of all cancer patients are treated in an outpatient setting, so gynecologic oncology practices are the guarantors of optimal patient care. We developed a survey to evaluate the management of gynecologic oncology patients.
Methods: The survey consisted of 38 questions and was sent to the members of the Berufsverband Niedergelassener Gynäkologischer Onkologen in Deutschland e.V. (BNGO), a professional association of gynecologic oncologists in the outpatient sector in Germany.
Results: The survey was completed by 54 out of 133 (41%) gynecologic oncologists from 14 out of 15 (93%) federal states where the BNGO is represented. Facing the pandemic, popular measures were mask requirements (100%), restriction of access to practices (94%), increased number of disinfectant dispensers (85%), installment of panes of acrylic glass (76%), or spatial alterations (67%). For most patients the pandemic had no influence on prioritization of therapies (82%) or prescribed systemic treatments (87%). Despite an increase in perceived psychological burden among the staff (72%), 85% (45/54) of the practices were not offered any additional psychological support.
Discussion and Conclusion: As most cancer patients in Germany are treated in an outpatient setting, a suitable reaction of oncology centers to the new circumstances was crucial to secure optimal treatment and patient care. Nevertheless, the low prioritization of mental health or distress of healthcare workers poses a serious threat to the maintenance of optimal medical care in further waves of the pandemic.
Hintergrund: Wenn professionelle Unterstützung fehlt, erkennen pflegende Angehörige selten eigene Überlastungssituationen und nehmen Unterstützungsleistungen bei Pflegebedürftigkeit daher unzureichend in Anspruch.
Ziel: Die Studie untersucht die Versorgung von Menschen mit Pflegebedarf, den Kenntnisstand zu Entlastungsleistungen sowie Belastungsfaktoren bei der Übernahme pflegerischer Leistungen aus Sicht informell Pflegender und Nicht-Pflegender.
Methode: Es wurde eine Querschnittstudie mittels standardisierter Computer Assisted Telephone Interviews (CATI) mit Personen ab dem 18. Lebensjahr in Sachsen durchgeführt. Deskriptive und bivariate Statistiken wurden berechnet.
Ergebnisse: Die Versorgung durch einen ambulanten Pflegedienst oder durch pflegende Angehörige bewerteten von 601 Teilnehmenden 259 informell Pflegende gegenüber 342 Nicht-Pflegenden signifikant besser ( N = 601). Weiterhin hatten die informell Pflegenden und die Nicht-Pflegenden unterschiedliche Kenntnisse über den nächstgelegenen Ort der Pflegeberatung und über Ausgleichzahlungen der Rentenversicherung. Schlussfolgerungen: In einzelnen Bereichen der abgefragten Beratungsleistungen und Entlastungsmöglichkeiten hat sich das Antwortverhalten von pflegenden Angehörigen gegenüber den anderen Teilnehmenden signifikant unterschieden. Es kann von einem geringen Informationsvorsprung der pflegenden Angehörigen bei der Inanspruchnahme von Unterstützungsleistungen ausgegangen werden.
Hintergrund: Die COVID-19(„coronavirus disease 2019“)-Pandemie hat die Ad-hoc-Digitalisierung an Hochschulen vorangetrieben. Zugleich stand die digitale Hochschullehre vor der Herausforderung der Ausgestaltung der Lehre im Zusammenhang mit den vorbestehenden Ressourcen, der digitalen und didaktischen Kompetenzen sowie der zur Verfügung stehenden technischen Infrastruktur.
Ziel der Arbeit/Fragestellung: Das Ziel der Umfrage war die Einschätzung der digitalen Lehre, die die Präsenzlehre infolge der COVID-19-Pandemie zum großen Teil bzw. gänzlich ersetzt hat, aus der Perspektive der Lehrenden in Public Health, Medizin und Pflege.
Material und Methode: Die Querschnitterhebung fand online von Juni bis August 2020 statt und die Daten wurden über www.soscisurvey.de erhoben. Die schriftliche Befragung wurde unter Mitgliedern der Deutschen Gesellschaft für Public Health (DGPH) und des Ausschusses Digitalisierung der Gesellschaft für medizinische Ausbildung (GMA) und der Sektionen Bildung und Beratung der Deutschen Gesellschaft für Pflegewissenschaft (DGP) sowie der Arbeitsgruppe Lehre der Deutschen Gesellschaft für Medizinische Soziologie (DGMS) durchgeführt (n = 100).
Ergebnisse: Bei der Nutzung der digitalen Technologien in den Veranstaltungen rangieren auf der obersten Stelle Präsentationstools, gefolgt von Lernmanagementsystemen, Videoangeboten sowie digitalen Texten. Die Teilnehmenden geben hinsichtlich der Nutzung unterschiedliche (Konferenz‑)Tools an. Das Erstellen von Lehrvideos bejahen 53 % der Befragten, Abstimmungstools) werden bis 50 % als unbekannt genannt. Als Herausforderungen werden digitale Infrastruktur der Hochschulen, fehlende didaktische Beratung/Unterstützung sowie rechtliche Fragen (Nutzungsrechte, Datenschutz) angegeben.
Schlussfolgerung: Neue Technologie werden vorwiegend für Wissenserwerb, Wissensvermittlung genutzt, selten zur Aktivierung von Studierenden und zur Gestaltung kollaborativer Lehr- und Lernarrangements sowie Neugestaltung von Lernaufgaben und Lernprozessen (individualisiertes Lernen). Welche der aktuell erprobten digitalen Lehr- und Lernformate zukünftig in der Hochschullehre zunehmend eingesetzt werden, hängt von vielen Faktoren ab, u. a. von digitaler Kompetenz sowie der Bereitschaft der Lehrenden und Lernenden die digitale Lernkultur mitzugestalten.
The removal of bacterial infections within the root canal system is still a challenge. Therefore, the cleansing effect of established and new irrigation-protocols (IP) containing silver diamine fluoride (SDF) 3.8% on the whole root canal system was analyzed using quantitative PCR (qPCR) and 4′,6-diamidino-phenylindole-(DAPI)-staining. Extracted human premolars were instrumented up to F2 (ProTaper Gold) under NaCl 0.9% irrigation and incubated with Enterococcus faecalis for 42 days. Subsequently, different ultrasonically agitated IP were applied to the roots: control (no irrigation), 1. NaOCl 3%, EDTA 20%, CHX 2%, 2. NaOCl 3%, EDTA 20%, 3. NaOCl 3%, EDTA 20%, SDF 3.8%, 4. SDF 3.8%, and 5. NaCl 0.9%. One half of the root was investigated fluorescent-microscopically with DAPI. The other half was grinded in a cryogenic mill and the bacterial DNA was quantified with qPCR. The qPCR results showed a statistically significant reduction of bacteria after the application of IP 1, 2, and 3 compared to the control group. While IP 4 lead to a bacterial reduction which was not significant, IP 5 showed no reduction. These data corresponded with DAPI staining. With qPCR a new molecular-biological method for the investigation of the complete root canal system was implemented. The novel IP 3 had an equally good cleansing effect as the already established IP.
Routing games over time are widely studied due to various applications, e.g., transportation, road and air traffic control, logistic in production systems, communication networks like the internet, and financial flows. In this article, we present a new competitive packet routing game with edge priorities motivated by traffic and transportation. In this model a set of selfishly acting players travels through the network over time. If the number of players who want to enter an edge at the same time exceeds the inflow capacity of this edge, then edge priorities with respect to the preceding edge are used to resolve these conflicts, which is similar to right-of-way rules in traffic. We analyze the efficiency of pure Nash equilibria, present an efficient algorithm for computing equilibria in symmetric games, and show that it is NP-hard to decide whether a Nash equilibrium exists in an asymmetric game. Furthermore, we address the problem of constructing optimal priorities.
Certifying Fully Dynamic Algorithms for Recognition and Hamiltonicity of Threshold and Chain Graphs
(2023)
Solving problems on graphs dynamically calls for algorithms to function under repeated modifications to the graph and to be more efficient than solving the problem for the whole graph from scratch after each modification. Dynamic algorithms have been considered for several graph properties, for example connectivity, shortest paths and graph recognition. In this paper we present fully dynamic algorithms for the recognition of threshold graphs and chain graphs, which are optimal in the sense that the costs per modification are linear in the number of modified edges. Furthermore, our algorithms also consider the addition and deletion of sets of vertices as well as edges. In the negative case, i.e., where the graph is not a threshold graph or chain graph anymore, our algorithms return a certificate of constant size. Additionally, we present optimal fully dynamic algorithms for the Hamiltonian cycle problem and the Hamiltonian path problem on threshold and chain graphs which return a vertex cutset as certificate for the non-existence of such a path or cycle in the negative case.
The aim of this study was to investigate the antimicrobial efficacy of different disinfection protocols in a novel Enterococcus faecalis biofilm model based on a visualization method and to evaluate the potential alteration of dentinal surface. A total of 120 extracted human premolars were allocated to 6 groups with different irrigation protocols. The assessment of the effectiveness of each protocol and the alteration of dentinal surface were visualized by using SEM and fluorescence microscopy (DAPI). A dense E. faecalis biofilm with a penetration depth of 289 μm (medial part of the root canal) and 93 μm (apical part) validated that the biofilm model had been successfully implemented. A significant difference between the 3% NaOCl groups and all the other groups in both observed parts of the root canal (p < 0.05) was detected. However, the SEM analysis revealed that the dentinal surface in the 3% NaOCl groups was severely altered. The established biofilm model and the visualization method based on DAPI are appropriate for bacterial quantification and evaluation of the depth effect of different disinfection protocols in the root canal system. The combination of 3% NaOCl with 20% EDTA or MTAD with PUI allows the decontamination of deeper dentine zones within the root canal but simultaneously alters the dentinal surface.
Sometimes cranioplasty is necessary to reconstruct skull bone defects after a neurosurgical operation. If an autologous bone is unavailable, alloplastic materials are used. The standard technical approach for the fabrication of cranial implants is based on 3D imaging by computed tomography using the defect and the contralateral site. A new approach uses 3D surface scans, which accurately replicate the curvature of the removed bone flap. For this purpose, the removed bone flap is scanned intraoperatively and digitized accordingly. When using a design procedure developed for this purpose creating a patient-specific implant for each bone flap shape in short time is possible. The designed skull implants have complex free-form surfaces analogous to the curvature of the skull, which is why additive manufacturing is the ideal manufacturing technology here. In this study, we will describe the intraoperative procedure for the acquisition of scanned data and its further processing up to the creation of the implant.
Models of artificial root canals are used in several fields of endodontic investigations and pre-clinical endodontic training. They allow the physical testing of dental treatments, the operating of instruments used and the interaction between these instruments and the tissues. Currently, a large number of different artificial root canal models exist whose geometry is created either on the basis of selected natural root canal systems or to represent individual geometrical properties. Currently, only a few geometric properties such as the root canal curvature or the endodontic working width are taken into consideration when generating these models. To improve the representational capability of the artificial root canal models, the aim of the current study is therefore to generate an artificial root canal based on the statistical evaluation of selected natural root canals. Here, the approach introduced by Kucher for determining the geometry of a root canal model is used, which is based on the measurement and statistical evaluation of the root canal center line’s curvatures and their cross-sectional dimensions. Using the example of unbranched distal root canals of mandibular molars (n = 29), an artificial root canal model representing the mean length, curvature, torsion and cross-sectional dimensions of these teeth could be derived.
This article presents a cost-effective ultraviolet-ozone cleaner (UV/O3 Cleaner) for surface pre-treatment of substrates in the field of semiconductor technology. The cleaner consists of two chambers, the upper one contains the electronics, including the time counter. The lower chamber contains the two UV sterilisation lamps and a UV reflector of anodized aluminium, which confines the area of high Ozone concentration in the area of interest. The device is successfully used for surface cleaning and modification of different materials. To this end, the two important wavelengths 253.7 nm (excitation of organic residues) and 184.9 nm (production of ozone from the atmospheric environment as a strong oxidant) were first detected. The effectiveness of UV/O3 cleaning is demonstrated by improving the properties of indium tin oxide (ITO) for OLED fabrication. The contact angle of water to ITO could be reduced from 90° to 3° and for diiodomethane, it was reduced from 55° to 31° within the 10 min of irradiation. This greatly improved wettability for polar and non-polar liquids can increase the flexibility in further process control. In addition, an improvement in wettability is characterized by measuring the contact angles for titanium dioxide (TiO2) and polydimethylsiloxane (PDMS). The contact angle of water to TiO2 decreased from 70° to 10°, and that of diiodomethane to TiO2 from 54° to 31°. The wettability of PDMS was also greatly increased. Here, the contact angle of water was reduced from 109° to 24° and the contact angle to diiodomethane from 89° to 49°.
Article Highlights
We report a cost-effective dry-cleaning device for surface cleaning and modification based on ultraviolet-ozone irradiation.
Contact angle measurements show an increase of wettability for different materials due to surface modification.
The UVO3 pre-treatment improves layer formation and optoelectrical properties of OLEDs.
Recent surveys and political research have shown that the acceptance of the political programmes of populist parties, such as the “Alternative für Deutschland (AfD)”, is relatively high amongst the population of the three eastern German federal states, especially in Saxony, where the AfD won nine of the 13 rural districts during the local elections in May 2019. Thus, it seems relevant to take a closer look at the persuasive discourse of a so-called populist party. In its public discourse, the AfD responds to the fears and concerns of those people who tend to use social media platforms to gain information when making political decisions. The aim of the article is to show which verbal and visual resources characterize the persuasive discourse of the AFD Saxony on their Facebook account. For this purpose, we propose a qualitative, multimodal analysis of selected entries which the party uploaded on its Facebook account between November 2018 and March 2019.
This paper presents numerical analysis of the discrete fundamental solution of the discrete Laplace operator on a rectangular lattice. Additionally, to provide estimates in interior and exterior domains, two different regularisations of the discrete fundamental solution are considered. Estimates for the absolute difference and lp‐estimates are constructed for both regularisations. Thus, this work extends the classical results in the discrete potential theory to the case of a rectangular lattice and serves as a basis for future convergence analysis of the method of discrete potentials on rectangular lattices.
Traffic calming is introduced to minimise the negative results of motor vehicle use, for example, low safety level or quality of life, high noise and pollution. It can be implemented through the introduction of road infrastructure reducing the velocity and the traffic volume. In this paper, we studied how traffic-calming influences the traffic assignment. For the research, a traffic-calming measure of speed cushions on the Stachiewicza street in Krakow was taken. A method of extracting trajectories from aerial footage was shown, and it was used to build a model. For a given example, through driving characteristics research and microscopic modelling, volume–delay BPR functions were estimated—for a street with and without traffic calming. Later, a toy network of two roads of the same length, connecting the same origin and destination, was simulated using an equilibrium traffic assignment method. Simulations were conducted both with the use of PTV Vissim and Visum software and through individual calculations. According to the results of this paper, there was a difference in traffic volume according to the equilibrium traffic assignment in the aforementioned toy network as a function of total network traffic volume.
Structures made of the thermoplastic polymer polyether ether ketone (PEEK) are widely used in dynamically-loaded applications due to their high-temperature resistance and high mechanical properties. To design these dynamic applications, in addition to the well-known stiffness and strength properties the vibration-damping properties at the given frequencies are required. Depending on the application, frequencies from a few hertz to the ultrasonic range are of interest here. To characterize the frequency-dependent behavior, an experimental approach was chosen and applied to a sample polymer PEEK. The test setup consists of a piezoelectrically driven base excitation of the polymeric specimen and the non-contact measurement of the velocity as well as the surface temperature. The beam’s bending vibrations were analyzed by means of the Timoshenko theory to determine the polymer’s storage modulus. The mechanical loss factor was calculated using the half-power bandwidth method. For PEEK and a considered frequency range of 1 kHz to 16 kHz, a storage modulus between 3.9 GPa and 4.2 GPa and a loss factor between 9 × 10−3 and 17 × 10−3 were determined. For the used experimental parameters, the resulting mechanical properties were not essentially influenced by the amplitude of excitation, the duration of excitation, or thermal degrad.ation due to self-heating, but rather slightly by the clamping force within the fixation area.
Lewis–Mogridge Points: A Nonarbitrary Method to Include Induced Traffic in Cost-Benefit Analyses
(2020)
We propose a new method to estimate benefits of road network improvements, which allows to include the induced demand without arbitrary assumptions. Instead of estimating induced demand (which is nontrivial and hardly possible in practice), we search for demand induction where initial benefits are mitigated to zero. Such approach allows to formulate a dual measure of benefit, covering both the potential benefits and the likelihood of consuming them by the induced traffic. We first estimate benefits of road network improvement assuming that traffic demand is fixed. Consequently, we find demand model configurations at which the benefits of the new investment become null, i.e., all the initial benefits are consumed by the traffic demand growth. We call such states of induced demand the Lewis–Mogridge points of the analysed improvement. We select the most probable of such points and use it to calculate the proposed novel indicator μ, for which the initial benefits (obtained under a fixed-demand assumption) are multiplied with a demand increase rate needed to consume them. We believe that such measure allows to include the critical phenomena of induced traffic and, at the same time, to overcome problems associated with reliable estimation of induced demand. As we illustrate with the case of two alternative road improvement schemes in Kraków, Poland, the proposed method allows to estimate maximal threshold of induced traffic and to select scenario more resilient to induced traffic.
Effect of acoustic excitation on fiber-reinforced polypropylene and the influence on melt viscosity
(2021)
The paper describes a novel technological approach to influencing the rheological properties of thermoplastic materials exposed to acoustic energy. The flow behavior of polypropylene with different mass percentages of glass fibers is investigated in a parallel plate rheometer under high-frequency longitudinal excitation. The influence of oscillation frequency on the melt viscosity is explained by means of shear thinning criteria. The dependence of the oscillation shape using sinusoidal excitation on shear thinning as a function of different fiber reinforcement percentages is also investigated. A phenomenological view describes the mutually influencing parameters with regard to different material compositions and different excitation frequencies over the time course of the rheometric measurement. Interacting relationships are analyzed and discussed and the potential of the actuator system to influence the plastic melt is worked out. Based on this, a technological approach follows which describes the transfer of an oscillating mold surface to plastics processing methods, which, especially in the case of energy-intensive injection molding technology, leads to the expectation of possible resource efficiency in energy and material.
Hintergrund: Der überwiegende Teil der Patienten in Deutschland verstirbt entgegen ihres Wunsches nicht zu Hause. Eine Entscheidungshilfe für das notfallmedizinische Team kann nachfolgende Klinikeinweisungen von Patienten am Lebensende vermeiden.
Material und Methoden: Die Entscheidungshilfe Notarzt wurde im Rahmen des G-BA-Projektes AVENUE-Pal basierend auf einem Expertenkonsens mittels qualitativer und quantitativer Befragungen entwickelt. Sie stellt einen Teilaspekt des Gesamtprojektes dar.
Ergebnisse: Die EH Notarzt definiert 7 Ziele, die durch die Dimensionen „Information“, „Beratung“, „Unterstützung“, „Schulung“, „Anleitung“, „Übung“, „Kooperation“ und „Dokumentation“ erreicht werden sollen. Die EH Notarzt stellt eine Möglichkeit der Optimierung der notfallmedizinischen Behandlung von Patienten am Lebensende dar.
Diskussion: Die EH Notarzt ist eine Entwicklung zur Verbesserung der präklinischen Versorgung von Patienten am Lebensende und zur Vermeidung von Klinikeinweisungen am Lebensende. Derzeit ist die EH Notarzt ein theoretisches Hilfsmittel, welches in die praktische Anwendung überführt werden und weiterhin an die Notwendigkeiten der täglichen Patientenversorgung angepasst werden muss.
Sodium iron hexacyanoferrate (NaFeHCF) films were electrodeposited on Au/Cr/Si for the study of growth behavior and physical properties. The NaFeHCF films were studied by different analytical methods to prove the chemical composition, morphology and crystal structure. The grains of the film grow with a cubic structure with an average lattice parameter of 10.10 Å and the preferential growth direction along the [111] direction of the cubic cell. The films show a repeatable bipolar resistive switching behavior accompanied by high current changes (up to a factor of ~105). The different resistive states in the materials are dominated by ohmic conduction.
The electrical conduction mechanism of resistive switching Prussian white (PW) thin films obtained by the electrodeposition method was examined by AC impedance spectroscopy and DC current–voltage measurements. Using an electrode tip to contact PW grown over Au, robust unipolar resistive switching was observed with a current change of up to three orders of magnitude, high repeatability, and reproducibility. Moreover, electrical impedance spectroscopy showed that the resistive switching comes from small conductive filaments formed by potassium ions before the establishment of larger conductive channels. Both voltammetry and EIS measurements suggest that the electrical properties and conductive filament formation are influenced by defects and ions present in the grain boundaries. Thus, PW is a potential material for the next generation of ReRAM devices.
Prussian blue (PB) layers were electrodeposited for the fabrication of Au/PB/Ag stacks to study the resistive switching effect. The PB layers were characterized by different techniques to prove the homogeneity, composition, and structure. Electrical measurements confirmed the bipolar switching behavior with at least 3 orders of magnitude in current and the effect persisting for the 200 cycles tested. The low resistance state follows the ohmic conduction with an activation energy of 0.2 eV.
Die fortschreitende Vernetzung von Geräten im Internet der Dinge in Kombination mit der Digitalisierung verändert Märkte und Branchen nachhaltig. Im Rahmen des DiWo-Chain Projektes wird an der Entwicklung und lokalen Integration der Blockchain-Technologie in digitale Dienstleistungen der Wohnungswirtschaft geforscht. Durch die verwendete Blockchain-Technologie soll die Gestaltung von effizienten, betriebs-, manipulations- und datenschutzsicheren Dienstleistungen der Wohnungswirtschaft ermöglicht werden. In diesem Beitrag wird eine Lösung beschrieben, welche die Integration und Realisierung vereinfacht. Zur Umsetzung wurde eine Java OSGi-Anwendung in Kombination mit einer Angular-Anwendung für die Interaktion mit der Hyperledger Fabric Blockchain entwickelt. Diese Blockchain-basierte Lösung kann dynamisch für diverse Anwendungsfälle angepasst werden. In diesem Beitrag werden ausgewählte Szenarien der Wohnungswirtschaft beschrieben, die für den Einsatz der entwickelten Lösung geeignet sind.
Narrations autour du café sur le site web de Nespresso France: Exclusivité, exotisme et durabilité
(2022)
This paper deals with systematic approaches for the analysis of stability properties and controller design for nonlinear dynamical systems. Numerical methods based on sum-of-squares decomposition or algebraic methods based on quantifier elimination are used. Starting from Lyapunov’s direct method, these methods can be used to derive conditions for the automatic verification of Lyapunov functions as well as for the structural determination of control laws. This contribution describes methods for the automatic verification of (control) Lyapunov functions as well as for the constructive determination of control laws.