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

Behavioral adaptation caused by predictive warning systems – The case of congestion tail warnings

Transportation research. Part F, Traffic psychology and behaviour, 2014-09, Vol.26, p.49-61

2014

Volltextzugriff (PDF)

Reachability in Simple Neural Networks

Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.241-259

2023

Volltextzugriff (PDF)

Absent Subsequences in Words

Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.199-240

2023

Volltextzugriff (PDF)

Methods for Efficient Unfolding of Colored Petri Nets

Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.297-320

2023

Volltextzugriff (PDF)

On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets

Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.261-296

2023

Volltextzugriff (PDF)

Preface

Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.i-iii

2023

Volltextzugriff (PDF)

Semi-autonomous advanced parking assistants: do they really have to be learned if steering is automated?

IET intelligent transport systems, 2011-06, Vol.5 (2), p.141-141

2011

Volltextzugriff (PDF)

Absent Subsequences in Words

Reachability Problems, p.115-131

Volltextzugriff (PDF)

Reachability is NP-Complete Even for the Simplest Neural Networks

Reachability Problems, p.149-164

Volltextzugriff (PDF)

Reachability of Weakly Nonlinear Systems Using Carleman Linearization

Reachability Problems, p.85-99

Volltextzugriff (PDF)

Theorem Proving Using Clausal Resolution: From Past to Present

Reachability Problems, p.19-27

Volltextzugriff (PDF)

Population Protocols: Beyond Runtime Analysis

Reachability Problems, p.28-51

Volltextzugriff (PDF)

Quantitative vs. Weighted Automata

Reachability Problems, p.3-18

Volltextzugriff (PDF)

Improvements in Unfolding of Colored Petri Nets

Reachability Problems, p.69-84

Volltextzugriff (PDF)

Continued Fraction Approach to Gauss Reduction Theory

Reachability Problems, p.100-114

Volltextzugriff (PDF)

Minimal Number of Calls in Propositional Protocols

Reachability Problems, p.132-148

Volltextzugriff (PDF)

Recent Advances on Reachability Problems for Valence Systems (Invited Talk)

Reachability Problems, p.52-65

Volltextzugriff (PDF)