Miracle-dz/UniFAR-FTUs huggingface dataset:
A case study at I nfologigr uppen

Branding has today a central role in marketing. Branding has in theory been focused on brands of large corporations and consumer goods. The situation of branding in this study differs from the traditional view. In this case is branding studied from the perspective of a small company offering services for an industrial market. The key concepts of the study are identity, image and positioning. The aim is to find how the concept applies on a small company brand, but also how the company will benefit from the brand development. The study is limited to brands that already exist, excluding building of a completely new brand. The branding strategies considered means further development of a present brand with consideration to the existing customer relationships. The existing customer group has to be considered since the brand is already established. The research approach is explorative and qualitative. The study is conducted by a case study at Infologigruppen, an IT-consultant firm located in Norrbotten. Infologigruppen is representative for the brand situation described above, a small local company offering industrial services. The research method is interviews from both identity and image perspective. The results indicates that the theoretical benefits and advantages from branding can be applied only to a limited extent in this case, the brand is of most benefit in the communication with new customers. Functional positioning seems to have a great influence on the composition of identity and image. Further, brand development is in this case not limited by existing customer relationship in any significant way. Acknowledgements This study was conducted in the fall of 2002 as my final thesis in industrial marketing at Luleå university of technology. The problem area for the study was formulated by Infologigruppen. During this project I have relied on help from many people. I would like to thank Håkan Wallmark and Anders Lundkvist at Infologigruppen for sharing knowledge and experience from the IT-consultant industry. I would like to thank Håkan Perzon at Luleå university of technology for supervision, support and valuable advice, and also Eva Ronström for help in the initial stage of the research. My thanks also go to Uminova Center for financing a major part of this project. Finally, thanks to everyone who participated in the interviews for taking time to answer my questions, the study could not have been completed without your participation. Luleå, February 2003
Corrigendum MIRA :

The authors of the above article would like the following to be noted. Results reported for the reporter algorithm (RA) in the Results section are raw z-scores per metabolite, normalized by subtracting the sample mean and dividing by the sample standard deviation. Using the background correction as described in the original scoring scheme (Ideker et al., 2002; Patil and Nielsen, 2005) removes the hub metabolite bias we claim for the RA (for both normalization by k and ffiffiffi
A NEW MINERALOGICAL APPROACH TO PREDICT THE COEFFICIENT OF THERMAL EXPANSION OF AGGREGATE AND CONCRETE

A New Mineralogical Approach to Predict the Coefficient of Thermal Expansion of Aggregate and Concrete. (December 2004) Siddharth Neekhra, B.E. , Government Engineering College Raipur Chair of Advisory Committee: Dr. Dan G. Zollinger A new mineralogical approach is introduced to predict aggregate and concrete coefficient of thermal expansion (CoTE). Basically, a modeling approach is suggested based on the assumption that the CoTE of aggregate and concrete can be predicted from the CoTE of their constituent components. Volume percentage, CoTE and elastic modulus of each constituent mineral phase are considered as input for the aggregate CoTE model, whereas the same properties for coarse aggregate and mortar are considered for the concrete CoTE model. Methods have been formulated to calculate the mineral volume percentage from bulk chemical analysis for different type of rocks commonly used as aggregates in Texas. The dilatometer testing method has been established to measure the CoTE of aggregate, pure minerals, and concrete. Calculated aggregate CoTE, based on the determined CoTE of pure minerals and their respective calculated volume percentages, shows a good resemblance with the measured aggregate CoTE by dilatometer. Similarly, predicted concrete CoTE, based on the calculated CoTE of aggregate and mortar and their respective volume percentages compares well with the measured concrete CoTE by dilatometer. Such a favorable comparison between predicted and measured CoTE provided a basis to establish the composite model to predict aggregate and concrete CoTE. Composite modeling will be useful to serve as a check of aggregate source
0 Ju l 2 01 5 ACFI-T 1504 Symmetry Breaking Vacua in Lovelock Gravity

Higher curvature Lovelock gravity theories can have a number of maximally symmetric vacua with different values of the curvature. Critical surfaces in the space of Lovelock couplings separate regions with different numbers of such vacua, and there exist symmetry breaking regions with no maximally symmetric vacua. Especially in such regimes, it is interesting to ask what reduced symmetry vacua may exist. We study this question, focusing on vacua that are products of maximally symmetric spaces. For low order Lovelock theories, we assemble a map of such vacua over the Lovelock coupling space, displaying different possibilities for vacuum symmetry breaking. We see indications of interesting structure, with e.g. product vacua in Gauss-Bonnet gravity covering the entirety of the symmetry breaking regime in 5-dimensions, but only a limited portion of it in 6-dimensions. kastor@physics.umass. edu csenturk@physics.umass. edu
Visualizing differences between HTML documents

This thesis concerns itself with the problem of comparing two HTML documents. The algorithm used to solve this problem is based on a paper of Chawathe et al. We have created a library called HDiff, which implements this algorithm in Java. It is also based on an existing library called XMLDiff, which is written in Python. The purpose of HDiff is to support GX Software in the process of releasing updates of their software. It uses the tree structure of HTML to compare its input.
Indistinguishability of One-Way Accumulators

One-Way Accumulators have been introduced by Benaloh and de Mare at Eurocrypt ’93. They allow to hash a potentially very large set into a short digest, called the accumulator. The accumulator allows to verify the membership of a given element using corresponding witnesses. State-of-the-Art research focuses on the collision-resistance of the resulting schemes. However, there are many applications, where the accumulator must be hiding, i.e., if a third party does not have all members, it should not be able to decide how many additional members a given accumulator has. This behavior of indistinguishability is already used in many cryptographic applications, but has neither been formalized nor formally proven. In this paper, we close this gap by proving that the construction by Barić and Pfitzmann, presented at Eurocrypt ’97, fulfills our new notion. In particular, their accumulator is perfectly indistinguishable. Moreover, we show that the accumulator presented at FSE ’96 by Nyberg does not fulfill this requirement.
A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks

Public key infrastructure (PKI) is the most widely used security mechanism for securing communications over the network. However, there are known performance issues, making it unsuitable for use in vehicular networks. In this paper, we propose a secure and authenticated key management protocol (SA-KMP) to overcome the shortcomings of the PKI. The SA-KMP scheme distributes repository containing the bindings of the entity's identity and its corresponding public key to each vehicle and road side unit. By doing so, certificate exchanges and certificate revocation lists are eliminated. Furthermore, the SA-KMP scheme uses symmetric keys derived based on a 3-D-matrix-based key agreement scheme to reduce the high computational costs of using asymmetric cryptography. We demonstrate the efficiency of the SA-KMP through performance evaluations in terms of transmission and storage overhead, network latency, and key generation time. Analytical results show that the SA-KMP is more scalable and outperforms the certificate-based PKI. Simulation results indicate that the key generation time of the SA-KMP scheme is less than that of the existing Elliptic Curve Diffie-Hellman and Diffie-Hellman protocols. In addition, we use Proverif to prove that the SA-KMP scheme is secure against an active attacker under the Dolev and Yao model and further show that the SA-KMP scheme is secure against denial of service, collusion attacks, and a wide range of other malicious attacks.
Anchoring of FRET Sensors—A Requirement for Spatiotemporal Resolution

FRET biosensors have become a routine tool for investigating mechanisms and components of cell signaling. Strategies for improving them for particular applications are continuously sought. One important aspect to consider when designing FRET probes is the dynamic distribution and propagation of signals within living cells. We have addressed this issue by directly comparing an anchored (taFS) to a non-anchored (naFS) cleavable FRET sensor. We chose a microtubule-associated protein tau as an anchor, as microtubules are abundant throughout the cytosol of cells. We show that tau-anchored FRET sensors are concentrated at the cytoskeleton and enriched in the neurite-like processes of cells, providing high intensity of the total signal. In addition, anchoring limits the diffusion of the sensor, enabling spatiotemporally resolved monitoring of subcellular variations in enzyme activity. Thus, anchoring is an important aspect to consider when designing FRET sensors for deeper understanding of cell signaling.
The use of k-best paths algorithms in clock control sequence reconstruction

Keystream generators based on clock-controlled linear feedback shift registers are often used in stream cipher systems. Cryptanalysis of such generators can be divided into two stages: In the first stage the initial state of the LFSR is found; the second stage reconstructs the clock control sequence. A set of candidate initial states for the LFSR can be found by computing the edit distance between the sequences produced by every possible initial state and the observed ciphertex, keeping the candidates that give distances below a given threshold. The edit distance is computed recursively, and a matrix of partial edit distances is filled out during these computations. Clock control sequence reconstruction can be done by finding paths back through the edit distance matrix. In the known plaintext scenario an optimal path, which can be found very efficiently, would give the correct clock control sequence. However, when the plaintext is not known, it behaves like noise in the cryptanalytic process, and this noise makes it necessary to also consider suboptimal paths through the matrices. This thesis uses a k-best paths algorithm to extract the k shortest paths from the matrix, in order to find the path that represents the correct clock control sequence. It is shown, through experimental results, that the attack is successful, and that it performs better than a similar depth-first search attack when there is no noise. However, in the presence of noise, the depth-first search performs slightly better than the k-best paths attack, on average.
Construct Validity of the Spanish Version of a State-Mandated High-Stakes Test (TAKS)

State-level implementation of standardized testing for making important decisions has serious implications. Because of high-stakes consequences of the test results, the assessments need to satisfy technical psychometric standards. The Spanish version of the Texas Assessment of Knowledge and Skills (TAKS) is a state-mandated exam designed for Spanish-speaking students that has not been adequately evaluated for psychometric qualities. Three replicated studies were conducted using classical validation methodology to analyze psychometric properties of the TAKS exam for English language learners. Concurrent validity coefficients ranged from . 52 to . 78 and predictive validity coefficients ranged from . 47 to . 68 in reading and mathematics respectively. Theoretical expectations were verified by the multitrait-multimethod and factor analytic methodology. The study provided evidence of adequate construct validity for the Spanish version of the TAKS for assessing reading and mathematics achievement for elementary level English language learners. Â Although best practices in testing do not encourage high-stakes decisions based on a single measurement, the Spanish version of the TAKS demonstrated sufficient psychometric qualities for use as one indicator of achievement for elementary Spanish-speaking students.
MaxFlow Revisited: An Empirical Comparison of Maxflow Algorithms for Dense Vision Problems

Algorithms for finding the maximum amount of flow possible in a network (or maxflow) play a central role in computer vision problems. We present an empirical comparison of different max-flow algorithms on modern problems. Our problem instances arise from energy minimization problems in Object Category Segmentation, Image Deconvolution, Super Resolution, Texture Restoration, Character Completion and 3D Segmentation. We compare 14 different implementations and find that the most popularly used implementation of Kolmogorov [5] is no longer the fastest algorithm available, especially for dense graphs.
MIZĀN : A Large Persian-English Parallel Corpus Omid Kashefi

One of the most major and essential tasks in natural language processing is machine translation that is now highly dependent upon multilingual parallel corpora. Through this paper, we introduce the biggest Persian-English parallel corpus with more than one million sentence pairs collected from masterpieces of literature. We also present acquisition process and statistics of the corpus, and experiment a base-line statistical machine translation system using the corpus.
Mixture Poisson Point Process : Assessing Heterogeneity in EMA Analysis

The times of repeated behavioral events can be viewed as a realization of a temporal point process. Rathbun, Shiffman, and Gwaltney (2007) used a Poisson process (Cox 1972) for modeling repeated behavioral events impacted by time-varying covariates. Taking an inspiration from the techniques of generalized linear mixed models, and the EM algorithm (Dempster et al. 1977) for finite mixture model estimation, we will further extend models to handle data arising from a heterogeneous population. In Chapter 2, we present a finite mixture model for Poisson point processes, classifying subjects into clusters sharing identical responses to time-varying covariates within clusters. In Chapter 3, a mixture mixed-effect model is presented which accommodates variation among subjects within clusters with respect to their responses to the time-varying covariates. In Chapter 4, we discuss some issues we encountered in the research and point out potential topics for future research. All the approaches in this dissertation are illustrated using data from an ecological momentary assessment of smoking. Index words: Poisson Process; Mixture models; Point process; Ecological Momentary Assessment; smoking; Generalized Linear Mixed Models; hierarchical likelihood; Maximum likelihood estimation. Mixture Poisson Point Process: Assessing Heterogeneity in EMA Analysis
Green fluorescent protein as a signal for protein–protein interactions

Green fluorescent protein (GFP) is autofluorescent. This property has made GFP useful in monitoring in vivo activities such as gene expression and protein localization. We find that GFP can be used in vitro to reveal and characterize protein‐protein interactions. The interaction between the S‐peptide and S‐protein fragments of ribonuclease A was chosen as a model system. GFP‐tagged S‐peptide was produced, and the interaction of this fusion protein with S‐protein was analyzed by two distinct methods: fluorescence gel retardation and fluorescence polarization. The fluorescence gel retardation assay is a rapid method to demonstrate the existence of a protein‐protein interaction and to estimate the dissociation constant (Kd) of the resulting complex. The fluorescence polarization assay is an accurate method to evaluate Kd in a specified homogeneous solution and can be adapted for the high‐throughput screening of protein or peptide libraries. These two methods are powerful new tools to probe protein‐protein interactions.
147 INFRASTRUCTURE AND AGRICULTURAL GROWTH IN NIGERIA

The study considered infrastructure and agricultural growth in Nigeria using a time series data for over four decades and the Parsimonious Error Correction Model estimation technique. It was found that various performance indicators with respect to physical infrastructure used for the study have not been encouraging in Nigeria. The provision of infrastructure in Nigeria, particularly physical infrastructure is characterized by the predominance of public enterprises except for telecommunications sector in recent time. The empirical part of the study revealed different relative response rates of the different component of infrastructure used in the study to the growth of the agricultural sector in Nigeria. There was unidirectional causality between telecommunication facilities and agricultural production. The same result was found between labour and agricultural production. It was recommended that the sectoral specific effects of the various forms of infrastructure should be taken into consideration when designing policy for promoting agricultural growth in Nigeria.
Mitigating Amdahl's law through EPI throttling

This paper is motivated by three recent trends in computer design. First, chip multi-processors (CMPs) with increasing numbers of CPU cores per chip are becoming common. Second, multi-threaded software that can take advantage of CMPs will soon become prevalent. Due to the nature of the algorithms, these multi-threaded programs inherently will have phases of sequential execution; Amdahl's law dictates that the speedup of such parallel programs will be limited by the sequential portion of the computation. Finally, increasing levels of on-chip integration coupled with a slowing rate of reduction in supply voltage make power consumption a first order design constraint. Given this environment, our goal is to minimize the execution times of multi-threaded programs containing nontrivial parallel and sequential phases, while keeping the CMP's total power consumption within a fixed budget. In order to mitigate the effects of Amdahl's law, in this paper we make a compelling case for varying the amount of energy expended to process instructions according to the amount of available parallelism. Using the equation, Power-Energy per instruction (EPI) * Instructions per second (IPS), we propose that during phases of limited parallelism (low IPS) the chip multi-processor will spend more EPI; similarly, during phases of higher parallelism (high IPS) the chip multi-processor will spend less EPI; in both scenarios power is fixed. We evaluate the performance benefits of an EPI throttle on an asymmetric multiprocessor (AMP) prototyped from a physical 4-way Xeon SMP server. Using a wide range of multi-threaded programs, we show a 38% wall clock speedup on an AMP compared to a standard SMP that uses the same power. We also measure the supply current on a 4-way SMP server while running the multi-threaded programs and use the measured data as input to a software simulator that implements a more flexible EPI throttle. The results from the measurement-driven simulation show performance benefits comparable to the AMP prototype. We analyze the results from both techniques, explain why and when an EPI throttle works well, and conclude with a discussion of the challenges in building practical EPI throttles.
Interleukin-15 Receptor Blockade in Non-Human Primate Kidney Transplantation

Background. Interleukin (IL)-15 is a chemotactic factor to T cells. It induces proliferation and promotes survival of activated T cells. IL-15 receptor blockade in mouse cardiac and islet allotransplant models has led to long-term engraftment and a regulatory T-cell environment. This study investigated the efficacy of IL-15 receptor blockade using Mut-IL-15/Fc in an outbred non-human primate model of renal allotransplantation. Methods. Male cynomolgus macaque donor-recipient pairs were selected based on ABO typing, major histocompatibility complex class I typing, and carboxy-fluorescein diacetate succinimidyl ester-based mixed lymphocyte responses. Once animals were assigned to one of six treatment groups, they underwent renal transplantation and bilateral native nephrectomy. Serum creatinine level was monitored twice weekly and as indicated, and protocol biopsies were performed. Rejection was defined as a increase in serum creatinine to 1.5 mg/dL or higher and was confirmed histologically. Complete blood counts and flow cytometric analyses were performed periodically posttransplant; pharmacokinetic parameters of Mut-IL-15/Fc were assessed. Results. Compared with control animals, Mut-IL-15/Fc-treated animals did not demonstrate increased graft survival despite adequate serum levels of Mut-IL-15/Fc. Flow cytometric analysis of white blood cell subgroups demonstrated a decrease in CD8+ T-cell and natural killer cell numbers, although this did not reach statistical significance. Interestingly, two animals receiving Mut-IL-15/Fc developed infectious complications, but no infection was seen in control animals. Renal pathology varied widely. Conclusions. Peritransplant IL-15 receptor blockade does not prolong allograft survival in non-human primate renal transplantation; however, it reduces the number of CD8+ T cells and natural killer cells in the peripheral blood.
Path Space Regularization for Holistic and Robust Light Transport

We propose a simple yet powerful regularization framework for robust light transport simulation. It builds on top of existing unbiased methods and resorts to a consistent estimation using regularization only for paths which cannot be sampled in an unbiased way. To introduce as little bias as possible, we selectively regularize individual interactions along paths, and also derive the regularization consistency conditions. Our approach is compatible with the majority of unbiased methods, e.g. (bidirectional) path tracing and Metropolis light transport (MLT), and only a simple modification is required to adapt existing renderers. We compare to recent unbiased and consistent methods and show examples of scenes with difficult light paths, where regularization is required to account for all illumination features. When coupled with MLT we are able to sample all phenomena, like recent consistent methods, while achieving superior convergence.