Miracle-dz/UniFAR-FTUs huggingface dataset:
Joint Bayesian Component Separation and CMB Power Spectrum Estimation

We describe and implement an exact, flexible, and computationally efficient algorithm for joint component separation and CMB power spectrum estimation, building on a Gibbs sampling framework. Two essential new features are (1) conditional sampling of foreground spectral parameters and (2) joint sampling of all amplitude-type degrees of freedom (e.g., CMB, foreground pixel amplitudes, and global template amplitudes) given spectral parameters. Given a parametric model of the foreground signals, we estimate efficiently and accurately the exact joint foreground-CMB posterior distribution and, therefore, all marginal distributions such as the CMB power spectrum or foreground spectral index posteriors. The main limitation of the current implementation is the requirement of identical beam responses at all frequencies, which restricts the analysis to the lowest resolution of a given experiment. We outline a future generalization to multiresolution observations. To verify the method, we analyze simple models and compare the results to analytical predictions. We then analyze a realistic simulation with properties similar to the 3 yr WMAP data, downgraded to a common resolution of 3° FWHM. The results from the actual 3 yr WMAP temperature analysis are presented in a companion Letter.
Association between hormonal changes at menopause and the risk of a coronary event: a longitudinal study

Objective:To investigate the association of hormone levels at menopause, lifestyle variables, and body composition with the predicted 10-year risk of a coronary event, calculated using the PROCAM scoring system, in a population-based sample of Australian-born, middle-aged women. Design:A 9-year prospective study of 438 Australian-born women, who at baseline were aged 45 to 55 years and had menstruated in the prior 3 months. Interviews, fasting blood, and physical measurements were taken annually. The risk of an acute coronary event was calculated using the PROCAM scoring system (includes: age, low-density lipoprotein cholesterol, smoking, high-density lipoprotein cholesterol, systolic blood pressure, family history of premature myocardial infarction, diabetes mellitus, and triglycerides). Results:Retention rate after 8 years of follow-up was 88% (n = 387). In women not using hormone therapy (HT): higher than average body mass index (BMI) (P < 0.001), BMI that increased (P < 0.005), lower than average estradiol levels (P < 0.005), estradiol levels that decreased (P < 0.001), and high free testosterone levels (P < 0.05) were associated with increased risk of a coronary event. There was a trend for high exercise frequency to be associated with a decreased risk (P < 0.07). After BMI and lifestyle variables were taken into account, use of HT did not have a significant effect on risk of a coronary event. Conclusion:In this longitudinal observational study of middle-aged Australian-born women, high BMI, an increase in BMI, high free testosterone, low estradiol, and a decrease in estradiol levels were the main determinants of increased risk of an acute coronary event, based on the PROCAM scoring system calculation. More frequent exercise tended to lower the risk.
Weak Alternating Timed Automata

Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for these automata is decidable. This result implies new decidability results for fragments of timed temporal logics. It is also shown that, unlike for MITL, the characterisation remains the same even if no punctual constraints are allowed.
GATA-3 Is Involved in the Development of Serotonergic Neurons in the Caudal Raphe Nuclei

The GATA-3 transcription factor shows a specific and restricted expression pattern in the developing and adult mouse brain. In the present study we investigated the role of GATA-3 in the caudal raphe system, which is known to operate as a modulator of motor activity. We demonstrate that virtually all neurons in the caudal raphe nuclei that express GATA-3 also produce serotonin. Absence of GATA-3, as analyzed in chimeric -/- mice, affects the cytoarchitecture of serotonergic neurons in the caudal raphe nuclei. As a result the chimeras show a serious defect in their locomotor performance on a rotating rod. In sum, we conclude that GATA-3 plays a major role in the development of the serotonergic neurons of the caudal raphe nuclei, and that it is crucial for their role in locomotion.
A Microsystem for Magnetic Immunoassay Based on Planar Microcoil Array

This work focuses on the circuit and system implementation of a microsystem platform for magnetic immunoassay, which is a novel type of diagnostic method using magnetic beads as labels. Three main challenges facing this work-design of a high performance sensor, packaging technique and design of integrated circuits are discussed. Planar microcoil array are exploited as sensor of magnetic beads, whereas ultra thin bottom microplate in traditional ELISA is used for the assay. Main circuits blocks include bidirectional current supply circuit, magnetic field sensing circuit and on-chip temperature sensor. Experiments using mouse IgG with different densities were performed on the proposed platform, results show that a minimum density of 100 pg/mL can be detected, which is a comparable sensitivity to conventional optical ELISA, and a quantitative relationship can be acquired in the range from 1 ng/ml to 1 ug/ml, thus this platform is suitable for quantitative analysis in practical health and environment application and has potential for medical diagnostics, food pathogen detection or water analysis.
Drug-nutrient interactions in the intensive care unit: literature review and current recommendations

Objective To describe the interactions between drugs and nutrients and their frequency in the intensive care unit and to assess the professional team's awareness regarding this subject. Methods The keywords "drug interactions" and "nutrition therapy" were searched in the PubMed (specifically MeSH) electronic database. The studies were systematically reviewed for descriptions of the types of interactions between drugs and nutrients, including their frequency and consequences. Results Sixty-seven articles were found. Among these, 20 articles were appropriate for the methodology adopted and accomplished the objectives of the study. Of these 20 articles, 14 articles described interactions between drugs and enteral nutrition, three described interactions between drugs and parenteral nutrition, and three described the importance and care required to avoid such interactions. Conclusions The literature about drug and nutrient interactions is limited and suggests the inability of health care teams to recognize the potential for these interactions. Possibly, the elaboration of a protocol to evaluate drug-nutrient interactions will increase the safety and efficacy of therapeutics.
Gendered perceptions about female managers in Turkish sport organizations

Research question: This study examines the views of employees working in Turkish sport organizations on the qualities of sport managers, their preference for female or male sport managers, and their attitudes toward female managers. Research methods: A quantitative research design based on the data of 244 female employees and 492 male employees was chosen. Results and findings: The results of the Women as Managers Scale indicated that gender, education, marital status, the preference for female or male sport managers, and the type of organization significantly affected gender role stereotypes and attitudes toward women’s career advancement. In addition, the under-representation of women can be partly explained by dominant meanings, which are framed in the sport and sport experience given to a sport manager. Implications: In line with role congruity theory, management in Turkish sport organizations is stereotyped as a masculine domain requiring agentic characteristics and sport experience is more strongly attributed to men. As a result, employees have a general preference for male sport managers and male employees in particular have negative attitudes toward female managers.
Improving public transportation through crowd-sourcing

Commuting on roads in densely populated cities of the developing world is fraught with high delays and uncertainties. Wide use of public transportation can ease the load on the road infrastructure, but such use is not convenient, partly due to the unpredictable nature. In this work, our goal is to improve the usability of public transportation, through better information. Such information can lead to better planning and predictability for commuters. We take a crowd-sourced approach where information about transportation units as well as road conditions is crowd-sourced from commuters. The information is then processed and made available to other commuters. In this context, this paper presents a naming framework we have developed, which will enable flexible and scalable content-driven data gathering and dissemination. Based on a preliminary implementation of the framework, we present various field-experiment results which shed light on the practicality of the proposed approach as well as on technical issues which need further careful addressing.
ADMM-based coordinated decentralized voltage control meets practical communication systems

More and more distributed generators (DGs) will penetrate into the distribution power system in the future. Therefore, voltage fluctuation becomes a challenging essential issue for future smart grids. In this paper a coordinated decentralized voltage control method based on a distributed optimal power flow (OPF) algorithm, alternating direction multiplier method (ADMM), is proposed which does not require any control center. Meanwhile, the communication queueing theory for this ADMM is also presented. Simulation results show that the coordinated control approach is sensitive to time-delay in a medium-voltage distribution network (MVDN).
Convex relaxation for image segmentation by kernel mapping

This study proposes a novel multiregion image segmentation method using convex relaxation optimization and kernel mapping of the image data. The image data is transformed by a kernel function in order to support various image models while avoiding complex modeling. This is embedded implicitly in an objective function which is optimized by iterating a two-step strategy. First, a fixed point sequence is used to evaluate the regions parameters. Second, the image partition is updated by an efficient multiplier-based algorithm which uses the standard augmented Lagrangian method. A thorough experimental study is carried out over a multi-model synthetic dataset, the Berkeley database, as well as cardiac 3D data to show the effectiveness of the proposed method.
Análise visual de dados relacionais: uma abordagem interativa suportada por teoria dos grafos

Relational databases are rigid-structured data sources characterized by complex relationships among a set of relations (tables). Making sense of such relationships is a challenging problem because users must consider multiple relations, understand their ensemble of integrity constraints, interpret dozens of attributes, and draw complex SQL queries for each desired data exploration. In this scenario, we introduce a twofold methodology; we use a hierarchical graph representation to e ciently model the database relationships and, on top of it, we designed a visualization technique for rapidly relational exploration. Our results demonstrate that the exploration of databases is deeply simpli ed as the user is able to visually browse the data with little or no knowledge about its structure, dismissing the need of complex SQL queries. We believe our ndings will bring a novel paradigm in what concerns relational data comprehension.
Capacity Estimation of Multi-Service Cellular Network Dimensioning and Planification Network

Planning and dimensioning process of a multi-service network WCDMA should consider the whole parameters characterising the radio cell. Among these, we are interested in the required total BTS power and maximum capacity supported by the cell in the downlink direction. This direction requires more radio resources, thus it is more delicate to optimize. In this context, we express these two parameters as a function of the quality of service (QoS) received at the level of a mobile station activating a certain service (voice, video, etc) and as a function of various radio interface problems such as: multipath, neighbouring cells effect, pathloss, thermal noise due to equipment, etc.
Interdisciplinary Longitudinal Surveys: Linking Individual Data to Organizational Data in Life-Course Analysis

One of the fundamental insights gained by the social and economic sciences is that empirically founded statements on the conditions and consequences of individual behavior or of social and economic change can only be formulated on the basis of longitudinal microdata. The observation of individuals, households, and other socio-economic units over long periods of time allows us to causally determine the reasons for social and economic stability and change. Moreover, socio-economic phenomena are particularly path-dependent. The opportunities and restrictions that individual or corporate actors face over their life courses — or more generally: over time — depend to a great extent on decisions and events earlier in time. The available individual and household-level datasets used in empirical social and economic research in Germany are capable of mirroring these path-dependencies.
The proline 12 alanine substitution in the peroxisome proliferator--activated receptor-gamma2 gene is associated with lower lipoprotein lipase activity in vivo.

Lipoprotein lipase (LPL) plays a key role in lipid metabolism by hydrolyzing triglycerides in circulating lipoproteins. Low LPL activity has been linked to coronary artery disease (CAD), but the factors influencing LPL expression are not completely understood. Peroxisome proliferator--activated receptor (PPAR)-gamma is a nuclear receptor regulating lipid and glucose metabolism, and a PPAR-responsive element is present in the LPL promoter. We determined the Pro12Ala polymorphism in the PPAR-gamma2 gene in 194 male CAD patients because this allele is associated with decreased PPAR activity and reduced LPL promoter activity in vitro. Presence of 12Ala was associated with 20% lower LPL activity in postheparin plasma (141 +/- 58 vs. 177 +/- 77 nmol.ml(-1). min(-1), P < 0.005). Remarkably, the influence of 12Ala on LPL was greater than that of the frequent polymorphisms (HindIII +9%, PvuII +/- 0%, 447stop +12%) in the LPL gene itself. To confirm these results in a different group of patients, we analyzed 100 diabetic patients in whom the 12Ala allele was also associated with lower LPL activity (12Ala: 132 +/- 88 vs. 190 +/- 129 nmol.ml(-1). min(-1), P < 0.05). Our data demonstrate that the Pro12Ala substitution in PPAR-gamma2 is associated with lower LPL activity in vivo and provides a new target for the analysis of genetic influences on LPL activity and CAD risk.
ALMA images of discs: are all gaps carved by planets?

This research was partially supported by the Programme National de Physique Stellaire and the Programme National de Planetologie of CNRS/INSU, France. JFG thanks the LABEX Lyon Institute of Origins (ANR-10-LABX-0066) of the Universite de Lyon for its financial support within the programme ‘Investissements d'Avenir’ (ANR-11-IDEX-0007) of the French government operated by the ANR. GL is grateful for funding from the European Research Council for the FP7 ERC advanced grant project ECOGAL. STM acknowledges the support of the visiting professorship scheme from Universite Claude Bernard Lyon 1.
Knowledge Representation in Description Logic with Rules

Description logic SHOIQ is widely used for defining ontologies. Recently, rules are added to DL to increase its expressive power. We present a reasoner for DL with rules that translates the DL reasoning task into first order logic, performs reasoning in FOL, and interprets the result in terms of DL with rules. We compare the performance of our reasoner with tableax-based reasoners for DL (which do not support rules). We discuss the undecidability of DL with rules.
An Approach for Developing Adaptive, Mobile Applications with Separation of Concerns

Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the context of such environments, it is important that mobile applications are developed so that they can dynamically adapt their extra-functional behavior, in order to optimize the experience perceived by their users. This paper proposes an approach for developing adaptive, mobile applications. It is argued that this approach eases the development effort by clearly separating the work required for the development of the application logic from that required for enabling its adaptive behavior. It is argued that in addition to mitigating the development complexity, this approach also enables a new generation of distributed applications. The novelty in the latter is that the applications can dynamically and collaboratively adapt in an ad-hoc manner to improve the quality of the services offered to mobile users
Haralick feature extraction from LBP images for color texture classification

In this paper, we present a new approach for color texture classification by use of Haralick features extracted from co-occurrence matrices computed from local binary pattern (LBP) images. These LBP images, which are different from the color LBP initially proposed by Maenpaa and Pietikainen, are extracted from color texture images, which are coded in 28 different color spaces. An iterative procedure then selects among the extracted features, those which discriminate the textures, in order to build a low dimensional feature space. Experimental results, achieved with the BarkTex database, show the interest of this method with which a satisfying rate of well-classified images (85.6%) is obtained, with a 10-dimensional feature space.
CONVERSATION ANALYSIS ON THE INTERVIEW BETWEEN NEWS REPORTER OF NEW YORK TIMES AND AUTHOR ON "BESTSELLER NOVELS"

The tesis entitled “Conversation Analysis on the Interview between News reporter of New York Times and Author on Bestseller Novels” is aimed at describing the aspects of conversation found in that interview. Those are opening and closing, adjacency pair, topic management and turn taking. This study uses a descriptive qualitative method to study the problem, because this study has a purpose to describe and analyze the aspects of conversation in an interview. The data were taken from written data of news interview of news reporter and author in Stuart Wood’s (author) official webpage. The speakers are a news reporter and author. The conversation was an English dialogue in formal conversation. The result showed that there is no opening and this interview because the interviewer directly asked question to the author. The closing is indicated by the preclosing” “Anything else you’d like to say to readers? ”. Then, it was followed by the answer of the interviewee or the novel’s author. The dominant adjacency pair found in this interview is question-answer. The topic discussed in this interview is only one that is about the novel wriitten by the author. The initiator of the topic is interviewer by asking something to the interviewee. The topic is developed by the interviewee by giving answer to the interviewer. There are 114 turn takings in the conversation: 57 times from the interviewer and 57 times form the interviewee. In this conversation there is no dominant person or less dominant person because both of them gives the same turns. Beside that, the form of the conversation is just question and answer. So, the turn taking just happened when the interviewer gives question to the interviewee.
Periodontal repair in dogs: space-provision supports alveolar bone and cementum formation.

OBJECTIVE Clinical criteria for periodontal wound healing/regeneration include wound stability, space-provision and conditions for primary intention healing. However, wound stability/space-provision may be difficult to obtain in non-contained periodontal defects. The objective of this study was to; using a limited, space-providing device as a conduit, evaluate a concept of space-provision sans tissue occlusion for periodontal wound healing/regeneration. METHODS Bilateral, critical-size, supraalveolar, periodontal defects were created in eight young adult Beagle dogs. One jaw quadrant received a limited, space-providing titanium mesh device, the contra-lateral jaw quadrant served as sham-surgery control followed by submerged wound closure for primary intention healing. The animals were euthanized at 8 weeks for histometric analysis of the surgical sites. RESULTS Clinical healing was generally uneventful; minor late exposures observed for some defects. Experimental sites exhibited significantly enhanced mean (±SE) bone and cementum regeneration compared with control (1.10 ± 0.20 and 1.32 ± 0.10 mm versus 0.34 ± 0.18 and 0.66 ± 0.15 mm; p < 0.01). A cellular mixed (extrinsic/intrinsic) fibre cementum and functionally oriented collagen fibres were routinely observed. Wound exposures were significantly associated with reduced bone formation (p < 0.05). CONCLUSIONS Using a limited, space-providing device to support periodontal wound healing/regeneration appears a promising clinical approach for non-contained periodontal defects.
Composing snippets

A simple formal framework for representing safety and progress properties of concurrent systems is introduced. The framework is based on Enhanced Characteristic Functions (ECF), which lead to simple definitions of operations such as hiding and process product. Two distinct compositions are proposed: The network composition that models networks of devices, and the specification composition that enables a constraint-based approach to building specifications. A part-wise design and verification approach is proposed. This approach may avoid state explosion in the verification of implementations for constraint-based specifications.
Retrieval from Memory or Procedural Strategies for Addition Problems

In this study, we used a paradigm recently developed (Thevenot, Fanget, & Fayol, 2007) to determine whether 10-year-old children solve simple addition problems by retrieval of the answer from long-term memory or by calculation procedures. Our paradigm is unique in that it does not rely on reaction times or verbal reports, which are known to potentially bias the results, especially in children. Rather, it takes advantage of the fact that calculation procedures degrade the memory traces of the operands, so that it is more difficult to recognize them when they have been involved in the solution of an addition problem by calculation rather than by retrieval. The present study sharpens the current conclusions in the literature and shows that, when the sum of addition problems is up to 10, children mainly use retrieval, but when it is greater than 10, they mainly use calculation procedures.
Managing Delegation in Access Control Models

In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flexible administration model to manage delegation. Unfortunately, to our best knowledge, there is no complete model for describing all delegation requirements for role-based access control. Therefore, proposed models are often extended to consider new delegation characteristics, which is a complex task to manage and necessitate the redefinition of these models. In this paper we describe a new delegation approach for extended role-based access control models. We show that our approach is flexible and is sufficient to manage all delegation requirements.