E-LIB Suche - Ergebnisse für: Jensen, Thomas J.

1

Semaglutide and Diuretic Use in Obesity-Related Heart Failu..:

Shah, Sanjiv J ; Sharma, Kavita ; Borlaug, Barry A...
European Heart Journal. , 2024

Link: https://doi.org/10.1093/..

2

An input–output relational domain for algebraic data types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

3

Effect of four eggshell repair materials on weight loss dur..:

Byrne, Patricia ; Jensen, Thomas ; Kristan, William..
Zoo Biology. 43 (2023) 1 - p. 75-82 , 2023

Link: https://doi.org/10.1002/..

4

MichelsonLiSA: A Static Analyzer for Tezos:

, In: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),

Olivieri, Luca ; Jensen, Thomas ; Negrini, Luca. - p. 80-85 , 2023

Link: https://doi.org/10.1109/..

5

Type-directed Program Transformation for Constant-Time Enfo..:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Raimondi, Gautier ; Besson, Frédéric ; Jensen, Thomas - p. 1-13 , 2023

Link: https://dl.acm.org/doi/1..

6

Sweet and simple as syrup: A review and guidance for use of..:

Lawrence, S. Elise ; Chandran, Mary Moss ; Park, Jeong M....
Clinical Transplantation. 37 (2023) 3 - p. , 2023

Link: https://doi.org/10.1111/..

7

Technologies of Wind Turbine Blade Repair: Practical Compar..:

Mishnaevsky Jr., Leon ; Frost-Jensen Johansen, Nicolai ; Fraisse, Anthony...
Energies. 15 (2022) 5 - p. 1767 , 2022

Link: https://doi.org/10.3390/..

8

Antithrombotic treatment beyond 1 year after percutaneous c..:

Jensen, Thomas ; Thrane, Pernille G ; Olesen, Kevin K W...
European Heart Journal - Cardiovascular Pharmacotherapy. 9 (2022) 3 - p. 208-219 , 2022

Link: https://doi.org/10.1093/..

9

Lifting Numeric Relational Domains to Algebraic Data Types:

, In: Static Analysis; Lecture Notes in Computer Science,

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 104-134 , 2022

Link: https://doi.org/10.1007/..

10

Exploring the role of compartmentalized H2O2 redox signalin..:

Henriquez, Carlos ; Meneses-Valdés, Roberto ; Gallero, Samantha...
Free Radical Biology and Medicine. 180 (2022) - p. s92 , 2022

Link: https://doi.org/10.1016/..

11

Vasopressin mediates fructose-induced metabolic syndrome by..:

Andres-Hernando, Ana ; Jensen, Thomas J. ; Kuwabara, Masanari...
JCI Insight. 6 (2021) 1 - p. , 2021

Link: https://doi.org/10.1172/..

12

The use of eDNA and DNA metabarcoding in monitoring the eco..:

Atienza Casas, Sara ; Majaneva, Markus ; Jensen, Thomas...
ARPHA Conference Abstracts. 4 (2021) - p. , 2021

Link: https://doi.org/10.3897/..

13

CHA2DS2‐VASc impact on risk following percutaneous coronary..:

Jensen, Thomas ; Thrane, Pernille Gro ; Olesen, Kevin Kris Warnakula...
European Journal of Clinical Investigation. 52 (2021) 4 - p. , 2021

Link: https://doi.org/10.1111/..

14

Lean NAFLD: an underrecognized and challenging disorder in ..:

Maier, Sheila ; Wieland, Amanda ; Cree-Green, Melanie...
Reviews in Endocrine and Metabolic Disorders. 22 (2021) 2 - p. 351-366 , 2021

Link: https://doi.org/10.1007/..

15

Central role of c-Src in NOX5- mediated redox signalling in..:

Camargo, Livia L ; Montezano, Augusto C ; Hussain, Misbah...
Cardiovascular Research. 118 (2021) 5 - p. 1359-1373 , 2021

Link: https://doi.org/10.1093/..