Search

Your search keyword '"A. BEHRMANN"' showing total 246 results

Search Constraints

Start Over You searched for: Author "A. BEHRMANN" Remove constraint Author: "A. BEHRMANN" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
246 results on '"A. BEHRMANN"'

Search Results

1. Unified Fully and Timestamp Supervised Temporal Action Segmentation via Sequence to Sequence Translation

7. Purity Assessment of Pellets using Deep Learning

12. Siega Verde Rock Art Sites

17. Challenges and Opportunities in Instrumentation and Use of High-Density EEG for Underserved Regions

20. Oceanic Trenches

21. Die Berufsaufsicht der Wirtschaftsprüfer

23. Size-Frequency Relationship of Submarine Landslides at Convergent Plate Margins: Implications for Hazard and Risk Assessment

33. UPPAAL-Tiga: Time for Playing Games! : (Tool Paper)

34. Complexity in Simplicity: Flexible Agent-Based State Space Exploration

35. Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking

38. Adapting an AI Planning Heuristic for Directed Model Checking

39. Priced Timed Automata: Algorithms and Applications

40. Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness

42. Adding Symmetry Reduction to Uppaal

43. A Tutorial on Uppaal

45. To Store or Not to Store

Catalog

Books, media, physical & digital resources