Miracle-dz/UniFAR-FTUs huggingface dataset:
MoCITempGen: Modelica Continuous Integration Template Generator

Modelica enables an object-oriented approach to model complex systems in product development and research, and, thus, the development of various model libraries. Library development requires collaborative development in a team of multiple developers. A typical challenge in collaborative development, especially in the area of open source, is to create models of uniform quality despite different levels of knowledge among developers. Techniques such as Continuous Integration (CI) from the field of software development, can help to solve these challenges. However, the adaptation of CI for the area of Modelica model development currently requires the manual creation of complex templates and a high degree of manual configuration. In this paper we present MoCITempGen, an open source tool for automated generation of CI structures for the widely used modeling language Modelica. The tool is succesfully applied on two Modelica libraries to demonstrate the functionality.
Scalable automatic linearizability checking

Concurrent data structures are widely used but notoriously difficult to implement correctly. Linearizability is one main correctness criterion of concurrent data structure algorithms. It guarantees that a concurrent data structure appears as a sequential one to users. Unfortunately, linearizability is challenging to verify since a subtle bug may only manifest in a small portion of numerous thread interleavings. Model checking is therefore a potential primary candidate. However, current approaches of model checking linearizability suffer from severe state space explosion problem and are thus restricted in handling few threads and/or operations. This paper describes a scalable, fully automatic and general linearizability checking method based on [16] by incorporating symmetry and partial order reduction techniques. Our insights emerged from the observation that the similarity of threads using concurrent data structures causes model checking to generate large redundant equivalent portions of the state space, and the loose coupling of threads causes it to explore lots of unnecessary transition execution orders. We prove that symmetry reduction and partial order reduction can be combined in our approach and integrate them into the model checking algorithm. We demonstrate its efficiency using a number of real-world concurrent data structure algorithms.
Comparison of Surgical Conditions During Propofol or Isoflurane Anesthesia for Endoscopic Sinus Surgery

Background The Anesthesia planning is an important and determining factor in the amount of intraoperative hemorrhage, which can affect the rate of intraoperative and postoperative complications. Objectives In this study we used two different anesthesia techniques in functional endoscopic sinus surgery (FESS) and compared the amount of hemorrhage in the two groups. Patients and Methods In a single–blind clinical trial, 44 patients with ASA class I and II candidate for FESS in Amir-Al-Momenin hospital in Rasht were entered the study and divided into two equal groups randomly. In both groups anesthesia was induced with propofol, remifentanil and cis. atracurium and then, infusion of propofol – remifentanil in the first group and isoflurane plus Remifentanil infusion in the second group was used for maintenance of anesthesia. Systolic blood pressure was maintained about 90 mmHg. Then on the basis of maximum allowable blood loss (MABL) formula, we calculated the percentage of hemorrhage. Finally the patients' hemorrhage was categorized into three groups (< 10%, 10-20%, > 20%). The surgeon's satisfaction from surgical field was calculated according to the Visual Analogue Scale. Then the data was statistically analyzed with T- test. Results There were meaningful differences between average of hemorrhage (propofol group = 155cc, and Isoflurane group = 291.3cc; P = 0.003), and surgeon’s satisfaction (propofol group = 1.9 and Isoflurane group = 2.95; P = 0.007). Conclusions The amount of hemorrhage in propofol group was less than Isoflurane group and the field condition was better in propofol group than the Isoflurane group.
Role of the nodD and syrM genes in the activation of the regulatory gene nodD3, and of the common and host‐specific nod genes of Rhizobium meliloti

To analyse the regulation of the nodulation (nod) genes of Rhizobium meliloti RCR2011 we have isolated lacZ gene fusions to a number of common, host‐range and regulatory nod genes, using the mini‐MU‐lac bacteriophage transposon Mud II1734. Common (nodA, nodC, nod region IIa) and host‐range (nodE, nodG, nodH) genes were found to be regulated similarly. They were activated (i) by the regulatory nodD1 gene in the presence of flavones such as chrysoeriol, luteolin and 7,3′,4′‐trihydroxyflavone, (ii) by nodD2 in the presence of alfalfa root exudate but not with the NodD1‐activating flavones, and (iii) by the regulatory genes syrM‐nodD3 even in the absence of plant inducers. Thus common and host‐range nod genes belong to the same regulon. In contrast to the nodD1 gene, the regulatory nodD3 gene was not expressed constitutively and exhibited a complex regulation. It required syrM for expression, was activated by nodD1 in the presence of luteolin and was positively autoregulated.
A1 catecholamine cell group: Fine structure and synaptic input from the nucleus of the solitary tract

Preembedding immunoperoxidase staining methods were used to characterize tyrosine hydroxylase‐immunoreactive (TH‐ir) elements in the caudal ventrolateral medulla, and to determine the extent to which neurons of the A1 cell group are directly innervated by projections of the nucleus of the solitary tract (NTS). TH‐ir neurons in the A1 region were medium‐sized and multipolar. They possessed rounded nuclei with infrequent invaginations, well‐developed Golgi apparati, high cytoplasmic densities of mitochondria, and a low to moderate tendency for rough endoplasmic reticulum (RER) to align in parallel stacks. A1 cell bodies were commonly juxtaposed to TH‐positive and TH‐negative neurons, myelinated profiles, glia and /or vascular elements, but close membrane appositons were only seen with glial elements. Synaptic input to A1 neurons was predominantly asymmetric, provided virtually exclusively by non‐TH‐ir terminals, and directed principally to dendritic shafts; A1 somata are relatively sparsely innervated. In a second experiment, silver‐intensified immunogold localization of TH‐ir was combined with immunoperoxidase labeling for anterogradely transported Phaseolus vulgaris‐leucoagglutinin (PHA‐L), following tracer injections in the caudal aspect of the medial division of the NTS. These experiments revealed a small proportion of PHA‐L‐labeled axon terminals that made asymmetric contacts with dendritic shafts of TH‐ir neurons. These results suggest that the fine structure and synaptic input of A1 neurons are somewhat distinct from that of rostrally situated C1 catecholamine cells. In addition, while they document a direct NTS‐A1 projection that may participate in the interoceptive control of vasopressin secretion, the bulk of ventrolaterally directed projections from the caudomedial NTS contact noncatecholaminergic elements in the A1 region, some of which may correspond to so‐called depressor neurons implicated in the baroreflex control of sympathetic outflow and vasopressin secretion. © 1995 Willy‐Liss, Inc.
Production and characterization of monoclonal antibodies to a 58-kilodalton antigen of Aspergillus fumigatus

Eight monoclonal antibodies that recognize a serodiagnostically important 58-kDa antigen of Aspergillus fumigatus were produced and partially characterized. 2-7, 2-12, and 2-14 are of the immunoglobulin M class, and 2-2-1, 2-2-4, 2-2-6, 2-2-9, and 2-2-13 are all immunoglobulin G1(kappa) antibodies. Immunoblot analysis with A. fumigatus mycelial extract demonstrated that all of the monoclonal antibodies recognize a major 58-kDa antigen. The antigen was also detected by immunoblot analysis of 4- and 7-day culture filtrate preparations. 2-2-1, 2-2-4, and 2-2-6 cross-reacted with an antigen of approximately 55 kDa from an extract of Candida albicans. 2-7, 2-12, 2-14, and 2-2-4 formed a precipitin band with immunoaffinity-purified 58-kDa antigen by immunodiffusion. Results from indirect immunofluorescence assays with 2-7 and 2-2-9 showed fluorescent staining mainly on the surfaces of conidia and hyphae, indicating that the 58-kDa antigen may be cell wall associated. 2-2-9 and 2-2-13 and antibodies in patient and immune rabbit sera precipitated the [35S]methionine-labeled 58-kDa antigen. The 58-kDa antigen immunoprecipitated by each of the antibodies was enzymatically cleaved by Staphylococcus aureus V8 protease; one cleavage product, a 35-kDa fragment, was generated, indicating that the precipitated antigens share primary structure. Immunoblot analysis with an immunoaffinity-purified 58-kDa antigen showed that sera from patients with invasive aspergillosis reacted with the same antigen as that recognized by the monoclonal antibodies.
From Brochureware to ‘MyBo’: An Overview of Online Elections and Campaigning

Online campaigning raises provocative questions about whether modern-day electioneering is becoming a more participatory and grass-roots affair, and whether use of digital tools can actually affect the outcome of a race? This article provides an overview of some of the key debates and findings that have emerged in relation to these and other questions posed in the literature. Specifically, we review studies of the supply side of online campaigns – who is adopting the new digital tools and how are they being used? We also look at the demand side of the process and profile arguments made for voter impact.
The role of INDY in metabolism, health and longevity

Indy (I’m Not Dead Yet) encodes the fly homolog of a mammalian SLC13A5 plasma membrane transporter. INDY is expressed in metabolically active tissues functioning as a transporter of Krebs cycle intermediates with the highest affinity for citrate. Decreased expression of the Indy gene extends longevity in Drosophila and C. elegans. Reduction of INDY or its respective homologs in C. elegans and mice induces metabolic and physiological changes similar to those observed in calorie restriction. It is thought that these physiological changes are due to altered levels of cytoplasmic citrate, which directly impacts Krebs cycle energy production as a result of shifts in substrate availability. Citrate cleavage is a key event during lipid and glucose metabolism; thus, reduction of citrate due to Indy reduction alters these processes. With regards to mammals, mice with reduced Indy (mIndy–/–) also exhibit changes in glucose metabolism, mitochondrial biogenesis and are protected from the negative effects of a high calorie diet. Together, these data support a role for Indy as a metabolic regulator, which suggests INDY as a therapeutic target for treatment of diet and age-related disorders such as Type II Diabetes and obesity.
Demographic factors and their association with outcomes in pediatric submersion injury.

OBJECTIVES To describe the epidemiology and outcomes of serious pediatric submersion injuries and to identify factors associated with an increased risk of death or chronic disability. METHODS A retrospective database review of 1994-2000 Massachusetts death and hospital discharge data characterized demographic factors; International Classification of Diseases, Ninth Revision (ICD-9), Clinical Modification (ICD-9-CM), or ICD-10 injury codes; and outcomes for state residents 0-19 years of age identified with unintentional submersion injuries. The authors performed logistic regression analysis to correlate outcomes with risk and demographic factors. RESULTS The database included 267 cases of serious submersion injury, defined as those requiring hospitalization or leading to death. Of these 267 patients, 125 (47%) drowned, 118 (44%) were discharged home, 13 (5%) were discharged home with intravenous therapy or with availability of a home health aide, and 11 (4%) were discharged to an intermediate care/chronic care facility. The authors observed a trend of improved outcome in successively younger age groups (p < 0.0001). The multivariable logistic regression analysis showed an increased likelihood of poor outcome for males compared with females (odds ratio [OR]: 2.52; 95% confidence interval [95% CI] = 1.31 to 4.84) and for African Americans compared with whites (OR: 3.47; 95% CI = 1.24 to 9.75), and a decreased likelihood of poor outcome for Hispanics compared with whites (OR: 0.056; 95% CI = 0.013 to 0.24). CONCLUSIONS After serious pediatric submersion injuries, the overall outcome appears largely bimodal, with children primarily discharged home or dying. The observations that better outcomes occurred among younger age groups, females, and Hispanic children, with worse outcomes in African American children, suggest that injury prevention for submersion injuries should consider differences in age, gender, and race/ethnicity.
Black, White, or Mixed Race?: Race and Racism in the Lives of Young People of Mixed Parentage

The number of people in racially mixed relationships is steadily growing, yet their children are still often stigmatized and assumed to feel confused and unhappy about their racial identities. Social workers argue that they "need" to acquire a black identity, and hence should not be placed with white foster or adoptive parents. Tizard and Phoenix question these beliefs in an exploration of mixed-race identity. They show that many young people have a very positive dual identity, as both black and white, and resist prescriptions from others about the kind of identity they should have. The book is based on recent research with young people from a range of social backgrounds, all of whom had one white and one Afro-Caribbean or African parent. "Black, White or Mixed Race? " contains many quotations from interviews with both children and parents and examines their attitudes towards identity, their cultural origins, their attitudes to black and white people, and their experiences of racism. This is the first study to concentrate on adolescents of black and white parentage and is intended for all lecturers, students and professionals in social work and social policy.
Multi-Node Graphs: A Framework for Multiplexed Biological Assays

Multiplex polymerase chain reaction (PCR) is an extension of the standard PCR protocol in which primers for multiple DNA loci are pooled together within a single reaction tube, enabling simultaneous sequence amplification, thus reducing costs and saving time. Potential cost saving and throughput improvements directly depend on the level of multiplexing achieved. Designing reliable and highly multiplexed assays is challenging because primers that are pooled together in a single reaction tube may cross-hybridize, though this can be addressed either by modifying the choice of primers for one or more amplicons, or by altering the way in which DNA loci are partitioned into separate reaction tubes. In this paper, we introduce a new graph formalism called a multi-node graph, and describe its application to the analysis of multiplex PCR scalability. We show, using random multi-node graphs that the scalability of multiplex PCR is constrained by a phase transition, suggesting fundamental limits on efforts to improve the cost-effectiveness and throughput of standard multiplex PCR assays. In particular, we show that when the multiplexing level of the reaction tubes is roughly theta(log (sn)) (where s is the number of primer pair candidates per locus and n is the number of loci to be amplified), then with very high probability we can 'cover' all loci with a valid assignment to one of the tubes in the assay. However, when the multiplexing level of the tube exceeds these bounds, there is no possible cover and moreover the size of the cover drops dramatically. Simulations using a simple greedy algorithm on real DNA data also confirm the presence of this phase transition. Our theoretical results suggest, however, that the resulting phase transition is a fundamental characteristic of the problem, implying intrinsic limits on the development of future assay design algorithms.
Do Female 'Firsts' Still Matter? Why They Do for Female Judges of Color

This Article argues that diversifying the federal judiciary with more women and men of color, but particularly with more women of color, is essential to moving forward and strengthening this country’s democracy. Specifically, this Article responds to arguments by prominent feminists that having female “firsts” on the bench is not as critical as having the “right” women on the bench—“right” meaning those women who are invested in and supportive of what are traditionally viewed as women’s issues. In so responding, this Article acknowledges the appeal of such arguments regarding judicial service from the “right” women, but contends that, while achieving “firsts” (and “seconds” and more) on the bench for white women may not be as important as it was in the past, it is still crucial for women of color, who are nearly absent from the federal bench. Much like the “firsts” of white female judges all over the nation held important symbolic meaning for the advancement of white women and helped to change societal perception about who is and should be a judge, so, too, will the same “firsts” for women of color. However, for women of color to have a similar impact on society as their white sisters, appointments of women of color to the federal bench must occur in meaningful numbers; they must represent more than mere tokenism, and they should include women of color with a variety of backgrounds and viewpoints.Part I of this Article reflects upon the progress that has been made on the federal bench with respect the progress that has been made on the federal bench with respect to increasing the number of women on the bench as well as the barriers that women have faced and still face on the bench by examining the history of women’s entrance into the federal judiciary. Part II of this Article then examines the limits of that progress, revealing not only that more gender diversity on the bench has not occurred at equal levels for all women, particularly for women of color, during the last forty years. Finally, Part III of this Article argues that increasing women of color’s access to and visibility within the federal judiciary will not only facilitate broader, more well-informed decision making by courts, but also will serve an important symbolic and representative purpose that legitimizes this country’s democracy.
Novel antibacterial polymeric nanocomposite for smart co-delivery of anticancer drugs

Abstract Here a novel antibacterial nanocomposite was developed for combination cancer therapy. The synthesized nanocarrier was characterized by FTIR, 1H NMR, thermogravimetric analysis (TGA), and FESEM-EDX. Its antibacterial activity was assessed by determining minimum inhibitory concentration (MIC) values. Doxorubicin (DOX) and methotrexate (MTX) conjugation with nanocarrier sustained the release of both drugs with apparent pH-triggered manner. Co-administration of DOX with MTX leads to an efficient anticancer performance to MCF7 cell lines verified by qRT-PCR and MTT assay tests. It was concluded that this novel drug delivery vehicle makes antibacterial and anticancer therapeutic processes proceed spontaneously, representing more efficient drug delivery system in nanomedicine.
Identification of differentially expressed microRNAs by microarray: A possible role for microRNA genes in pituitary adenomas

MicroRNAs (miRNAs) are small non‐coding RNAs that control gene expression by targeting mRNA. It has been demonstrated that miRNA expression is altered in many human cancers, suggesting that they may play a role in human neoplasia. To determine whether miRNA expression is altered in pituitary adenomas, we analyzed the entire miRNAome in 32 pituitary adenomas and in 6 normal pituitary samples by microarray and by Real‐Time PCR. Here, we show that 30 miRNAs are differentially expressed between normal pituitary and pituitary adenomas. Moreover, 24 miRNAs were identified as a predictive signature of pituitary adenoma and 29 miRNAs were able to predict pituitary adenoma histotype. miRNA expression could differentiate micro‐ from macro‐adenomas and treated from non‐treated patient samples. Several of the identified miRNAs are involved in cell proliferation and apoptosis, suggesting that their deregulated expression may be involved in pituitary tumorigenesis. Predictive miRNAs could be potentially useful diagnostic markers, improving the classification of pituitary adenomas. J. Cell. Physiol. 210: 370–377, 2007. © 2006 Wiley‐Liss, Inc.
A Three-Step Approach to Teaching Logic Models

Developing a logic model is an essential first step in program evaluation. Our experience has been that there is little guidance to teach students how to develop a logic model that is true to its intended purpose of providing a clear visual representation of the underlying rationale that is not shrouded by including the elements of evaluation. We have developed a three-step approach that begins with developing the visual representation of the underlying rationale, central to which is the identification of Antecedent conditions. Step 2 ensures that program activities Target antecedent conditions, while Step 3 focuses on Measurement issues, depicting indicators and objectives for outcomes being included in the evaluation plan. We have coined this method of teaching the ATM approach. We hope that teachers of evaluation will find the ATM approach useful in the form presented here or at least stimulate thought as to how to adapt the approach to meet individual teaching needs.
Proper orthogonal decomposition based parallel compression for visualizing big data on the K computer

The development of supercomputers has greatly help us to carry on large-scale computing for dealing with various problems through simulating and analyzing them. Visualization is an indispensable tool to understand the properties of the data from supercomputers. Especially, interactive visualization can help us to analyze data from various viewpoints and even to find out some local small but important features. However, it is still difficult to interactively visualize such kind of big data directly due to the slow file I/O problem and the limitation of memory size. For resolving these problems, we proposed a parallel compression method to reduce the data size with low computational cost. Furthermore, the fast linear decompression process is another merit for interactive visualization. Our method uses proper orthogonal decomposition (POD) to compress data because it can effectively extract important features from the data and the resulting compressed data can also be linearly decompressed. Our implementation achieves high parallel efficiency with a binary load-distributed approach, which is similar to the binary-swap image composition used in parallel volume rendering [2]. This approach allows us to effectively utilize all the processing nodes and reduce the interprocessor communication cost throughout the parallel compression calculations. Our test results on the K computer demonstrate superior performance of our design and implementation.
Underwater Acoustic Communications and Networking: Recent Advances and Future Challenges

There has been a growing interest in underwater acoustic communications over the past 30 years because of its defense, offshore oil industry, marine commercial operations, oceanography, and marine research applications. As compared to initial communication systems, improved performance and robustness have resulted from continued research over the years. The authors aim to provide an overview, spanning this decade, of key underwater networking protocol and point-to-point communication technique developments. Insight into some of the open challenges and problems researchers in this field will face in the near future is also provided by the authors.