Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. State identification and verification with satisfaction: Label: en
  2. A basic compositional model for spiking neural networks: Label: en
  3. Learning language intersections: Label: en
  4. Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof: Label: en
  5. A reconstruction of Ewens' sampling formula via lists of coins: Label: en
  6. Active automata learning as black-box search and lazy partition refinement: Label: en
  7. Anonymous yet Traceable Strong Designated Verifier Signature: Label: en
  8. Advances in cryptology -- ASIACRYPT 2023. 29th international conference on the theory and application of cryptology and information security, Guangzhou, China, December 4--8, 2023. Proceedings. Part VIII: Label: en
  9. Advances in cryptology -- ASIACRYPT 2023. 29th international conference on the theory and application of cryptology and information security, Guangzhou, China, December 4--8, 2023. Proceedings. Part II: Label: en
  10. Information security practice and experience. 18th international conference, ISPEC 2023, Copenhagen, Denmark, August 24--25, 2023. Proceedings: Label: en
  11. Total variation and mean curvature PDEs on the space of positions and orientations: Label: en
  12. The convex-hull-stripping median approximates affine curvature motion: Label: en
  13. Minimal Lipschitz extensions for vector-valued functions on finite graphs: Label: en
  14. Time discrete geodesics in deep feature spaces for image morphing: Label: en
  15. Pseudodifferential inpainting: the missing link between PDE- and RBF-based interpolation: Label: en
  16. Deep Eikonal solvers: Label: en
  17. Macrocanonical models for texture synthesis: Label: en
  18. Functional liftings of vectorial variational problems with Laplacian regularization: Label: en
  19. A variational perspective on the assignment flow: Label: en
  20. Total directional variation for video denoising: Label: en
  21. Preservation of piecewise constancy under TV regularization with rectilinear anisotropy: Label: en
  22. A total variation based regularizer promoting piecewise-Lipschitz reconstructions: Label: en
  23. A connection between image processing and artificial neural networks layers through a geometric model of visual perception: Label: en
  24. Unsupervised labeling by geometric and spatially regularized self-assignment: Label: en
  25. A balanced phase field model for active contours: Label: en
  26. Direct MRI segmentation from k-space data by iterative Potts minimization: Label: en
  27. Learning adaptive regularization for image labeling using geometric assignment: Label: en
  28. Stable explicit p-Laplacian flows based on nonlinear eigenvalue analysis: Label: en
  29. Sparsification scale-spaces: Label: en
  30. Computing nonlinear eigenfunctions via gradient flow extinction: Label: en
  31. Variational image registration for inhomogeneous-resolution pairs: Label: en
  32. PDE evolutions for M-smoothers: from common myths to robust numerics: Label: en
  33. A variational convex hull algorithm: Label: en
  34. Programming languages: implementations, logics, and programs. 9th international symposium, PLILP '97, including a special track on declarative programming languages in education, Southampton, UK, September 3--5, 1997. Proceedings: Label: en
  35. Cryptology and network security. 22nd international conference, CANS 2023, Augusta, GA, USA, October 31 -- November 2, 2023. Proceedings: Label: en
  36. Software engineering and formal methods. 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6--10, 2023. Proceedings: Label: en
  37. Code-based cryptography. 11th international workshop, CBCrypto 2023, Lyon, France, April 22--23, 2023. Revised selected papers: Label: en
  38. Transactions on Petri Nets and Other Models of Concurrency XVII: Label: en
  39. Algorithms and discrete applied mathematics. 10th international conference, CALDAM 2024, Bhilai, India, February 15--17, 2024. Proceedings: Label: en
  40. Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15--16, 2023. Revised selected papers: Label: en
  41. Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 -- August 1, 2022. Revised selected papers: Label: en
  42. Applied cryptography and network security. 22nd international conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5--8, 2024. Proceedings. Part I: Label: en
  43. Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18--22, 2024. Proceedings. Part II: Label: en
  44. Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18--22, 2024. Proceedings. Part I: Label: en
  45. Information security and cryptology -- ICISC 2023. 26th international conference on information security and cryptology, ICISC 2023, Seoul, South Korea, November 29 -- December 1, 2023. Revised selected papers. Part II: Label: en
  46. Information security and cryptology -- ICISC 2023. 26th international conference on information security and cryptology, ICISC 2023, Seoul, South Korea, November 29 -- December 1, 2023. Revised selected papers. Part I: Label: en
  47. Superconnectivity for minimal multi-loop networks: Label: en
  48. Efficient generation of elliptic curve cryptosystems: Label: en
  49. Three systems for shared generation of authenticators: Label: en
  50. Two-guarding a rectilinear polygon: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q162374"
Powered by MediaWiki