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...

Modeling Operator Performance in Human-in-the-Loop Autonomous Systems

IEEE access, 2021, Vol.9, p.102715-102731

Muhammad, Shahabuddin

2021

Volltextzugriff (PDF)

Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks

IEEE access, 2020, Vol.8, p.86495-86509

2020

Volltextzugriff (PDF)

Inter-slice resource management for 5G radio access network using markov decision process

Telecommunication systems, 2022-04, Vol.79 (4), p.541-557

2022

Volltextzugriff (PDF)

Formal Analysis of Human-Assisted Smart City Emergency Services

IEEE access, 2019, Vol.7, p.60376-60388

2019

Volltextzugriff (PDF)

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

Journal of intelligent & robotic systems, 2019-06, Vol.94 (3-4), p.687-709

2019

Volltextzugriff (PDF)

Security Analysis of a Digital Twin Framework using Probabilistic Model Checking

IEEE access, 2023-01, Vol.11, p.1-1

2023

Volltextzugriff (PDF)

Identification of Recombination in the Envelope Gene of Simian Foamy Virus Serotype 2 Isolated from Macaca cyclopis

Journal of Virology, 2013-08, Vol.87 (15), p.8792-8797

2013

Volltextzugriff (PDF)

Degenerated High-Energy Piping Supports of Thermal Power Plants

Platform, a Journal of Engineering, 2024-03, Vol.8 (1), p.1

2024

Volltextzugriff (PDF)

A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT)

2023 International Conference on Intelligent Data Communication Technologies and Internet of Things (IDCIoT), 2023, p.192-197

2023

Volltextzugriff (PDF)

AnimalWeb: A Large-Scale Hierarchical Dataset of Annotated Animal Faces

2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020, p.6937-6946

2020

Volltextzugriff (PDF)

Discovering Man-in-the-Middle Attacks in Authentication Protocols

MILCOM 2007 - IEEE Military Communications Conference, 2007, p.1-7

2007

Volltextzugriff (PDF)

Reliable Communication Protocol for Applications in Multi-Robot Systems

Arabian Journal for Science and Engineering, 2016-08, Vol.41 (8), p.2771-2785

2016

Volltextzugriff (PDF)

Authentication Tests Based on Distributed Temporal Protocol Logic for the Analysis of Security Protocols

Informatics Engineering and Information Science, 2011, p.214-228

2011

Volltextzugriff (PDF)

No Evidence of Infectious Retroviruses in Measles Virus Vaccines Produced in Chicken Embryo Cell Cultures

Journal of Clinical Microbiology, 2001-02, Vol.39 (2), p.675-684

2001

Volltextzugriff (PDF)

Radio Frequency Channel States Analysis in Evolved Cellular Networks Using Probabilistic Model Checking

2023 20th International Bhurban Conference on Applied Sciences and Technology (IBCAST), 2023, p.377-384

2023

Volltextzugriff (PDF)

Sensitive Assays for Isolation and Detection of Simian Foamy Retroviruses

Journal of Clinical Microbiology, 1999-08, Vol.37 (8), p.2678-2686

1999

Volltextzugriff (PDF)

Analysis of In-vehicle Security System of Smart Vehicles

Future Network Systems and Security, 2019, Vol.1113, p.198-211

2019

Volltextzugriff (PDF)

A mining-based approach for efficient enumeration of algebraic structures

International journal of data science and analytics, 2016-07, Vol.1 (2), p.89-98

2016

Volltextzugriff (PDF)

U.S. Relations with the Republic of Korea Under Obama’s Administration

Pakistan Journal of International Affairs, 2021-03, Vol.1 (1)

Syed Shahabuddin, Muhammad Arif

2021

Volltextzugriff (PDF)

Infection of macrophages with lymphotropic human immunodeficiency virus type 1 can be arrested after viral DNA synthesis

Journal of Virology, 1993-11, Vol.67 (11), p.6893-6896

1993

Volltextzugriff (PDF)

Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model

Networked Digital Technologies, 2012, p.408-419

2012

Volltextzugriff (PDF)

Probabilistic Modeling and Study of Cybersecurity Attacks in Industrial Control Systems of Plants

2020 IEEE Conference on Application, Information and Network Security (AINS), 2020, p.58-63

2020

Volltextzugriff (PDF)

Association of Diabetes with Coronary Collateral Formation in Patients with Ischaemic Heart Disease

Cardiovascular journal, 2020-07, Vol.12 (2), p.89-95

2020

Volltextzugriff (PDF)

Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis

2020 International Conference on Communications, Signal Processing, and their Applications (ICCSPA), 2021, p.1-6

2021

Volltextzugriff (PDF)

A system architecture for faceted querying

2017 International Conference on Information Science and Communications Technologies (ICISCT), 2017, p.1-5

2017

Volltextzugriff (PDF)

1 – 25 von 197

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(118)
Mit Volltextzugriff
(141)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(103)
Life Sciences & Biomedicine
(52)
Technology
(35)
Physical Sciences
(31)
Humans
(25)
Chemistry
(23)
Computer Science
(22)
Engineering
(20)
Calixarene
(14)
Virology
(12)
Aids/hiv
(11)
Biological And Medical Sciences
(10)
Computer Science, Information Systems
(10)
Probabilistic Models
(10)
Adsorption
(9)
Chemistry, Multidisciplinary
(9)
Microbiology
(9)
Pharmacology & Pharmacy
(9)
Probabilistic Logic
(9)
Probabilistic Model Checking
(9)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Modeling Operator Performance in Human-in-the-Loop Autonomous Systems

Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks

Inter-slice resource management for 5G radio access network using markov decision process

Formal Analysis of Human-Assisted Smart City Emergency Services

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

Security Analysis of a Digital Twin Framework using Probabilistic Model Checking

Identification of Recombination in the Envelope Gene of Simian Foamy Virus Serotype 2 Isolated from Macaca cyclopis

Degenerated High-Energy Piping Supports of Thermal Power Plants

A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT)

AnimalWeb: A Large-Scale Hierarchical Dataset of Annotated Animal Faces

Discovering Man-in-the-Middle Attacks in Authentication Protocols

Reliable Communication Protocol for Applications in Multi-Robot Systems

Authentication Tests Based on Distributed Temporal Protocol Logic for the Analysis of Security Protocols

No Evidence of Infectious Retroviruses in Measles Virus Vaccines Produced in Chicken Embryo Cell Cultures

Radio Frequency Channel States Analysis in Evolved Cellular Networks Using Probabilistic Model Checking

Sensitive Assays for Isolation and Detection of Simian Foamy Retroviruses

Analysis of In-vehicle Security System of Smart Vehicles

A mining-based approach for efficient enumeration of algebraic structures

U.S. Relations with the Republic of Korea Under Obama’s Administration

Infection of macrophages with lymphotropic human immunodeficiency virus type 1 can be arrested after viral DNA synthesis

Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model

Probabilistic Modeling and Study of Cybersecurity Attacks in Industrial Control Systems of Plants

Association of Diabetes with Coronary Collateral Formation in Patients with Ischaemic Heart Disease

Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis

A system architecture for faceted querying

Suchergebnisse filtern