Publicaties
Gekozen filters:
Gekozen filters:
Characterising Modal Definability of Team-Based Logics via the Universal Modality Universiteit Hasselt
We study model and frame definability of various modal logics. Let denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We show that a class of Kripke models is definable in if and only if the class is elementary and closed under disjoint unions and surjective bisimulations. We also characterise the definability of in the spirit of the well-known Goldblatt–Thomason ...
CFD Modeling and Multi-Objective Optimization of Cyclone Geometry Using Desirability Function, Artificial Neural Networks and Genetic Algorithms Vrije Universiteit Brussel
The low-mass loading gas cyclone separator has two performance parameters, the pressure drop and the collection efficiency (cut-off diameter). In this paper, a multi-objective optimization study of a gas cyclone separator has been performed using the response surface methodology (RSM) and CFD data. The effects of the inlet height, the inlet width, the vortex finder diameter and the cyclone total height on the cyclone performance have been ...
Derringer desirability and kinetic plot LC-column comparison approach for MS-compatible lipopeptide analysis Universiteit Gent
Lipopeptides are currently re-emerging as an interesting subgroup in the peptide research field, having historical applications as antibacterial and antifungal agents and new potential applications as antiviral, antitumor, immune-modulating and cell-penetrating compounds. However, due to their specific structure, chromatographic analysis often requires special buffer systems or the use of trifluoroacetic acid, limiting mass spectrometry ...