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

A data science approach for reliable classification of neuro-degenerative diseases using gait patterns

Journal of reliable intelligent environments, 2020-12, Vol.6 (4), p.233-247

2020

Volltextzugriff (PDF)

Intelligent techniques for deception detection: a survey and critical study

Soft computing (Berlin, Germany), 2023-04, Vol.27 (7), p.3581-3600

2023

Volltextzugriff (PDF)

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

International journal of service science, management, engineering and technology, 2016-01, Vol.7 (1), p.27-42

2016

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)

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)

Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels

Ingénierie des systèmes d'information (2001), 2013, Vol.18 (5), p.33-57

2013

Volltextzugriff (PDF)

Vériﬁcation formelle des processus workﬂow. Extension aux workflows inter-organisationnels

Ingénierie des systèmes d'Information, 2013-10, Vol.18 (5), p.33-57

2013

Volltextzugriff (PDF)

Vérification formelle des processus workflow

Ingénierie des systèmes d'Information, 2013, Vol.18 (5), p.33-57

2013

Volltextzugriff (PDF)

On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification

International journal of service science, management, engineering and technology, 2021-07, Vol.12 (4), p.68-84

2021

Volltextzugriff (PDF)

GA-based multi-objective optimization technique for medical image denoising in wavelet domain

Journal of intelligent & fuzzy systems, 2021-01, Vol.41 (1), p.1575-1588

2021

Volltextzugriff (PDF)

Computational Intelligence-Based Melanoma Detection and Classification Using Dermoscopic Images

Computational intelligence and neuroscience, 2022, Vol.2022, p.2370190-12

2022

Volltextzugriff (PDF)

Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment

Expert systems, 2023-06, Vol.40 (5), p.n/a

2023

Volltextzugriff (PDF)

Deep Learning Approaches for Intrusion Detection in IIoT Networks – Opportunities and Future Directions

International journal of advanced computer science & applications, 2021, Vol.12 (4)

2021

Volltextzugriff (PDF)

On Compatibility Analysis of Inter Organizational Business Processes

Enterprise and Organizational Modeling and Simulation, p.171-186

Volltextzugriff (PDF)

documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$TCTL^{\varDelta }_h$$\end{document} Model Checking of Time Petri Nets

Transactions on Computational Collective Intelligence XXX, 2018, p.242-262

2018

Volltextzugriff (PDF)

Twitter Analytics for Discovering Socially Important Locations for Business Improvement

2019 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), 2019, p.1-5

2019

Volltextzugriff (PDF)

Deceptive Detection based on Audio Spectrum Analysis using Deep Learning

2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), 2022, p.1-4

2022

Volltextzugriff (PDF)

Towards TCTLhΔ model checking of time Petri nets

2016 International Conference on Control, Decision and Information Technologies (CoDIT), 2016, p.563-568

2016

Volltextzugriff (PDF)

On the verification of business processes by model checking techniques

2010 2nd International Conference on Software Technology and Engineering, 2010, Vol.1, p.V1-97-V1-103

2010

Volltextzugriff (PDF)

Dates Fruit Classification Using Convolution Neural Networks

Proceedings of Sixth International Congress on Information and Communication Technology, 2021, Vol.216, p.757-775

2021

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)

On Expressiveness of TCTL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{\varDelta }_{h}$$\end{document} for Model Checking Distributed Systems

Computational Collective Intelligence, p.323-332

Volltextzugriff (PDF)

On the Fly Model-Checking of TPN: \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$TPN-TCTL^{\varDelta }_{h}$$\end{document}

Trends and Advances in Information Systems and Technologies, p.441-451

Volltextzugriff (PDF)

Prevalence and predictive determinants of overweight and obesity in children aged 0-24 months in Morocco: a cross-sectional study

Roczniki Państwowego Zakładu Higieny, 2023, Vol.74 (4), p.395-406

2023

Volltextzugriff (PDF)

1 – 25 von 25

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(11)
Mit Volltextzugriff
(15)

Publikationsform

Sprache

Englisch
(23)
Französisch
(2)

Erscheinungsjahr

n.n

Thema

Computer Science
(10)
Science & Technology
(10)
Technology
(9)
Model Checking
(8)
Deep Learning
(5)
Computer Science, Artificial Intelligence
(4)
Computer Science, Theory & Methods
(4)
Workflow
(4)
Algorithms
(3)
Artificial Intelligence
(3)
Cloud Computing
(3)
Computer Science, Information Systems
(3)
Engineering
(3)
Machine Learning
(3)
Optimization
(3)
Petri Nets
(3)
Artificial Neural Networks
(2)
Classification
(2)
Cloud Ontology
(2)
Clustering
(2)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

A data science approach for reliable classification of neuro-degenerative diseases using gait patterns

Intelligent techniques for deception detection: a survey and critical study

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

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

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

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

Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels

Vériﬁcation formelle des processus workﬂow. Extension aux workflows inter-organisationnels

Vérification formelle des processus workflow

On Improving Model Checking of Time Petri Nets and Its Application to the Formal Verification

GA-based multi-objective optimization technique for medical image denoising in wavelet domain

Computational Intelligence-Based Melanoma Detection and Classification Using Dermoscopic Images

Metaheuristics with federated learning enabled intrusion detection system in Internet of Things environment

Deep Learning Approaches for Intrusion Detection in IIoT Networks – Opportunities and Future Directions

On Compatibility Analysis of Inter Organizational Business Processes

documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$TCTL^{\varDelta }_h$$\end{document} Model Checking of Time Petri Nets

Twitter Analytics for Discovering Socially Important Locations for Business Improvement

Deceptive Detection based on Audio Spectrum Analysis using Deep Learning

Towards TCTLhΔ model checking of time Petri nets

On the verification of business processes by model checking techniques

Dates Fruit Classification Using Convolution Neural Networks

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

Prevalence and predictive determinants of overweight and obesity in children aged 0-24 months in Morocco: a cross-sectional study

Suchergebnisse filtern