Miracle-dz/UniFAR-FTUs huggingface dataset:
Carrier signal injection based sensorless control of permanent magnet synchronous machines without the need of magnetic polarity identification

Inherent 2nd harmonic resistive and inductive saliencies are generally employed for rotor position estimation of permanent magnet synchronous machine at standstill and in low speed range. However, the resultant estimated rotor position has an angle ambiguity of π due to the lack of magnetic polarity information in these saliencies. Therefore, this paper utilises the high frequency (HF) inductance (permeance) harmonics (i.e., HF saliency) generated due to the saturation modulation between HF field and main flux field for rotor position estimation. Since the HF saliency contains the magnetic polarity information, the resultant carrier responses due to the interaction between HF field and HF saliency (i.e., the secondary harmonics) can be utilised for the actual rotor position tracking without any ambiguity of machine polarity. This will not only eliminate the time-consuming process of polarity identification but also enhance the position estimation robustness and stability. Finally, in order to validate the effectiveness of HF saliency based sensorless control strategies, experiments are carried out on a laboratory permanent magnet synchronous machine.
Fast Markov Decision Process for data collection in sensor networks

We investigate the data collection problem in sensor networks. The network consists of a number of stationary sensors deployed at different sites for sensing and storing data locally. A mobile element moves from sites to sites to collect data from the sensors periodically. There are different costs associated with the mobile element moving from one site to another, and different rewards for obtaining data at different sensors. Furthermore, the costs and the rewards are assumed to change abruptly. The goal is to find a “fast” optimal movement pattern/policy of the mobile element that optimizes for the costs and rewards in non-stationary environments. We propose a novel optimization framework called Fast Markov Decision Process (FMDP) to solve this problem. The proposed FMDP framework extends the classical Markov Decision Process theory by incorporating the notion of mixing time that allows for the tradeoff between the optimality and the convergence rate to the optimality of a policy. Theoretical and simulation results are provided to verify the proposed approach.
Semantic Analysis Supporting De-Radicalisation

Internet and Social media are widely used by terrorist organizations to spread their ideas and recruit foreign fighters. The aim of SAFFRON project is to build a system able to support early detection of foreign fighters' recruitment by terrorist groups in Europe. It consists in studying recruitment communication strategies on social media (e.g. narrations, argumentative tropes and myths used), and their evolution in time, as well as in identifying needs, values, cultural and social contexts of the target groups (young foreign fighters). In this paper, we will describe Safapp, the application developed to support semantic analysis of social network. We focus on how SAFFRON makes use of natural language processing and machine learning to categorize and analyse messages dealing with recruitment and radicalization on social networks.
Energy and throughput tradeoff in temporal spectrum sharing

It is envisaged that diverse types of short-range wireless systems coexist in shared spectrum in a near future. For low-power systems, throughput and energy efficiency are two design objectives that often conflict with each other. In this paper, we investigate the tradeoff between the throughput and the energy efficiency for a data-hungry but battery-driven low-power network which opportunistically shares radio spectrum in temporal domain. We provide a mathematical framework that determines the optimum frame lengths for the different objectives, and analyze the tradeoff. To this purpose, we propose an energy consumption model that reflects the characteristics of low-power transceivers including power consumption at the receiver side. Numerical results show that the optimum frame length for energy efficiency results in significant loss in throughput, and vice versa. This suggests that the transmission duration of the opportunistic network should be chosen depending on the prime system objective.
Study on Fracture Energy of Cement Stabilized Aggregate

A series of parametric tests have been conducted to investigate the effect of curing period and cement content of the specimen on fracture energy of cement stabilized aggregate. By means of three-point bending method, the fracture energy of cement stabilized aggregate was measured. Four specimen curing periods (14 d, 28 d, 60 d and 90 d) and four different cement contents (4%, 5%, 6% and 7%) were used. The results indicate that the fracture energy of cement stabilized aggregate is increasing with the increase of specimen curing period. Besides, with the increase of cement content, there is a tendency to decrease in the fracture energy of cement stabilized aggregate. The ability of cement stabilized aggregate to resist crack propagation becomes weaker and weaker with the increase of cement content.
Scalable video summarization of cultural video documents in cross-media space based on data cube approach

Video summarization has been a core problem to manage the growing amount of content in multimedia databases. An efficient video summary should display an overview of the video content and most of existing approaches fulfil this goal. However the information does not allow user to get all details of interest selectively and progressively. This paper proposes a scalable video summarization approach which provides multiple views and levels of details. Our method relies on the usage of cross media space and consensus clustering method. A video document is modelled as a data cube where the level of details is refined over nonconsensual features of the space. The method is designed for weakly structured content such as cultural documentaries and was tested on the INA corpus of cultural archives.
Compactly Supported Orthogonal and Biorthogonal $\sqrt 5$-Refinement Wavelets With 4-Fold Symmetry

Recently, radic5 -refinement hierarchical sampling has been studied and radic5-refinement has been used for surface subdivision. Compared with other refinements, such as the dyadic or quincunx refinement, radic5-refinement has a special property that the nodes in a refined lattice form groups of five nodes with these five nodes having different x and y coordinates. This special property has been shown to be very useful to represent adaptively and render complex and procedural geometry. When radic5-refinement is used for multiresolution data processing, radic5-refinement filter banks and wavelets are required. While the construction of 2-D nonseparable (bi)orthogonal wavelets with the dyadic or quincunx refinement has been studied by many researchers, the construction of (bi)orthogonal wavelets with radic5-refinement has not been investigated. The main goal of this paper is to construct compactly supported orthogonal and biorthogonal wavelets with radic5 -refinement. In this paper, we obtain block structures of orthogonal and biorthogonal radic5-refinement FIR filter banks with 4-fold rotational symmetry. We construct compactly supported orthogonal and biorthogonal wavelets based on these block structures.
TDMA MAC Protocols for WiFi-based Long Distance Networks: A Survey

WiFi is widely being researched to use it beyond its original purpose of short-range communication. These kinds of efforts are stimulated due to its mass production and cost-effectiveness. WiFibased Long Distance (WiLD) networks envisage changing the rural communication scenario particularly in the undeveloped nations. However, CSMA/CA, the de-facto MAC protocol of WiFi, is found to be ill-suited for WiLD networks. As a result, various TDMA-based MAC protocols are proposed in the literature as an alternative to CSMA/CA. The proposed protocols have shown significant performance improvement in such scenarios. In this paper, we propose a classification framework of WiLD MAC protocols based on their major characteristics. Using the classification framework, a survey on the MAC protocols proposed for WiLD networks is presented. The distinctive features of the TDMA MAC protocols are critically examined by pointing out their strengths and weaknesses in WiLD environment. In addition, this paper puts forward some state of art open research challenges in this area.
Economics of coronary stenting and GPIIb/IIIa blockade.

lipidaemic agents (usually a statin). If coronary arterial spasm seems a likely aetiological agent in such a patient, I also prescribe a vasodilator, i.e. a calcium channel blocker, an ACE inhibitor, or an angiotensin receptor blocker. These patients represent a very interesting subset of individuals with myocardial infarction. I am convinced that they will continue to be the subject of clinical investigation in the future in an effort to understand the pathophysiological process that results in their transient episode of coronary arterial obstruction. J. S. ALPERT Department of Medicine, University of Arizona Health Science Center, Tucson, Arizona, U.S.A. References
High-intensity fibre laser design for micro-machining applications

This work is focused on the design of a 250W high-intensity continuous-wave fibre optic laser with a 15μm spot size beam and a beam parameter product (BPP) of 1.8 for its use on Laser-assisted Cold Spray process (LCS) in the micro-machining areas. The metal-powder deposition process LCS, is a novel method based on Cold Spray technique (CS) assisted by laser technology. The LCS accelerates metal powders by the use of a high-pressure gas in order to achieve flash welding of particles over substrate. In LCS, the critical velocity of impact is lower with respect with CS while the powder particle is heated before the deposition by a laser beam. Furthermore, LCS does not heat the powder to achieve high temperatures as it happens in plasma processes. This property puts aside cooling problems which normally happen in sintered processes with high oxygen/nitrogen concentration levels. LCS will be used not only in deposition of thin layers. After careful design, proof of concept, experimental data, and prototype development, it should be feasible to perform micro-machining precise work with the use of the highintensity fibre laser presented in this work, and selective deposition of particles, in a similar way to the well-known Direct Metal Laser Sintering process (DMLS). The fibre laser consists on a large-mode area, Yb3+-doped, semi-diffraction limited, 25-m fibre laser cavity, operating in continuous wave regime. The fibre shows an arguably high slope-efficiency with no signs of roll-over. The measured M2 value is 1.8 and doping concentration of 15000ppm. It was made with a slight modification of the traditional MCVD technique. A full optical characterization will be presented.
Young people, HIV / AIDS, and intervention: barriers and gateways to behaviour change.

This paper reports on selected results from a completed study that explored sexual dynamics and decision-making among young people aged 11-24 years in KwaZulu/Natal Province. Data were collected in three phases: 1) a series of focus group discussions; 2) narrative research component; and 3) in-depth follow-up interviews with selected questionnaire participants. Two aspects of the youths' sexual behavior were discussed: condom use and abstinence as responses to HIV/AIDS. It is noted that as young people have begun to re-evaluate their beliefs and standards concerning appropriate sexual behavior for fear of HIV infection, significant barriers to behavior modification remain. Such obstacles are a reflection of an adaptation to historical, political, and sociocultural factors in their environment. Moreover, factors such as poor communication and negotiation skills, gender stereotypes, and gender power imbalances all hamper sexual dynamics of young people. In view of such, strategies for HIV intervention programs, such as: life skills improvement, acceptability and destigmatization of condom use, consistent condom use, and responsible sexual practice, should be incorporated.
Combining B and Alloy

In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abstract specifications. We demonstrate our approach with an example.
Selectors: Actors with Multiple Guarded Mailboxes

The actor programming model is based on asynchronous message passing and offers a promising approach for developing reliable concurrent systems. However, lack of guarantees to control the order in which messages are processed next by an actor makes implementing synchronization and coordination patterns difficult. In this work, we address this issue by introducing our extension to the actor model called selectors. Selectors have multiple mailboxes and each mailbox is guarded i.e. it can be enabled or disabled to affect the order in which messages are processed. The view of having guarded mailboxes is inspired by condition variables where a thread checks whether a condition is true before continuing its execution. Selectors allow us to simplify writing of synchronization and coordination patterns using actors such as a) synchronous request-reply, b) join patterns in streaming applications, c) supporting priorities in message processing, d) variants of reader-writer concurrency, and e) producer-consumer with bounded buffer. We present solutions to each of these patterns using selectors. Selectors can also be implemented efficiently -- we evaluate the performance of our library implementation of selectors on benchmarks that exhibit such patterns and we compare our implementation against actor-based solutions using Scala, Akka, Jetlang, Scalaz, Functional-Java and Habanero actor libraries. Our experimental results for the benchmarks show that using selector-based solutions simplify programmability and deliver significant performance improvements compared to other actor-based solutions.
Frequency and correlates of anxiety and mood disorders among TB- and HIV-infected Zambians

We determined the frequency and correlates of current common mental disorders (CMDs) in a consecutive series of 649 adult patients with human immunodeficiency virus (HIV), tuberculosis (TB) or both receiving treatment at 16 primary health care centres across Zambia. Data on socio-demographic variables, clinical disease features, anxiety and mood disorders were collected. The frequency of any anxiety disorder (AD) was 30.8% and major depressive disorder (MDD) 11.3%. Although differences by disease group did not reach statistical significance, rates of suicidality (34.8%) and panic disorder (4.1%) were highest for the TB–HIV group (n = 269), while rates of generalised AD (13.3%), obsessive compulsive disorder (7.6%), posttraumatic stress disorder (7.4%) and any AD (37.8%) were highest for the HIV group (n = 149). Female gender (p = 0.004) predicted any current AD as well as current suicidality (p = 0.009), while lower education status (p < 0.001) predicted current MDD. World Health Organisation (WHO) clinical staging and antiretroviral treatment status were not significantly associated with MDD or anxiety in the HIV and co-infected groups. This study indicates the importance of early identification of CMDs in TB, HIV and co-infected patients, especially women and uneducated patients, newly initiated on treatment in primary care settings.
Effects of insecticides on a phytotelmata‐breeding amphibian

Information on the impact of pesticides on amphibian species breeding in phytotelmata (water bodies within plants) is totally lacking. The aim of the present study was to assess the impact of the insecticide malathion on larvae of Phyllodytes luteolus. Individuals were exposed to ecologically relevant concentrations of malathion (commercial formulation) for 16 d under laboratory conditions. Malathion had a lethal effect that allowed the authors to hypothesize that phtytotelmata‐breeding species are likely as vulnerable to pollution as pond breeders. Environ Toxicol Chem 2017;36:422–428. © 2016 SETAC
Differential thermal wave radiometry for noninvasive blood glucose monitoring: feasibility analysis

Blood glucose monitoring is essential for management of diabetes especially for those patients who requires regular insulin injections. A reliable noninvasive technique may eliminate inconvenience associated with frequent skin puncture to draw blood for measurement by a standard meter. Laser-induced thermal waves in tissue and detection of resulting IR response may provide a valuable approach to development of noninvasive glucose sensor. The present report analyzes radiometric response of tissue at the two wavelengths in mid-IR spectral band with phase-sensitive detection to evaluate feasibility of differential phase radiometry for noninvasive glucose monitoring. Sensitivity of the differential phase method is computed using two models of laser-tissue interaction: homogeneous light absorption and a discrete chromophore heating.
Light Textual Inference for Semantic Parsing

There has been a lot of recent interest in Semantic Parsing, centering on using data-driven techniques for mapping natural language to full semantic representations (Mooney, 2007). One particular focus has been on learning with ambiguous supervision (Chen and Mooney, 2008; Kim and Mooney, 2012), where the goal is to model language learning within broader perceptual contexts (Mooney, 2008). We look at learning light inference patterns for Semantic Parsing within this paradigm, focusing on detecting speaker commitments about events under discussion (Nairn et al., 2006; Karttunen, 2012). We adapt PCFG induction techniques (Borschinger et al., 2011; Johnson et al., 2012) for learning inference using event polarity and context as supervision, and demonstrate the effectiveness of our approach on a modified portion of the Grounded World corpus (Bordes et al., 2010).
An energy-delay efficient power management scheme for embedded system in multimedia applications

High-performance embedded systems tend to use caches and memory hierarchy to speed up program execution. This increases DRAM idle time (inter-access time) and provides opportunity for reducing memory energy usage by performing memory state transition to a low-power mode. However, additional delay due to resynchronization may greatly increase the system response time. This work focuses on exploiting state transition techniques to reduce DRAM energy usage and also mitigating the penalty of resynchronization time. We propose a state transition technique based on address prediction that predicts the inter-access time between memory accesses. According to predicted inter-access time, the DRAM is directly put into a low-energy mode and transits back to the operation mode as the idle timer expires to avoid resynchronization overhead. Experiments using multimedia application show that the proposed scheme has achieved the best energy-delay performance than other previous policies.
Peripheral lymphangiogenesis in mice depends on ectodermal connexin-26 (Gjb2)

In order to study the specific function of connexin-26 (Cx26, also known as gap junction beta-2 protein; Gjb2), we generated knockin mice that expressed either a floxed lacZ reporter or, after Cre-mediated deletion, connexin-32 (Cx32)-coding DNA, both driven by the endogenous Cx26 promoter. Heterozygous Cx26knock-inCx32 (Cx26KICx32) embryos developed normally until embryonic day 14.5 but died before birth with severe lymphedemas. Although the jugular lymph sacs were normally developed, these embryos had a strongly reduced dermal lymphatic capillary network. By analyses of β-galactosidase reporter protein expression and lymphatic or blood endothelial-specific marker proteins, we demonstrated that Cx26 expression is temporally closely linked to lymphangiogenesis. No obvious phenotypic abnormalities were observed in Cx26KICx32 mice when Cre-mediated recombination was directed to mesenchyme or blood endothelium using the Prx1-Cre or Tie2-Cre mouse strains, respectively. By contrast, keratin-5-Cre-mediated replacement of Cx26 with Cx32 or deletion of both Cx26 alleles revealed severe lymphedemas similar to the general Cx26KICx32 phenotype. Thus, conditional ablation of Cx26 (loss of function) in ectoderm leads to partial disruption of lymphatic capillaries and embryonic death. We conclude that appropriate development of dermal lymphatic vessels in mice is dependent on the expression of Cx26 in the ectoderm.
Factorizable modulo M parallel architecture for DVB-S 2 LDPC decoding

State-of-the-art decoders for DVB-S2 low-density parity-check (LDPC) codes explore semi-parallel architectures based on the periodicity 360 M = factor of the special type of LDPC-IRA codes adopted. This paper addresses the generalization of a well known hardware M-kernel parallel structure and proposes an efficient partitioning by any factor of M, without addressing overhead and keeping unchanged the efficient message memory mapping scheme. Our method provides a simple and efficient way to reduce the decoder complexity. Synthesizing the decoder for an FPGA from Xilinx shows a minimum throughput above the minimal 90Mbps.
Characterization of Polymer Thin Films with Small-Angle X-ray Scattering under Grazing Incidence ( GISAXS )

Polymer thin films have numerous technical applications as functional coatings, the most prominent example being PMMA coatings for lithography of integrated circuits and micromechanical devices. Polymer blends and block copolymers can be tailored for specific mechanical, optical, electric, and chemical properties. For instance, functional surfaces have been created by means of polymer blend and diblock copolymer films which may serve as templates for nanolithography [1] or as antireflection coatings [2]. In the rapidly developing field of molecular electronics, opto-electronical properties of polymer films have been exploited and first devices have appeared on the market [3].
Learning the latent structure of translation

Hoe komt een vertaling van een tekst eigenlijk tot stand? Welke denkstappen nemen we bij het maken van een vertaling? Markos Mylonakis gebruikte statistische methoden om de tweetalige patronen te ontdekken die aanwezig zijn in handmatig, professioneel geproduceerde vertalingen. Voor elke zin onderzocht hij met een computer miljoenen potentiele analyses op efficiente wijze, met als doel om die vertaalstappen te identificeren die het beste verklaren hoe de vertaling tot stand is gekomen. De op deze manier geleerde vertaalstappen, bijvoorbeeld vertalingen tussen woorden of zinsdelen, kunnen worden hergebruikt bij de vertaling van nieuwe zinnen. Mylonakis probeerde met name inzicht te krijgen in de rol van grammatica bij vertalingen. De algoritmen zijn zo ontwikkeld dat zij in staat zijn om te herkennen wanneer een bepaalde grammaticale constructie een specifieke vertaalstap vereist, zoals een andere woordvolgorde. Deze kennis maakt het mogelijk om de kwaliteit van automatische vertalingen aanzienlijk te verbeteren, in het bijzonder bij talen met zeer verschillende grammatica's, zoals Engels en Chinees.