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

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

IEEE transactions on industrial informatics, 2017-12, Vol.13 (6), p.2995-3005

2017

Volltextzugriff (PDF)

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Liu, Guanjun

1, 2022

Volltextzugriff (PDF)

Spatial-Temporal-Aware Graph Transformer for Transaction Fraud Detection

IEEE transactions on industrial informatics, 2024-07, p.1-10

2024

Volltextzugriff (PDF)

Two Simple Deadlock Prevention Policies for S3PR Based on Key-Resource/Operation-Place Pairs

IEEE transactions on automation science and engineering, 2010-10, Vol.7 (4), p.945-957

2010

Volltextzugriff (PDF)

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL

IEEE transactions on industrial informatics, 2023-08, Vol.19 (8), p.8784-8794

2023

Volltextzugriff (PDF)

A Novel Method for Calculating Service Reputation

IEEE transactions on automation science and engineering, 2013-07, Vol.10 (3), p.634-642

2013

Volltextzugriff (PDF)

A Robust Mean-Field Actor-Critic Reinforcement Learning Against Adversarial Perturbations on Agent States

IEEE transaction on neural networks and learning systems, 2023-06, Vol.PP, p.1-12

2023

Volltextzugriff (PDF)

CEModule: A Computation Efficient Module for Lightweight Convolutional Neural Networks

IEEE transaction on neural networks and learning systems, 2023-09, Vol.34 (9), p.6069-6080

2023

Volltextzugriff (PDF)

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations

2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS), 2016, p.501-508

2016

Volltextzugriff (PDF)

Learning Transactional Behavioral Representations for Credit Card Fraud Detection

IEEE transaction on neural networks and learning systems, 2024-04, Vol.35 (4), p.5735-5748

2024

Volltextzugriff (PDF)

Pairwise Gaussian Loss for Convolutional Neural Networks

IEEE transactions on industrial informatics, 2020-10, Vol.16 (10), p.6324-6333

2020

Volltextzugriff (PDF)

Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism

IEEE internet of things journal, 2018-10, Vol.5 (5), p.3637-3647

2018

Volltextzugriff (PDF)

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets

IEEE transactions on industrial informatics, 2023-03, Vol.19 (3), p.3047-3056

2023

Volltextzugriff (PDF)

Verifying Computation Tree Logic of Knowledge via the Similar Reachability Graphs of Knowledge-oriented Petri Nets

2020 39th Chinese Control Conference (CCC), 2020, p.5026-5031

2020

Volltextzugriff (PDF)

Inner Cascaded U2-Net: An Improvement to Plain Cascaded U-Net

Computer modeling in engineering & sciences, 2023, Vol.134 (2), p.1323-1335

2023

Volltextzugriff (PDF)

Workflow Nets With Tables and Their Soundness

IEEE transactions on industrial informatics, 2020-03, Vol.16 (3), p.1503-1515

2020

Volltextzugriff (PDF)

PNer: A Petri-Net-Based Model Checker for Computation Tree Logic

2023 IEEE International Conference on Networking, Sensing and Control (ICNSC), 2023, Vol.1, p.1-7

2023

Volltextzugriff (PDF)

Detecting and Repairing Data-Flow Errors in WFD-net Systems

Computer modeling in engineering & sciences, 2022, Vol.131 (3), p.1337-1363

2022

Volltextzugriff (PDF)

Two Simple Deadlock Prevention Policies for ^ Based on Key-Resource/Operation-Place Pairs

IEEE transactions on automation science and engineering, 2010-10, Vol.7 (4), p.945-957

2010

Volltextzugriff (PDF)

A Spatial-Temporal Gated Network for Credit Card Fraud Detection by Learning Transactional Representations

IEEE transactions on automation science and engineering, 2023-12, p.1-14

2023

Volltextzugriff (PDF)

A Spatial-temporal Gated Network for Credit Card Fraud Detection

2023 IEEE International Conference on Networking, Sensing and Control (ICNSC), 2023, Vol.1, p.1-6

2023

Volltextzugriff (PDF)

BUCKER 2.0: An Unfolding Based Checker for CTL

2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC), 2019, p.144-149

2019

Volltextzugriff (PDF)

Genome-Wide Analysis of the KANADI Gene Family and Its Expression Patterns under Different Nitrogen Concentrations Treatments in Populus trichocarpa

Phyton (Buenos Aires), 2023, Vol.92 (7), p.2001-2015

2023

Volltextzugriff (PDF)

Process Nets With Channels

IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2012-01, Vol.42 (1), p.213-225

2012

Volltextzugriff (PDF)

Berbamine exerts anticancer effects on human colon cancer cells via induction of autophagy and apoptosis, inhibition of cell migration and MEK/ERK signalling pathway

Journal of B.U.ON. : official journal of the Balkan Union of Oncology, 2019-09, Vol.24 (5), p.1870

2019

Volltextzugriff (PDF)

1 – 25 von 306

Menü

Weitere Dienste

Einstellungen

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Spatial-Temporal-Aware Graph Transformer for Transaction Fraud Detection

Two Simple Deadlock Prevention Policies for S3PR Based on Key-Resource/Operation-Place Pairs

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL

A Novel Method for Calculating Service Reputation

A Robust Mean-Field Actor-Critic Reinforcement Learning Against Adversarial Perturbations on Agent States

CEModule: A Computation Efficient Module for Lightweight Convolutional Neural Networks

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations

Learning Transactional Behavioral Representations for Credit Card Fraud Detection

Pairwise Gaussian Loss for Convolutional Neural Networks

Credit Card Fraud Detection: A Novel Approach Using Aggregation Strategy and Feedback Mechanism

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets

Verifying Computation Tree Logic of Knowledge via the Similar Reachability Graphs of Knowledge-oriented Petri Nets

Inner Cascaded U2-Net: An Improvement to Plain Cascaded U-Net

Workflow Nets With Tables and Their Soundness

PNer: A Petri-Net-Based Model Checker for Computation Tree Logic

Detecting and Repairing Data-Flow Errors in WFD-net Systems

Two Simple Deadlock Prevention Policies for ^ Based on Key-Resource/Operation-Place Pairs

A Spatial-Temporal Gated Network for Credit Card Fraud Detection by Learning Transactional Representations

A Spatial-temporal Gated Network for Credit Card Fraud Detection

BUCKER 2.0: An Unfolding Based Checker for CTL

Genome-Wide Analysis of the KANADI Gene Family and Its Expression Patterns under Different Nitrogen Concentrations Treatments in Populus trichocarpa

Process Nets With Channels

Berbamine exerts anticancer effects on human colon cancer cells via induction of autophagy and apoptosis, inhibition of cell migration and MEK/ERK signalling pathway

Aktive Filter

Suchergebnisse filtern