:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Binh, Trong Hoang
Format:	Recurso digital
Language:	English
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19430507
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Java Privacy Guard - The OpenPGP Message Format and an Implementation in Java
by: Stefan More
Published: (2015)

Modelo OBJ de prueba UB
by: olahhit
Published: (2022)

Formal verification of higher dimensional quantum protocols
by: Puthoor, Ittoop Vergheese
Published: (2024)

Fox-Neuwirth cells, quantum shuffle algebras, and the homology of type-B Artin groups
by: Hoang, Anh Trong Nam
Published: (2022)

Robustness verification of soft security systems
by: Bidgoly, Amir Jalaly
Published: (2020)

Open for Green New Product Development: A Voluntary Approach to Green Process Innovation
by: Hoàng Thu Thảo, et al.
Published: (2025)

Why cut-and-choose quantum state verification cannot be both efficient and secure
by: Wiesner, Fabian, et al.
Published: (2025)

usi-verification-and-security/opensmt: smtcomp2026
by: Antti Hyvärinen, et al.
Published: (2026)

Contribution of Manufacturing Strategy to Competitive Performance of Manufacturing Companies: Empirical Evidence from Vietnam
by: Hoang Trong Hoa
Published: (2020)

Effective knowledge representation and utilization for sustainable collaborative learning across heterogeneous systems
by: Trong Nghia Hoang
Published: (2024)

Supplementary material, Links to 3D-PDFs and OBJ files of micro-CT scans
by: Wisshak, Max, et al.
Published: (2017)

Why quantum state verification cannot be both efficient and secure: a categorical approach
by: Wiesner, Fabian, et al.
Published: (2024)

Revolutionizing Precise Low Back Pain Diagnosis via Contrastive Learning
by: Le, Thanh Binh, et al.
Published: (2025)

Compressed verification for post-quantum signatures with long-term public keys
by: Banegas, Gustavo, et al.
Published: (2025)

All graph state verification protocols are composably secure
by: Colisson, Léo, et al.
Published: (2024)

Single-qubit loss-tolerant quantum position verification protocol secure against entangled attackers
by: Escolà-Farràs, Llorenç, et al.
Published: (2022)

Phosphatase targeting in Luminal B breast cancer: PGP.
by: Mamoor, Shahan
Published: (2025)

Projective dimension of powers of cover ideal of Ferrers graphs
by: Hoang, Do Trong, et al.
Published: (2026)

Unmixed and sequentially Cohen-Macaulay skew tableau ideals
by: Hoang, Do Trong, et al.
Published: (2024)

A survey on post‐quantum based approaches for edge computing security
by: Aykut Karakaya, et al.
Published: (2024)

Formalization and security analysis of the Bridgeless protocol
by: Alpos, Orestis, et al.
Published: (2025)

Cafés in Braunschweig
by: Albrecht, Peter
Published: (2026)

The Recovery Café
by: John de Miranda
Published: (2025)

Creación de Patrones de Criptografía PGP Para Aplicaciones Utilizando Linux
by: Jesús Antonio Álvarez Cedillo
Published: (2006)

Chemical Composition, Antimicrobial, and Anticancer Activity of Essential Oil From Tanacetum parthenium (L.) Sch.Bip Leaves Cultivated in Dalat, Vietnam
by: Hoang Thi Binh, et al.
Published: (2025)

Coarse geometry of extended admissible groups
by: Dao, Toan Trong, et al.
Published: (2025)

Effective Multi-Stage Training Model For Edge Computing Devices In Intrusion Detection
by: Trong, Thua Huynh, et al.
Published: (2024)

Lumière-Café-Management
by: Atharva Deshmukh, et al.
Published: (2026)

Formal verification of tree-based machine learning models for lateral spreading
by: Kumar, Krishna
Published: (2026)

Formal verification in Solidity and Move: insights from a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2025)

OSVAuto: automatic proofs about functional specifications in OS verification
by: Wu, Yulun, et al.
Published: (2024)

Automated Image Recognition Framework
by: Nguyen, Quang-Binh, et al.
Published: (2025)

ShowFlow: From Robust Single Concept to Condition-Free Multi-Concept Generation
by: Hoang, Trong-Vu, et al.
Published: (2025)

Development of a three‐dimensional scintillation detector for pencil beam verification in proton therapy patient‐specific quality assurance
by: Anne‐Marie Frelin, et al.
Published: (2024)

OpenLifelogQA: An Open-Ended Multi-Modal Lifelog Question-Answering Dataset
by: Tran, Quang-Linh, et al.
Published: (2025)

Sustainability Reporting Awards and Market Reaction: The Sustainability Awareness of Investors on the Vietnam Stock Market
by: Samuel Buertey, et al.
Published: (2025)

PGP-SAM: Prototype-Guided Prompt Learning for Efficient Few-Shot Medical Image Segmentation
by: Yan, Zhonghao, et al.
Published: (2025)

Cafés de México / Asociación Mexicana de la Cadena Productiva del Café
Published: (2011)

El Nirvana sí, pero con Café: Café y haikus / Edgar Saavedra
by: Saavedra, Edgar

Unconditional verification of quantum computation with classical light
by: Takeuchi, Yuki, et al.
Published: (2024)