Miracle-dz/UniFAR-FTUs huggingface dataset:
Extended Empty-Slots method for fixed priority feasibility analysis

For preemptive scheduling, the discrete scheduling has the same capability as the continuous scheduling. However, most work previously done has been focused on the continuous scheduling. In this paper, a discrete analysis approach Empty-Slots method is discussed and applied to fixed priority scheduling for constraint-deadline task model. Then a new schedulability test using the Empty-Slots method is presented. Compared with classical schedulability tests for continuous scheduling, this test is more convenient to be used and more efficient to tackle practical problems.
WeeFence: toward making fences free in TSO

Although fences are designed for low-overhead concurrency coordination, they can be expensive in current machines. If fences were largely free, faster fine-grained concurrent algorithms could be devised, and compilers could guarantee Sequential Consistency (SC) at little cost. In this paper, we present WeeFence (or WFence for short), a fence that is very cheap because it allows post-fence accesses to skip it. Such accesses can typically complete and retire before the pre-fence writes have drained from the write buffer. Only when an incorrect reordering of accesses is about to happen, does the hardware stall to prevent it. In the paper, we present the WFence design for TSO, and compare it to a conventional fence with speculation for 8-processor multicore simulations. We run parallel kernels that contain explicit fences and parallel applications that do not. For the kernels, WFence eliminates nearly all of the fence stall, reducing the kernels' execution time by an average of 11%. For the applications, a conservative compiler algorithm places fences in the code to guarantee SC. In this case, on average, WFences reduce the resulting fence overhead from 38% of the applications' execution time to 2% (in a centralized WFence design), or from 36% to 5% (in a distributed WFence design).
NANOSCALE OPTICAL PATTERNING USING EVANESCENT FIELDS AND SURFACE PLASMONS

Patterning with sub-diffraction-limited resolution has been demonstrated using a simple photolithography technique. Evanescent fields and surface plasmons are critical to the image formation, which is investigated here using computer simulations and experiments. A regime exists in which surface plasmons are resonantly excited, which we have named Evanescent Interferometric Lithography (EIL); period halving and reduced exposure times characterize this exposure mode. Two other exposure modes have been investigated in which surface plasmons on a planar metallic film beneath the mask are used to improve pattern formation. In the first, Planar Lens Lithography (PLL), a planar silver layer excited near its plasma frequency is used to form a projected near-field image. For a 40-nm thick silver layer, we predict that resolution down to 40 nm should be possible. However, the image is affected by the loss in the silver layer, the mask period, duty cycle and surrounding refractive index. Experimental verification of PLL is presented for 1-micron period structures imaged through 120 nm of silver. Finally, simulations are used to show that surface plasmons on an underlying silver layer can be used to improve process latitude and depth of field. We have named this mode Surface Plasmon Enhanced Contact Lithography (SPECL).
Critical Success Factors for Developing an e-Business Strategy

e-Business is the new, leading edge of electronic commerce. Organizations are using e-business applications such as enterprise resource planning, customer relationship management and e-procurement to transform traditional businesses into e-businesses. As organizations pursue an e-business strategy what are the five or six most important factors to consider? What are the opportunities? What are the threats? Answering these questions is the primary purpose of this paper. First, e-business is defined and placed in an historical context with its evolution through the electronic commerce concept. Then six critical success factors for developing e-business strategy are discussed and mini-case studies are used to illustrate their application in real businesses. What is e-Business?
Development and Validation of Oxide/Oxide CMC Combustors Within the HiPOC Program

In the framework of the High Performance Oxide Ceramics program (HiPOC), three different oxide/oxide ceramic matrix composite (CMC) materials are studied for a combustion chamber application in continuation of the work reported in Gerendas et al. [1]. A variation in the micro-structural design of the three CMC materials in terms of different fiber architecture and matrix processing are considered in a first work stream. By modification of the matrix and the fiber-matrix interface as well as the application of an environmental barrier coating (EBC), the high temperature stability is enhanced. Furthermore, design concepts for the attachment of the CMC component to the metal structure of the engine are finalized in a second work stream. Issues like sealing of cooling leakage paths, allowance for the different thermal expansion and the mechanical fixation are addressed. An interim standard of the mechanical attachment scheme is studied on a shaker table. Also the friction coefficient between the metallic and ceramic components is analyzed in order to set the proper tightening torque. The manufacturing of the CMC combustor is improved in several iterations in order to achieve a high quality material with optimized fiber architecture. Afterwards, two CMC materials are selected for the combustion testing and the finalized design of the metallic and CMC components is manufactured. A fit check is performed prior to EBC application and laser drilling of the effusion holes in order to evaluate the impact of the manufacturing tolerances on the function of the sealing and attachment scheme and to correct small issues at this stage. First results from the validation testing in a high-pressure tubular combustion rig up to a Technology Readiness Level 4 (TRL4) are reported.Copyright © 2013 by ASME and Rolls-Royce Deutschland Ltd & Co KG
Image Retrieval Based on Shape Feature and Color Feature

Study the retrieval algorithm based on shape feature and based on color features of image retrieval, to improve the accuracy of image retrieval, and to get results consisting with the shape feature and color feature ,this paper proposed new algorithm comprehensivly utilizing the two search algorithms. Through the image retrieval results show, new algorithm obtain results better than two algorithms, and can improve the retrieval precision.
SPEEDL - A Declarative Event-Based Language to Define the Scaling Behavior of Cloud Applications

Contemporary cloud providers offer out-of-the-box auto-scaling solutions. However, defining a non-trivial scaling behavior that goes beyond the feature set provided by existing solutions is still challenging. In this paper we present SPEEDL, a declarative and extensible domain-specific language that simplifies the creation of elastic scaling behavior on top of IaaS clouds. SPEEDL simplifies the creation of event-driven policies for resource management (How many resources, and what resource types, are needed? ), as well as task mapping (Which tasks should be handled by which resources? ). Based on a dataset of real-life scaling policies, we demonstrate that SPEEDL can cover most scaling behaviors real-life developers want to express, and that the resulting SPEEDL policies are at the same time substantially more compact, easier to read, and less error-prone than the same behavior expressed via a general-purpose programming language.
Optimizing the control of disease infestations at the landscape scale

Using a contact-process model for the spread of crop disease over a regional scale, we examine the importance of the time scale for control with respect to the cost of the epidemic. The costs include the direct cost of treating infected sites as well as the indirect costs incurred through lost yield. We first use a mean-field approximation to derive analytical results for the optimal treatment regimes that minimize the total cost of the epidemic. We distinguish short- and long-term epidemics. and show that seasonal control (short time scale) requires extreme treatment, either treating all sites or none or switching between the two at some stage during the season. The optimal long-term strategy requires an intermediate level of control that results in near eradication of the disease. We also demonstrate the importance of incorporating economic constraints by deriving a critical relationship between the epidemiological and economic parameters that determine the qualitative nature of the optimal treatment strategy. The set of optimal strategies is summarized in a policy plot, which can be used to determine the nature of the optimal treatment regime given prior knowledge of the epidemiological and economic parameters. Finally, we test the robustness of the analytical results, derived from the mean-field approximation, on the spatially explicit contact process and demonstrate robustness to implementation errors and misestimation of crucial parameters.
Copy Number Analysis of the Murine Platelet Proteome Spanning the Complete Abundance Range*

Knowledge of the identity and quantity of expressed proteins of a cell type is a prerequisite for a complete understanding of its molecular functions. Mass-spectrometry-based proteomics has allowed the identification of the entire protein complement of yeast and the close-to-complete set of proteins expressed in mammalian cell lines. Using recent technological advances, we here characterized the proteome of murine platelets, key actors in mediating hemostasis and thrombosis. We accurately measured the absolute protein concentrations of 13 platelet proteins using SILAC-protein epitope signature tags and used them as reference points to estimate the copy numbers of all proteins of the platelet proteome. To distinguish contaminants such as plasma or erythrocyte proteins from true platelet proteins, we monitored protein abundance profiles across multiple purification steps. In total, we absolutely quantified 4,400 platelet proteins, with estimated copy numbers ranging from less than 10 to about a million per cell. Stoichiometries derived from our data correspond well with previous studies. Our study provides a close-to-complete reference map of platelet proteins that will be useful to the community, for instance, for interpreting mouse models of human platelet diseases.
Climate change and freshwater ecosystems: impacts across multiple levels of organization

Fresh waters are particularly vulnerable to climate change because (i) many species within these fragmented habitats have limited abilities to disperse as the environment changes; (ii) water temperature and availability are climate-dependent; and (iii) many systems are already exposed to numerous anthropogenic stressors. Most climate change studies to date have focused on individuals or species populations, rather than the higher levels of organization (i.e. communities, food webs, ecosystems). We propose that an understanding of the connections between these different levels, which are all ultimately based on individuals, can help to develop a more coherent theoretical framework based on metabolic scaling, foraging theory and ecological stoichiometry, to predict the ecological consequences of climate change. For instance, individual basal metabolic rate scales with body size (which also constrains food web structure and dynamics) and temperature (which determines many ecosystem processes and key aspects of foraging behaviour). In addition, increasing atmospheric CO2 is predicted to alter molar CNP ratios of detrital inputs, which could lead to profound shifts in the stoichiometry of elemental fluxes between consumers and resources at the base of the food web. The different components of climate change (e.g. temperature, hydrology and atmospheric composition) not only affect multiple levels of biological organization, but they may also interact with the many other stressors to which fresh waters are exposed, and future research needs to address these potentially important synergies.
Posttraumatic Epilepsy: The Roles of Synaptic Plasticity

Acute cerebral cortical trauma often leads to paroxysmal activities that terminate in a few hours, but several months later, patients can develop epilepsy. The process occurring between the initial acute triggered seizures and the onset of spontaneous unprovoked seizures is termed epileptogenesis. Here the authors summarize recent morphological, electrophysiological, and computational studies demonstrating that partial cortical isolation increases the number and duration of silent states in the cortical network, boosting neuronal connectivity and network excitability. These changes develop progressively, and after several weeks their synergetic action leads to epilepsy.
Recruitment of Rad51 and Rad52 to Short Telomeres Triggers a Mec1-Mediated Hypersensitivity to Double-Stranded DNA Breaks in Senescent Budding Yeast

Telomere maintenance is required for chromosome stability, and telomeres are typically replicated by the action of telomerase. In both mammalian tumor and yeast cells that lack telomerase, telomeres are maintained by an alternative recombination mechanism. Here we demonstrated that the budding yeast Saccharomyces cerevisiae type I survivors derived from telomerase-deficient cells were hypersensitive to DNA damaging agents. Assays to track telomere lengths and drug sensitivity of telomerase-deficient cells from spore colonies to survivors suggested a correlation between telomere shortening and bleomycin sensitivity. Our genetic studies demonstrated that this sensitivity depends on Mec1, which signals checkpoint activation, leading to prolonged cell-cycle arrest in senescent budding yeasts. Moreover, we also observed that when cells equipped with short telomeres, recruitments of homologous recombination proteins, Rad51 and Rad52, were reduced at an HO-endonuclease-catalyzed double-strand break (DSB), while their associations were increased at chromosome ends. These results suggested that the sensitive phenotype may be attributed to the sequestration of repair proteins to compromised telomeres, thus limiting the repair capacity at bona fide DSB sites.
Cellular Distribution and Differential Gene Expression of the Three a! Subunit Isoforms of the Na,K-ATPase in the Ocular Ciliary Epithelium*

We have investigated the localization and pattern of expression of the three cz subunit isoforms of Na,KATPase in the transporting ciliary epithelium of the bovine eye. Using specific cDNA probes and antisera to the q, a2, and a3 isoforms of Na,K-ATPase, we demonstrated that mRNAs and polypeptides for the three distinct forms of the Na,K-ATPase cr subunit (crl, (Ye, and Q) were expressed in the ciliary epithelium in uiuo. Immunochemical localization of the three cu isoforms of Na,K-ATPase in two ultrastructurally different regions of the ciliary epithelium (namely, the pars plicata and pars plana) revealed that the three (Y isoforms of Na,K-ATPase were distributed in a distinct fashion in the basolateral plasma membrane domains of nonpigmented (NPE) and pigmented (PE) cells. The NPE cells in the pars plicata showed an immunoreactive signal to all the three a isoforms; in the pars plana, they showed immunoreactive signals only for the (~1 and (Y~ isoforms but not for Q. The PE cells, in both the pars plana and pars plicata regions, showed an immunoreactive signal only for the CL~ isoform; immunoreactive signals were not detected for a2 and as. To verify the differential immunostaining patterns of NPE and PE cells, specific antibodies for each of the three 1y subunit isoforms of Na,K-ATPase were applied to immunoblots containing microsomal fractions from flow cytometric-sorted cells (NPE and PE). Our results indicate that al, cr2, and a3 polypeptides were present in microsomal fractions of NPE cells of the pars plicata and pars plana and that the (Ye polypeptide was the only polypeptide present in the PE cells from both regions of the ciliary epithelium. These results also revealed that the (Ye isoform epitope recognized by the monoclonal antibody McB-X3.1 in the pars plicata is not readily accessible in the pars plana. A cell line was established from the ciliary epithelium of a bovine eye by viral transformation with simian virus 40. In culture, this cell line expressed all three LY isoforms at the mRNA and polypeptide levels, suggesting that the line may have derived from the NPE layer.
Porcine commensal Escherichia coli: a reservoir for class 1 integrons associated with IS26

Porcine faecal waste is a serious environmental pollutant. Carriage of antimicrobial resistance and virulence-associated genes (VAGs) and the zoonotic potential of commensal Escherichia coli from swine is largely unknown. Furthermore, little is known about the role of commensal E. coli as contributors to the mobilisation of antimicrobial resistance genes between food animals and the environment. Here, we report whole genome sequence analysis of 141 E. coli from the faeces of healthy pigs. Most strains belonged to phylogroups A and B1 and carried i) a class 1 integron; ii) VAGs linked with extraintestinal infection in humans; iii) antimicrobial resistance genes blaTEM, aphAl, cmlA, strAB, tet(A)A, dfrA12, dfrA5, sul1, sul2, sul3; iv) IS26; and v) heavy metal resistance genes (merA, cusA, terA). Carriage of the sulphonamide resistance gene sul3 was notable in this study. The 141 strains belonged to 42 multilocus sequence types, but clonal complex 10 featured prominently. Structurally diverse class 1 integrons that were frequently associated with IS26 carried unique genetic features that were also identified in extraintestinal pathogenic E. coli (ExPEC) from humans. This study provides the first detailed genomic analysis and point of reference for commensal E. coli of porcine origin, facilitating tracking of specific lineages and the mobile resistance genes they carry. Conflict of Interest Statement None to declare.
Taxonomy of Citizen Sensing for Intelligent Urban Infrastructures

Citizen sensing is a new sensor-based data collection paradigm and is focused on the extraction of data generated by people. Initiatives based on this concept are becoming crucial for designers of intelligent urban infrastructures, since they enable the collection of several types of relevant data that cannot be properly captured by traditional physical sensors. A large number of articles and projects associated with the topic appeared over the last few years, and with them the need for properly classifying and organizing these works. In this paper, we propose a taxonomy of citizen sensing initiatives and illustrate each of its dimensions through a survey of recent articles in the area. The proposed scheme also supports the identification and stimulates the development of projects addressing data collection methodologies that have not been properly explored so far. In addition, we present a platform capable of aggregating, analyzing, and extracting knowledge from data generated by physical and human sensing techniques. Finally, we report a real-world experiment in which we used our platform to map accessibility conditions of streets and sidewalks located in a four square kilometer area in São Paulo, Brazil. Our results show that a full coverage was obtained with the support of eight volunteers after only three hours, hence illustrating the effectiveness of the technology.
PRL-3 expression in metastatic cancers.

PURPOSE Expression of the PRL-3 tyrosine phosphatase is elevated in liver metastases derived from colorectal cancer (CRC). We sought to determine the cellular basis of this elevation and assess the expression of PRL-3 in metastatic lesions derived from cancers of the colon and other tissues. EXPERIMENTAL DESIGN We developed modifications of in situ hybridization methods that facilitated the study of paraffin-embedded sections. We also evaluated PRL-3 gene copy numbers using fluorescence in situ hybridization and developed antibodies to assess PRL-3 subcellular localization. RESULTS PRL-3 mRNA expression was elevated in nearly all metastatic lesions derived from CRCs, regardless of the site of metastasis (liver, lung, brain, or ovary). Expression was found in neoplastic cells, although tumor endothelium also expressed the gene. In contrast, little or no PRL-3 expression was observed in normal colon, nonmetastatic primary cancers, or metastatic lesions derived from cancers other than those of the colon (pancreas, stomach, or esophagus). Interphase fluorescence in situ hybridization confirmed that gene amplification was not the major cause of PRL-3 overexpression. Immunohistochemical analysis with anti-PRL-3 antibodies showed a cell membrane localization, consistent with the predicted isoprenylation of the protein. CONCLUSIONS These studies establish an unexpected and unprecedented specificity in metastatic gene expression profiles: PRL-3 is apparently expressed in CRC metastases to any organ but is not expressed in metastases of other cancers to the same organs or in nonmetastatic CRCs. PRL-3 is also expressed in tumor vasculature, regardless of the tumor source. These data raise intriguing questions about the role of protein phosphorylation in angiogenesis and cell-type-specific metastatic processes.
Production of bulk SiC parts by electrophoretic deposition from concentrated aqueous suspension

This paper reports on electrophoretic deposition of SiC bulk parts from highly loaded aqueous suspensions of submicron and nanosized powders. The effects of suspensions parameters (ζ-potential, conductivity, solids content) and deposition parameters (voltage, current density, time) on quality of deposits were examined. It is presented that by using well defined suspension parameters high process stability is assured. For submicron powder, relatively high density was achieved, i.e. 60% TD (±2%), while for the nanosized SiC, the highest density was 42% TD (±2%). Mixing of powders did not result in density increase. Bulk >4 cm thick deposits were proved to have homogeneous density distribution, which is one of the advantages of electrophoretic deposition (EPD) process in comparison to other ceramic shape forming processes.
Variation in Human Recombination Rates and Its Genetic Determinants

Background Despite the fundamental role of crossing-over in the pairing and segregation of chromosomes during human meiosis, the rates and placements of events vary markedly among individuals. Characterizing this variation and identifying its determinants are essential steps in our understanding of the human recombination process and its evolution. Study Design/Results Using three large sets of European-American pedigrees, we examined variation in five recombination phenotypes that capture distinct aspects of crossing-over patterns. We found that the mean recombination rate in males and females and the historical hotspot usage are significantly heritable and are uncorrelated with one another. We then conducted a genome-wide association study in order to identify loci that influence them. We replicated associations of RNF212 with the mean rate in males and in females as well as the association of Inversion 17q21.31 with the female mean rate. We also replicated the association of PRDM9 with historical hotspot usage, finding that it explains most of the genetic variance in this phenotype. In addition, we identified a set of new candidate regions for further validation. Significance These findings suggest that variation at broad and fine scales is largely separable and that, beyond three known loci, there is no evidence for common variation with large effects on recombination phenotypes.