"> The effects of templating on the catalytic performance of SAPO-34 catalyst have been investigated in conversion of methanol to olefins. SAPO-34 <span style="font-size: 11pt; color: #000000; font-sty...

The article considers the international experience of legal regulation labor minors and identifies promising areas for improving current legislation Ukraine in field work minors. In particular, authors studied Latvian, Lithuanian, Slovak, Estonian Republics, Great Britain, provinces Canada (Alberta Manitoba).&#x0D; As you know, has certain features both other countries, given their physiologica...

In this paper, we establish some new results in ultra Bessel sequences and ultra Bessel sequences of subspaces. Also, we investigate ultra Bessel sequences in direct sums of Hilbert spaces. <span style="font-family: NimbusRomNo9L-Regu; font-size: 11pt; color: #000000; font-s...

We analyze the performance of E-limited scheduling in Bluetooth piconets under bursty traffic finite buffer case. We model joint probability distributions of uplink and downlink queues using the M [x]/G/1/K model with vacations and derive buffer blocking probabilities at slaves and at the master. We also derive access delays at slave uplink buffers. Analytical results are validated through simu...

We investigate Gaver’s parallel system attended by a cold standby unit and a repairman with multiple vacations. By analysing the spectral distribution of the system operator and taking into account the irreducibility of the semigroup generated by the system operator we prove that the dynamic solution converges strongly to the steady state solution. Thus we obtain asymptotic stability of the dyn...

In this paper, we demonstrate the impact of Multiword Expression (MWE) resources in the task of MWE recognition in text. We present results based on the Wiki50 corpus for MWE resources, generated using unsupervised methods from raw text and resources that are extracted using manual text markup and lexical resources. We show that resources acquired from manual annotation yield the best MWE taggi...

<span style="font-size: 10pt; color: #0000...

0 Getting Started 94 0.1 Installing Matita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 0.2 Preparing a working directory . . . . . . . . . . . . . . . . . . . . . . 95 0.3 Matita interface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 0.4 Browsing the library . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 0.5 Live DVD . . . . . . . . . . . . . . . . ....

Nowadays, enterprises cooperate more extensively with other enterprises during the entire product life cycle. Temporary alliances between various enterprises emerge such as those in Virtual Enterprises. Collaborative applications are demanded that enable enterprises to engage in such endeavors. This paper aims to present a framework with which collaborative applications can be characterized and...