Zobrazeno 1 - 10
of 251
pro vyhledávání: '"Carsten, Otto"'
Autor:
Dosch, Jörn
ASIEN: The German Journal on Contemporary Asia, Nr. 90 (2004): ASIEN (Januar)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5df749ffdf81c488e81b690750a60a1
Autor:
Carsten Otto
Publikováno v:
CME. 18:51-58
Die Moglichkeiten in der Therapie des Typ-2-Diabetes haben sich in den letzten Jahren erfreulicherweise deutlich verbessert. Wahrend Metformin das Mittel der ersten Wahl bleibt und demnach bei fast allen Typ-2-Diabetikern eingesetzt wird, hat sich vo
Autor:
Carsten Otto
Publikováno v:
MMW - Fortschritte der Medizin. 160:41-44
Typ-2-Diabetiker werden uberwiegend in der Hausarztpraxis versorgt. Klappt das wirklich immer gut? Die wichtigsten Aufgaben — von der Fruhdiagnostik uber die Festlegung der Therapieziele bis hin zu Kontrolluntersuchungen — fasst der nachfolgende
Autor:
Carsten, Otto
Publikováno v:
MMW Fortschritte der Medizin. 160(7)
Autor:
Peter Schneider-Kamp, Stephanie Swiderski, Carsten Otto, Florian Frohn, Marc Brockschmidt, Jera Hensel, Jürgen Giesl, Martin Plücker, Thomas Ströder, Carsten Fuhs, René Thiemann, Fabian Emmes, Cornelius Aschermann
Publikováno v:
Giesl, J, Aschermann, C, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Hensel, J, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2017, ' Analyzing Program Termination and Complexity Automatically with AProVE ', Journal of Automated Reasoning, vol. 58, no. 1, pp. 3-31 . https://doi.org/10.1007/s10817-016-9388-y
In this system description, we present the tool AProVE for automatic termination and complexity proofs of Java, C, Haskell, Prolog, and rewrite systems. In addition to classical term rewrite systems (TRSs), AProVE also supports rewrite systems contai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20ed30e232c853f8e57d105104d9844a
https://findresearcher.sdu.dk:8443/ws/files/141379108/Analyzing_Program_Termination_and_Complexity_Automatically_with_AProVE.pdf
https://findresearcher.sdu.dk:8443/ws/files/141379108/Analyzing_Program_Termination_and_Complexity_Automatically_with_AProVE.pdf
Publikováno v:
Clinical Hemorheology and Microcirculation. 41:137-142
Hemorheological abnormalities are independent cardiovascular risk indicators and adversely affect the outcome of cardiovascular disease. Single LDL apheresis treatment was shown to improve blood and plasma viscosity, red cell aggregation and deformab
Autor:
Andreas Pfeiffer, K. G. Parhofer, R. J. A. Frost, Jochen Spranger, Bärbel Otto, Carsten Otto, M. Vogeser
Publikováno v:
Acta Diabetologica. 44:65-68
Lipid-lowering therapy is associated with reduced cardiovascular risk. The aim of the present study was to investigate whether lipid-lowering therapy might be associated with changes in the concentrations of metabolically important hormone concentrat
Publikováno v:
The American Journal of Cardiology. 98:66-69
Large interventional studies have shown that statins may reduce the incidence of type 2 diabetes mellitus. However, it is uncertain whether short-term statin therapy can affect insulin sensitivity in patients with the metabolic syndrome. We evaluated
Publikováno v:
British Journal of Clinical Pharmacology. 61:27-30
Aims Stress hormones might be involved in motion sickness. The influence of loperamide on kinetosis-induced nausea and stress hormone release was investigated in a placebo-controlled, cross-over study. Methods Standardized rotation around the vertica
Publikováno v:
Journal of Lipid Research, Vol 45, Iss 8, Pp 1459-1467 (2004)
LDL can be subfractionated into buoyant (1.020-1.029 g/ml(-1)), intermediate (1.030-1.040 g/ml(-1)), and dense (1.041-1.066 g/ml(-1)) LDLs. We studied the rebound of these LDL-subfractions after LDL apheresis in seven patients with heterozygous famil