A general conservative extension theorem in process algebras with inequalities

We prove a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable conditions. The core of this result is another general theorem which gives sufficient conditions for a system of operational rules and an extension of it in order to ensure conservativity, that is, provable transitions from an original term in the extension are the same as in the original system. As a simple corollary of the conservative extension theorem we prove a completeness theorem. We also prove a general theorem giving sufficient conditions to reduce the question of ground confluence modulo some equations for a large term rewriting system associated with an equational process theory to a small term rewriting system under the condition that the large system is a conservative extension of the small one. We provide many applications to show that our results are useful. The applications include (but are not limited to) various real and discrete time settings in ACP, ATP, and CCS and the notions projection, renaming, stage operator, priority, recursion, the silent step, autonomous actions, the empty process, divergence, etc

Translation and the Movies Challenges And Difficulties During Movie Translation, Especially Movie Titles

The birth of cinema was seen as an important step and a universal way of communication. This was partly true at a time when movies were silent and there was no need for translation. Images shown could contain cultural details typical of a certain country or culture and consequently were somewhat incomprehensible to foreign audiences. In the absence of linguistic interference the audience had the opportunity to identify characters based on their appearance; this was made easier if it was known which the source culture was. Although early silent films treated topics that needed no translation, that were considered as cross-cultural. Just after the start of sound movies began the need for movie translators and were presented the first challenges in this area.Keywords: Film translation, subtitling, foreignisation, localization, target culture, source culture

A silent speech system based on permanent magnet articulography and direct synthesis

In this paper we present a silent speech interface (SSI) system aimed at restoring speech communication for individuals who have lost their voice due to laryngectomy or diseases affecting the vocal folds. In the proposed system, articulatory data captured from the lips and tongue using permanent magnet articulography (PMA) are converted into audible speech using a speaker-dependent transformation learned from simultaneous recordings of PMA and audio signals acquired before laryngectomy. The transformation is represented using a mixture of factor analysers, which is a generative model that allows us to efficiently model non-linear behaviour and perform dimensionality reduction at the same time. The learned transformation is then deployed during normal usage of the SSI to restore the acoustic speech signal associated with the captured PMA data. The proposed system is evaluated using objective quality measures and listening tests on two databases containing PMA and audio recordings for normal speakers. Results show that it is possible to reconstruct speech from articulator movements captured by an unobtrusive technique without an intermediate recognition step. The SSI is capable of producing speech of sufficient intelligibility and naturalness that the speaker is clearly identifiable, but problems remain in scaling up the process to function consistently for phonetically rich vocabularies

Stimulus-Dependent State Transition between Synchronized Oscillation and Randomly Repetitive Burst in a Model Cerebellar Granular Layer

Information processing of the cerebellar granular layer composed of granule and Golgi cells is regarded as an important first step toward the cerebellar computation. Our previous theoretical studies have shown that granule cells can exhibit random alternation between burst and silent modes, which provides a basis of population representation of the passage-of-time (POT) from the onset of external input stimuli. On the other hand, another computational study has reported that granule cells can exhibit synchronized oscillation of activity, as consistent with observed oscillation in local field potential recorded from the granular layer while animals keep still. Here we have a question of whether an identical network model can explain these distinct dynamics. In the present study, we carried out computer simulations based on a spiking network model of the granular layer varying two parameters: the strength of a current injected to granule cells and the concentration of Mg2+ which controls the conductance of NMDA channels assumed on the Golgi cell dendrites. The simulations showed that cells in the granular layer can switch activity states between synchronized oscillation and random burst-silent alternation depending on the two parameters. For higher Mg2+ concentration and a weaker injected current, granule and Golgi cells elicited spikes synchronously (synchronized oscillation state). In contrast, for lower Mg2+ concentration and a stronger injected current, those cells showed the random burst-silent alternation (POT-representing state). It is suggested that NMDA channels on the Golgi cell dendrites play an important role for determining how the granular layer works in response to external input

Observations of Isolated Neutron Stars with the ESO Multi-Conjugate Adaptive Optics Demonstrator

High-energy observations have unveiled peculiar classes of isolated neutron stars which, at variance with radio pulsars, are mostly radio silent and not powered by the star rotation. Among these objects are the magnetars, hyper-magnetized neutron stars characterized by transient X-ray/gamma-ray emission, and neutron stars with purely thermal, and in most cases stationary, X-ray emission (a.k.a., X-ray dim isolated neutron stars or XDINSs). While apparently dissimilar in their high-energy behavior and age, both magnetars and XDINSs have similar periods and unusually high magnetic fields. This suggests a tantalizing scenario where the former evolve into the latter.Discovering so far uninvestigated similarities between the multi-wavelength properties of these two classes would be a further step forward to establish an evolutionary scenario. A most promising channels is the near infrared (NIR) one, where magnetars are characterized by a distinctive spectral flattening with respect to the extrapolation of the soft X-ray spectrum.We observed the two XDINSs RX J0420.0-5022 and RX J1856.5-3754 with the Multi-Conjugate Adaptive Optics Demonstrator (MAD) at the Very Large Telescope (VLT) as part of the instrument guaranteed time observations program, to search for their NIR counterparts. Both RX J1856.5-3754 and RX J0420.0-5022 were not detected down to K_s ~20 and Ks ~21.5, respectively. In order to constrain the relation between XDINSs and magnetars it would be of importance to perform deeper NIR observations. A good candidate is 1RXS J214303.7+065419 which is the XDINS with the highest inferred magnetic field.Comment: Accepted for publication in Astronomy and Astrophysic

Sonocrystallisation of ZIF-8 in water with high excess of ligand: Effects of frequency, power and sonication time

A systematic study on the sonocrystallisation of ZIF-8 (zeolitic imidazolate framework-8) in a water-based system was investigated under different mixing speeds, ultrasound frequencies, calorimetric powers and sonication time. Regardless of the synthesis technique, pure crystals of ZIF-8 with high BET (Brunauer, Emmett and Teller) specific surface area (SSA) can be obtained in water after only 5 s. Furthermore, 5 s sonication produced even smaller crystals (~0.08 µm). The type of technique applied for producing the ZIF-8 crystals did not have any significant impact on crystallinity, purity and yield. Crystal morphology and size were affected by the use of ultrasound and mixing, obtaining nanoparticles with a more spherical shape than in silent condition (no ultrasound and mixing). However, no specific trends were observed with varying frequency, calorimetric power and mixing speed. Ultrasound and mixing may have an effect on the nucleation step, causing the fast production of nucleation centres. Furthermore, the BET SSA increased with increasing mixing speed. With ultrasound, the BET SSA is between the values obtained under silent condition and with mixing. A competition between micromixing and shockwaves has been proposed when sonication is used for ZIF-8 production. The former increases the BET SSA, while the latter could be responsible for porosity damage, causing a decrease of the surface area. © 2021 The Author(s

Improving cuff-less continuous blood pressure estimation with linear regression analysis

In this work, the authors investigate the cuff-less estimation of continuous BP through pulse transit time (PTT) and heart rate (HR) using regression techniques, which is intended as a first step towards continuous BP estimation with a low error, according to AAMI guidelines. Hypertension (the 'silent killer') is one of the main risk factors for cardiovascular diseases (CVDs), which are the main cause of death worldwide. Its continuous monitoring can offer a valid tool for patient care, as blood pressure (BP) is a significant indicator of health and, using it together with other parameters, such as heart and breath rates, could strongly improve prevention of CVDs. The novelties introduced in this work are represented by the implementation of pre-processing and by the innovative method for features research and features processing to continuously monitor blood pressure in a non-invasive way. Currently, invasive methods are the only reliable methods for continuous monitoring, while non-invasive techniques measure the values every few minutes. The proposed approach can be considered the first step for the integration of these types of algorithms on wearable devices, in particular on those developed for the SINTEC project