E-LIB Suche - Ergebnisse für: Duong, Van Tan

1

Development of an Autonomous Component Testing System with ..:

Phan, Hoang Anh ; Duong, Van Tan ; Thi, Mai Nguyen...
ECTI Transactions on Computer and Information Technology (ECTI-CIT). 18 (2024) 1 - p. 64-75 , 2024

Link: https://doi.org/10.37936..

2

An Enhanced Sampling-Based Method with Modified Next-Best V..:

, In: 2023 20th International Joint Conference on Computer Science and Software Engineering (JCSSE),

Tran, Dong Huu Quoc ; Phan, Hoang-Anh ; Van, Hieu Dang... - p. 225-230 , 2023

Link: https://doi.org/10.1109/..

3

Provably correct implementation of the AbC calculus:

De Nicola, Rocco ; Duong, Tan ; Loreti, Michele
Science of Computer Programming. 202 (2021) - p. 102567 , 2021

Link: https://doi.org/10.1016/..

4

Verifying AbC Specifications via Emulation:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar - p. 261-279 , 2020

Link: https://doi.org/10.1007/..

5

ABEL - A Domain Specific Framework for Programming with Att..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

De Nicola, Rocco ; Duong, Tan ; Loreti, Michele - p. 111-128 , 2019

Link: https://doi.org/10.1007/..

6

A Systematic Approach to Programming and Verifying Attribut..:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar. - p. 377-396 , 2019

Link: https://doi.org/10.1007/..

7

AErlang: Empowering Erlang with attribute-based communicati..:

De Nicola, Rocco ; Duong, Tan ; Inverso, Omar.
Science of Computer Programming. 168 (2018) - p. 71-93 , 2018

Link: https://doi.org/10.1016/..

8

Adaptive Extended State Observer for the Dual Active Bridge..:

Duong, Tan-Quoc ; Trinh, Hoai-An ; Ahn, Kyoung-Kwan.
Sensors. 24 (2024) 8 - p. 2397 , 2024

Link: https://doi.org/10.3390/..

9

Moving Discretized Control Set Model Predictive Control wit..:

Duong, Tan-Quoc ; Choi, Sung-Jin
Mathematics. 12 (2024) 4 - p. 563 , 2024

Link: https://doi.org/10.3390/..

10

A Generalized Autorec Framework Applying Content-based Info..:

, In: Proceedings of the 12th International Symposium on Information and Communication Technology,

Duong, Tan Nghia ; Pham, Thi Thu Trang ; Do, Truong Giang.. - p. 181-188 , 2023

Link: https://dl.acm.org/doi/1..

11

Robust Adaptive Control Strategy for a Bidirectional DC-DC ..:

Trinh, Hoai-An ; Nguyen, Duc Giap ; Phan, Van-Du...
Sensors. 23 (2023) 1 - p. 457 , 2023

Link: https://doi.org/10.3390/..

12

Deadbeat Control for Single-Input Dual-Output Dual Active B..:

, In: 2023 26th International Conference on Mechatronics Technology (ICMT),

Duong, Tan-Quoc ; Olayiwola, Tofopefun Nifise ; Im, Tae-Yeong. - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

13

A Scalable Recommendation System with Hybrid Similarity Mat..:

, In: 2023 International Conference on Advanced Technologies for Communications (ATC),

Duong, Tan Nghia ; Cao, Tuan Nghia ; Do, Truong Giang.. - p. 480-487 , 2023

Link: https://doi.org/10.1109/..

14

Sensor-Reduction Control for SPS-Modulated DAB Converter us..:

, In: 2023 IEEE Applied Power Electronics Conference and Exposition (APEC),

Duong, Tan-Quoc ; Choi, Sung-Jin - p. 1366-1372 , 2023

Link: https://doi.org/10.1109/..

15

Deadbeat Control with Current Stress Optimization for Exten..:

, In: 2023 11th International Conference on Power Electronics and ECCE Asia (ICPE 2023 - ECCE Asia),

Duong, Tan-Quoc ; Choi, Sung-Jin - p. 7-12 , 2023

Link: https://doi.org/10.23919..