Miracle-dz/UniFAR-FTUs huggingface dataset:
A Comprehensive Technological Survey on Dependable Self-management CPS: the decade of researches on correctness and dependability

Though Cyber Physical Systems (CPS) become very popular in last the decade, dependability of CPS is still a critical issue and related survey is rare. We try to spell out the jigsaw of technologies and figure out the technical trends of dependable self-managing CPS. This survey first recalls the motivation and the similar concepts. By analyzing four generic architectures, we summarize the common characteristics and related assurance technologies, and propose a more generic environment-in-loop processing flow of CPS and a formal interaction flow between physical space and cyber space. Further, the similarity between correctness and dependability is formally analyzed and the new five research questions of dependable self-managing CPS are presented. Then we review the critical technologies and related correctness verification & validation (V&V) methods, the architectures for dependable self-managing CPS. Further, the detail dependability management and V&V technologies are surveyed, which covers the areas of running-time fault management methods and whole life cycle V&V technologies, maintenance and available tool sets. For holistic CPS development, Modeling techniques and MDE (model driven engineering) based V&V methods are analyzed in detail. Then we complete the jigsaw of technologies and figure out the missing part. Further, we propose the technical challenges and the further direction. To our best knowledge, this is the first comprehensive survey on dependable self-managing CPS development and evaluation.
Evaluating the Impacts of Osmotic and Oxidative Stress on Common Carp (Cyprinus carpio, L.) Sperm Caused by Cryopreservation Techniques1

Cryopreservation causes osmotic changes and oxidative damage that have sublethal and lethal effects on spermatozoa. We examined these osmotic and oxidative effects on common carp spermatozoa motility; membrane integrity; levels of thiobarbituric-acid-reactive substance (TBARS) and carbonyl groups (CP); and the activity of superoxide dismutase (SOD), glutathione reductase, and glutathione peroxidase (GPx). Sperm was diluted in dimethyl sulfoxide (DMSO) and ethylene glycol-based extenders, followed by equilibration, freezing, and thawing. Equilibration in DMSO extender resulted in a significant reduction of spermatozoa motility, but motility was induced in those spermatozoa following dilution with saline buffer, which usually inhibits undiluted spermatozoa motility. Spermatozoa velocity and membrane integrity decreased with both extenders following freezing and thawing. No significant difference in levels of TBARS or CP, or in SOD activity, was seen in samples equilibrated with either extender. The freeze/thaw process induced significantly higher levels of TBARS, CP, and GPx activity, but did not affect the level of SOD. Glutathione reductase activity was inhibited in samples exposed to DMSO extender. Ethylene glycol should be considered a preferred cryoprotective agent for common carp spermatozoa to reduce osmotic and oxidative stress during cryopreservation.
Analysis of high-speed PCB with SiC devices by investigating turn-off overvoltage and interconnection inductance influence

The purpose of this paper is to analyze the impact of interconnection inductances to overvoltage during turn-off transient of silicon carbide (SiC) devices. To understand the switching behavior of the SiC devices, the ringing and overshoots of the voltage caused by the device capacitance and interconnection inductances are considered. Parametric studies are conducted to compare the influences of printed circuit board (PCB) and packaging inductances on the peak turn-off overvoltage under various operating conditions. A prototype half-bridge buck converter with SiC MOSFETs is constructed for the experiments. Experimental results are shown to validate the simulation results.
Type-3 Ryanodine Receptors Mediate Hypoxia-, but Not Neurotransmitter-induced Calcium Release and Contraction in Pulmonary Artery Smooth Muscle Cells

In this study we examined the expression of RyR subtypes and the role of RyRs in neurotransmitter- and hypoxia-induced Ca2+ release and contraction in pulmonary artery smooth muscle cells (PASMCs). Under perforated patch clamp conditions, maximal activation of RyRs with caffeine or inositol triphosphate receptors (IP3Rs) with noradrenaline induced equivalent increases in [Ca2+]i and Ca2+-activated Cl− currents in freshly isolated rat PASMCs. Following maximal IP3-induced Ca2+ release, neither caffeine nor chloro-m-cresol induced a response, whereas prior application of caffeine or chloro-m-cresol blocked IP3-induced Ca2+ release. In cultured human PASMCs, which lack functional expression of RyRs, caffeine failed to affect ATP-induced increases in [Ca2+]i in the presence and absence of extracellular Ca2+. The RyR antagonists ruthenium red, ryanodine, tetracaine, and dantrolene greatly inhibited submaximal noradrenaline– and hypoxia-induced Ca2+ release and contraction in freshly isolated rat PASMCs, but did not affect ATP-induced Ca2+ release in cultured human PASMCs. Real-time quantitative RT-PCR and immunofluorescence staining indicated similar expression of all three RyR subtypes (RyR1, RyR2, and RyR3) in freshly isolated rat PASMCs. In freshly isolated PASMCs from RyR3 knockout (RyR3−/−) mice, hypoxia-induced, but not submaximal noradrenaline–induced, Ca2+ release and contraction were significantly reduced. Ruthenium red and tetracaine can further inhibit hypoxic increase in [Ca2+]i in RyR3−/− mouse PASMCs. Collectively, our data suggest that (a) RyRs play an important role in submaximal noradrenaline– and hypoxia-induced Ca2+ release and contraction; (b) all three subtype RyRs are expressed; and (c) RyR3 gene knockout significantly inhibits hypoxia-, but not submaximal noradrenaline–induced Ca2+ and contractile responses in PASMCs.
Conversion of MDCK cell line to suspension culture by transfecting with human siat7e gene and its application for influenza virus production

MDCK cells are currently being considered as an alternative to embryonated eggs for influenza virus propagation and hemagglutinin (HA) production intended for vaccine manufacturing. MDCK cells were found suitable for the virus production but their inability to grow in suspension burdens the process of scale up and hence their production capability. Anchorage-dependent MDCK cells were converted to anchorage-independent cells, capable of growing in suspension as a result of transfection with the human siat7e gene (ST6GalNac V). This gene was previously identified as having an important role in cellular adhesion when the transcriptions of genes from anchorage-dependent and anchorage-independent HeLa cells were compared. Unlike the parental MDCK cells, the siat7e-expressing cells were capable of growing in shake flasks as suspension cultures, achieving maximum concentration of 7 × 105 cells/mL while keeping close to 100% viability throughout the growth phase. In production experiments, the siat7e-expressing cells were infected with the Influenza B/Victoria/504/2000 strain. It was determined that the cell-derived viruses retained similar antigenic properties as those obtained from egg-derived viruses and their nucleotide sequences were identical. The specific production of hemagglutinin (expressed in hemagglutination units per 106 cells) from the siat7e-expressing cells was approximately 20 times higher than the specific production from the parental MDCK cells. If this suspension process scales up, the production potential of HA from 10 L of siat7e-expressing cells at a concentration of 106 cells/mL would be equivalent to the amount of HA obtained from 10,000 embryonated eggs.
Modular Multilevel Converter With an Adaptive Observer of Capacitor Voltages

A modular multilevel converter (MMC) is an attractive solution for power conversion without transformers. The MMC consists of cascade connections of floating dc capacitors. In this paper, an adaptive observer design has been proposed to estimate the capacitor voltages from the measurement of arm currents. This work introduces the capacitance value of the cell capacitors as a parameter uncertainty for making the system performance robust with unknown constant parameters. It may be used for predictive control, condition monitoring for capacitors, and diagnosis check for capacitor health. In addition, a pulsewidth modulation (PWM) technique for MMC has been explored. The PWM technique is performed using a carrier-based level-shifted PWM strategy. It does not necessitate the calculation of duty cycles, and can be easily implemented in a DSP. By using the PWM technique, harmonics in the phase voltage is shifted to twice the switching frequency. Theoretical analysis is included in this paper for showing stability and convergence of the proposed observer. Analytical expressions are verified by simulation and experimental results.
Predicting hotel managers’ turnover cognitions

This paper reports the findings of a study which tested a model that predicts the turnover cognitions of hotel managers. Several predictor variables of turnover intentions were identified: perceived psychological contract breach and felt violation; organisational commitment; career expectations; perceived managerial competencies; job satisfaction, career identity and career satisfaction; demographic and human capital characteristics; and organisational characteristics. A total of 14 hypotheses were tested. The study findings (based on a sample of 89 hotel managers), reveal that a number of variables significantly predict turnover cognitions. These findings do not correspond with the normative predictions found in the hospitality literature. The findings reveal that it is the more psychological, perceptual and affective variables that are most significant in explaining turnover intentions. The findings highlight the types of variables that are important in managing the expectations of hotel managers and from the perspective of the hotel as employer, the types of issues that should be considered to enable better retention of high performing managers.
A Retrospective Analysis of Portuguese Elite Athletes' Involvement in International Competitions

The primary purpose of the present study was to determine how many international senior athletes competed at the international level during their development. This examination was conducted across different sports, genders, and levels of success. 532 international senior athletes of four Olympic sports (soccer, volleyball, swimming, and judo) who were born between 1974 and 1983 and competed at National squads between 1988 and 2008. The results showed, particularly at team sports, that a significant number of athletes did not have any international experience during their development as a youth. Overall, results suggest that early involvement in international events and selection of talent during early ages is not a prerequisite of success, particularly in team and male sports.
A Theory of Cultural Values and Some Implications for Work

On presente dans cet article une theorie des categories de valeurs a partir desquelles les cultures peuvent etre comparees; cette theorie est validee grâce a des donnees en provenance de 49 pays du monde entier. Sept categories de valeurs ont ete identifiees et reparties sur trois dimensions bipolaires: Conservatisme oppose a Autonomie intellectuelle et affective, Hierarchie opposee a Egalitarisme, Domination opposee a Harmonie. Les pays sont situes dans un espace bidimensionnel en fonction de leurs valeurs fondamentales, faisant apparaitre des regroupements culturellement significatifs. Les analyses portent sur des echantillons d'enseignants et d'etudiants. On explicite l'impact de la differenciation des valeurs culturelles selon les pays sur les differences de signification du travail. Afin de stimuler la recherche sur le travail et les valeurs culturelles, on enonce des hypotheses concernant les principaux aspects des valeurs culturelles qui sont particulierement compatibles ou en contradiction avec la centralite du travail, avec diverses normes de societe touchant le travail, et avec la poursuite de quatre types de valeurs ou buts professionnels.
Exploring imagined movements in patients with schizophrenia

&NA; Patients with schizophrenia demonstrate impairments indicative of an inability to accurately monitor internally generated images. Motor imagery measures the ability to generate internal images of intended but not executed motor movements. Ten patients with schizophrenia completed actual and imagined versions of a pointing task with a well defined speed–accuracy trade‐off function. For controls, movement time increases as target size decreases for both actual and imagined movements. Despite showing the expected speed–accuracy trade‐off for actual movements, the imagined movements of schizophrenics showed no reliable relationship to target size. This was true for each patient and appeared to be independent of symptom profile. These results suggest that patients with schizophrenia are unable to generate accurate internal images of their own motor movements.
Customary Physical Activity, Psychological Well-being and Successful Ageing

ABSTRACT Profiles of customary physical activity (CPA) and psychological wellbeing were obtained from a random community sample of 1,042 individuals aged 65 years and over. Activities were assessed with regard to their estimated minimum energy cost and/or their assumed contribution to functional capacity. The structure of CPA, and associations between activity levels, morale and mental health were then investigated. Women and men showed clear differences in the organisation of their activity patterns, and these differences were reflected in activity–affect relationships. For men, factor scores derived from the first principal component of CPA emerged as significant, though modest, predictors of well-being in regression and discriminant analyses. For women, however, activity factor scores failed significantly to predict levels of morale or mental health when medical and demographic factors were controlled. The results indicate that, among the present cohort of retired and elderly people, relationships between customary physical activity levels and psychological well-being are weak, indirect and gender-specific.
Being ‘thick’ indicates you are eating, you are healthy and you have an attractive body shape: Perspectives on fatness and food choice amongst Black and White men and women in Canada

Abstract Despite recent critiques of contemporary obesity discourses that link ‘modern Western lifestyles’ to an ‘obesity epidemic’, the population’s weight remains a central concern of current dietary guidelines. Food choices that are considered beneficial to maintaining a certain weight are understood to play a key role in one’s health. This concern reflects medico-moral assumptions about the properties of food and what people should eat. However, the impact of obesity discourses on different individuals and social groups is rarely considered, although there is some evidence that people do generate, reflect and resist the norms and standards set for them, including those that relate to food/weight. In this paper, we will examine the perspectives on fatness and food choice amongst Black and White women and men living in Vancouver and Halifax, Canada. With this examination, we will challenge conventional assumptions about the singular ‘modern Western lifestyle’ that leads to obesity concerns by teasing out some of the social, cultural and political contexts within which people conceptualise issues regarding weight and make their food choices. By examining the experiences of both women and men we will also provide important insights into the gendered ways in which people engage with obesity discourses and the injunction to ‘eat healthily’ as a form of weight management.
Predictors of Poor Adherence to Methadone Maintenance Treatment in Yunnan Province, China

Background:China initiated the methadone maintenance treatment (MMT) program since 2004. The main challenge has been poor clinic adherence, which has a serious impact on treatment efficacy. Objectives:The aim of the study was to identify predictors of poor adherence to MMT in Yunnan Province, China. Methods:We performed a case-control study of 764 patients, newly enrolled or re-enrolled on MMT programs, between January 1, 2007 and December 31, 2011. Information was obtained from clinic databases. Results:The frequency of poor adherence was 561 (73.43%). Lower daily methadone dosage (<60 mg) was significantly associated with poor adherence (odds ratio 4.07; 95% confidence interval, 2.88–5.74; P value < 0.001). Younger age was also a significant predictor of poor adherence (odds ratio 1.04; 95% confidence interval, 1.01–1.05; P value < 0.01). Conclusions:Higher dosage of methadone is recommended as a way to improve treatment adherence.
Evidence for emergence of an amphibian iridoviral disease because of human‐enhanced spread

Our understanding of origins and spread of emerging infectious diseases has increased dramatically because of recent applications of phylogenetic theory. Iridoviruses are emerging pathogens that cause global amphibian epizootics, including tiger salamander (Ambystoma tigrinum) die‐offs throughout western North America. To explain phylogeographical relationships and potential causes for emergence of western North American salamander iridovirus strains, we sequenced major capsid protein and DNA methyltransferase genes, as well as two noncoding regions from 18 geographically widespread isolates. Phylogenetic analyses of sequence data from the capsid protein gene showed shallow genetic divergence (< 1%) among salamander iridovirus strains and monophyly relative to available fish, reptile, and other amphibian iridovirus strains from the genus Ranavirus, suggesting a single introduction and radiation. Analysis of capsid protein sequences also provided support for a closer relationship of tiger salamander virus strains to those isolated from sport fish (e.g. rainbow trout) than other amphibian isolates. Despite monophyly based on capsid protein sequences, there was low genetic divergence among all strains (< 1.1%) based on a supergene analysis of the capsid protein and the two noncoding regions. These analyses also showed polyphyly of strains from Arizona and Colorado, suggesting recent spread. Nested clade analyses indicated both range expansion and long‐distance colonization in clades containing virus strains isolated from bait salamanders and the Indiana University axolotl (Ambystoma mexicanum) colony. Human enhancement of viral movement is a mechanism consistent with these results. These findings suggest North American salamander ranaviruses cause emerging disease, as evidenced by apparent recent spread over a broad geographical area.
Emergency obstetric care in a rural district of Burundi: What are the surgical needs?

Objectives In a rural district hospital in Burundi offering Emergency Obstetric care-(EmOC), we assessed the a) characteristics of women at risk of, or with an obstetric complication and their types b) the number and type of obstetric surgical procedures and anaesthesia performed c) human resource cadres who performed surgery and anaesthesia and d) hospital exit outcomes. Methods A retrospective analysis of EmOC data (2011 and 2012). Results A total of 6084 women were referred for EmOC of whom 2534(42%) underwent a major surgical procedure while 1345(22%) required a minor procedure (36% women did not require any surgical procedure). All cases with uterine rupture(73) and extra-uterine pregnancy(10) and the majority with pre-uterine rupture and foetal distress required major surgery. The two most prevalent conditions requiring a minor surgical procedure were abortions (61%) and normal delivery (34%). A total of 2544 major procedures were performed on 2534 admitted individuals. Of these, 1650(65%) required spinal and 578(23%) required general anaesthesia; 2341(92%) procedures were performed by ‘general practitioners with surgical skills’ and in 2451(96%) cases, anaesthesia was provided by nurses. Of 2534 hospital admissions related to major procedures, 2467(97%) were discharged, 21(0.8%) were referred to tertiary care and 2(0.1%) died. Conclusion Overall, the obstetric surgical volume in rural Burundi is high with nearly six out of ten referrals requiring surgical intervention. Nonetheless, good quality care could be achieved by trained, non-specialist staff. The post-2015 development agenda needs to take this into consideration if it is to make progress towards reducing maternal mortality in Africa.
Aerobic exercise in polluted urban environments: effects on airway defense mechanisms in young healthy amateur runners

In this study, the effects of aerobic exercise on the upper airways and their defense mechanisms were investigated in athletes. The athletes ran in two different environments: the downtown streets of the city of São Paulo (Street), more polluted, and an urban forest (Forest), less polluted. Thirty-eight young healthy athletes ran for 45 min d−1 randomly during five consecutive days, with an interval of 48 h before changing environment. Clinical parameters and respiratory tract defense markers were evaluated before and after the first run on Mondays (1 d) and on Fridays (5 d). Street presented higher mean PM2.5 concentrations (65.1 ± 39.1 µg m−3, p < 0.001) and lower temperature (22.0 °C, p = 0.010) than Forest (22.6 ± 15.3 µg m−3 and 22.8 °C). After 1 d Street running, subjects showed an increment in heart rate (p < 0.001). At day 5, there was twice the number of athletes with impaired nasal mucociliary clearance (MCC) in the Street runners group when compared to the Forest runners group. Exhaled breath condensate pH values increased in the Forest group, with significant differences between groups in day 1 (p = 0.006) and day 5 (p < 0.001), despite the fact that both groups showed values within the normal range. After exposure to both environments, the number of cells in the nasal lavage fluid was reduced after exercise (p = 0.014), without alterations in cell type and IL-8 and IL-10 concentrations. Aerobic exercise can either maintain or acutely enhance MCC and it may help to regulate inflammatory responses in the airways. Here we show that exercise practice in polluted outdoor environment, over a 5 d period, impairs MCC. In contrast, athletes running in the less polluted environment (Forest) show higher exhaled breath condensate pH values when compared to those who exercised in a more polluted environment (Street).
The Center for the Study of Industrial Organization Buyer Groups as Strategic Commitments

Buyer cooperatives, buyer alliances, and horizontal mergers are often perceived as attempts to increase buyer power. Much theoretical and empirical work has emphasized that buyer size can increase buyer surplus. In contrast, I show that even an arbitrarily small buyer group, if it is composed of buyers with heterogeneous preferences, can increase price competition among rival sellers by committing to buy exclusively from a single seller. When there are two sellers, the grand coalition is a coalition-proof equilibrium. However, other equilibrium coalition structures exist with arbitrarily many buyer groups that generate the same buyer surplus. When there are n sellers, all coalition-proof equilibria have a minimum of n(n − 1)/2 buyer groups (one for each pair of sellers).