output
20192025
most citedBisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

31 citations

7 papers

astro-ph.IM2025

SPECTRUMMATE: A Low-cost Spectrometer for Small Telescopes

Hien Phan-Thanh, Nguyen Nguyen-Duc, Thuy Le-Quang +2

This project presents the development and implementation of a compact spectrometer, named SPECTRUMMATE, tailored for small telescopes. Small telescopes offer several advantages: th…

astro-ph.GA2024★ 1 cited

Accretion vs. Core-Filament Collision: Implications for Streamer Formation in Per-emb-2

Fumitaka Nakamura, Quang Nguyen-Luong, Kousuke Ishihara +1

Recent millimeter and submillimeter observations have unveiled elongated and asymmetric structures around protostars. These structures, referred to as streamers, often exhibit cohe…

cs.FL2023★ 2 cited

Approximate State Reduction of Fuzzy Finite Automata

Miroslav Ćirić, Ivana Micić, Stefan Stanimirović +1

In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match…

hep-ph2023★ 10 cited

-based model with linear seesaw scheme for lepton mass and mixing

V. V. Vien, H. N. Long

We suggest a low-scale model based on symmetry and a global lepton number symmetry capable of generating the current neutrino data. The neutrino…

hep-ph2023★ 1 cited

Fermion masses and mixings and muon anomaly in a flavored 2HDM

V. V. Vien, H. N. Long, A. E. Cárcamo Hernández +1

We propose an extended 2HDM with symmetry that can successfully accommodate the SM fermion mass and mixing hierarchy. The tiny masses of the active neutri…

cs.LO2020★ 31 cited

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen +2

Description logics (DLs) are a suitable formalism for representing knowledge about domains in which objects are described not only by attributes but also by binary relations betwee…