Symbolic model checking quantum circuits in Maude -н Canh Minh Do, Kazuhiro Ogata

Бүрэн текст авах

A Layered and Parallelized Method of Eventual Model Checking -н Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

Бүрэн текст авах

A Divide and Conquer Approach to Eventual Model Checking -н Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Бүрэн текст авах

Influence of Child’s Temperament on Behaviour Management Problems in the Dental Office: A Literature Review -н Nhat Minh Do, François Clauss, Margot Schmitt, Marie-Cécile Manière

Бүрэн текст авах

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version -н Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

Бүрэн текст авах

Hierarchical loop closure detection for long-term visual SLAM with semantic-geometric descriptors -н Singh, Gaurav, Wu, Meiqing, Lam, Siew-Kei, Minh, Do Van

Бүрэн текст авах

Coping strategies to workplace violence among nursing students: a cross-sectional study -н Sinh Minh Do, Anh Thi Lan Mai, Mai Thi Thuy Vu

Бүрэн текст авах

Anti‐sloshing control: Flatness‐based trajectory planning and tracking control with an integrated extended state observer -н Khanh Nguyen Viet, Minh Do Duc, Thanh Cao Duc, Tung Lam Nguyen

Бүрэн текст авах

Effect of Splitter Angles on Characteristics of Mixing Layer Flow: A Numerical Study -н Trung Dung Nguyen, Dinh Anh Le, Van Minh Do, Anh Tuan Nguyen, The Hung Tran

Бүрэн текст авах

The Photocatalytic Activity of the Bi2O3-B2O3-ZnO-TiO2 Glass Coating -н Do Trung Kien KIEU, Ngoc Minh HUYNH, Vu Uyen Nhi NGUYEN, Quang Minh DO

Бүрэн текст авах

THE VARIATION IN MICROSTRUCTURE OF LITHIUM DISILICATE GLASS AND GLASS-CERAMICS -н Huynh Ngoc Minh, Nguyen Vu Uyen Nhi, Do Trung Kien Kieu, Minh Do Quang

Бүрэн текст авах

Fostering organizational performance through innovation: The roles of environmental policy instruments, organizational learning supports, and intellectual capital -н Thang Nam Huynh, Phuong Van Nguyen, Anh Minh Do, Phuong Uyen Dinh, Huan Tuong Vo

Бүрэн текст авах

Velocity equation for grenades while impacting on dry sand media -н Martin Macko, Xuan Son Bui, Kongsathit Phanthavong, Duc Hung Pham, Van Gion Do, Van Minh Do, Jiri Skala

Бүрэн текст авах

Ultrasonic Sensor Modeling with Support Vector Regression -н Duy Ngoc Dang, Tri Minh Do, Rui Alexandre de Matos Araújo, Khang Hoang Vinh Nguyen, Can Duy Le

Бүрэн текст авах

Non-Human Primate Blood–Brain Barrier and In Vitro Brain Endothelium: From Transcriptome to the Establishment of a New Model -н Catarina Chaves, Tuan-Minh Do, Céline Cegarra, Valérie Roudières, Sandrine Tolou, Gilbert Thill, Corinne Rocher, Michel Didier, Dominique Lesuisse

Бүрэн текст авах

Comments on the Extraperitoneal Approach for Standard Laparoscopic Radical Prostatectomy: What Is Gained and What Is Lost -н Evangelos Liatsikos, Iason Kyriazis, Panagiotis Kallidonis, Minh Do, Tim Haefner, Anja Dietel, Sigrun Holze, Narasimhan Ragavan, Jens-Uwe Stolzenburg

Бүрэн текст авах

Prospects of Blended Learning Implementation at FPT University Can Tho, Vietnam -н Van Thi Hong Dao, Quan Hoang Minh Do, Anh Mai Pham, Tram Thi Ngoc Van, Truc Thi Thanh Nguyen

Бүрэн текст авах

Design, development and manufacture of a small electric motor dynamometer -н Hong Thong Duc, Truong Phat Tan, Pham Minh Quang, Ho Hoa Nam, Le Hoang Minh Do, Vu Thang Viet

Бүрэн текст авах

Xây dựng quy trình công nghệ chế biến puree bí đỏ (Cucurbita moschata D.) đóng hộp -н Nguyễn Nhật Minh Phương, Trần Kim Bảo, Lê Minh Đô, Trần Như Ảnh, Trần Chí Nhân, Tống Thị Ánh Ngọc

Бүрэн текст авах

Assessment of different continence definitions in the context of the randomized multicenter prospective LAP-01 trial—Does the best definition change over time? -н Sigrun Holze, Anna Sophie Kuntze, Meinhard Mende, Petra Neuhaus, Michael C. Truss, Hoang Minh Do, Anja Dietel, Toni Franz, Jens-Uwe Stolzenburg

Бүрэн текст авах