140 results on '"A. BEHRMANN"'
Search Results
2. Unified Fully and Timestamp Supervised Temporal Action Segmentation via Sequence to Sequence Translation.
3. Ranking Info Noise Contrastive Estimation: Boosting Contrastive Learning via Ranked Positives.
4. Long Short View Feature Decomposition via Contrastive Video Representation Learning.
5. Understanding and Mitigating Exploding Inverses in Invertible Neural Networks.
6. Unsupervised Video Representation Learning by Bidirectional Feature Prediction.
7. Fundamental Tradeoffs between Invariance and Sensitivity to Adversarial Perturbations.
8. Residual Flows for Invertible Generative Modeling.
9. Invertible Residual Networks.
10. Challenges and Opportunities in Instrumentation and Use of High-Density EEG for Underserved Regions.
11. Storage for Advanced Scientific Use-Cases and Beyond.
12. Excessive Invariance Causes Adversarial Vulnerability.
13. Containing errors in computations for neural sensing: Does a hierarchical-referencing strategy lead to energy savings?
14. On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty.
15. Building and Operating a Distributed Regional Centre for LHC Computing and Data Storage.
16. Future Internet Socio-Economics - Challenges and Perspectives.
17. Agent-based ubiquitous m-learning portal for K-12 teachers.
18. Specifics of Financial Data Warehousing and Implications for Management of Complex ISD Projects.
19. UPPAAL-Tiga: Time for Playing Games!
20. Complexity in Simplicity: Flexible Agent-Based State Space Exploration.
21. Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
22. Adapting an AI Planning Heuristic for Directed Model Checking.
23. Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.
24. Doing health inequality – die Reproduktion gesundheitlicher Ungleichheit in alltäglichen Interaktionsprozessen
25. ‚Doing inequality‘ – der mikrosoziologische Blick auf Prozesse sozialer Ungleichheit
26. A Review of the History of the Development of Partial Discharge Testing
27. A Tutorial on Uppaal.
28. Priced Timed Automata: Algorithms and Applications.
29. Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.
30. Adding Symmetry Reduction to Uppaal.
31. To Store or Not to Store.
32. Unification & Sharing in Timed Automata Verification.
33. Static Guard Analysis in Timed Automata Verification.
34. A Tool Architecture for the Next Generation of Uppaal.
35. UPPAAL Implementation Secrets.
36. Minimum-Cost Reachability for Priced Timed Automata.
37. As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
38. Spatial Representation and Updating: Evidence from Neuropsychological Investigations.
39. Efficient Guiding Towards Cost-Optimality in UPPAAL.
40. UPPAAL - present and future.
41. UPPAAL - Now, Next, and Future.
42. Distributing Timed Model Checking - How the Search Order Matters.
43. Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
44. Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
45. A Family of Bridges in Riedlingen
46. Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
47. How Fast can Neuronal Algorithms Match Patterns.
48. Independent Check and Validation Activities for the New Storstrøm Bridge
49. Proceedings of the National Conference on the Use of Microcomputers in Special Education (Hartford, Connecticut, March 10-12, 1983).
50. A Model to Support Routine Office-Work.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.