Miracle-dz/UniFAR-FTUs huggingface dataset:
TraceBack: first fault diagnosis by reconstruction of distributed control flow

Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceBack provides debugging information for production systems by providing execution history data about program problems (such as crashes, hangs, and exceptions). TraceBack supports features commonly found in production environments such as multiple threads, dynamically loaded modules, multiple source languages (e.g., Java applications running with JNI modules written in C++), and distributed execution across multiple computers. TraceBack supports first fault diagnosis-discovering what went wrong the first time a fault is encountered. The user can see how the program reached the fault state without having to re-run the computation; in effect enabling a limited form of a debugger in production code.TraceBack uses static, binary program analysis to inject low-overhead runtime instrumentation at control-flow block granularity. Post-facto reconstruction of the records written by the instrumentation code produces a source-statement trace for user diagnosis. The trace shows the dynamic instruction sequence leading up to the fault state, even when the program took exceptions or terminated abruptly (e.g., kill -9). We have implemented TraceBack on a variety of architectures and operating systems, and present examples from a variety of platforms. Performance overhead is variable, from 5% for Apache running SPECweb99, to 16%-25% for the Java SPECJbb benchmark, to 60% average for SPECint2000. We show examples of TraceBack's cross-language and cross-machine abilities, and report its use in diagnosing problems in production software.
Biocontrol evaluation of extracts and a major component, clusianone, from Clusia fluminensis Planch. & Triana against Aedes aegypti

Studies evaluated the effects of hexanic extracts from the fruits and flowers ofClusia fluminensis and the main component of the flower extract, a purified benzophenone (clusianone), against Aedes aegypti. The treatment of larvae with the crude fruit or flower extracts from C. fluminensis did not affect the survival ofAe. aegypti (50 mg/L), however, the flower extracts significantly delayed development of Ae. aegypti. In contrast, the clusianone (50 mg/L) isolate from the flower extract, representing 54.85% of this sample composition, showed a highly significant inhibition of survival, killing 93.3% of the larvae and completely blocking development of Ae. aegypti. The results showed, for the first time, high activity of clusianone against Ae. aegypti that both killed and inhibited mosquito development. Therefore, clusianone has potential for development as a biopesticide for controlling insect vectors of tropical diseases. Future work will elucidate the mode of action of clusianone isolated from C. fluminensis.
Personalized Learning Paths based on Wikipedia Article Statistics

We propose a new semi-automated method for generating personalized learning paths from the Wikipedia online encyclopedia by following inter-article hyperlink chains based on various rankings that are retrieved from the statistics of the articles. Alternative perspectives for learning topics are achieved when the next hyperlink to access is selected based on hierarchy of hyperlinks, repetition of hyperlink terms, article size, viewing rate, editing rate, or user-defined weighted mixture of them all. We have implemented the method in a prototype enabling the learner to build independently concept maps following her needs and consideration. A list of related concepts is shown in a desired type of ranking to label new nodes (titles of target articles for current hyperlinks) accompanied with parsed explanation phrases from the sentences surrounding each hyperlink to label directed arcs connecting nodes. In experiments the alternative ranking schemes well supported various learning needs suggesting new pedagogical networking practices.
NETWRAP: An NDN Based Real-TimeWireless Recharging Framework for Wireless Sensor Networks

Using vehicles equipped with wireless energy transmission technology to recharge sensor nodes over the air is a game-changer for traditional wireless sensor networks. The recharging policy regarding when to recharge which sensor nodes critically impacts the network performance. So far only a few works have studied such recharging policy for the case of using a single vehicle. In this paper, we propose NETWRAP, an NDN based Real Time Wireless Recharging Protocol for dynamic wireless recharging in sensor networks. The real-time recharging framework supports single or multiple mobile vehicles. Employing multiple mobile vehicles provides more scalability and robustness. To efficiently deliver sensor energy status information to vehicles in real-time, we leverage concepts and mechanisms from named data networking (NDN) and design energy monitoring and reporting protocols. We derive theoretical results on the energy neutral condition and the minimum number of mobile vehicles required for perpetual network operations. Then we study how to minimize the total traveling cost of vehicles while guaranteeing all the sensor nodes can be recharged before their batteries deplete. We formulate the recharge optimization problem into a Multiple Traveling Salesman Problem with Deadlines (m-TSP with Deadlines), which is NP-hard. To accommodate the dynamic nature of node energy conditions with low overhead, we present an algorithm that selects the node with the minimum weighted sum of traveling time and residual lifetime. Our scheme not only improves network scalability but also ensures the perpetual operation of networks. Extensive simulation results demonstrate the effectiveness and efficiency of the proposed design. The results also validate the correctness of the theoretical analysis and show significant improvements that cut the number of nonfunctional nodes by half compared to the static scheme while maintaining the network overhead at the same level.
Selectively Tuning a Buckled Si/SiO2 Membrane MEMS through Joule Heating Actuation and Mechanical Restriction

Abstract : This research followed previous work and attempted to modify the spring in two ways. First, a Ti/Au meander resistor was deposited atop the membrane in an effort to actuate the membrane and change the spring constant. Secondly, a series of overhanging cantilevers were attached to the bulk substrate surrounding the membrane in an effort to constrain the membrane buckling deflection to the negative stiffness region. Membrane buckling was investigated through Finite Element analysis (FEA) and analytical equations. Deflections were measured using an interferometric microscope (IFM) and force/deflection measurements were captured using a unique measurement scheme. The results concluded that by introducing a thermal stress, the membrane could be actuated with a corresponding 3x increase in spring constant. Additionally, the overhanging beams restricted the membrane deflection by up to 30%, but, because of a lack in beam stiffness, failed to restrict the membrane to the negative stiffness region. This research laid the ground work for future work in this area.
Vertical Product Differentiation, Network Competition and Regulation of Connectivity

In this paper competition between two network firms is analysed under two alternative regulatory regimes: a global connectivity regulation (GCR) and an efficient component pricing regulation (ECPRe). Whereas a GCR imposes a full quality of reciprocal interconnection, firms will choose vertical product differentiation in order to lower price competition, while under a ECPRe they will choose the maximum level of services quality and a global degradation of connectivity. Hence firms’ decisions about whether or not vertically differentiate products seems to be, at least partially, related to regulatory rules imposed on the market.
Gigabit Transmission in 60-GHz-Band Using Optical Frequency Up-Conversion by Semiconductor Optical Amplifier and Photodiode Configuration

We demonstrate error-free 1.244-Gbit/s ASK data transmission based on remote frequency up-conversion technique in 60-GHz-band radio-on-fiber systems. For frequency up-conversion, 63-GHz optical heterodyne LO signals are cross-gain modulated by another optical baseband signal in SOA, and up-converted signals are generated after photo detection. The dependence of BER characteristics on the power and wavelength of optical baseband signals and the power of optical LO signals is also investigated
Quality-of-data for consistency levels in geo-replicated cloud data stores

Cloud computing has recently emerged as a key technology to provide individuals and companies with access to remote computing and storage infrastructures. In order to achieve highly-available yet high-performing services, cloud data stores rely on data replication. However, providing replication brings with it the issue of consistency. Given that data are replicated in multiple geo-graphically distributed data centers, and to meet the increasing requirements of distributed applications, many cloud data stores adopt eventual consistency and therefore allow to run data intensive operations under low latency. This comes at the cost of data staleness. In this paper, we prioritize data replication based on a set of flexible data semantics that can best suit all types of Big Data applications, avoiding overloading both network and systems during large periods of disconnection or partitions in the network. Therefore we integrated these data semantics into the core architecture of a well-known NoSQL data store (e.g., HBase), which leverages a three-dimensional vector-field model (i.e., regarding timeliness, number of pending updates and divergence bounds) to provision data selectively in an on-demand fashion to applications. This enhances the former consistency model by providing a number of required levels of consistency to different applications such as, social networks or ecommerce sites, where priority of updates also differ. In addition, our implementation of the model into HBase allows updates to be tagged and grouped atomically in logical batches, akin to transactions, ensuring atomic changes and correctness of updates as they are propagated.
The mechanism of plasminogen activation and fibrin dissolution by single chain urokinase-type plasminogen activator in a plasma milieu in vitro.

The relative contribution of several mechanisms to plasminogen activation and fibrin dissolution by urokinase-type plasminogen activator (u-PA) in vitro was quantitated. The activation of plasminogen by recombinant single chain u-PA (rscu-PA), by its two chain derivative (rtcu-PA) and by a plasmin-resistant mutant, rscu-PA-Glu158, obeys Michaelis-Menten kinetics with catalytic efficiencies of 0.00064, 0.046, and 0.00005 L/mumol.s for native plasminogen (Glu-plasminogen) and of 0.0061, 1.21, and 0.0004 L/mumol.s for partially degraded plasminogen (Lys-plasminogen). In a purified system consisting of a fibrin clot submerged in a plasminogen solution, the equi-effective doses (50% lysis in one hour) for rscu-PA, rtcu-PA, and rscu-PA-Glu158 were 16, 6.5, and 32,000 ng/mL for Glu-plasminogen and two- to fourfold lower for Lys-plasminogen. In a plasma milieu, 50% lysis in two hours was obtained for a plasma clot with 2.1 micrograms/mL rscu-PA, 0.5 micrograms/mL rtcu-PA, and greater than 200 micrograms/mL rscu-PA-Glu158 and for a purified fibrin clot with 1.3 micrograms/mL rscu-PA and 0.27 microgram/mL rtcu-PA. After predigestion of a purified fibrin clot with plasmin, the apparent potency of rscu-PA and rtcu-PA increased by 40% and 20%, respectively. In conclusion, rscu-PA has an intrinsic plasminogen activating potential that is only about 1% of that of rtcu-PA and that is 13 times higher than that of rscu-PA-Glu158. Conformational transition of Glu-plasminogen to Lys-plasminogen enhances its sensitivity to activation by all u-PA moieties ten- to 20-fold. Predigestion of fibrin clots with associated increased binding of plasminogen results in a minor apparent increase of the fibrinolytic potency of rscu-PA and rtcu-PA. The relative fibrinolytic potency of rtcu-PA is two to three orders of magnitude higher than that of rscu-PA-Glu158 but only two- to five-fold higher than that of rscu-PA, both in purified systems and in a plasma milieu. These results indicate that conversion of rscu-PA to rtcu-PA constitutes the primary mechanism of fibrin dissolution.
Variable Interactions in Query-Driven Visualization

Our ability to generate ever-larger, increasingly-complex data, has established the need for scalable methods that identify, and provide insight into, important variable trends and interactions. Query-driven methods are among the small subset of techniques that are able to address both large and highly complex datasets. This paper presents a new method that increases the utility of query-driven techniques by visually conveying statistical information about the trends that exist between variables in a query. In this method, correlation fields, created between pairs of variables, are used with the cumulative distribution functions of variables expressed in a users query. This integrated use of cumulative distribution functions and correlation fields visually reveals, with respect to the solution space of the query, statistically important interactions between any three variables, and allows for trends between these variables to be readily identified. We demonstrate our method by analyzing interactions between variables in two flame-front simulations.
Managing Spatial Graph Dependencies in Large Volumes of Traffic Data for Travel-Time Prediction

The exploration of the potential correlations of traffic conditions between roads in large urban networks, which is of profound importance for achieving accurate traffic prediction, often implies high computational complexity due to the implicated network topology. Hence, focal methods are required for dealing with the urban network complexity, reducing the performance requirements that are associated to the classical network search techniques (e.g., Breadth First Search). This paper introduces a graph-theory-based technique for managing spatial dependence between roads of the same network. In particular, after representing the traffic network as a graph, the local neighbors of each road are extracted using Breadth First Search graph traversal algorithm and a lower complexity variant of it. A Pearson product-moment correlation-coefficient-based metric is applied on the selected graph nodes for a prescribed number of level sets of neighbors. In order to evaluate the impact of the new method to the traffic prediction accuracy achieved, the most correlated roads are used to build a STARIMA model, taking also into account the possible time delays of traffic conditions between the interrelated roads. The proposed technique is benchmarked using traffic data from two different cities: Berlin, Germany, and Thessaloniki, Greece. Benchmark results not only indicate significant improvement on the computational time required for calculating traffic correlation metric values but also reveal that a different variant works better in different network topologies, after comparison to third-party approaches.
Interstitial deletion of the short arm of chromosome 2 in a mother and child, with facial dysmorphism and mild learning difficulties

We report a mother and son with an interstitial deletion of chromosome 2: del(2)(p21p22.2). Both have mildly dysmorphic facial features and learning difficulties. This phenotype contrasts with two previously described cases with a similar deletion that presented with cyclopia and alobar holoprosencephaly.
Mechanisms of hepatocyte growth factor-induced retinal endothelial cell migration and growth.

PURPOSE Hepatocyte growth factor (HGF), also called scatter factor, stimulates growth and motility in nonocular endothelial cells and smooth muscle cells through its receptor c-Met. Recent reports suggest that HGF is increased in the serum and vitreous of patients with proliferative diabetic retinopathy and that smooth muscle cells and retinal pigment epithelial cells secrete HGF in the eye. However, little is known about HGF's action in the retina. In this study, the activity, expression, and signaling pathways of HGF were investigated in bovine retinal microvascular endothelial cells (BRECs). METHODS Mitogenic and motogeneic effects of HGF on BRECs were examined using cell counts, thymidine uptake, and migration assays. MAP kinase (MAPK) phosphorylation was examined by Western blot analysis. Protein kinase C (PKC), MAPK, and PI3 kinase involvement were evaluated using selective inhibitors and activity assays. Expression of HGF and c-Met was evaluated by reverse transcription-polymerase chain reaction. RESULTS HGF and c-Met were both expressed in BRECs. HGF stimulated BREC growth in a time- and dose-dependent manner, observed at HGF concentrations of 5 ng/ml or more and maximal (410%) at 100 ng/ml (P < 0.001). HGF increased BREC migration in a dose-dependent manner with a maximal 3.4-fold increase at 50 ng/ml after 5 hours. HGF induced time- and dose-dependent MAPK phosphorylation, initially evident at 5 minutes (P < 0.001) or 5 ng/ml (P < 0.050) and maximal after 15 minutes (>80-fold, P < 0.001) or 50 ng/ml (>20-fold, P < 0.001), respectively. MAPK phosphorylation was maintained for more than 2 hours. This response was inhibited 31% by 0.1 microm wortmannin and 76% by 30 microm LY294002, another PI3 kinase inhibitor. The non-isoform-selective PKC inhibitor GFX inhibited HGF-induced MAPK phosphorylation by only 15% at 5 microm. Combined PKC and PI3 kinase inhibition was additive (P < 0.05). Cell migration was inhibited 30% by wortmannin (P < 0.01) and 32% by GFX (P < 0.05), and again the effect was additive (P < 0.001). HGF-induced BREC growth was suppressed by PI3 kinase, PKC, or MAPK inhibition (all P < 0.01). HGF (50 ng/ml) stimulated PI3 kinase activity 347% (P < 0.001) and PKC activity 37% (P < 0.05). HGF-induced MAPK phosphorylation and mitogenesis were not inhibited by vascular endothelial growth factor (VEGF)-neutralizing antibody. CONCLUSIONS HGF and its receptor are expressed in BREC, and HGF stimulates both BREC growth and migration at concentrations observed in the human eye with diabetic retinopathy. HGF signaling appears to involve activation of both PKC and PI3 kinase, inducing MAPK phosphorylation that is critical for migration and growth. However, VEGF does not appear to mediate these initial HGF effects. These results indicate that HGF could have a significant role in mediating retinal endothelial cell proliferation and migration in diabetic retinopathy, and they begin to elucidate the signal transduction pathway by which this action may occur.
On measuring the performance of adaptive wormhole routing

Adaptive routing is widely regarded as a promising approach to improving interconnection network performance. Many designers of adaptive routing algorithms have used synthetic communication patterns, such as uniform and transpose traffic, to compare the performance of various adaptive routing algorithms with each other and with oblivious routing. These comparisons have shown that the average message latency is usually lower with adaptive routing. On the other hand, when a parallel program is executed on a multiprocessor the goal is to reduce the total execution time. We explain why improving the average message latency of a routing algorithm does not necessarily lead to a lower execution time for real applications. We support this observation by reporting simulation results for both adaptive and oblivious routing using communication derived from real applications. Specifically, we report the performance of various routing algorithms for directed acyclic graphs (DAGs) derived from the Cholesky factorization of sparse matrices. Our results show that there is little correlation between average message latency and the total execution time of a parallel program. Hence, average message latency does not seem to be a useful measure of the performance of a routing algorithm. This strongly suggests that current comparisons of routing algorithms do not provide a reliable indication of the performance improvements to be realized by executing programs on a multiprocessor with such a routing algorithm. We interpret these results and suggest several alternatives for further research.
Dual Parameter Flow Cytometry Cultured Human Breast Cancer Cells : Analysis by Quantitative Remodeling by Tamoxifen Characterize Subpopulations of Heterogeneity of Progesterone Receptor Content and Updated

Breast cancers treated with the antiestrogen tamoxifen invariably become resistant. To analyze the behavior of cell subpopulations within a tumor following tamoxifen treatment, we have used a new flow cytometry-based Â¡mmunoassay and software that simultaneously quantitate PR levels and the DNA indices of ploidy and cell cycle stage in total cell populations or any subset thereof. The human breast cancer cell line T47D and its clonal derivatives were used as models of stage IV breast cancer, and growth and PR were measured as markers of antiestrogen responsiveness. We demonstrate and quantitate a remarkable heteroge neity in PR content and show the existence of distinct subpopulations with large differences in their PR levels and DNA indices, even among T47D sublines that are clonally derived. Following chronic tamoxifen treatment, an overall decrease in PR levels and growth masks an extensive heterogeneity in the response of cell subpopulations. PR levels decrease in some cells but increase in others; populations having a growth advan tage expand while others contract. We find little evidence that cells, unaffected by the hormone, gain a growth advantage. Rather than exhib iting autonomy, we propose that under the influence of tamoxifen, tumors become remodeled as selected subpopulations emerge that are stimulated by the hormone, explaining the paradoxical recurrence of disease in patients undergoing endocrine therapy.
The Neural Persistence of Memory: Retention Begins While You're Still Awake

There's some unwritten law of stadium parking that says after any event some fraction of hapless souls must perform an embarrassing reenactment of Dude, Where's My Car? It might seem like a simple thing to remember until you consider that the brain must often process and retain new memories while simultaneously tending to several unrelated cognitive tasks. Though it's not exactly clear how the brain processes a recent memory, evidence suggests that a good nap during an event might prevent parking mishaps. Many studies have shown that brain regions activated while learning a task are reactivated during sleep, suggesting that this “offline” processing facilitates memory retention. But when does the memory consolidation process begin?
Simultaneous Enhancement of Mechanical and Dynamic Mechanical Properties of Natural Rubber/Recycled Ethylene-Propylene-Diene Rubber Blends by Electron Beam Irradiation

Mechanical and dynamic mechanical properties of natural rubber/recycled ethylene-propylene-diene rubber (NR/R-EPDM) blends were simultanoeusly enhanced by electron beam (EB) irradiation. The cross-linking promoter, trimethylolpropane triacrylate (TMPTA), was also introduced into the blends to induce the cross-linking. By applying EB irradiation, the tensile modulus, hardness, swelling, cross-link density, and storage modulus increased with increase in the irradiation dose; an irradiation dose of 50 kGy was efficient to gain optimum tensile strength. The formation of irradiation-induced cross-links after EB irradiation is a major concern for the enhancement of mechanical, swelling resistance, and dynamic mechanical properties of the blends.