In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference property. Various notions of non-interference have been defined in the literature, and in this paper we focus on Strong Non-deterministic Non-Interference (SNNI) and we study the two following problems: (1) check whether it ...

Background—Tissue factor pathway inhibitor (TFPI), a key regulator of tissue factor–induced coagulation, contains 3 tandem Kunitz-type inhibitory domains. Kunitz-1 binds and inhibits factor VIIa in the factor VIIa/tissue factor complex, and Kunitz-2 binds and inhibits factor Xa. The role of the Kunitz-3 domain of TFPI, however, has remained an enigma. Methods and Results—To determine the struct...

The purpose of this article is to explore the psycholinguistic aspects of interlingual and intralingual interference during second language grammatical gender production. Two experiments were constructed to explore whether the difficulties in acquisition and correct production of grammatical gender in a second language are influenced by competition for selection between the gender node of a sec...

Wind farm micro-siting is a complex process that requires multidisciplinary analysis and optimization. The problem consists not only of positioning the wind turbines in the locations within the site that have the most wind energy potential, but also it has to minimize wake interference between turbines. This means that usually the sum of the expected isolated turbines is less than the actual pe...

A universal decoder for a parametric family of channels is a decoder that for any channel in the family attains the same random coding error exponent as the best decoder for that particular channel. The existence and structure of such decoders is demonstrated under relatively mild conditions of continuity of the channel law with respect to the parameter indexing the family. It is further shown ...

This paper describes a complete approach to filtering Partial Discharge (PD) pulses from interference in High Voltage electrical equipment using supervised Machine Learning (ML) techniques. The PD signals are registered Ultra Frequency radiation band with multisensor acquisition system composed of 4 antennae. proposed methodology focuses on the implementation ML algorithms and proposes novel th...

The exponential demand for multimedia services is one reason behind the substantial growth of mobile data traffic. Video traffic patterns have significantly changed in past two years due to coronavirus disease (COVID-19). worldwide pandemic has caused many individuals work from home and use various online video platforms (e.g., Zoom, Google Meet, Microsoft Teams). As a result, overloaded macroc...

Sheet metal bending processes are applied in a multitude of mechanical parts. The process involves optimising the sequence of designated bends taking into account the total processing and handling time, avoiding collisions of the sheet metal with tools and machine and respecting the dimensional accuracy constraints of the part. Experienced operators employ expert rules to define possible differ...