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

Untargeted lipidomics reveal association of elevated plasma C18 ceramide levels with reduced survival in metastatic castration-resistant prostate cancer patients

Scientific reports, 2023-10, Vol.13 (1), p.17791-17791, Article 17791

2023

Volltextzugriff (PDF)

A new scheme for RPL to handle mobility in wireless sensor networks

International journal of ad hoc and ubiquitous computing, 2019, Vol.30 (3), p.173

2019

Volltextzugriff (PDF)

An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under Mobility

International journal on semantic web and information systems, 2017-07, Vol.13 (3), p.22-47

2017

Volltextzugriff (PDF)

On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology

International journal of service science, management, engineering and technology, 2017-07, Vol.8 (3), p.60-78

2017

Volltextzugriff (PDF)

Consensus-Driven Cluster Analysis: Top-Down and Bottom-Up Based Split-and-Merge Classifiers

International journal on artificial intelligence tools, 2017-08, Vol.26 (4), p.1750018

2017

Volltextzugriff (PDF)

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications

Theoretical Aspects of Software Engineering, 2022, Vol.13299, p.256-273

2022

Volltextzugriff (PDF)

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Journal of communications, 2019-01, p.980-986

2019

Volltextzugriff (PDF)

Impact of replica placement-based clustering on fault tolerance in grid computing

International journal of web engineering and technology, 2019, Vol.14 (2), p.151

2019

Volltextzugriff (PDF)

Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: Application to a Railway System

Formal Methods for Industrial Critical Systems, 2019, p.93-109

2019

Volltextzugriff (PDF)

Towards a System for Cloud Service Discovery and Composition Based on Ontology

Computational Collective Intelligence, p.34-43

Volltextzugriff (PDF)

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Service-Oriented Computing – ICSOC 2017 Workshops, p.80-92

Volltextzugriff (PDF)

Modeling security as a dependability attribute: a refinement-based approach

Innovations in systems and software engineering, 2006-03, Vol.2 (1), p.39-48

2006

Volltextzugriff (PDF)

Speeding up the large-scale consensus fuzzy clustering for handling Big Data

Fuzzy sets and systems, 2018-10, Vol.348, p.50-74

2018

Volltextzugriff (PDF)

B Formal Validation of ERTMS/ETCS Railway Operating Rules

Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.124-129

Volltextzugriff (PDF)

Heme-oxygenase-1: A potential biomarker for ICIs in patients with advanced lung cancer

Journal of clinical oncology, 2024-06, Vol.42 (16_suppl), p.e20505-e20505

2024

Volltextzugriff (PDF)

Association of circulating T lymphocytes and their functional states with pathologic complete response (pCR) in breast cancer (BC). A prospective Italian study

Journal of clinical oncology, 2024-06, Vol.42 (16_suppl), p.559-559

2024

Volltextzugriff (PDF)

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol

International Journal of Wireless & Mobile Networks, 2010-05, Vol.2 (2), p.156-170

2010

Volltextzugriff (PDF)

Dynamic-Based Clustering for Replica Placement in Data Grids

International journal of service science, management, engineering and technology, 2019-10, Vol.10 (4), p.58-80

2019

Volltextzugriff (PDF)

Uniform verification of workflow soundness

Transactions of the Institute of Measurement and Control, 2011-02, Vol.33 (1), p.133-148

2011

Volltextzugriff (PDF)

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.23-40

Volltextzugriff (PDF)

Towards a Method for the Decomposition by Refinement in Event-B

Formal Methods. FM 2019 International Workshops, p.358-370

Volltextzugriff (PDF)

Dynamic Data Replication-Driven Model in Data Grids

2015 IEEE 39th Annual Computer Software and Applications Conference, 2015, Vol.3, p.393-397

2015

Volltextzugriff (PDF)

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture

2014 IEEE 6th International Conference on Cloud Computing Technology and Science, 2014, p.875-880

2014

Volltextzugriff (PDF)

Sampling-based consensus fuzzy clustering on Big Data

2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2016, p.1501-1508

2016

Volltextzugriff (PDF)

Abstract 2174: Evaluation of extracellular vesicles (EVs) as potential predictors of response to immunotherapy (IO) in triple negative early and advanced breast cancer (BC): preliminary evidence from the IRIS project

Cancer research (Chicago, Ill.), 2023-04, Vol.83 (7_Supplement), p.2174-2174

2023

Volltextzugriff (PDF)

1 – 25 von 57

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(35)
Mit Volltextzugriff
(42)

Publikationsform

Sprache

Englisch
(57)

Erscheinungsjahr

n.n

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

Untargeted lipidomics reveal association of elevated plasma C18 ceramide levels with reduced survival in metastatic castration-resistant prostate cancer patients

A new scheme for RPL to handle mobility in wireless sensor networks

An Efficient Intrusion Detection System for Selective Forwarding and Clone Attackers in IPv6-based Wireless Sensor Networks under Mobility

On the Use of Similarity or Query Languages in Cloud Discovery Based on Ontology

Consensus-Driven Cluster Analysis: Top-Down and Bottom-Up Based Split-and-Merge Classifiers

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Impact of replica placement-based clustering on fault tolerance in grid computing

Incremental Development of a Safety Critical System Combining formal Methods and DSMLs: Application to a Railway System

Towards a System for Cloud Service Discovery and Composition Based on Ontology

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Modeling security as a dependability attribute: a refinement-based approach

Speeding up the large-scale consensus fuzzy clustering for handling Big Data

B Formal Validation of ERTMS/ETCS Railway Operating Rules

Heme-oxygenase-1: A potential biomarker for ICIs in patients with advanced lung cancer

Association of circulating T lymphocytes and their functional states with pathologic complete response (pCR) in breast cancer (BC). A prospective Italian study

Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol

Dynamic-Based Clustering for Replica Placement in Data Grids

Uniform verification of workflow soundness

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

Towards a Method for the Decomposition by Refinement in Event-B

Dynamic Data Replication-Driven Model in Data Grids

On Service Composition in Cloud Computing: A Survey and an Ongoing Architecture

Sampling-based consensus fuzzy clustering on Big Data

Abstract 2174: Evaluation of extracellular vesicles (EVs) as potential predictors of response to immunotherapy (IO) in triple negative early and advanced breast cancer (BC): preliminary evidence from the IRIS project

Suchergebnisse filtern