UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Formal analysis of 2D image processing filters using higher-order logic theorem proving

EURASIP journal on advances in signal processing, 2022-06, Vol.2022 (1), p.1-18, Article 53

2022

Volltextzugriff (PDF)

Toward Resilient Wireless Sensor Networks: A Virtualized Perspective

Sensors (Basel, Switzerland), 2020-07, Vol.20 (14), p.3902

2020

Volltextzugriff (PDF)

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

Formal aspects of computing, 2020-07, Vol.32 (2-3), p.229-250

2020

Volltextzugriff (PDF)

Formal reasoning about systems biology using theorem proving

PloS one, 2017-07, Vol.12 (7), p.e0180179-e0180179

2017

Volltextzugriff (PDF)

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability, 2023-02, Vol.237 (1), p.180-194

2023

Volltextzugriff (PDF)

Scour modeling using deep neural networks based on hyperparameter optimization

ICT express, 2022-09, Vol.8 (3), p.357-362

2022

Volltextzugriff (PDF)

Effectiveness of massage and range of motion exercises on muscle strength and intensive care unit-acquired weakness in Iranian patients with COVID-19: a randomized parallel-controlled

Acute and critical care, 2024-02, Vol.39 (1), p.78-90

2024

Volltextzugriff (PDF)

The effects of split direct injection on the operation of a tractor diesel engine fueled by biodiesel B20

E3S Web of Conferences, 2021, Vol.286, p.1006

2021

Volltextzugriff (PDF)

Enhancing spectrum sensing efficiency in multi‐channel cognitive device‐to‐device networks: Medium Access Control layer strategies and analysis

IET wireless sensor systems, 2024-08, Vol.14 (4), p.132-143

2024

Volltextzugriff (PDF)

Effectiveness of massage and range of motion exercises on muscle strength and intensive care unit-acquired weakness in Iranian patients with COVID-19: a randomized parallel-controlled trial

Acute and Critical Care, 2024, 39(1), , pp.78-90

2024

Volltextzugriff (PDF)

Wearable technologies for hand joints monitoring for rehabilitation: A survey

Microelectronics, 2019-06, Vol.88, p.173-183

2019

Volltextzugriff (PDF)

Is 6LoWPAN-ND necessary? (Spoiler alert: Yes)

Computer networks (Amsterdam, Netherlands : 1999), 2024-08, Vol.250, p.110535, Article 110535

2024

Volltextzugriff (PDF)

Paracentral Bitemporal Hemianopsia and Acquired Supranuclear Ocular Motor Paresis Following Cardiac Surgery

Curēus (Palo Alto, CA), 2023-08

2023

Volltextzugriff (PDF)

Use of persuasion and newspapers' representations of conflicts

The journal of language and linguistic studies, 2021, Vol.17 (1), p.398-411

2021

Volltextzugriff (PDF)

Use of complementary and alternative medicine for reducing fear of cancer recurrence among cancer survivors: Does it work?

Asia-Pacific Journal of Oncology Nursing, 2023-10, Vol.10 (10), p.100278-100278, Article 100278

2023

Volltextzugriff (PDF)

Detection of Peste des Petits Ruminants Viral RNA in Fecal Samples of Goats after an Outbreak in Punjab Province of Pakistan: A Longitudinal Study

BioMed research international, 2016-01, Vol.2016 (2016), p.1-5

2016

Volltextzugriff (PDF)

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving

IEEE access, 2020, Vol.8, p.27291-27307

2020

Volltextzugriff (PDF)

Cultural trauma and the politics of access to higher education in Syria

Discourse (Abingdon, England), 2021-07, Vol.42 (4), p.528-543

2021

Volltextzugriff (PDF)

Influences of Using B20 Reformulated Type Fuel on a Heavy-Duty Diesel Engine Performances

E3S Web of Conferences, 2019, Vol.112, p.1002

2019

Volltextzugriff (PDF)

Effect of UV-A radiation as an environmental stress on the development, longevity, and reproduction of the oriental armyworm, Mythimna separata (Lepidoptera: Noctuidae)

Environmental science and pollution research international, 2016-09, Vol.23 (17), p.17002-17007

2016

Volltextzugriff (PDF)

Formal verification of Matrix based MATLAB models using interactive theorem proving

PeerJ. Computer science, 2021-03, Vol.7, p.e440-e440, Article e440

2021

Volltextzugriff (PDF)

Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving

Journal of systems architecture, 2021-01, Vol.112, p.101850, Article 101850

2021

Volltextzugriff (PDF)

The Effect of Servant Leadership on Job Outcomes: The Mediating Role of Trust in Coworkers

Frontiers in communication, 2022-07, Vol.7

2022

Volltextzugriff (PDF)

Awards of the khudadad sarkar: medals from Tipu Sultan's Mysore

Journal of the Royal Asiatic Society, 2023-07, Vol.33 (3), p.555-588

2023

Volltextzugriff (PDF)

Formal analysis of continuous-time systems using Fourier transform

Journal of symbolic computation, 2019-01, Vol.90, p.65-88

2019

Volltextzugriff (PDF)

1 – 25 von 844

Suche als RSS-Feed

Aktive Filter

ThemaMaterials Science

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(566)
Mit Volltextzugriff
(662)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(407)
Life Sciences & Biomedicine
(193)
Technology
(140)
Physical Sciences
(128)
Engineering
(84)
Chemistry
(76)
Computer Science
(69)
Humans
(52)
Chemistry, Multidisciplinary
(40)
Science & Technology - Other Topics
(40)
Engineering, Electrical & Electronic
(34)
General & Internal Medicine
(34)
Environmental Sciences & Ecology
(33)
Medicine, General & Internal
(33)
Environmental Sciences
(30)
Pharmacology & Pharmacy
(30)
Algorithms
(29)
Computer Science, Information Systems
(29)
Multidisciplinary Sciences
(28)
Telecommunications
(27)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Formal analysis of 2D image processing filters using higher-order logic theorem proving

Toward Resilient Wireless Sensor Networks: A Virtualized Perspective

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

Formal reasoning about systems biology using theorem proving

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Scour modeling using deep neural networks based on hyperparameter optimization

Effectiveness of massage and range of motion exercises on muscle strength and intensive care unit-acquired weakness in Iranian patients with COVID-19: a randomized parallel-controlled

The effects of split direct injection on the operation of a tractor diesel engine fueled by biodiesel B20

Enhancing spectrum sensing efficiency in multi‐channel cognitive device‐to‐device networks: Medium Access Control layer strategies and analysis

Effectiveness of massage and range of motion exercises on muscle strength and intensive care unit-acquired weakness in Iranian patients with COVID-19: a randomized parallel-controlled trial

Wearable technologies for hand joints monitoring for rehabilitation: A survey

Is 6LoWPAN-ND necessary? (Spoiler alert: Yes)

Paracentral Bitemporal Hemianopsia and Acquired Supranuclear Ocular Motor Paresis Following Cardiac Surgery

Use of persuasion and newspapers' representations of conflicts

Use of complementary and alternative medicine for reducing fear of cancer recurrence among cancer survivors: Does it work?

Detection of Peste des Petits Ruminants Viral RNA in Fecal Samples of Goats after an Outbreak in Punjab Province of Pakistan: A Longitudinal Study

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving

Cultural trauma and the politics of access to higher education in Syria

Influences of Using B20 Reformulated Type Fuel on a Heavy-Duty Diesel Engine Performances

Effect of UV-A radiation as an environmental stress on the development, longevity, and reproduction of the oriental armyworm, Mythimna separata (Lepidoptera: Noctuidae)

Formal verification of Matrix based MATLAB models using interactive theorem proving

Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving

The Effect of Servant Leadership on Job Outcomes: The Mediating Role of Trust in Coworkers

Awards of the khudadad sarkar: medals from Tipu Sultan's Mysore

Formal analysis of continuous-time systems using Fourier transform

Aktive Filter

Suchergebnisse filtern