UB Paderborn / Katalog / Suche / in CDI

1 – 12 von 12

Sortiert nach

Older Adults Engage With Personalized Digital Coaching Programs at Rates That Exceed Those of Younger Adults

Frontiers in digital health, 2021-08, Vol.3, p.642818-642818

2021

Volltextzugriff (PDF)

Evaluating a New Digital App-Based Program for Heart Health: Feasibility and Acceptability Pilot Study

JMIR formative research, 2024-05, Vol.8, p.e50446

2024

Volltextzugriff (PDF)

Adipokines in the HIV/HAART-associated lipodystrophy syndrome

Metabolism, clinical and experimental, 2013-09, Vol.62 (9), p.1199-1205

2013

Volltextzugriff (PDF)

Business vs After-Hours Use of an Artificial Intelligence–Powered Digital Health Platform Among Insured Patients

JAMA network open, 2023-09, Vol.6 (9), p.e2333511-e2333511

2023

Volltextzugriff (PDF)

Fibroblast growth factor 21 levels in young healthy females display day and night variations and are increased in response to short-term energy deprivation through a leptin-independent pathway

Diabetes care, 2013-04, Vol.36 (4), p.935-942

2013

Volltextzugriff (PDF)

Fibroblast Growth Factor 2 1 Levels in Young Healthy Females Display Day and Night Variations and Are Increased in Response to Short-Term Energy Deprivation Through a Leptin-Independent Pathway

Diabetes care, 2013, Vol.36 (4), p.935-942

2013

Volltextzugriff (PDF)

Scalable Automated Verification via Expert-System Guided Transformations

Formal Methods in Computer-Aided Design, 2004, p.159-173

2004

Volltextzugriff (PDF)

Management of Obstructive Sleep Apnea: An Evidence-Based, Multidisciplinary Textbook

Volltextzugriff (PDF)

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

2006 International Conference on Computer Design, 2006, p.259-266

2006

Volltextzugriff (PDF)

Automatic Formal Verification of Fused-Multiply-Add FPUs

Design, Automation and Test in Europe, 2005, p.1298-1303

2005

Volltextzugriff (PDF)

Exploiting suspected redundancy without proving it

Proceedings of the 42nd annual Design Automation Conference, 2005, p.463-466

2005

Volltextzugriff (PDF)

Hybrid verification of a hardware modular reduction engine

2011 Formal Methods in Computer-Aided Design (FMCAD), 2011, p.207-214

2011

Volltextzugriff (PDF)

1 – 12 von 12

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(7)
Mit Volltextzugriff
(12)

Publikationsform

Sprache

Englisch
(12)

Erscheinungsjahr

n.n

Zeitschrift / Serie

Diabetes Care
(2)
Frontiers In Digital Health
(1)
Jama Network Open
(1)
Jmir Formative Research
(1)
Metabolism, Clinical And Experimental
(1)

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Older Adults Engage With Personalized Digital Coaching Programs at Rates That Exceed Those of Younger Adults

Evaluating a New Digital App-Based Program for Heart Health: Feasibility and Acceptability Pilot Study

Adipokines in the HIV/HAART-associated lipodystrophy syndrome

Business vs After-Hours Use of an Artificial Intelligence–Powered Digital Health Platform Among Insured Patients

Fibroblast growth factor 21 levels in young healthy females display day and night variations and are increased in response to short-term energy deprivation through a leptin-independent pathway

Fibroblast Growth Factor 2 1 Levels in Young Healthy Females Display Day and Night Variations and Are Increased in Response to Short-Term Energy Deprivation Through a Leptin-Independent Pathway

Scalable Automated Verification via Expert-System Guided Transformations

Management of Obstructive Sleep Apnea: An Evidence-Based, Multidisciplinary Textbook

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

Automatic Formal Verification of Fused-Multiply-Add FPUs

Exploiting suspected redundancy without proving it

Hybrid verification of a hardware modular reduction engine

Suchergebnisse filtern