Miracle-dz/UniFAR-FTUs huggingface dataset:
An efficient passivity test for descriptor systems via canonical projector techniques

An efficient passivity test based on matrix chain and canonical projector techniques is proposed for descriptor systems (DSs) commonly encountered in VLSI modeling. The test entails a natural flow that first evaluates the index of a DS, followed by possible decoupling into its proper and improper (if any) subsystems. Compared to the recent DS passivity tests using linear matrix inequality (LMI)-based extended positive real lemma or skew-Hamiltonian/ Hamiltonian (SHH) transformations, numerical examples show that the proposed projector approach is significantly more efficient. Explicit state space formulations for the decoupled subsystems that facilitate further processing such as passivity enforcement and model order reduction are also derived.
Help-seeking behaviour in sufferers of vaginismus

Abstract The aim of this study was to examine the help-seeking behaviour of sufferers of vaginismus and to explore their experiences of professional intervention. A postal questionnaire was completed by sufferers (h = 67) and ex-sufferers (n = 22) of vaginismus through a newspaper advertisement self-help groups, psychotherapists and professional organizations asking them about their help-seeking behaviour. The results indicate that finding help can be difficult. Although most sufferers contacted their General Practitioner (GP) (69.7%), the GP was regarded as least helpful. Subjects show a wide variability in their experiences of professional help, with both satisfaction and dissatisfaction being expressed with both doctor-centred and patient-centred approaches. In addition, the experience and expectations of professional intervention may deter further help-seeking behaviour. The results suggest that there is widespread dissatisfaction with professional interventions for vaginismus which may reflect an inc.
Knowledge sharing attitude and behaviour in Saudi Arabian organisations: why trust matters

The paper explores the factors that affect employees' attitude and behaviour towards knowledge sharing in Saudi Arabian organisations. A mixed methods approach was used to gather data through a survey and semi-structured interviews. Trust was found to have a negative relationship with knowledge sharing attitude while collaborative climate, management support, openness, and rewards were found to affect knowledge sharing attitude. Although the study found a relationship between knowledge sharing attitude and behaviour, collaborative climate is the only factor that influenced knowledge sharing behaviour as mediated by knowledge sharing attitude. Qualitative findings offer further insight into the role of trust as a catalyst in facilitating knowledge sharing. They also shed light on the internal and external factors that influence knowledge sharing attitude and behaviour. The study contributes to the knowledge sharing literature by illuminating the interrelations of context, attitude, and behaviour, offering implications for human resource management.
Index construction for linear categorisation

Categorisation is a useful method for organising documents into subcollections that can be browsed or searched to more accurately and quickly meet information needs. On the Web, category-based portals such as Yahoo! and DMOZ are extremely popular: DMOZ is maintained by over 56,000 volunteers, is used as the basis of the popular Google directory, and is perhaps used by millions of users each day. Support Vector Machines (SVM) is a machine-learning algorithm which has been shown to be highly effective for automatic text categorisation. However, a problem with iterative training techniques such as SVM is that during their learning or training phase, they require the entire training collection to be held in main-memory; this is infeasible for large training collections such as DMOZ or large news wire feeds. In this paper, we show how inverted indexes can be used for scalable training in categorisation, and propose novel heuristics for a fast, accurate, and memory efficient approach. Our results show that an index can be constructed on a desktop workstation with little effect on categorisation accu-racy compared to a memory-based approach. We conclude that our techniques permit automatic categorisation using very large train-ing collections, vocabularies, and numbers of categories.
Job Satisfaction and Work Engagement: A Study Using Private Sector Bank Managers

The Problem In today’s dynamic environment, organizations face difficulties in retaining their talented employees. Although there are several studies that link job satisfaction with work engagement, a closer examination is needed to understand whether it is intrinsic or extrinsic job satisfaction that enhances work engagement. This shows that the job satisfaction is the key driver of work engagement. So, the purpose of this article is to study the level of job satisfaction among the managers at various hierarchical levels of private sector banks in India and also to study the relationship between job satisfaction and work engagement among managers at various hierarchical levels. The Solution This study follows the descriptive research design, and data were collected by standardized questionnaire developed by Minnesota and by Schaufeli’s Satisfaction Questionnaire, and data were collected from the 148 managers at various hierarchical levels working in private sector banks in India. To attain the objectives, the descriptive statistics and regression analysis have been used. The results show that the managers who are working in private sector banks are more satisfied with intrinsic job satisfaction rather than extrinsic job satisfaction and also found that there is positive relationship between job satisfaction and work engagement among managers at various hierarchical levels of private sector banks in India. The limitation of this study is data were collected at a single point of time. The Stakeholders Stakeholders of this study include private sector bank managers at various hierarchical levels and human resource managers of organizations having hierarchical management system where management is focused toward employee satisfaction and retention in the organization. Consultation agencies dealing in human resource practices, research agencies, and research scholars are other stakeholders as it will be literature for further studies.
Asymmetric right/left encoding of emotions in the human subthalamic nucleus

Emotional processing is lateralized to the non-dominant brain hemisphere. However, there is no clear spatial model for lateralization of emotional domains in the basal ganglia. The subthalamic nucleus (STN), an input structure in the basal ganglia network, plays a major role in the pathophysiology of Parkinson's disease (PD). This role is probably not limited only to the motor deficits of PD, but may also span the emotional and cognitive deficits commonly observed in PD patients. Beta oscillations (12–30 Hz), the electrophysiological signature of PD, are restricted to the dorsolateral part of the STN that corresponds to the anatomically defined sensorimotor STN. The more medial, more anterior and more ventral parts of the STN are thought to correspond to the anatomically defined limbic and associative territories of the STN. Surprisingly, little is known about the electrophysiological properties of the non-motor domains of the STN, nor about electrophysiological differences between right and left STNs. In this study, microelectrodes were utilized to record the STN spontaneous spiking activity and responses to vocal non-verbal emotional stimuli during deep brain stimulation (DBS) surgeries in human PD patients. The oscillation properties of the STN neurons were used to map the dorsal oscillatory and the ventral non-oscillatory regions of the STN. Emotive auditory stimulation evoked activity in the ventral non-oscillatory region of the right STN. These responses were not observed in the left ventral STN or in the dorsal regions of either the right or left STN. Therefore, our results suggest that the ventral non-oscillatory regions are asymmetrically associated with non-motor functions, with the right ventral STN associated with emotional processing. These results suggest that DBS of the right ventral STN may be associated with beneficial or adverse emotional effects observed in PD patients and may relieve mental symptoms in other neurological and psychiatric diseases.
Rituximab Administration and Reactivation of HBV

Rituximab is a drug used for the treatment of B-cell non-Hodgkin's lymphoma, and its range of use has expanded to the treatment of collagen diseases such as idiopathic thrombocytopenic purpura and rheumatoid arthritis. One serious complication of rituximab use is the reactivation of dormant hepatitis B virus, and prevention of this phenomenon has become an urgent issue. This paper provides a general outline of the problem through an analysis of patient cases that we and other groups have experienced to date.
Betel Quid and Oral Potentially Malignant Disorders in a Periurban Township in Myanmar

This study aims to describe betel quid chewing practice and compare oral potentially malignant disorders between chewers and non-chewers of betel quid among residents in Dagon Myothit (East) Township, Myanmar. The study used a cross-sectional design conducted with a representative sample of 542 adults aged 18 years and above in the township. The trained interviewers collected data using a pretested structured questionnaire. On-site oral examination was done for suspected oral lesions. The mean age of the respondents was 45 years and 59% were women. Fifty-two percent of the respondents were currently in the habit of chewing betel quids (72% of men and 39% of women). Among 284 current betel quid chewers, 240 (85%) chewed betel quids together with tobacco. Out of 284 current betel quid chewers, 24 (8.5%) were found to have oral potentially malignant disorders; out of 258 betel quid non-chewers, only 1 (0.4%) was found to have oral potentially malignant disorders. This highlights the growing importance of smokeless tobacco use as public health problem.
The synthesis of linear Finite State Machine-based Stochastic Computational Elements

The Stochastic Computational Element (SCE) uses streams of random bits (stochastic bits streams) to perform computation with conventional digital logic gates. It can guarantee reliable computation using unreliable devices. In stochastic computing, the linear Finite State Machine (FSM) can be used to implement some sophisticated functions, such as the exponentiation and tanh functions, more efficiently than combinational logic. However, a general approach about how to synthesize a linear FSM-based SCE for a target function has not been available. In this paper, we will introduce three properties of the linear FSM used in stochastic computing and demonstrate a general approach to synthesize a linear FSM-based SCE for a target function. Experimental results show that our approach produces circuits that are much more tolerant of soft errors than deterministic implementations, while the area-delay product of the circuits are less than that of deterministic implementations.
Associations of Pregnancy Outcomes and PM2.5 in a National Canadian Study

Background Numerous studies have examined associations between air pollution and pregnancy outcomes, but most have been restricted to urban populations living near monitors. Objectives We examined the association between pregnancy outcomes and fine particulate matter in a large national study including urban and rural areas. Methods Analyses were based on approximately 3 million singleton live births in Canada between 1999 and 2008. Exposures to PM2.5 (particles of median aerodynamic diameter ≤ 2.5 μm) were assigned by mapping the mother’s postal code to a monthly surface based on a national land use regression model that incorporated observations from fixed-site monitoring stations and satellite-derived estimates of PM2.5. Generalized estimating equations were used to examine the association between PM2.5 and preterm birth (gestational age < 37 weeks), term low birth weight (< 2,500 g), small for gestational age (SGA; < 10th percentile of birth weight for gestational age), and term birth weight, adjusting for individual covariates and neighborhood socioeconomic status (SES). Results In fully adjusted models, a 10-μg/m3 increase in PM2.5 over the entire pregnancy was associated with SGA (odds ratio = 1.04; 95% CI 1.01, 1.07) and reduced term birth weight (–20.5 g; 95% CI –24.7, –16.4). Associations varied across subgroups based on maternal place of birth and period (1999–2003 vs. 2004–2008). Conclusions This study, based on approximately 3 million births across Canada and employing PM2.5 estimates from a national spatiotemporal model, provides further evidence linking PM2.5 and pregnancy outcomes. Citation Stieb DM, Chen L, Beckerman BS, Jerrett M, Crouse DL, Omariba DW, Peters PA, van Donkelaar A, Martin RV, Burnett RT, Gilbert NL, Tjepkema M, Liu S, Dugandzic RM. 2016. Associations of pregnancy outcomes and PM2.5 in a National Canadian Study. Environ Health Perspect 124:243–249; http://dx.doi. org/10.1289/ehp.1408995
MORSE: Semantic-ally Drive-n MORpheme SEgment-er

We present in this paper a novel framework for morpheme segmentation which uses the morpho-syntactic regularities preserved by word representations, in addition to orthographic features, to segment words into morphemes. This framework is the first to consider vocabulary-wide syntactico-semantic information for this task. We also analyze the deficiencies of available benchmarking datasets and introduce our own dataset that was created on the basis of compositionality. We validate our algorithm across datasets and present state-of-the-art results.
The Sesquiterpene Biosynthesis and Vessel-Occlusion Formation in Stems of Aquilaria sinensis (Lour.) Gilg Trees Induced by Wounding Treatments without Variation of Microbial Communities

As widely recognized, agarwood formation in Aquilaria trees is induced by external wounding. Because agarwood usually harbors specific microbes, the function of microbes in agarwood formation has been debated for almost a century. In this study, two wounding methods, the burning-chisel-drilling method (BCD) and the whole-tree agarwood-inducing method (Agar-Wit), were used under the non-contamination of environmental microorganisms. After pyrosequencing the small rRNA subunits of the wounds induced by the BCD and Agar-Wit, no substantial variation was observed either in fungal and bacterial enrichment and diversity or in the relative abundances of taxa. By contrast, significant variations in fungal and bacterial communities were detected following the partial tree pruning (PTP)-wounding. The wound-induced sesquiterpene biosynthesis and vessel-occlusion formation, however, were found to be similar in all types of wounded trunks. We thus infer that wounding in the absence of variations in microbial communities may induce agarwood formation. This result does not support the long-standing notion that agarwood formation depends on microbes.
‘Latino spaces have always been the most violent’: Afro-Latino collegians’ perceptions of colorism and Latino intragroup marginalization

Abstract This study centers on the racialized experiences of Afro-Latino undergraduates at historically White institutions. Of particular interest, I examine how six Afro-Latino collegains experience intragroup marginalization due to colorism. The research design is undergirded by critical race theory and a critical race methodology. Participants’ narratives reflect how colorism manifests in the lives of Afro-Latino collegians. In drawing attention to a population that has been rendered invisible in higher education, findings from this study guide implications for future research and practice for higher education and student affairs leaders.
A Judgmental Deconstruction of Modal Logic

The modalities and© of necessary and lax truth described by Pfenning and Davies can be seen to arise from the same pair of adjoint logical operators F and U , which pass in both directions between two judgments of differing strength. This may be generalized to a logic with many such adjunctions, across judgments subject to different substructral disciplines, allowing explanation of possibility 3, linear logic’s modality ! , and intuitionistic labelled deduction as well.
Refinement types for ML

Abstract : Programming computers is a notoriously error-prone process. It is the job of the programming language designer to make this process more reliable. One approach to this is to impose some sort of typing discipline on the programs. In doing this, the programming language designer is immediately faced with a tradeoff: if the type system is too simple, it cannot accurately express important properties of the program; if it is too expressive, then mechanically checking or inferring the types becomes impractical. This thesis describes a type system called refinement types, which is an example of a new way to make this tradeoff, as well as a potentially useful system in itself. Refinement type inference requires programs to have types in two type systems: an expressive type inference system (intersection types with subtyping) and a relatively simple type system (basic polymorphic type inference). Refinement type inference inherits some properties from each of these: as in intersection types with subtyping, we can use the type system to do abstract interpretation; as in basic polymorphic type inference, refinement type inference is decidable (preliminary experiments suggest refinement type inference may be practical as well). We have implemented refinement type inference for a subset of Standard ML to test these ideas. We have added new syntax, called rectype declarations, to allow the programmer to specify relevant domains for the abstract interpretation.
The Kashaev and quantum hyperbolic link invariants

We show that the link invariants derived from 3-dimensional quantum hyperbolic geometry can be defined by means of planar state sums based on link diagrams and a new family of enhanced Yang-Baxteroperators (YBO) that we compute explicitly. By a local comparison of the respective YBO's we show that these invariants coincide with the Kashaev specializations of the colored Jones polynomials. As a further application we disprove a conjecture about the semi-classical limits of quantum hyperbolic partition functions, by showing that it conflicts with the existence of hyperbolic links that verify the volume conjecture.
Comparative support for the expensive tissue hypothesis: Big brains are correlated with smaller gut and greater parental investment in Lake Tanganyika cichlids

The brain is one of the most energetically expensive organs in the vertebrate body. Consequently, the energetic requirements of encephalization are suggested to impose considerable constraints on brain size evolution. Three main hypotheses concerning how energetic constraints might affect brain evolution predict covariation between brain investment and (1) investment into other costly tissues, (2) overall metabolic rate, and (3) reproductive investment. To date, these hypotheses have mainly been tested in homeothermic animals and the existing data are inconclusive. However, there are good reasons to believe that energetic limitations might play a role in large‐scale patterns of brain size evolution also in ectothermic vertebrates. Here, we test these hypotheses in a group of ectothermic vertebrates, the Lake Tanganyika cichlid fishes. After controlling for the effect of shared ancestry and confounding ecological variables, we find a negative association between brain size and gut size. Furthermore, we find that the evolution of a larger brain is accompanied by increased reproductive investment into egg size and parental care. Our results indicate that the energetic costs of encephalization may be an important general factor involved in the evolution of brain size also in ectothermic vertebrates.
Selection of Sphingomonadaceae at the Base of Laccaria proxima and Russula exalbicans Fruiting Bodies

ABSTRACT The dense hyphal network directly underneath the fruiting bodies of ectomycorrhizal fungi might exert strong influences on the bacterial community of soil. Such fruiting bodies might serve as hot spots for bacterial activity, for instance by providing nutrients and colonization sites in soil. Here, we assessed the putative selection of specific members of the Sphingomonadaceae family at the bases of the fruiting bodies of the ectomycorrhizal fungi Laccaria proxima and Russula exalbicans in comparison to the adjacent bulk soil. To do so, we used a previously designed Sphingomonadaceae-specific PCR-denaturing gradient gel electrophoresis (DGGE) system and complemented this with analyses of sequences from a Sphingomonadaceae-specific clone library. The analyses showed clear selective effects of the fruiting bodies of both fungi on the Sphingomonadaceae community structures. The effect was especially prevalent with R. exalbicans. Strikingly, similar fungi sampled approximately 100 m apart showed similar DGGE patterns, while corresponding bulk soil-derived patterns differed from each other. However, the mycospheres of L. proxima and R. exalbicans still revealed divergent community structures, indicating that different fungi select for different members of the Sphingomonadaceae family. Excision of specific bands from the DGGE patterns, as well as analyses of the clone libraries generated from both habitats, revealed fruiting body-specific Sphingomonadaceae types. It further showed that major groups from the mycospheres of R. exalbicans and L. proxima did not cluster with known bacteria from the database, indicating new groups within the family of Sphingomonadaceae present in these environments.
Pengaruh brand credibility terhadap wordof mouth melalui customer satisfaction dancustomer loyalty pada Giant Hypermarketdi Surabaya

Perkembangan bisnis ritel yang semakin pesat mendorong perusahaan untuk bersaing dalam mempertahankan pelanggan lama dan memperoleh pelanggan baru dengan menanamkan kredibilitas merek toko (nama toko) yang baik di benak pelanggan agar pelanggan menjadi puas, loyal, dan tercipta word of mouth yang positif. Tujuan dilakukan penelitian ini yaitu untuk mengetahui pengaruh Brand Credibility terhadap Word Of Mouth melalui Customer Satisfaction dan Customer Loyalty sebagai variabel intervening pada Giant Hypermarket di Surabaya. Teknik yang digunakan dalam pengambilan sampel pada penelitian ini adalah non-probability sampling. Sedangkan, teknik analisis yang digunakan adalah menggunakan metode Structural Equation Modeling (SEM) dengan program Linear Structural Relation (Lisrel). Responden yang diambil berasal dari 150 pelanggan Giant Hypermarket di Surabaya dengan karakteristik tertentu. Hasil penelitian menunjukkan bahwa Customer Satisfaction dan Customer Loyalty merupakan variabel intervening antara Brand Credibility terhadap Word Of Mouth, terdapat pengaruh Brand Credibility terhadap Customer Satisfaction dan Customer Loyalty, terdapat pengaruh Customer Satisfaction dan Customer Loyalty terhadap Word Of Mouth, dan terdapat pengaruh Customer Satisfaction terhadap Customer Loyalty.