UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 192

Sortiert nach

Novel framework for dialogue summarization based on factual-statement fusion and dialogue segmentation

PloS one, 2024-04, Vol.19 (4), p.e0302104-e0302104

2024

Link zum Volltext

Verfügbarkeit prüfen

Analysis of the Abutment Movements of High Arch Dams due to Reservoir Impoundment

Rock mechanics and rock engineering, 2020-05, Vol.53 (5), p.2313-2326

2020

Link zum Volltext

Verfügbarkeit prüfen

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

IEEE transactions on automatic control, 2016-07, Vol.61 (7), p.1953-1958

2016

Link zum Volltext

Verfügbarkeit prüfen

A Survey Of Network Attacks On Cyber-Physical Systems

IEEE access, 2020-01, Vol.8, p.1-1

2020

Link zum Volltext

Verfügbarkeit prüfen

Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis

IEEE transactions on automatic control, 2015-01, Vol.60 (1), p.88-103

2015

Link zum Volltext
IEEE_Xplore

An improved approach to test diagnosability of bounded petri nets

IEEE/CAA journal of automatica sinica, 2017-04, Vol.4 (2), p.297-303

2017

Link zum Volltext

Verfügbarkeit prüfen

Influence of the hernia sac treatment method on the occurrence of seroma after laparoscopic transabdominal preperitoneal hernia repair

Asian journal of surgery, 2023-02, Vol.46 (2), p.718-722

2023

Link zum Volltext

Verfügbarkeit prüfen

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets

IEEE access, 2018, Vol.6, p.4255-4265

2018

Link zum Volltext

Verfügbarkeit prüfen

A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets

IEEE transactions on systems, man, and cybernetics. Systems, 2013-07, Vol.43 (4), p.932-940

2013

Link zum Volltext
IEEE_Xplore

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches

IEEE/CAA journal of automatica sinica, 2022-02, Vol.9 (2), p.329-338

2022

Link zum Volltext
IEEE_Xplore

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

IEEE transactions on automatic control, 2017-08, Vol.62 (8), p.4173-4179

2017

Link zum Volltext
IEEE_Xplore

Comments on “Liveness of an extended S3PR” [Automatica 46 (2010) 1008–1018]

Automatica (Oxford), 2014-08, Vol.50 (8), p.2199-2200

2014

Link zum Volltext

Verfügbarkeit prüfen

A Deadlock Prevention Policy for a Class of Multithreaded Software

IEEE access, 2020, Vol.8, p.16676-16688

2020

Link zum Volltext

Verfügbarkeit prüfen

Fluid Inclusion, H-O, S, Pb and noble gas isotope studies of the Aerhada Pb-Zn-Ag deposit, Inner Mongolia, NE China

Ore geology reviews, 2017-08, Vol.88, p.304-316

2017

Link zum Volltext

Verfügbarkeit prüfen

Macro liveness graph and liveness of ω-independent unbounded nets

Science China. Information sciences, 2015-03, Vol.58 (3), p.129-138

2015

Link zum Volltext

Verfügbarkeit prüfen

SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning

IEEE access, 2020, Vol.8, p.203712-203723

2020

Link zum Volltext

Verfügbarkeit prüfen

Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions

IEEE access, 2018-01, Vol.6, p.6920-6926

2018

Link zum Volltext

Verfügbarkeit prüfen

A Reduced Reachability Tree for a Class of Unbounded Petri Nets

IEEE/CAA journal of automatica sinica, 2015-10, Vol.2 (4), p.345-352

2015

Link zum Volltext
IEEE_Xplore

Case Report: Small Bowel Obstruction Owing to Self-Anchoring Barbed Suture Device After TAPP Repair

Frontiers in surgery, 2021-02, Vol.8, p.646091

2021

Link zum Volltext

Verfügbarkeit prüfen

OVERVIEW OF OPACITY IN DISCRETE EVENT SYSTEMS

IEEE access, 2020-01, Vol.8, p.1-1

2020

Link zum Volltext

Verfügbarkeit prüfen

An MIP-Based Deadlock Prevention Policy for Siphon Control

IEEE access, 2019, Vol.7, p.153782-153790

2019

Link zum Volltext

Verfügbarkeit prüfen

Maximal Good Step Graph Methods for Reducing the Generation of the State Space

IEEE access, 2019, Vol.7, p.155805-155817

2019

Link zum Volltext

Verfügbarkeit prüfen

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets

IEEE access, 2018-01, Vol.6, p.48577-48587

2018

Link zum Volltext

Verfügbarkeit prüfen

Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions

IEEE transactions on systems, man, and cybernetics. Systems, 2013-09, Vol.43 (5), p.1248-1255

2013

Link zum Volltext
IEEE_Xplore

Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets

Electronics letters, 2014-01, Vol.50 (1), p.25-27

2014

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 192

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(137)
Mit Volltextzugriff
(185)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(138)
Technology
(97)
Petri Nets
(79)
Engineering
(54)
Computer Science
(43)
System Recovery
(43)
Automation & Control Systems
(40)
Discrete Event Systems
(32)
Engineering, Electrical & Electronic
(30)
Life Sciences & Biomedicine
(28)
Monitoring
(24)
Computer Science, Information Systems
(21)
Algorithms
(20)
Educational Institutions
(20)
Physical Sciences
(20)
Supervisory Control
(20)
Deadlock
(19)
Petri Net
(18)
Computer Science, Cybernetics
(17)
Control Systems
(17)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

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

Menü

Weitere Dienste

Einstellungen

Novel framework for dialogue summarization based on factual-statement fusion and dialogue segmentation

Analysis of the Abutment Movements of High Arch Dams due to Reservoir Impoundment

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

A Survey Of Network Attacks On Cyber-Physical Systems

Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis

An improved approach to test diagnosability of bounded petri nets

Influence of the hernia sac treatment method on the occurrence of seroma after laparoscopic transabdominal preperitoneal hernia repair

An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets

A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets

Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

Comments on “Liveness of an extended S3PR” [Automatica 46 (2010) 1008–1018]

A Deadlock Prevention Policy for a Class of Multithreaded Software

Fluid Inclusion, H-O, S, Pb and noble gas isotope studies of the Aerhada Pb-Zn-Ag deposit, Inner Mongolia, NE China

Macro liveness graph and liveness of ω-independent unbounded nets

SVM-BiLSTM: A Fault Detection Method for the Gas Station IoT System Based on Deep Learning

Event Feedback Supervision for a Class of Petri Nets With Unobservable Transitions

A Reduced Reachability Tree for a Class of Unbounded Petri Nets

Case Report: Small Bowel Obstruction Owing to Self-Anchoring Barbed Suture Device After TAPP Repair

OVERVIEW OF OPACITY IN DISCRETE EVENT SYSTEMS

An MIP-Based Deadlock Prevention Policy for Siphon Control

Maximal Good Step Graph Methods for Reducing the Generation of the State Space

A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets

Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions

Sufficient conditions for loop resource subsets to derive strict minimal siphons in class of Petri nets

Suchergebnisse filtern