Search

Your search keyword '"Christian Herde"' showing total 108 results

Search Constraints

Start Over You searched for: Author "Christian Herde" Remove constraint Author: "Christian Herde"
108 results on '"Christian Herde"'

Search Results

1. Expression of Intelectin-1, also known as Omentin-1, is related to clinical phenotypes such as overweight, obesity, insulin resistance, and changes after bariatric surgery

2. Association of plasma proteomics with mortality in individuals with and without type 2 diabetes: Results from two population-based KORA cohort studies

14. Association of plasma proteomics with incident coronary heart disease in individuals with and without type 2 diabetes: results from the population-based KORA study

15. Omentin associates with serum metabolite profiles indicating lower diabetes risk: KORA F4 Study

17. The association between dairy intake in adolescents on inflammation and risk markers of type 2 diabetes during young adulthood: results of the DONALD study

18. Network reconstruction for trans acting genetic loci using multi-omics data and prior information

19. Chronic air pollution-induced subclinical airway inflammation and polygenic susceptibility

20. Association of a lifestyle score with cardiometabolic markers among individuals with diabetes: a cross-sectional study

21. Higher Renal Net Acid Excretion, but Not Higher Phosphate Excretion, during Childhood and Adolescence Associates with the Circulating Renal Tubular Injury Marker Interleukin-18 in Adulthood

22. Associations of the vasoactive peptides CT-proET-1 and MR-proADM with incident type 2 diabetes: results from the BiomarCaRE Consortium

24. Parallel SAT Solving in Bounded Model Checking

25. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

26. HySAT: An efficient proof engine for bounded model checking of hybrid systems

27. Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

28. Epigenome-wide association study of serum urate reveals insights into urate co-regulation and the SLC2A9 locus

29. Meta-analyses identify DNA methylation associated with kidney function and damage

30. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

31. Conclusion

32. Hybrid Dynamical Systems

33. Extending DPLL for Pseudo-Boolean Constraints

34. Integration of DPLL-SAT and Linear Programming

35. Integration of DPLL and Interval Constraint Solving

37. Application of Constraint Solving and ODE-Enclosure Methods to the Analysis of Hybrid Systems

38. Analysis of Hybrid Systems Using HySAT

39. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

40. Parallel SAT Solving in Bounded Model Checking

41. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

42. Sex-dimorphic genetic effects and novel loci for fasting glucose and insulin variability

43. Scheduling Distributed Real-Time Systems by Satisfiability Checking

44. Associations of cardiac stress biomarkers with incident type 2 diabetes and changes in glucose metabolism: KORA F4/FF4 study

45. Increased Release of Proinflammatory Proteins in Primary Human Adipocytes and Activation of the Inflammatory NFĸB, p38, and ERK Pathways upon Omentin Treatment

46. Biomarker-defined pathways for incident type 2 diabetes and coronary heart disease—a comparison in the MONICA/KORA study

47. BOND study: a randomised double-blind, placebo-controlled trial over 12 months to assess the effects of benfotiamine on morphometric, neurophysiological and clinical measures in patients with type 2 diabetes with symptomatic polyneuropathy

48. Association of renin and aldosterone with glucose metabolism in a Western European population: the KORA F4/FF4 study

49. Association of circulating MR-proADM with all-cause and cardiovascular mortality in the general population: Results from the KORA F4 cohort study.

50. Serum uromodulin is inversely associated with the metabolic syndrome in the KORA F4 study

Catalog

Books, media, physical & digital resources