Miracle-dz/UniFAR-FTUs huggingface dataset:
Copernicus: A Scalable, High-Performance Semantic File System

Hierarchical file systems do not effectively meet the needs of users at the petabyte-scale. Users need dynamic, search-based file access in order to properly manage and use their growing sea of data. This paper presents the design of Copernicus, a new scalable, semantic file system that provides a searchable namespace for billions of files. Instead of augmenting a traditional file system with a search index, Copernicus uses a dynamic, graph-based file system design that indexes file attributes and relationships to provide scalable search and navigation of files.
Transmission performance evaluation for MU-MIMO systems based on Block Diagonalization method in spatially correlated multipath fading environment

In this paper, transmission performances for MU-MIMO (Multiuser Multiple Input Multiple Output) systems based on BD (Block Diagonalization) method in spatially correlated multipath fading environment are analyzed. The MU-MIMO system for evaluation is constructed as a transmitter having 4 antennas and 2 receivers having 2 antennas. By using the BD algorithm, system performances for the 4×2×2 MU-MIMO system in spatially correlated multipath fading environment are simulated by the computer. In the computer simulation, we measured instantaneous received CINR (Carrier to Interference and Noise Ratio), BER (Bit Error Rate) performance and channel capacity. As compared to the i.i. d conditions, the results show that an instantaneous received CINR has about 3 dB degradation when spatially correlation is 0.5 and the instantaneous received CINR has about 7 dB degradation when it is 0.9. Moreover, BER performances have about 3 dB and 7 dB degradations with spatially correlations are 0.5 and 0.9, respectively. The channel capacity whose average CNR (Carrier to Noise Ratio) is 20 dB have about 3 bit/s/Hz and 8 bit/s/Hz degradation with spatially correlations are 0.5 and 0.9, respectively.
Estimation of the Driving Style Based on the Users’ Activity and Environment Influence

New models and methods have been designed to predict the influence of the user’s environment and activity information to the driving style in standard automotive environments. For these purposes, an experiment was conducted providing two types of analysis: (i) the evaluation of a self-assessment of the driving style; (ii) the prediction of aggressive driving style based on drivers’ activity and environment parameters. Sixty seven h of driving data from 10 drivers were collected for analysis in this study. The new parameters used in the experiment are the car door opening and closing manner, which were applied to improve the prediction accuracy. An Android application called Sensoric was developed to collect low-level smartphone data about the users’ activity. The driving style was predicted from the user’s environment and activity data collected before driving. The prediction was tested against the actual driving style, calculated from objective driving data. The prediction has shown encouraging results, with precision values ranging from 0.727 up to 0.909 for aggressive driving recognition rate. The obtained results lend support to the hypothesis that user’s environment and activity data could be used for the prediction of the aggressive driving style in advance, before the driving starts.
Eecient Processor Allocation for 3d Tori

EEcient allocation of distinct subsets of processors to diierent jobs (i.e., space sharing) is critical to the performance of parallel computers, especially large scale parallel computers. This paper presents an eecient and lookahead strategy for processor allocation in 3D torus-connected systems, such as the Cray T3D, where each job requests for an exclusive allocation of a 3D submesh. The proposed processor allocation scheme has the following features: complete recognition of all maximal free submeshes, compact representation of submeshes, fairness with FCFS scheduling discipline, higher system utilization with lookahead scheduling, no restriction on the submesh orientation, and low allocation and scheduling overhead. The performance of the proposed strategy is demonstrated through simulation.
AppFlow: Autonomic Performance-Per-Watt Management of Large-Scale Data Centers

The characteristic of dramatic fluctuation in the resource provisioning for real-time applications calls for an elastic delivery of computing services. Current data center deployment schemes, which feature a strong tie between servers and applications, are increasingly challenged to ensure power efficiency in terms of multiple peak loads provisioning, optimal average resources utilization, variable runtime workloads profiling, data center manageability and overhead control on the data center Total Cost of Ownership (TCO). Researchers have exploited paradigms such as virtualization and migration for large-scale computing systems, however, there is still a long way before we can optimally address the power-performance trade-off. This paper provides an autonomic power management scheme for the resource provisioning process for large-scale data centers while meeting the Service-Level Agreement (SLA) and power requirements. The system status is continuously monitored using a cross-layered hierarchy to optimally scale up and down the virtual machine resources such that power and performance can be optimized. We have applied our technique to autonomically manage high performance platforms with multi-core processors and multi rank memory subsystems. Our experimental results show around 56.25 percent platform energy savings for memory-intensive workload, 63.75 percent platform energy savings for processor-intensive workload and 47.5 percent platform energy savings for mixed workload while maintaining.
Temporal Regulation of venous Extracellular Matrix Components during Arteriovenous Fistula Maturation

Purpose The venous limb of arteriovenous fistulae (AVF) adapts to the arterial environment by dilation and wall thickening; however, the temporal regulation of the expression of extracellular matrix (ECM) components in the venous limb of the maturing AVF has not been well characterized. We used a murine model of AVF maturation that recapitulates human AVF maturation to determine the temporal pattern of expression of these ECM components. Methods Aortocaval fistulae were created in C57BL/6J mice and the venous limb was analyzed on postoperative days 1, 3, 7, 21, and 42. A gene microarray analysis was performed on day 7; results were confirmed by qPCR, histology, and immunohistochemistry. Proteases, protease inhibitors, collagens, glycoproteins, and other non-collagenous proteins were characterized. Results The maturing AVF has increased expression of many ECM components, including increased collagen and elastin. Matrix metalloproteinases (MMPs) and tissue inhibitor of metalloproteinase 1 (TIMP1) showed increased mRNA and protein expression during the first 7 days of maturation. Increased collagen and elastin expression was also significant at day 7. Expression of structural proteins was increased later during AVF maturation. Osteopontin (OPN) expression was increased at day 1 and sustained during AVF maturation. Conclusions During AVF maturation, there is significantly increased expression of ECM components, each of which shows distinct temporal patterns during AVF maturation. Increased expression of regulatory proteins such as MMP and TIMP precedes increased expression of structural proteins such as collagen and elastin, potentially mediating a controlled pattern of ECM degradation and vessel remodeling without structural failure.
Review: Variables, Variability, and Variations Research: Implications for Medical Informatics

Variations research is one important strategy in the quality management movement designed to improve the quality of health care and to control costs. Information systems are being utilized in variations research to provide an array of potential variables, to provide measures of the variability inherent in these variables, and to assist with the study of the linkages of patient and provider characteristics with interventions and outcomes. This article presents a systems model of inputs, processes, and outcomes with explication of factors related to client, provider, and setting as a heuristic strategy for variable specification. The implications of variable specification, the design and measurement of variability, and the key issue of control in variations research are linked with a discussion of the implications for medical informatics.
Lagrangian analysis of fluid transport in empirical vortex ring flows

In this paper we apply dynamical systems analyses and computational tools to fluid transport in empirically measured vortex ring flows. Measurements of quasisteadily propagating vortex rings generated by a mechanical piston-cylinder apparatus reveal lobe dynamics during entrainment and detrainment that are consistent with previous theoretical and numerical studies. In addition, the vortex ring wake of a free-swimming Aurelia aurita jellyfish is measured and analyzed in the framework of dynamical systems to elucidate similar lobe dynamics in a naturally occurring biological flow. For the mechanically generated rings, a comparison of the net entrainment rate based on the present methods with a previous Eulerian analysis shows good correspondence. However, the current Lagrangian framework is more effective than previous analyses in capturing the transport geometry, especially when the flow becomes more unsteady, as in the case of the free-swimming jellyfish. Extensions of these results to more complex flow geometries is suggested.
Reduction-based control with application to three-dimensional bipedal walking robots

This paper develops the concept of reduction-based control, which is founded on a controlled form of geometric reduction known as functional Routhian reduction. We introduce a geometric property of general serial-chain robots termed recursive cyclicity, leading to our presentation of the subrobot theorem. This shows that reduction-based control can arbitrarily reduce the dimensionality of any serial-chain robot, so that it may be controlled as a simpler "subrobot" while separately controlling the divided coordinates through their conserved momenta. This method is applied to construct stable directional 3-D walking gaits for a 4-d.o. f. hipped bipedal robot. The walker's sagittal-plane subsystem can be decoupled from its yaw and lean modes, and on this planar subsystem we use passivity-based control to construct limit cycles on flat ground. Due to the controlled reduction, the unstable yaw and lean modes are separately controlled to 2-periodic orbits. We numerically verify the existence of stable 2-periodic limit cycles and demonstrate turning capabilities for the controlled biped.
Visual Search for Traffic Signs: The Effects of Clutter, Luminance, and Aging

Latency and eye movement measures were used to examine the effects of aging, clutter, and luminance on visual search for traffic signs embedded in digitized images of driving scenes. Initially 14 older and 14 younger observers classified daytime and nighttime traffic scenes as containing low or high amounts of clutter. Next, an independent sample of 14 younger and 14 older participants searched for traffic signs contained within these scenes. Errors were more common among the elderly. Search efficiency declined with increased clutter and with aging. However, relative to the young, older adults did not suffer disproportionately as a result of increased clutter. The methods developed might be profitably employed to assess sign conspicuity and sign acquisition during driving.
FAMILIAL MAMMARY TUMORS IN THE RABBIT

The pathological histories of two types of familial mammary cancer in the rabbit have been described. One type was distinguished by characteristic antecedent mammary changes similar to those found in Schimmelbusch's disease in women and by a distinctive papillary structure. The second type originated in normal breast tissue and was characterized histologically by an atypical proliferation of acini.
Structuring E-Commerce Inventory

Large e-commerce enterprises feature millions of items entered daily by a large variety of sellers. While some sellers provide rich, structured descriptions of their items, a vast majority of them provide unstructured natural language descriptions. In the paper we present a 2 steps method for structuring items into descriptive properties. The first step consists in unsupervised property discovery and extraction. The second step involves supervised property synonym discovery using a maximum entropy based clustering algorithm. We evaluate our method on a year worth of e-commerce data and show that it achieves excellent precision with good recall.
Augmenting Security for Identity-based Batch Verification Scheme using TDMA based MAC Protocol in VANET

Vehicular Ad hoc Networks (VANETs) have been developed as a stage to maneuver down perceptive between vehicle correspondences and to enhance visitor's wellbeing and fulfillment. Despite the fact that VANETs have picked up the consideration of today's examination endeavors, yet the present answers for a complete secure VANET and to shield the system from enemy and assaults are still insufficient attractive. The current paper contains the different existing procedures of security issues through which it has been observed that the existing IBV scheme has not focused much upon network performance. The proposed scheme provides a proficient arrangement by combining Identity based batch Verification scheme with VeMAC Protocol, with aim to decrease the transmission collision that occurs because of the node mobility on channel. The results of proposed scheme prove that it is outperforming the other existing related schemes.
Study and practice of import Scrum agile software development

In recent years, Scrum has become an important software process method of the software industry. During the process of project team developing vehicle spare parts management system, import Scrum agile software development using Visual Studio 2010 as the Scrum process management templates. Adhering to the process of implementing Scrum principles, introduced before the team more successful technology practices, continuously expand and improve Scrum, form team custom Scrum template. By Scrum implementation, increases team productivity, product quality, final Team success of restructuring.
Fog Computing: Platform and Applications

Despite the broad utilization of cloud computing, some applications and services still cannot benefit from this popular computing paradigm due to inherent problems of cloud computing such as unacceptable latency, lack of mobility support and location-awareness. As a result, fog computing, has emerged as a promising infrastructure to provide elastic resources at the edge of network. In this paper, we have discussed current definitions of fog computing and similar concepts, and proposed a more comprehensive definition. We also analyzed the goals and challenges in fog computing platform, and presented platform design with several exemplar applications. We finally implemented and evaluated a prototype fog computing platform.
Nonlinear Regularized Reaction-Diffusion Filters for Denoising of Images With Textures

Denoising is always a challenging problem in natural imaging and geophysical data processing. In this paper, we consider the denoising of texture images using a nonlinear reaction-diffusion equation and directional wavelet frames. In our model, a curvelet shrinkage is used for regularization of the diffusion process to preserve important features in the diffusion smoothing and a wave atom shrinkage is used as the reaction in order to preserve and enhance interesting oriented textures. We derive a digital reaction-diffusion filter that lives on graphs and show convergence of the corresponding iteration process. Experimental results and comparisons show very good performance of the proposed model for texture-preserving denoising.
Effect of extrinsic impedance and parasitic capacitance on figure of merit of RF MOSFET

This paper investigates the impact of source/drain impedance, gate-to-bulk capacitance, and gate resistance on device properties from 0 to 50 GHz for 0.13-/spl mu/m MOSFETs. Better device characteristics (g/sub m/ and C/sub gg/) can be found on MOSFETs with lower metal (or source/drain) resistance. But the best frequency characteristics (f/sub T/ and f/sub max/) occurred on MOSFETs with medium metal (or source/drain) resistance due to the increased interconnection capacitances. For radio frequency MOSFETs with finger-gate structure, better high-frequency behavior occurred on devices with medium finger-gate width W/sub f/ because of the tradeoff between gate (or source/drain) resistance and parasitic capacitance.
Algorithm 360: shortest-path forest with topological ordering [H]

row one of IL down the right edge of a strip of paper using the same spacing as for the observations. Now place this movable strip alongside the observation vector so that the top element on the paper strip is opposite the top element of the observation vector. Multiply adjacent elements and write the sum of these products at the top of a new column. Now slide the paper strip down t, spaces. Form the indicated inner product as before and write the result in the new column below the previous entry. Continue in this manner until all the observations have been used. Now write row two of MD on a strip of paper and proceed as before. If we continue this process with all the rows of Mn we will get a new vector zn whose elements are linear transformations of the observation vector y, The dimension of z,, is the same as that of y. Similarly form znBl from Zn and &-I . Continuing this process we finally obtain z1 = z which is the desired interaction vector. In all the foregoing we used the normalized contrast matrices; thus the sums of squares are the squares of the elements of z. For hand computation, one might prefer using the unnormalized contrast matrices, since their elements are integers. But then we need a vector of divisors; it is obtained by performing the same operations on a column of ones as on y, except that we use the squares of the elements of the contrast matrices. Then the ith sum of squares equals 2; 2 divided by the corresponding divisor. This method might be called a “paper strip method” for analysis of variance and is similar to paper strip methods used for operations with polynomials. For examples of this, see Lanczos [3] and Pragcr [4]. We require 21J2 l . t,, locations for storing y and z plus sup(ll , t ‘2, “‘, 1,‘) locations for storilq a row of iV, . The number of multiplicntions rcquircxl is (nli) (r1i + 1). AC~;NO\~LI:DGMI:NTS: The author wishes to thank Dr. A. E. Brxndt for initirlting h i s intcrcst in programming analysis of vwiancc. I It! wishes LO t,h:~& Dr. W. I l . Carter , J r . , and the rcf(lrcbc, for 1~4 pf ul (*oinm(fil ts. Ii 1~:~1~:1~I~:Nc! l:s : 1. GOOI), 1. J. ‘I’hc intcr:~. ction ulgorithm und practical FouricI mdysis. J. lb? /. S,c(utl.s/. Sot. 113) 20, 2 (1958), 361-372. 2. Gow, I. ,J. The intcractio11 :\. lgori thm :md prnctictll Fouricl mdysis: AI) :~ddcnd~~rn. ,I. Il’o~~. Stat is t . Sot. [I31 $2, 3 (l! KO). 372-375. 3. LANCZOS, CA /1 pphd 4A nah~sis. l’rcM,icc-I1:111, Englcwood Cliffs, N.J., 195G. 4 . ~RAGIX, w’. hlroduction t o Ihsic I~ortrw~ l’royrunttt~i~rg tmd Xu? ~rcricul Melds. Bl:lisdcll, M’al tllam, l'hss. , 19G5. 5 . YATIS, F. The des ign and an:tlysis of fttctoritll csperimcnts. Imperial Bureau of Soil Science, II:~rper&n, England, 1937.
Conservation of Mouse Models Through Embryo Freezing

The ability to interrogate the entire coding sequence of the mouse combined with the tools to manipulate the genome has firmly established the mouse as the model organism of choice for studying the causes of human disease. Consequently, a huge number of novel mouse models are generated each year to support active research programs. However, it is neither ethically justifiable, nor economically viable to maintain mouse colonies on the shelf that are not part of active research programs. This means that novel mouse lines have to be preserved in some way. If this is not done and the line is simply killed off, the genetics will be lost to future generations of scientists. This article describes the current practices used in cryopreservation laboratories to archive and recover mouse embryos frozen using controlled‐rate freezing and vitrification techniques. © 2014 by John Wiley & Sons, Inc.
Therapeutic proteasome inhibition in experimental acute pancreatitis.

AIM To establish the therapeutic potential of proteasome inhibition, we examined the therapeutic effects of MG132 (Z-Leu-Leu-Leu-aldehyde) in an experimental model of acute pancreatitis. METHODS Pancreatitis was induced in rats by two hourly intraperitoneal (ip) injections of cholecystokinin octapeptide (CCK; 2 x 100 microg/kg) and the proteasome inhibitor MG132 (10 mg/kg ip) was administered 30 min after the second CCK injection. Animals were sacrificed 4 h after the first injection of CCK. RESULTS Administering the proteasome inhibitor MG132 (at a dose of 10 mg/kg, ip) 90 min after the onset of pancreatic inflammation induced the expression of cell-protective 72 kDa heat shock protein (HSP72) and decreased DNA-binding of nuclear factor-kappaB (NF-kappaB). Furthermore MG132 treatment resulted in milder inflammatory response and cellular damage, as revealed by improved laboratory and histological parameters of pancreatitis and associated oxidative stress. CONCLUSION Our findings suggest that proteasome inhibition might be beneficial not only for the prevention, but also for the therapy of acute pancreatitis.
A Feature Induction Algorithm with Application to Named Entity Disambiguation

The performance of NLP classifiers largely depends on the quality of the features considered for prediction (feature engineering). However, as the number of features increases, the more likely overfitting becomes and performance decreases. Also, due to the very large number of features, only slimple linear classifiers are considered, thus disregarding potentially predictive non-linear combinations of features. Here we propose an automated method for feature induction, which selects and includes in the model features and feature combinations which are likely to be useful for the prediction.The resulting model relies on a smaller feature set, is non-linear and is more accurate than the baseline, which is the model trained on the entire feature set. The method uses a greedy filtering approach based on various univariate measures of feature relevance and it is very fast in practice. Also, our feature induction method is independent of the classifier used: we (a) ==
Quantifier Scoping in the SRI Core Language Engine

An algorithm for generating the possible quantifier scopings for a sentence, in order of preference, is outlined. The scoping assigned to a quantifier is determined by its interactions with other quantifiers, modals, negation, and certain syntactic-constituent boundaries. When a potential scoping is logically equivalent to another, the less preferred one is discarded.The relative scoping preferences of the individual quantifiers are not embedded in the algorithm, but are specified by a set of rules. Many of the rules presented here have appeared in the linguistics literature and have been used in various natural language processing systems. However, the co-ordination of these rules and the resulting coverage represents a significant contribution. Because experimental data on human quantifier-scoping preferences are still fragmentary, we chose to design a system in which the set of preference rules could be easily modified and expanded.The algorithm described has been implemented in Prolog as part of a larger natural language processing system. Extensions of this algorithm are in progress.