Miracle-dz/UniFAR-FTUs huggingface dataset:
Efficient dynamic access analysis using JavaScript proxies

JSConTest introduced the notions of effect monitoring and dynamic effect inference for JavaScript. It enables the description of effects with path specifications resembling regular expressions. It is implemented by an offline source code transformation. To overcome the limitations of the JSConTest implementation, we redesigned and reimplemented effect monitoring by taking advantange of JavaScript proxies. Our new design avoids all drawbacks of the prior implementation. It guarantees full interposition; it is not restricted to a subset of JavaScript; it is self-maintaining; and its scalability to large programs is significantly better than with JSConTest. The improved scalability has two sources. First, the reimplementation is significantly faster than the original, transformation-based implementation. Second, the reimplementation relies on the fly-weight pattern and on trace reduction to conserve memory. Only the combination of these techniques enables monitoring and inference for large programs.
Mixed Si-Fe Wound Cores Five Legged Transformer: Losses and Flux Distribution Analysis

This paper proposes a three-phase five legged wound transformer core constructed of two high permeability Si-Fe wound cores and two conventional Si-Fe wound cores. The two large internal wound cores are manufactured of high permeability, grain-oriented electrical steel. The two small outer wound cores are manufactured of conventional, grain-oriented electrical steel. The specific arrangement is based on experimental evidence concerning the peak flux density non-uniformity of the typical three-phase five legged wound trans former core, constructed of the high magnetization grain-oriented steel. Since the peak flux density of the two outer cores is lower than the two internal cores, low cost, low permeability, conventional grain-oriented electrical steel can be used for the outer cores. Losses, excitation currents, flux waveforms, and their harmonics contents are presented in this paper. A comparison of the mixed three-phase transformer core and the typical one is also carried out.
Renal function in newly diagnosed multiple myeloma — A demographic study of 1353 patients

This study describes the occurrence of renal failure among 1353 newly diagnosed cases of multiple myeloma. Renal function was evaluated by serum creatinine concentration in 1353 cases, 31% of whom had renal failure at the time of diagnosis. In 1206 cases an estimation of creatinine clearance was made. When renal failure was defined by using creatinine clearance estimation, 49% had renal failure at the time of diagnosis. Renal failure was present in 24% of patients with an M component of IgG‐, 31% of IgA‐ and 100% of IgD‐type. 52% of patients with light chain disease had renal failure. The frequency of renal failure was similar in lambda‐and kappa‐light chain disease. Patients with a high excretion of Bence Jones protein in the urine (> 10 g/24 h) had renal failure significantly more often than patients with lower excretion. Renal failure was related to advanced disease; 41% of patients with stage III (Durie‐Salmon) disease had renal failure. Renal failure was found in 45% of patients with hypercalcaemia. When estimated creatinine clearance was used as a predictor of renal function, the same trends were found as mentioned above. In addition, the proportion of patients with renal failure was found to increase with advancing age.
Association of the Kinesin Motor KIF1A with the Multimodular Protein Liprin-α*

Liprin-α/SYD-2 is a multimodular scaffolding protein important for presynaptic differentiation and postsynaptic targeting of α-amino-3-hydroxy-5-methyl-4-isoxazoleproprionic acid glutamate receptors. However, the molecular mechanisms underlying these functions remain largely unknown. Here we report that liprin-α interacts with the neuron-specific kinesin motor KIF1A. KIF1A colocalizes with liprin-α in various subcellular regions of neurons. KIF1A coaccumulates with liprin-α in ligated sciatic nerves. KIF1A cofractionates and coimmunopreciptates with liprin-α and various liprin-α-associated membrane, signaling, and scaffolding proteins including α-amino-3-hydroxy-5-methyl-4-isoxazoleproprionic acid receptors, GRIP/ABP, RIM, GIT1, and βPIX. These results suggest that liprin-α functions as a KIF1A receptor, linking KIF1A to various liprin-α-associated proteins for their transport in neurons.
Emotion-Bracelet: A Web Service for Expressing Emotions through an Electronic Interface

The mechanisms to communicate emotions have dramatically changed in the last 10 years with social networks, where users massively communicate their emotional states by using the Internet. However, people with socialization problems have difficulty expressing their emotions verbally or interpreting the environment and providing an appropriate emotional response. In this paper, a novel solution called the Emotion-Bracelet is presented that combines a hardware device and a software system. The proposed approach identifies the polarity and emotional intensity of texts published on a social network site by performing real-time processing using a web service. It also shows emotions with a LED matrix using five emoticons that represent positive, very positive, negative, very negative, and neutral states. The Emotion-Bracelet is designed to help people express their emotions in a non-intrusive way, thereby expanding the social aspect of human emotions.
UGM-based high-accuracy multi-sensor image registration

Multi-sensor image registration can combine information obtained by multimodality sensors and describe the scene more accurately, thus making it a hot research topic in the field of image processing. In this paper, we propose a novel approach for highly accurate multi-sensor image registration based on undirected graph model. In the proposed approach, the source image is divided into five patches and each patch slides in the target image to obtain a correlation surface which describes the similarity between the patch and the corresponding region of the target image. To promote the global consistency of the registration result, we treat every point on the correlation surface as a state of a node of UGM, while the similarity of the motion fields in the overlapping area of two adjacent patches is viewed as an edge. Through UGM, we can get the best combination of neighboring patches, which simultaneously ensure the accuracy of each patch's motion field and the smooth transition between neighboring patches.
A preliminary study on mechanical-electrical behavior of graphite powder-filled high-density polyethylene composites

Mechanical and electrical responses of graphite powder (GP)-filled high-density polyethylene composites to a uniaxial compression–decompression cycle were studied. Above a compression loading level, a large positive-pressure coefficient effect of resistance was observed, for which a slide mechanism of GP in the matrix is believed to be responsible. In a step-wise compressive loading and loading-holding experiment, the critical compression level was also found, at which the resistance response changed from a time-independent one to a time-dependent, creep-like one. The current-voltage behavior of the composites showed that the GP contact was non-ohmic, regardless of GP contents and pressure levels. © 2000 John Wiley & Sons, Inc. J Appl Polym Sci 77: 792–796, 2000
The Presence of the Customer and the Supplier Perspectives in Studies on Software Development Project Success

The Presence of the Customer and the Supplier Perspectives in Studies on Software Development Project Success A systematic literature review on software development project success/failure from customer's or supplier's perspective is presented. The review covers studies published in peer-reviewed journals only. The results show that knowledge on software development project success/failure is multidisciplinary and fragmented. In addition, there are very few studies that consider software development project success from the supplier's perspective. One of the main contributions of this article is the table of articles in which articles have been classified by the perspective which they discuss. Another contribution is the list of journals in which the accepted articles have been published. Moreover, these results show a clear lack in our understanding of software development project success in outsourcing situations.
Evidence for Tissue-Directed Immune Responses: Analysis of CD4- and CD8-Dependent Alloimmunity

Background. Transplant rejection has generally been considered a CD4+ T–cell-dependent immune process. CD4-independent, CD8+ T-cell rejection pathways have recently gained attention because of their relative resistance to immunosuppression. In the current study, the role of the allograft tissue in activation of these distinct pathways was examined by comparing host-immune responses with allogeneic pancreatic islets or hepatocytes transplanted across the same genetic disparity. Methods. To compare activation of CD4-dependent versus CD8-dependent alloimmunity, islets or hepatocytes retrieved from FVB/N (H-2q) mice were transplanted into CD8+ or CD4+ T–cell-reconstituted severe combined immunodeficiency mice, CD4 or CD8 knockout (KO) mice, and anti-CD4 monoclonal antibody (mAb) or anti-CD8 mAb treated C57BL/6 mice (all H-2b). The ability to immunomodulate CD4-dependent allograft rejection (in CD8 KO mice) was examined in the context of several mechanistically distinct immunotherapeutic strategies, including anti-CD4 mAb, donor-specific transfusion and anti-CD154 mAb, and anti-lymphocyte function-associated antigen-1 mAb. Results. The studies demonstrate that, whereas hepatocytes evoke alloreactive CD4-dependent and (CD4-independent) CD8+ T-cell immune responses, allogeneic islets only activate CD4-dependent immune pathways. CD4-dependent host-immune responses initiated by pancreatic islet allografts were readily suppressed by a variety of short-term immunotherapies, whereas hepatocyte-initiated CD4-dependent alloimmune responses were not. Conclusions. These results demonstrate that immune characteristics of the specific allograft tissue uniquely influence the pattern of host immune responses such that the propensity to activate CD4- or CD8-dependent alloimmune responses can be distinguished. Furthermore, CD4-dependent immune responses activated by different tissues from the same donor strain are distinguished by their susceptibility to specific immunotherapy.
Risk Factors for Intracerebral Hemorrhage in the General Population: A Systematic Review

Background and Purpose— Although data on some risk factors for intracerebral hemorrhage (ICH) already are beyond doubt, for other factors, the evidence is less clear. We performed a systematic overview of case-control and cohort studies on risk factors for ICH. Methods— We searched MEDLINE, LILACS, EXTRAMED, and Pascal from 1966 to 2001 to identify studies. Studies were included if they met predefined methodological criteria. When possible, 2×2 tables were extracted and combined with the Mantel-Haenszel method. Summary odds ratios (ORs) were calculated for case-control studies, and summary relative risks (RRs) were found for cohort studies and for case-control and cohort studies combined. Results— Fourteen case-control and 11 cohort studies were identified. We could not always combine the results of case-control and cohort studies. In cohort studies, the crude RR for age (every 10-year increase) was 1.97 (95% confidence interval [CI], 1.79 to 2.16). In case-control studies, the crude OR for high alcohol intake was 3.36 (95% CI, 2.21 to 5.12) and for hypertension was 3.68 (95% CI, 2.52 to 5.38). Two cohort studies showed an increasing risk of ICH with increasing degree of hypertension. In cohort and case-control studies combined, the crude RR for sex (male versus female) was 3.73 (95% CI, 3.28 to 4.25); for current smoking, 1.31 (95% CI, 1.09 to 1.58); and for diabetes, 1.30 (95% CI, 1.02 to 1.67). Conclusions— Risk factors for ICH appeared to be age, male sex, hypertension, and high alcohol intake. High cholesterol tends to be associated with a lower risk of ICH. We could not assess whether these risk factors are independent.
Calibration of the intensity-related distance error of the PMD TOF-camera

A growing number of modern applications such as position determination, online object recognition and collision prevention depend on accurate scene analysis. A low-cost and fast alternative to standard techniques like laser scanners or stereo vision is the distance measurement with modulated, incoherent infrared light based on the Photo Mixing Device (PMD) technique. This paper describes an enhanced calibration approach for PMD-based distance sensors, for which highly accurate calibration techniques have not been widely investigated yet. Compared to other known methods, our approach incorporates additional deviation errors related with the variation of the active illumination incident to the sensor pixels. The resulting calibration yields significantly more precise distance information. Furthermore, we present a simple to use, vision-based approach for the acquisition of the reference data required by any distance calibration scheme, yielding a light-weighted, on-site calibration system with little expenditure in terms of equipment.
Unanimity in an unknown and unreliable environment

Can unanimity be achieved in an unknown and unreliable distributed system? We analyze two extreme models of networks: one in which all the routes of communication are known, and the other in which not even the topology of the network is known. We prove that independently of the model, unanimity is achievable if and only if the number of faulty processors in the system is 1. less than one half of the connectivity of the system's network, and 2. less than one third of the total number of processors. In cases where unanimity is achievable, an algorithm to obtain it is given.
A 12-Gb/s Non-Contact Interface With Coupled Transmission Lines

This paper presents a high data rate, non-contact interface using a coupled transmission line (CTL) composed of two differential transmission lines. The proposed CTL can achieve a measured loss of -13.4 dB and a 3-db bandwidth of 3.4-9.0 GHz as a non-contact channel for a 1-mm communication distance. This wideband characteristic makes it possible to achieve high-speed communication using a single channel. The hysteresis buffer-based receiver recovers the transmitted data from the distorted waveforms derived from the AC coupling characteristics of the channel. The interference from the power delivery coil to the CTL is also evaluated. The simulated results showed that the interference was less than -57.8 dB at 13.56 MHz. The system could achieve a communication speed of 12 Gb/s with a BER <; 10-12 at a communication distance of 1 mm both with and without a wireless power supply of 75 mArms. The timing margin with the wireless power supply was 41 ps (=0.49 UI).
Efficacy of using a dual layer of membrane (dPTFE placed over collagen) for ridge preservation in fresh extraction sites: a micro-computed tomographic study in dogs.

OBJECTIVE To assess if overbuilding the buccal plate or using a dual-layer socket grafting technique prevents alveolar bone resorption and enhances final ridge width, height, and volume after tooth loss in an animal model. MATERIAL AND METHODS In eight beagle dogs bilateral second (P2)-, third (P3)-, and fourth (P4) premolars were endodontically treated. All bilateral mandibular first premolars and distal roots of P2, P3, and P4 were hemisectioned and atraumatically extracted. Animals were randomly divided into four groups: (i) Control-Socket alone, (ii) Particulate allograft in the alveolum, socket covered with high-density polytetrafluoroethylene (dPTFE) membrane and sutured over the alveolum, (iii) Particulate allograft in the alveolum and overbuilding the buccal plate, socket covered with dPTFE membrane and sutured over the alveolum, (iv) Particulate allograft in the alveolum and covered with dual layer (dPTFE placed over collagen membrane), and sutured over the alveolum. After 16 weeks, the animals were sacrificed. Mandibular blocks of the jaws were assessed for bone volume (BV), vertical bone height (VBH), alveolar ridge thickness, and bone mineral density (BMD) using micro-computed tomography. RESULTS The BV in groups 1, 2, 3, and 4 was 169.5, 207.57, 242.4, and 306.1 mm(3) , respectively. The VBH in groups 1, 2, 3, and 4 was 4.2, 6.4, 6.2, and 7.3 mm, respectively. Ridge widths in groups 1, 2, 3, and 4 were 5.45 ± 0.75, 5.91 ± 0.86, 6.05 ± 0.63, and 6.28 ± 1.01 mm, respectively. There was no significant difference in BMD between the groups. CONCLUSIONS The RP using a dual layer of membrane following tooth extraction results in more BV, VBH, and alveolar ridge width as compared to when a single layer of membrane is used.
Digital Mechanical Metamaterials

In this paper, we explore how to embody mechanical computation into 3D printed objects, i.e., without electronic sensors, actuators, or controllers typically used for this purpose. A key benefit of our approach is that the resulting objects can be 3D printed in one piece and thus do not require assembly. We are building on 3D printed cell structures, also known as metamaterials. We introduce a new type of cell that propagates a digital mechanical signal using an embedded bistable spring. When triggered, the embedded spring discharges and the resulting impulse triggers one or more neighboring cells, resulting in signal propagation. We extend this basic mechanism to implement simple logic functions. We demonstrate interactive objects based on this concept, such as a combination lock. We present a custom editor that allows users to model 3D objects, route signals, simulate signal flow, and synthesize cell patterns.
Online Constrained Pattern Detection over Streams

Online pattern detection poses a challenge in many data-intensive applications, including network traffic management, trend analysis, intrusion detection, and various intelligent sensor networks. These applications have to be time and space efficient while providing high quality answers. Meanwhile, far less attention has been paid for detecting constrained patterns, that cannot be simply matched because there is no available pattern for prediction. This paper presents our research effort in efficient pattern detection with constraint. We propose a new method named Online Pattern Detection with Constraint (OPDC) to detect constrained patterns over evolving data stream, taking into account various user-defined constraints. To ensure that the constrained patterns are representative, we extend regular expression in a simple but powerful way. Our experimental results on real data sets demonstrate the feasibility and effectiveness of the proposed scheme.
Prometheus: toward quality-of-experience estimation for mobile apps from passive network measurements

Cellular network operators are now expected to maintain a good Quality of Experience (QoE) for many services beyond circuit-switched voice and messaging. However, new smart-phone "app" services, such as Over The Top (OTT) video delivery, are not under an operator's control. Furthermore, complex interactions between network protocol layers make it challenging for operators to understand how network-level parameters (e.g., inactivity timers, handover thresholds, middle boxes) will influence a specific app's QoE. This paper takes a first step to address these challenges by presenting a novel approach to estimate app QoE using passive network measurements. Our approach uses machine learning to obtain a function that relates passive measurements to an app's QoE. In contrast to previous approaches, our approach does not require any control over app services or domain knowledge about how an app's network traffic relates to QoE. We implemented our approach in Prometheus, a prototype system in a large U.S. cellular operator. We show with anonymous data that Prometheus can measure the QoE of real video-on-demand and VoIP apps with over 80% accuracy, which is close to or exceeds the accuracy of approaches suggested by domain experts.
Flow in microchannels with rough walls: flow pattern and pressure drop

In this paper perturbation methods are introduced to study the laminar flow in microchannels between two parallel plates with rough wall surfaces. By a coordinate transformation, the physical domain of the microchannel is transformed into the computational one. The relative roughness as a small parameter presents the governing equations resulting from the coordinate transformation. The equations are linearized through applying the perturbation method, and the spectral collocation method is employed to solve the perturbation equations. Furthermore, the boundary perturbation method is used to analyze the spatially-averaged pressure drop of the microchannel. The numerical results show that flow in microchannels with rough surfaces is quite different from Poiseuille flow: there exist apparent fluctuations and periodic variations of vorticity along the flow direction in the flow field; flow is viscously dominant under the conditions of a low Reynolds number and the flow separations happen in the troughs of wavy walls at a high Reynolds number. The spatially-averaged pressure drop being subject to the invariable flow rate could be greater than, equal to or even less than the theoretical value, which is qualitatively consistent with the results of the microfluidic experiments.
Polar decomposition and Brion's theorem

In this note we point out the relation between Brion's formula for the lattice point generating function of a convex polytope in terms of the vertex cones [Brion1988] on the one hand, and the polar decomposition \`a la Lawrence/Varchenko [Lawrence1991, Varchenko1987] on the other. We then go on to prove a version of polar decomposition for non-simple polytopes.
Characterization of Color Images with Multiscale Monogenic Maxima

Can we build a feature-based analysis that fully characterizes images? The literature answers with edge-based reconstruction methods inspired by Marr's paradigm but limited to the greyscale case. This paper studies the color case. A new sparse representation is carried out with the monogenic concept and the Mallat-Zhong wavelet maxima method. Our monogenic maxima provide efficient contour shape and color characterization, as a sparse set of local features including amplitude, phase, orientation and ellipse parameters. This rich description takes the wavelet maxima representation further towards the wide topic of keypoint analysis. We propose a reconstruction process that retrieves the image from its monogenic maxima. While known works all rely on constrained optimization, implying an iterative use of the filterbank, we propose to interpolate the data in the feature domain by exploiting the visual knowledge from the feature-set. This direct retrieval is accurate enough so that no iteration is required. The main question is finally answered with comparative experiments. It is shown that a reasonably small amount of features is sufficiently informative for visually appealing image retrieval. The features appear numerically stable to rotation, and can be intuitively simplified to perform image regularization.
What is the Best Way for Helicobacter pylori Treatment

2Student Research Committee, Baqiyatallah University of Medical Sciences, Tehran, Iran 3Department of Medicine, Najafabad Branch, Islamic Azad University, Najafabad, Iran *Corresponding author: Shahverdi E, Immunohematology Department, Blood Transfusion Research Center/High Institute for Research Center and Education in Transfusion Medicine, Tehran, Iran, Tel: +982188601606; E-mail: shahverdi_ehsan@yahoo.com