Miracle-dz/UniFAR-FTUs huggingface dataset:
A partially wetting film of water and surfactant under the influence of a propagating MHz surface acoustic wave

We use both theory and experiment to study the response of partially wetting films of water and surfactant solutions to a propagating MHz vibration in the solid substrate in the form of a Rayleigh surface acoustic wave (SAW). The SAW invokes a drift of mass in the liquid film, which is associated with the Schlichting boundary layer flow (also known as the Schlichting streaming). We study thin films that are governed by a balance between the drift and capillary stress alone. We demonstrate weak capillary contributions, such as for silicon oil films, support dynamic wetting and lead to the spreading of the liquid over the solid substrate along the path of the SAW. Strong capillary contributions, such as for water films, support however a concurrent dynamic wetting and dewetting along the path of the SAW, such that the film displace along the solid substrate. In addition, such films may support the formation of a capillary train-wave that propagate along the the same path. We further note the mechanism for film dynamics we discuss here is different to the more familiar Eckart streaming mechanism, which is associated with a film thickness that is greater than the wavelength of the sound leakage off the SAW and usually observed to support the motion of drops. The thickness of the films we discuss here is small in respect to the wavelength of the sound leakage, rendering contributions from the Eckart streaming, acoustic radiation pressure, and the attenuation of the SAW small.
A polarization survey of bright extragalactic AT20G sources

We present polarization data for 180 extragalactic sources extracted from the Australia Telescope 20 GHz (AT20G) survey catalogue and observed with the Australia Telescope Compact Array during a dedicated, high sensitivity run (σ P ∼ 1 mJy). For the sake of completeness, we extracted the polarization information for seven extended sources from the 9 yr Wilkinson Microwave Anisotropy Probe co-added maps at 23 GHz. The full sample of 187 sources constitutes a �99 per cent complete sample of extragalactic sources brighter than S20GHz = 500 mJy at the selection epoch with declination δ< −30 ◦ . The sample has a 91.4 per cent detection rate in polarization at ∼20 GHz (94 per cent if considering the subsample of point-like sources). We have measurements also at 4.8 and 8.6 GHz within ∼1 month of the 20 GHz observations for 172 sources to reconstruct the spectral properties of the sample in total intensity and in polarization: 143 of them have a polarization detection at all three frequencies. We find that there is no statistically significant evidence of a relationship either between the fraction of polarization and frequency or between the fraction of polarization and the total intensity flux density. This indicates that Faraday depolarization is not very important above 4.8 GHz and that the magnetic field is not substantially more ordered in the regions dominating the emission at higher frequencies (up to 20 GHz). We estimate the distribution of the polarization fraction and the polarized flux density source counts at ∼20 GHz.
Role of environmental variables in diatom distribution in urban wetlands of Peninsular India

Unplanned anthropogenic activities have contributed to the shrinkage of wetlands as well as degrading their quality. �is necessitates watershed-based planning such as inventorying, mapping and regular mon- itoring with cost-eective and reliable assessment protocols. Diatoms have been used across continents as bioindicators for reecting the physical, chemical and biological integrity of their habitats. �e current study attempts to understand the role of environmental factors in the formation of the diatom community structure in the shallow wetlands of Peninsular India. Diatoms from dierent habitats and water chemical variables were assessed for 43 wetlands of Bangalore, a profoundly urbanized region of Peninsular India. A total of 181 diatom taxa from 45 genera highlights the rich biodiversity of the region. Wetlands located in the densely populated urban regions are dominated by a prolic growth of eutrophic indicator species such as Gomphonema parvulum Kutz. , Nitzschia palea (Kutz.) W.Sm. , N. umbonata (Ehrenb.) Lange-Bert. , Diadesmis confervacea Kutz. , Cyclotella meneghiniana Kutz. and C. atomus Hust. Wetlands located at the outskirts of the city characterize oligo-mesotrophic conditions where Achnanthidium sp. dominates. De- trended canonical correspondence analysis showed a strong inuence of eutrophication and organic/inor- ganic pollution on diatom assemblages but a relatively weak inuence of conductivity. TWINSPAN shows grouping of wetlands based on species composition and suggests that Achnanthidium sp. and Cyclotella meneghiniana are initial indicator taxa for oligo-mesotrophic and eutrophic conditions respectively. �ese results indicate that the environmental factors consistently act as limiting variables in structuring diatom assemblages at a regional scale in urban ecosystems. �e study provided insights into the ecological im- portance of endemic diatoms found in dierent environments. �us, diatom-based biomonitoring can be- come a viable surrogate for physical and chemical parameters of water quality. Also, region-specic dia- tom indices will enable the easy and ecient investigations of wetlands.
Performance indicators in individual rhythmic gymnastics: Correlations in competition

The aim of this study was to identify the training variables that can determine the score in elite rhythmic gymnasts. Seven female rhythmic gymnasts participated in the study (age 15.7 ± 1.2). Performance data were collected from elite gymnasts (n=7) in competition exercises executed over 10 sessions occurring in the competition period. Additional variables such as heart rate, subjective rate of perceived exertion, competition category, number of apparatus, number of competitive exercises and number of training sessions were also collected. Data were examined using linear regression. Results showed that the heart rate average values ranged between 137 and 154 beats per minute. At the end of the competitive period, a decrease in the perceived exertion and the average score of the exercises were observed. An increase in the heart rate (p <0.01) and in the perceived exertion (p <0.05) has a positive impact on the total final score. The variables of heart rate and subjective rate of perceived exertion are significant to control the effects of training on the performance of individual rhythmic gymnasts. Moreover, they enable the coaches to control the training load in an affordable and reliable way.
Design of Energy Efficient Multi-Sink and Mobile-Sink Routing Algorithms for Enhancing Network Lifetime for Consumer Home Networks

: In this emerging technology era, communication plays vital role in consumer home products, preferable communication in consumer home products is wireless one because of its speed, reliability compared to wired communication. Consumer products act as transceivers in the home environment. So the sensors which are to be used in consumer home network should be energy efficient one because of its critical issues like irreplaceable battery and Network lifetime. So routing algorithms should be energy efficient one. Not only routing algorithms, sink node is also one more issue so deploying multiple sink nodes in order to overcome hotspot problems and mobility given to sink node to achieve improved end to end delay. Two algorithms (CAMu-S and CAMo-S) which facilitate above these issues. Results validate the performance of both algorithms is good compared to traditional LEACH algorithm that leads to use of those routing algorithms in consumer home networks. Clustering Algorithm for Static and Multi-mobile-sink (CASM) algorithm is proposed.
Word Embeddings for the Analysis of Ideological Placement in Parliamentary Corpora

Word embeddings, the coefficients from neural network models predicting the use of words in context, have now become inescapable in applications involving natural language processing. Despite a few studies in political science, the potential of this methodology for the analysis of political texts has yet to be fully uncovered. This paper introduces models of word embeddings augmented with political metadata and trained on large-scale parliamentary corpora from Britain, Canada, and the United States. We fit these models with indicator variables of the party affiliation of members of parliament, which we refer to as party embeddings. We illustrate how these embeddings can be used to produce scaling estimates of ideological placement and other quantities of interest for political research. To validate the methodology, we assess our results against indicators from the Comparative Manifestos Project, surveys of experts, and measures based on roll-call votes. Our findings suggest that party embeddings are successful at capturing latent concepts such as ideology, and the approach provides researchers with an integrated framework for studying political language.
On the Foundation of Isabelle/HOL

Interactive theorem provers are used to allow formalisation of mathematical proofs into theories, written in a precise language of definitions and proofs. Such a theory is step-wise extended by constant instance definitions and type definitions and contains proofs of theorems that use these definitions. If at any point a theory is inconsistent, i.e. every formula is deducible, the formalisation effort was futile. We set out to extend the existing foundational work on the model-theoretic and prooftheoretic foundation of such definitional theories, as used in the theorem prover Isabelle/HOL. For this logical system we study semantics that entail completeness and soundness, which are the properties that link the model-theoretic and the proof-theoretic perspectives. We formalize the obtained results in the theorem prover Isabelle/HOL to strengthen the confidence in correctness of our work.
A Mobility Management Protocol for Wireless Sensor Networks

Wireless sensor networks supporting the free mobility of nodes can be useful for several applications. For example, in residential areas and rehab centres, sensors can be attached to subjects to monitor their movements, body exertions, and cardiac activities. These benefits, however, are also challenged by the difficulty of establishing reliable and stable links. In cellular networks, mobile stations are always associated with the nearest base station through intra-and inter-cellular handover. The underlying process is that the quality of an established link is continually evaluated and handover decisions are dully made by resource rich base stations. In wireless sensor networks, should a seamless handover be carried out, the task has to be accomplished by energy constraint, resource-limited, and low-power wireless sensor nodes in a distributed manner. In this paper we propose a sender-initiated mobility management protocol to enable seamless handover. We have fully implemented the protocol in TinyOS environment for the TelosB and Imote2 platforms, experiment results showing that our protocol achieves high reliability and triggers less handover requests (less than 50% to 80%) compared to three state-of-the-arts. Furthermore, our protocol reduces the signalling overhead by up to 95%.
Quality Preference Spatial Approximate String Search

This work deals with the approximate string search in large spatial databases. A spatial preference query ranks objects based on the qualities of features in their spatial neighborhood. Specifically, investigate range queries augmented with a string similarity search predicate in road networks. And dub this query the spatial approximate string (SAS) query. The min-wise signature for an index node u keeps a concise representation of the union of q-grams from strings under the sub-tree of u. Analyze the pruning functionality of such signatures based on the set resemblance between the query string and the q-grams from the sub-trees of index nodes. For queries on road networks, using a novel exact method, RSASSOL, which significantly outperforms the baseline algorithm in practice. The RSASSOL combines the q-gram based inverted lists and the reference nodes based pruning. Extensive experiments on large real data sets demonstrate the efficiency and effectiveness of our approaches.
Benefits and challenges in th e use of art as an intervention for making sense of the cancer experience : a qualitative systematic review protocol

C ancer is the leading cause of death in Canada and is responsible for 30% of all deaths. According to the Canadian Cancer Society, an estimated 191,300 new cases of cancer and 76,600 deaths from cancer occurred in Canada in 2014. A cancer diagnosis and subsequent treatment entails profound changes in peoples’ lives that require significant adjustment and extensive coping skills. Approximately one-third of in-patients and one-quarter of out-patients suffer from psychosocial distress (e.g. depression, adjustment disorder and anxiety) associated with cancer or its treatment. Psychosocial distress can be defined as ‘‘a multifactorial unpleasant emotional experience of psychological (cognitive, behavioral, emotional), social and spiritual nature that may interfere with the ability to cope with cancer’’. Distress arises from an individual’s efforts to adjust or cope with the impact of cancer. In a study conducted by Lin and colleagues, art was shown to improve self-consciousness and resilience through personal growth within the context of palliative care. Participants engaged in visual fine art appreciation and hands-on painting. Using a quasi-experimental design, both appreciation and
Flavanol derivatives with antioxidant activity from the stem bark of Xylocarpus granatum.

A new flavanol derivative dihydrocaffeic acid-(3→8)-epicatechin together with two known derivatives, (+)-catechin and catechin-(4β→8)-catechin were isolated from the stem bark of a mangrove plant Xylocarpus granatum . Their structures were established using 1D and 2D NMR experiments as well as HRMS-FAB, EIMS, IR and UV spectra. The compounds were evaluated for DPPH radical scavenging activity and ferric reducing antioxidant power and they exhibited higher activity compared to butylated hydroxytoluene (BHT) which is a commercially available antioxidant. Catechin-(4β→8)-catechin showed the highest DPPH radical scavenging activity with IC50 of 4.5 μg/mL. © 2010 International Formulae Group. All rights reserved. Keywords: Xylocarpus granatum , flavanol derivative, antioxidant activity.
Features in air ions measured by an air ion spectrometer (AIS) at Dome C

Abstract. An air ion spectrometer (AIS) was deployed for the first time at the Concordia station at Dome C (75°06′ S, 123°23′ E; 3220 m a. s. l. ), Antarctica during the period 22 December 2010–16 November 2011 for measuring the number size distribution of air ions. In this work, we present results obtained from this air ion data set together with aerosol particle and meteorological data. The main processes that modify the number size distribution of air ions during the measurement period at this high-altitude site included new particle formation (NPF, observed on 85 days), wind-induced ion formation (observed on 36 days), and ion production and loss associated with cloud/fog formation (observed on 2 days). For the subset of days when none of these processes seemed to operate, the concentrations of cluster ions (0.9–1.9 nm) exhibited a clear seasonality, with high concentrations in the warm months and low concentrations in the cold. Compared to event-free days, days with NPF were observed with higher cluster ion concentrations. A number of NPF events were observed with restricted growth below 10 nm, which were termed as suppressed NPF. There was another distinct feature, namely a simultaneous presence of two or three separate NPF and subsequent growth events, which were named as multi-mode NPF events. Growth rates (GRs) were determined using two methods: the appearance time method and the mode fitting method. The former method seemed to have advantages in characterizing NPF events with a fast GR, whereas the latter method is more suitable when the GR was slow. The formation rate of 2 nm positive ions (J2+) was calculated for all the NPF events for which a GR in the 2–3 nm size range could be determined. On average, J2+ was about 0.014 cm−3 s−1. The ion production in relation to cloud/fog formation in the size range of 8–42 nm seemed to be a unique feature at Dome C, which has not been reported elsewhere. These ions may, however, either be multiply charged particles but detected as singly charged in the AIS, or be produced inside the instrument, due to the breakage of cloud condensation nuclei (CCN), possibly related to the instrumental behaviour under the extremely cold condition. For the wind-induced ion formation, our observations suggest that the ions originated more likely from atmospheric nucleation of vapours released from the snow than from mechanical charging of shattered snow flakes and ice crystals.
Puncturing effects on turbo codes

The authors address various important issues related to punctured turbo codes. A modified technique for finding the transfer function of punctured turbo codes is developed. This modified technique provides a means of deterministic evaluation of the weight distribution of the code, as well as a possibility of studying various puncturing patterns. These advantages are shown with some illustrative examples. Moreover, the paper explains some characteristics of the puncturing pattern, and arrives at useful guidelines for the design of a good puncturing matrix.
Colouring Inside What Lines? Interference of the Urban Growth Boundary and the Political–Administrative Border of Brussels

This paper discusses the relationship between the political–administrative border and the urban growth boundary (UGB) around Brussels, the Belgian capital. Our hypothesis is that the interests of the various regions and language groups in Belgium interfere strongly with urban planning policies, implying that the administrative border of the Brussels-Capital Region (BCR) operates in reality as an unintended UGB. Based on demographics, commuter data and property market features, we argue that this situation may cause excessive urban compaction of the BCR, while spillover effects to municipalities that are rather distant from Brussels may result in undesired forms of suburbanization and long-distance commuting.
Normative Perspectives for Ethical and Socially Responsible Marketing

This article presents a normative set of recommendations for elevating the practice of marketing ethics. The approach is grounded in seven essential perspectives involving multiple aspirational dimensions implicit in ethical marketing. More important, each basic perspective (BP), while singularly useful, is also integrated with the other observations as well as grounded in the extant ethics literature. This combination of BPs, adhering to the tenets of normative theory postulation, generates a connective, holistic approach that addresses some of the major factors marketing managers should consider if they desire to conduct their marketing campaigns with the highest levels of ethics and social responsibility.
Nephelometer Measurements of the Asymmetry Parameter, Volume Extinction Coefficient, and Backscatter Ratio in Arctic Clouds

Abstract A new instrument, a cloud integrating nephelometer (CIN), was used on the University of Washington’s CV-580 research aircraft to measure the asymmetry parameter (g), volume scattering coefficient, and backscatter ratio in clouds in situ and in the visible spectrum during the FIRE-ACE/SHEBA field project in the late spring and summer of 1998 in the Arctic. The principle behind the operation of the CIN is described, and error estimates for the measurements are calculated. The average value of g measured with the CIN in all the Arctic clouds was 0.824, which is slightly less than the value expected for the water-containing clouds that dominated the measurements. The average value of g measured in a glaciated cloud, containing mostly large bullet rosette ice crystals, was 0.737. This relatively small value of g is compared to modeled and indirect measurements of g described in the literature, some of which gave similar small values of g.
Sampling Reference Points on the Pareto Fronts of Multi-Objective Optimization Problems

The effectiveness of evolutionary algorithms have been verified on multi-objective optimization, and a large number of multi-objective evolutionary algorithms have been proposed during the last two decades. To quantitatively compare the performance of different algorithms, a set of uniformly distributed reference points sampled on the Pareto fronts of benchmark problems are needed in the calculation of most performance metrics. However, not much work has been done to investigate the method for sampling reference points on Pareto fronts, even though it is not an easy task for many Pareto fronts with irregular shapes. More recently, an evolutionary multi-objective optimization platform was proposed by us, called PlatEMO, which can automatically generate reference points on each Pareto front and use them to calculate the performance metric values. In this paper, we report the reference point sampling methods used in PlatEMO for different types of Pareto fronts. Experimental results show that the reference points generated by the proposed sampling methods can evaluate the performance of algorithms more accurately than randomly sampled reference points.
M-sequence-based ultra-wideband sensor network for vitality monitoring of elders at home

Abstract: The western societies are increasingly faced with the challenges of enabling a self-determined and safe life for a growing number of elderly people. Remote monitoring of vitality is an important tool for health risk mitigation but many of the current methods either deliver only infrequent information or require conscious cooperation of the senior. The authors propose an ultrawideband (UWB) radio sensor network based on M-sequence technology specifically designed for the vitality monitoring of persons living alone. It uses the frequency band in the range from 6 to 8.5 GHz (electronic communications committee (ECC)-band), and provides precise localisation, captures breathing motion during rests, can be used for fall detection and allows the extraction of gait features. The sensor network can be installed in common living spaces. It operates continuously in the background without any user interaction. Vitality monitoring by radar sensors is based on motion detection and tracking. This poses some challenges to radar devices because of the harsh multi-path conditions in apartments. This study discusses these challenges, illustrates how to meet them and gives examples for vitality features which can be extracted from UWB-radar data.