This paper reports on the Hybrid Systems Theorem Proving (HSTP) category in ARCH-COMP Friendly Competition 2021. The characteristic features of HSTP cate- gory remain as previous editions [MST+18, MST+19, MMJ+20], it focuses flexi- bility programming languages structuring principles for hybrid systems, unambiguity and precision program semantics, mathematical rigor logical reasoning principles....

Microalgae are increasingly used in the production of various industrial chemicals. Lipids from major microalgae crops similar to lipids obtained oilseed plants and can be converted into biodiesel, moreover, more advantageous than oil many ways. Therefore, biodiesel technology is a current interesting research topic. The effect salinity nutrient medium on growth lipid productivity marine Dunali...

This study was aimed at investigating ways to ensure the adaptivity of Moodle courses improve efficiency educational process. As main re-search method, survey used issues ensuring eLearning in Moodle. Besides, within current work, method achiev-ing course combined with a personalized approach proposed by Limongelli et al. It revealed that most participants have difficulties self-learning and pe...

In order to improve measurement efficiency in electromagnetic test facilities (compact range or near-field range), testing probes are required to have ultra-wideband (UWB) radiation characteristics, dual-polarization capability, and interchangeable Eand H-plane farfield patterns. In this context, we propose a new type of UWB antenna that satisfies these requirements in the frequency range of 4 ...

A bstract Factorizing the cross section for single hadron production in e + ? annihilations is a highly non trivial task when transverse momentum of outgoing with respect to thrust axis taken into account. We work scheme that allows factorize ? H X as convolution calculable hard coefficient and Transverse Momentum Dependent (TMD) fragmentation function. The result, differential z h , P T thrust...

A possibte obstacle in the development of h)'brid strains of Acinetobacter calcoaceticus by the introduction f a metabo]ic pathway into the chromosome is genetic instability of the resulting recombinant strains. Therefore, the poss;bility that the pohA gene can be used as a chTomosomat cloning site where the transposed genes can be maintained and expressed, was explored in this study. For this ...

In addition to automatically generating correct wiring, routers are used to meet additional design goals. Examples include reducing capacitive coupling and improving yield. Using routers to improve testa-bility has been mentioned in the literature, but concrete rules or methods have not been explained or implemented. In this paper, we show how a modiied router improves bridge fault testability ...

Analysis and simulations are performed for a simpliied model of a commercially available variant of the skateboard, known as the Snakeboard 1. Although the model exhibits basic gait patterns seen in a large number of locomotion problems, the analysis tools currently available do not apply to this problem. The diiculty lies primarily in the way in which the non-holonomic constraints enter into t...