Miracle-dz/UniFAR-FTUs huggingface dataset:
A Formal Behavioral Model of Firm Boundaries: Why Does Authority Relation Mitigate Ex Post Disputes over Trade Value?

We explore why authority within firms helps trading parties immediately settle ex post disputes over trade value, which are invited by unprogrammed adaptation, despite the possibility of a subordinate's disobedience to the orders of his boss. By employing three crucial behavioral assumptions (reference-dependent preference, self-serving bias, and shading), we point out that the choice of governance structure affects trading parties' expectations about outcome of ex post value split and show that a subordinate is likely to obey orders of his boss because he is expected to do so. Nevertheless, our study also points out that such a positive aspect of authority comes with subordinate's psychological disutility.
Morpheus: benchmarking computational diversity in mobile malware

Computational characteristics of a program can potentially be used to identify malicious programs from benign ones. However, systematically evaluating malware detection techniques, especially when malware samples are hard to run correctly and can adapt their computational characteristics, is a hard problem. We introduce Morpheus -- a benchmarking tool that includes both real mobile malware and a synthetic malware generator that can be configured to generate a computationally diverse malware sample-set -- as a tool to evaluate computational signatures based malware detection. Morpheus also includes a set of computationally diverse benign applications that can be used to repackage malware into, along with a recorded trace of over 1 hour long realistic human usage for each app that can be used to replay both benign and malicious executions. The current Morpheus prototype targets Android applications and malware samples. Using Morpheus, we quantify the computational diversity in malware behavior and expose opportunities for dynamic analyses that can detect mobile malware. Specifically, the use of obfuscation and encryption to thwart static analyses causes the malicious execution to be more distinctive -- a potential opportunity for detection. We also present potential challenges, specifically, minimizing false positives that can arise due to diversity of benign executions.
A behavioural and neurobiological investigation of basic reading processes

There are competing theories in the literature regarding the extent to which the translation of print to speech involves single or multiple routes. Regardless of the number of routes in a model, all models of reading must account for both sight vocabulary (SV) processing, which specializes in mapping whole-word representations, and phonetic decoding (PD) processing, which specializes in mapping sub-word representations. The purpose of the present work was to examine two hypotheses regarding the relationship between SV and PD: independence versus redundancy. Both behavioural and functional Magnetic Resonance Imaging (fMRI) experiments were conducted and the results supported the hypothesis that SV and PD are behaviourally and neurobiologically independent processes. Furthermore, in the interest of advancing all models of basic word recognition, the neurobiological representations of some of the sub-systems within SV and PD routes were explored and the contribution that particular brain regions make to the completion of naming particular stimuli was evaluated. Finally, basic and applied areas of research were integrated to demonstrate how diagnostic stimuli developed from basic reading research can inform us about impaired reading performance following traumatic brain injury.
A geometric theory for preconditioned inverse iteration . III : A short and sharp convergence estimate for generalized eigenvalue problems

In two previous papers by Neymeyr: A geometric theory for preconditioned inverse iteration I: Extrema of the Rayleigh quotient, LAA 322: (1-3), 61-85, 2001, and A geometric theory for preconditioned inverse iteration II: Convergence estimates, LAA 322: (1-3), 87-104, 2001, a sharp, but cumbersome, convergence rate estimate was proved for a simple preconditioned eigensolver, which computes the smallest eigenvalue together with the corresponding eigenvector of a symmetric positive definite matrix, using a preconditioned gradient minimization of the Rayleigh quotient. In the present paper, we discover and prove a much shorter and more elegant, but still sharp in decisive quantities, convergence rate estimate of the same method that also holds for a generalized symmetric definite eigenvalue problem. The new estimate is simple enough to stimulate a search for a more straightforward proof technique that could be helpful to investigate such practically important method as the locally optimal block preconditioned conjugate gradient eigensolver. We demonstrate practical effectiveness of the latter for a model problem, where it compares favorably with two well-known Jacobi-Davidson type methods, JDQR and JDCG.
Lowering the Bar for Creating Model-Tracing Intelligent Tutoring Systems

The main goal of the work presented here is to allow for the broader dissemination of intelligent tutoring technology. To accomplish this goal, we have two clear objectives. First, we want to allow different types of people to author model-tracing intelligent tutoring systems (ITSs) than can now do so. Second, we want to enable an author to create a tutor for software that was not initially designed with an ITS in mind. Accomplishing these two objectives should increase the number of such ITSs that are produced. We have created the first iteration of an authoring system that addresses both objectives. Non-cognitive scientists and non-programmers have used the system to create a tutor, and the system can interface with third-party software that was not originally designed with the ITS.
Learning to Combine Mid-Level Cues for Object Proposal Generation

In recent years, region proposals have replaced sliding windows in support of object recognition, offering more discriminating shape and appearance information through improved localization. One powerful approach for generating region proposals is based on minimizing parametric energy functions with parametric maxflow. In this paper, we introduce Parametric Min-Loss (PML), a novel structured learning framework for parametric energy functions. While PML is generally applicable to different domains, we use it in the context of region proposals to learn to combine a set of mid-level grouping cues to yield a small set of object region proposals with high recall. Our learning framework accounts for multiple diverse outputs, and is complemented by diversification seeds based on image location and color. This approach casts perceptual grouping and cue combination in a novel structured learning framework which yields baseline improvements on VOC 2012 and COCO 2014.
Back to the future: 10 years of design fiction

The term design fiction was originally coined in 2005 by the Science Fiction author Bruce Sterling. In the 10 years since, design fiction has received considerable interest from a range disciplines most notably HCI which increasingly draws upon generative methods and creative practices. In this paper we consider examples of recent HCI research that refers to design fiction in order to highlight commonalities and ambiguities in how the term is interpreted and used. We argue that design fiction is a compelling and powerful concept but is inherently ambiguous. We therefore suggest strategies to disambiguate communications 'about design fiction' in order to strengthen applications 'of design fiction'.
Determinants for successful percutaneous image-guided drainage of intra-abdominal abscess.

HYPOTHESIS Characteristics of intra-abdominal abscess can be used to predict successful outcome for percutaneous catheter drainage (PCD). METHODS We performed a multicenter prospective study of patients who had intra-abdominal infections treated with PCD and intravenous antibiotics. Multivariate regression analysis determined predictors of successful outcome. RESULTS The study included 96 patients (59% men; mean +/- SD age, 48 +/- 17 years; mean +/- SD Acute Physiology and Chronic Health Evaluation II score, 7.4 +/- 4.9). Postoperative abscess was present in 53% of patients. Isolated microorganisms included Bacteroides species (17%), Escherichia coli (17%), Streptococcus species (14%), Enterococcus species (10%), and fungi (11%). Single abscesses were present in 83% of patients. Computed tomographic guidance was used for drainage in 80% of patients, and ultrasound was used in 20%. The duration of abscess drainage was less than 14 days in 64%. Complete resolution of the infection with a single treatment of PCD was achieved in 67 patients (70%), and with a second attempt in 12 (12%). Thirty-three patients (34%) had PCD for the resolution of intra-abdominal sepsis prior to an elective, definitive procedure. Open drainage as a result of PCD failure was required in 15 (16%) and was more likely in patients with yeast (P<.001) or a pancreatic process (P =.02). Postoperative abscess (P =.04) was an independent predictor of successful outcome. CONCLUSIONS Percutaneous catheter drainage of intra-abdominal infections was effective with a single treatment in 70% of patients and increased to 82% with a second attempt. A successful outcome is most likely with abscesses that are postoperative, not pancreatic, and not infected with yeast. Percutaneous catheter drainage is now a commonly used staging method for the resolution of intra-abdominal sepsis prior to corrective operation.
The divIVB region of the Bacillus subtilis chromosome encodes homologs of Escherichia coli septum placement (minCD) and cell shape (mreBCD) determinants

Mutation of the divIVB locus in Bacillus subtilis causes frequent misplacement of the division septum, resulting in circular minicells, short rods, and filaments of various sizes. The divIVB1 mutant allele maps to a region of the chromosome also known to encode sporulation (spo0B, spoIVF, spoIIB) and cell shape (rodB) determinants. This study reports the cloning and sequence analysis of 4.4 kb of the B. subtilis chromosome encompassing the divIVB locus. This region contains five open reading frames (ORFs) arranged in two functionally distinct gene clusters (mre and min) and transcribed colinearly with the direction of replication. Although sequence analysis reveals potential promoters preceding each gene cluster, studies with integrational plasmids suggest that all five ORFs are part of a single transcription unit. The first gene cluster contains three ORFs (mreBCD) homologous to the mre genes of Escherichia coli. We show that rodB1 is allelic to mreD and identify the rodB1 mutation. The second gene cluster contains two ORFs (minCD) homologous to minC and minD of E. coli but lacks a minE homolog. We show that divIVB1 is allelic to minD and identify two mutations in the divIVB1 allele. Insertional inactivation of either minC or minD or the presence of the divIVB region on plasmids produces a severe minicell phenotype in wild-type cells. Moreover, E. coli cells carrying the divIVB region on a low-copy-number plasmid produce minicells, suggesting that a product of this locus may retain some function across species boundaries.
The Anatomy of a Complex Performance-Dependent Incentive System

This paper reports the findings of an archival and field study that explores the details of the design and functioning of a complex performance evaluation and incentive system, one that bases incentive payouts on both organizational and individual performance ratings. The archival data include the annual performance ratings of over 700 high- and mid-level managers and professionals over a two-year period. We find a small correlation between the organizational and individual performance ratings, which suggests no performance evaluation halo effect. There is a tendency toward leniency in both rating elements, but the leniency is greater in the organizational portion of the plan because the individual rating is constrained by a prescribed SBU-level maximum. Because the key financial performance measure is EVA, there is no reluctance to setting performance targets below zero. There is some evidence of biases related to employee roles and ranks. And the field study portion of our study revealed great within-company variation in practice and some of the reasons for it.
Separate cis-acting DNA elements of the mouse pro-alpha 1(I) collagen promoter direct expression of reporter genes to different type I collagen-producing cells in transgenic mice

The genes coding for the two type I collagen chains, which are active selectively in osteoblasts, odontoblasts, fibroblasts, and some mesenchymal cells, constitute good models for studying the mechanisms responsible for the cell-specific activity of genes which are expressed in a small number of discrete cell types. To test whether separate genetic elements could direct the activity of the mouse pro-alpha 1(I) collagen gene to different cell types in which it is expressed, transgenic mice were generated harboring various fragments of the proximal promoter of this gene cloned upstream of the Escherichia coli beta-galactosidase gene. During embryonic development, X-gal staining allows for the precise identification of the different cell types in which the beta-galactosidase gene is active. Transgenic mice harboring 900 bp of the pro-alpha 1(I) proximal promoter expressed the transgene at relatively low levels almost exclusively in skin. In mice containing 2.3 kb of this proximal promoter, the transgene was also expressed at high levels in osteoblasts and odontoblasts, but not in other type I collagen-producing cells. Transgenic mice harboring 3.2 kb of the proximal promoter showed an additional high level expression of the transgene in tendon and fascia fibroblasts. The pattern of expression of the lacZ transgene directed by the 0.9- and 2.3-kb pro-alpha 1(I) proximal promoters was confirmed by using the firefly luciferase gene as a reporter gene. The pattern of expression of this transgene, which can be detected even when it is active at very low levels, paralleled that of the beta-galactosidase gene. These data strongly suggest a modular arrangement of separate cell-specific cis-acting elements that can activate the mouse pro-alpha(I) collagen gene in different type I collagen-producing cells. At least three different types of cell- specific elements would be located in the first 3.2 kb of the promoter: (a) an element that confers low level expression in dermal fibroblasts; (b) a second that mediates high level expression in osteoblasts and odontoblasts; and (c) one responsible for high level expression in tendon and fascia fibroblasts. Our data also imply that other cis- acting cell-specific elements which direct activity of the gene to still other type I collagen-producing cells remain to be identified.
Enhanced Expression of Tissue Inhibitor of Metalloproteinases-4 Gene in Human Osteoarthritic Synovial Membranes and Its Differential Regulation by Cytokines in Chondrocytes

Objective: Tissue inhibitors of metalloproteinases (TIMPs) are multi-functional proteins with matrix metalloproteinases-inhibiting activities. We studied expression of anti-inflammatory, TIMP-4 gene in human joint tissues and its regulation by arthritis-associated cytokines. Results: TIMP-4 RNA expression originating from synovial fibroblasts was significantly (2.4 fold; p<0.001) elevated in 8 osteoarthritic (OA) versus 7 non-arthritic synovial membranes. Non-arthritic and OA femoral head and knee chondrocytes displayed substantial but variably constitutive expression of the TIMP-4 mRNA. In articular chondrocytes, transforming growth factor beta (TGF-β1) and oncostatin M (OSM) upregulated TIMP-4 RNA and protein expression while interleukin-1 (IL-1β) and tumor necrosis factor alpha (TNF-α) did not, suggesting differential regulation by arthritis-associated cytokines. Interleukin 17 (IL-17) mildly induced TIMP-4 mRNA. TGF-β1 induction of TIMP-4 expression was partly inhibited by ERK pathway and Sp1 transcription factor inhibitors. Conclusion: Enhanced TIMP-4 gene expression in OA synovial membranes and cartilage may be due to induction by TGF-β1, OSM and IL-17, suggesting its pathophysiological role in tissue remodeling in human joints. TGF-β1 induction of TIMP-4 expression is mediated partly by ERK pathway and Sp1 transcription factor.
Local versus Global Lessons for Defect Prediction and Effort Estimation

Existing research is unclear on how to generate lessons learned for defect prediction and effort estimation. Should we seek lessons that are global to multiple projects or just local to particular projects? This paper aims to comparatively evaluate local versus global lessons learned for effort estimation and defect prediction. We applied automated clustering tools to effort and defect datasets from the PROMISE repository. Rule learners generated lessons learned from all the data, from local projects, or just from each cluster. The results indicate that the lessons learned after combining small parts of different data sources (i.e., the clusters) were superior to either generalizations formed over all the data or local lessons formed from particular projects. We conclude that when researchers attempt to draw lessons from some historical data source, they should 1) ignore any existing local divisions into multiple sources, 2) cluster across all available data, then 3) restrict the learning of lessons to the clusters from other sources that are nearest to the test data.
Ecological emergence of thermal clines in body size

The unprecedented rate of global warming requires a better understanding of how ecosystems will respond. Organisms often have smaller body sizes under warmer climates (Bergmann's rule and the temperature‐size rule), and body size is a major determinant of life histories, demography, population size, nutrient turnover rate, and food‐web structure. Therefore, by altering body sizes in whole communities, current warming can potentially disrupt ecosystem function and services. However, the underlying drivers of warming‐induced body downsizing remain far from clear. Here, we show that thermal clines in body size are predicted from universal laws of ecology and metabolism, so that size‐dependent selection from competition (both intra and interspecific) and predation favors smaller individuals under warmer conditions. We validate this prediction using 4.1 × 106 individual body size measurements from French river fish spanning 29 years and 52 species. Our results suggest that warming‐induced body downsizing is an emergent property of size‐structured food webs, and highlight the need to consider trophic interactions when predicting biosphere reorganizations under global warming.
Producing Recombinant mTEX101; a Murine Testis Specific Protein

Introduction Production of antibodies against specific proteins of testis germ cells is of great significance for the investigation of processes involved in spermatogenesis, study of infertility problems and determination of the probable role of these proteins as cancer-testis antigens. Murine Testis Specific Recombinant Protein 101 (mTEX101) is a 38kDa, GPI-anchored protein which is expressed in testis germ cells of adult mice but it seems to be absent in other tissues. The structure and function of mTEX101 is not completely understood yet, but it is speculated that it may transduce biochemical signals into the cytoplasm since mTEX101 does not have an intracellular domain but the precise mechanisms are still ambiguous. Materials and Methods RNA was extracted from three adult mice testis. The RNA was used in RT-PCR, employing a pair of specific primers for mTEX101 ORF region. TA-cloning technique was performed by the insertion of mTEX101 into a pGEM-T Easy Vector, followed by its subcloning into a His-tagged expression vector, pET-28a (+). The recombinant mTEX101 was then produced by transfection of the expression vector into BL 21 (DE3) E. coli strain. Results A recombinant protein, weighing 27kDa, was produced upon IPTG-induction of the bacterial host. The presence of mTEX101 protein was detected through Western blot analysis by anti-mTEX101 peptide antibodies. Conclusion We produced mTEX101 recombinant protein that could be used for the production of mono and polyclonal antibodies.
Using Conditional Random Fields for Sentence Boundary Detection in Speech

Sentence boundary detection in speech is important for enriching speech recognition output, making it easier for humans to read and downstream modules to process. In previous work, we have developed hidden Markov model (HMM) and maximum entropy (Maxent) classifiers that integrate textual and prosodic knowledge sources for detecting sentence boundaries. In this paper, we evaluate the use of a conditional random field (CRF) for this task and relate results with this model to our prior work. We evaluate across two corpora (conversational telephone speech and broadcast news speech) on both human transcriptions and speech recognition output. In general, our CRF model yields a lower error rate than the HMM and Maxent models on the NIST sentence boundary detection task in speech, although it is interesting to note that the best results are achieved by three-way voting among the classifiers. This probably occurs because each model has different strengths and weaknesses for modeling the knowledge sources.
Solving a Real-World Problem Using an Evolving Heuristically Driven Schedule Builder

This work addresses the real-life scheduling problem of a Scottish company that must produce daily schedules for the catching and transportation of large numbers of live chickens. The problem is complex and highly constrained. We show that it can be successfully solved by division into two subproblems and solving each using a separate genetic algorithm (GA). We address the problem of whether this produces locally optimal solutions and how to overcome this. We extend the traditional approach of evolving a permutation + schedule builder by concentrating on evolving the schedule builder itself. This results in a unique schedule builder being built for each daily scheduling problem, each individually tailored to deal with the particular features of that problem. This results in a robust, fast, and flexible system that can cope with most of the circumstances imaginable at the factory. We also compare the performance of a GA approach to several other evolutionary methods and show that population-based methods are superior to both hill-climbing and simulated annealing in the quality of solutions produced. Population-based methods also have the distinct advantage of producing multiple, equally fit solutions, which is of particular importance when considering the practical aspects of the problem.