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)

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)

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)

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)

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)

Formalization of bond graph using higher-order-logic theorem proving

ISA transactions, 2022-09, Vol.128, p.453-469

2022

Volltextzugriff (PDF)

Design and implementation of a looking-forward Lawful Interception architecture for future mobile communication systems

Computer networks (Amsterdam, Netherlands : 1999), 2024-07, Vol.249, p.110518, Article 110518

2024

Volltextzugriff (PDF)

Formal Verification of Universal Numbers using Theorem Proving

Journal of electronic testing, 2024-06, Vol.40 (3), p.329-345

2024

Volltextzugriff (PDF)

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving

Journal of aerospace information systems, 2020-09, Vol.17 (9), p.481-495

2020

Volltextzugriff (PDF)

An experimental study of the performance and emissions of spark ignition gasoline engine

International journal of automotive and mechanical engineering, 2016-12, Vol.13 (3), p.3540-3554

2016

Volltextzugriff (PDF)

Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling

2023 IEEE 34th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2023, p.1-6

2023

Volltextzugriff (PDF)

Analysis of Weather Forecasting Model in PRISM

2014 12th International Conference on Frontiers of Information Technology, 2014, p.355-360

2014

Volltextzugriff (PDF)

Optimization of Steel Bar Manufacturing Process Using Six Sigma

Chinese journal of mechanical engineering, 2016-03, Vol.29 (2), p.332-341

English ed., 2016

Volltextzugriff (PDF)

Recent progress and future directions of membranes green polymers for oily wastewater treatment

Water science and technology, 2023-01, Vol.87 (1), p.57-82

2023

Volltextzugriff (PDF)

Review of wave drag reduction techniques: Advances in active, passive, and hybrid flow control

Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, 2022-11, Vol.236 (14), p.2851-2884

2022

Volltextzugriff (PDF)

Strategies for reducing Cd concentration in paddy soil for rice safety

Journal of cleaner production, 2021-09, Vol.316, p.128116, Article 128116

2021

Volltextzugriff (PDF)

Degree-Based Topological Properties of Molecular Polymeric Networks Composed by Sierpinski Networks

Mathematical problems in engineering, 2021-10, Vol.2021, p.1-13

2021

Volltextzugriff (PDF)

Thermal enhancement in Falkner–Skan flow of the nanofluid by considering molecular diameter and freezing temperature

Scientific reports, 2022-06, Vol.12 (1), p.9415-9415, Article 9415

2022

Volltextzugriff (PDF)

Fabrication of Gum Arabic-Graphene (GGA) Modified Polyphenylsulfone (PPSU) Mixed Matrix Membranes: A Systematic Evaluation Study for Ultrafiltration (UF) Applications

Membranes (Basel), 2021-07, Vol.11 (7), p.542

2021

Volltextzugriff (PDF)

Bioactive profile, pharmacological attributes and potential application of Beta vulgaris

Journal of food measurement & characterization, 2024-05, Vol.18 (5), p.3732-3743

2024

Volltextzugriff (PDF)

Priority Queue Based Reactive Buffer Management Policy for Delay Tolerant Network under City Based Environments

PloS one, 2018-02, Vol.13 (2), p.e0191580-e0191580

2018

Volltextzugriff (PDF)

Effect of opposing jet on aerodynamic and flight stability characteristics of a generic supersonic slender forebody

Journal of Mechanical Science and Technology, 2022, 36(6), , pp.2923-2936

2022

Volltextzugriff (PDF)

Single-shot retinal image enhancement using untrained and pretrained neural networks priors integrated with analytical image priors

Computers in biology and medicine, 2022-09, Vol.148, p.105879-105879, Article 105879

2022

Volltextzugriff (PDF)

1 – 25 von 89

Suche als RSS-Feed

Aktive Filter

ThemaEngineering

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(75)
Mit Volltextzugriff
(79)

Publikationsform

Sprache

Englisch
(89)

Erscheinungsjahr

n.n

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

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

Wearable technologies for hand joints monitoring for rehabilitation: A survey

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

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

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

Formalization of bond graph using higher-order-logic theorem proving

Design and implementation of a looking-forward Lawful Interception architecture for future mobile communication systems

Formal Verification of Universal Numbers using Theorem Proving

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving

An experimental study of the performance and emissions of spark ignition gasoline engine

Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling

Analysis of Weather Forecasting Model in PRISM

Optimization of Steel Bar Manufacturing Process Using Six Sigma

Recent progress and future directions of membranes green polymers for oily wastewater treatment

Review of wave drag reduction techniques: Advances in active, passive, and hybrid flow control

Strategies for reducing Cd concentration in paddy soil for rice safety

Degree-Based Topological Properties of Molecular Polymeric Networks Composed by Sierpinski Networks

Thermal enhancement in Falkner–Skan flow of the nanofluid by considering molecular diameter and freezing temperature

Fabrication of Gum Arabic-Graphene (GGA) Modified Polyphenylsulfone (PPSU) Mixed Matrix Membranes: A Systematic Evaluation Study for Ultrafiltration (UF) Applications

Bioactive profile, pharmacological attributes and potential application of Beta vulgaris

Priority Queue Based Reactive Buffer Management Policy for Delay Tolerant Network under City Based Environments

Effect of opposing jet on aerodynamic and flight stability characteristics of a generic supersonic slender forebody

Single-shot retinal image enhancement using untrained and pretrained neural networks priors integrated with analytical image priors

Aktive Filter

Suchergebnisse filtern