Miracle-dz/UniFAR-FTUs huggingface dataset:
Building Multirail InfiniBand Clusters: MPI-Level Design and Performance Evaluation

In the area of cluster computing, InfiniBand is becoming increasingly popular due to its open standard and high performance. However, even with InfiniBand, network bandwidth can still become the performance bottleneck for some of today’s most demanding applications. In this paper, we study the problem of how to overcome the bandwidth bottleneck by using multirail networks. We present different ways of setting up multirail networks with InfiniBand and propose a unified MPI design that can support all these approaches. We have also discussed various important design issues and provided in-depth discussions of different policies of using multirail networks, including an adaptive striping scheme that can dynamically change the striping parameters based on current system condition. We have implemented our design and evaluated it using both microbenchmarks and applications. Our performance results show that multirail networks can significant improve MPI communication performance. With a two rail InfiniBand cluster, we have achieved almost twice the bandwidth and half the latency for large messages compared with the original MPI. At the application level, the multirail MPI can significantly reduce communication time as well as running time depending on the communication pattern. We have also shown that the adaptive striping scheme can achieve excellent performance without a priori knowledge of the bandwidth of each rail.
Assessment and Intervention with Clients with Apraxia: Contributions from the Literature

Individuals with praxis problems encounter difficulties engaging in occupation, and the occupational therapists who work with these clients are challenged to provide intervention that enables occupational performance. This extensive review of the current literature provides clinicians with information regarding the relevant descriptions and suggested mechanisms of apraxia. Errors noted in performance, different classification systems and the implications of the current knowledge will be discussed. The paper concludes by providing information for clinicians regarding occupational therapy evaluation and intervention strategies for praxis problems.
Aristotelian Moral Psychology and the Situationist Challenge

For some time now moral psychologists and philosophers have ganged up on Aristotelians, arguing that results from psychological studies on the role of character-based and situation-based influences on human behavior have convincingly shown that situations rather than personal characteristics determine human behavior. In the literature on moral psychology and philosophy this challenge is commonly called the “situationist challenge,” and as Prinz (2009) has previously explained, it has largely been based on results from four salient studies in social psychology, including the studies conducted by Hartshorne and May (1928), Milgram (1963), Isen and Levin (1972), and Darley and Batson (1973). The situationist challenge maintains that each of these studies seriously challenges the plausibility of virtuous personal characteristics by challenging the plausibility of personal characteristics more generally. In this article I undermine the situationist challenge against Aristotelian moral psychology by carefully considering major problems with the conclusions that situationists have drawn from the empirical data, and by further challenging the accuracy of their characterization of the Aristotelian view. In fact I show that when properly understood the Aristotelian view is not only consistent with empirical data from developmental science but can also offer important insights for integrating moral psychology with its biological roots in our natural and social life.
Strategies for Reducing the Start-up Operation of Microbial Electrochemical Treatments of Urban Wastewater

Microbial electrochemical technologies (METs) constitute the core of a number of emerging technologies with a high potential for treating urban wastewater due to a fascinating reaction mechanism—the electron transfer between bacteria and electrodes to transform metabolism into electrical current. In the current work, we focus on the model electroactive microorganism Geobacter sulfurreducens to explore both the design of new start-up procedures and electrochemical operations. Our chemostat-grown plug and play cells, were able to reduce the start-up period by 20-fold while enhancing chemical oxygen demand (COD) removal by more than 6-fold during this period. Moreover, a filter-press based bioreactor was successfully tested for both acetate-supplemented synthetic wastewater and real urban wastewater. This proof-of-concept pre-pilot treatment included a microbial electrolysis cell (MEC) followed in time by a microbial fuel cell (MFC) to finally generate electrical current of ca. 20 A·m−2 with a power of 10 W·m−2 while removing 42 g COD day−1·m−2. The effective removal of acetate suggests a potential use of this modular technology for treating acetogenic wastewater where Geobacter sulfurreducens outcompetes other organisms.
ICP0, ICP4, or VP16 Expressed from Adenovirus Vectors Induces Reactivation of Latent Herpes Simplex Virus Type 1 in Primary Cultures of Latently Infected Trigeminal Ganglion Cells

ABSTRACT In a previous study, we demonstrated that infected-cell polypeptide 0 (ICP0) is necessary for the efficient reactivation of herpes simplex virus type 1 (HSV-1) in primary cultures of latently infected trigeminal ganglion (TG) cells (W. P. Halford and P. A. Schaffer, J. Virol. 75:3240–3249, 2001). The present study was undertaken to determine whether ICP0 is sufficient to trigger HSV-1 reactivation in latently infected TG cells. To test this hypothesis, replication-defective adenovirus vectors that express wild-type and mutant forms of ICP0 under the control of a tetracycline response element (TRE) promoter were constructed. Similar adenovirus vectors encoding wild-type ICP4, wild-type and mutant forms of the HSV-1 origin-binding protein (OBP), and wild-type and mutant forms of VP16 were also constructed. The TRE promoter was induced by coinfection of Vero cells with the test vector and an adenovirus vector that expresses the reverse tetracycline-regulated transactivator in the presence of doxycycline. Northern blot analysis demonstrated that transcription of the OBP gene in the adenovirus expression vector increased as a function of doxycycline concentration over a range of 0.1 to 10 μM. Likewise, Western blot analysis demonstrated that addition of 3 μM doxycycline to adenovirus vector-infected Vero cells resulted in a 100-fold increase in OBP expression. Wild-type forms of ICP0, ICP4, OBP, and VP16 expressed from adenovirus vectors were functional based on their ability to complement plaque formation in Vero cells by replication-defective HSV-1 strains with mutations in these genes. Adenovirus vectors that express wild-type forms of ICP0, ICP4, or VP16 induced reactivation of HSV-1 in 86% ± 5%, 86% ± 5%, and 97% ± 5% of TG cell cultures, respectively (means ± standard deviations). In contrast, vectors that express wild-type OBP or mutant forms of ICP0, OBP, or VP16 induced reactivation in 5% ± 5%, 8% ± 0%, 0% ± 0%, and 13% ± 6% of TG cell cultures, respectively. In control infections, an adenovirus vector expressed green fluorescent protein efficiently in TG neurons but did not induce HSV-1 reactivation. Therefore, expression of ICP0, ICP4, or VP16 is sufficient to induce HSV-1 reactivation in latently infected TG cell cultures. We conclude that this system provides a powerful tool for determining which cellular and viral proteins are sufficient to induce HSV-1 reactivation from neuronal latency.
One-Way Functions and the Isomorphism Conjecture

We study the Isomorphism Conjecture proposed by Berman and Hartmanis. It states that all sets complete for NP under polynomial-time many-one reductions are P-isomorphic to each other. From previous research it has been widely believed that all NP-complete sets are reducible each other by one-to-one and length-increasing polynomial-time reductions, but we may not hope for the full p-isomorphism due to the existence of one-way functions. Here we showed two results on the relation between one-way functions and the Isomorphism Conjecture. Firstly, we imporve the result of Agrawal [Agrawal, CCC’02] to show that if regular oneway functions exist, then all NP-complete sets are indeed reducible each other by one-toone, length-increasing and P/poly-reductions. A consequence of this result is the complete description of the structure of many-one complete sets of NP relative to a random oracle: all NP-complete sets are reducible each other by one-one and length-increasing polynomialtime reductions but (as already shown by [Kurtz etal, JACM 95]) they are not P-isomorphic. Neverthless, we also conjecture that (different from the random oracle world) all one-way functions should have some dense easy parts, which we call P/poly-easy cylinders, where they are P/poly-invertible. Then as our second result we show that if regular one-way functions exist and furthermore all one-one, length-increasing and P/poly-computable functions have P/poly-easy cylinders, then all many-one complete sets for NP are P/poly-isomorphic.
Overlay Multicast Protocol with Proxy Districts for Dynamic Wireless Sensor Networks

In legacy networks, overlay multicast protocols are stateless multicast relying on unicast with IP addresses regarding multicast routing states on routers, and thus they offer cost-effectiveness and robustness. Wireless sensor networks (WSNs) consist of a large number of randomly deployed sensors with unattended batteries and constrained device capabilities. For non-uniform and resource-sensitive WSNs multicast protocols also have taken an overlay approach. The protocols establish a cost-optimal structure, a Steiner tree, among destinations as an overlay structure and exploit geographic routing for unicasting. However, such concentration on the Steiner tree structure may paradoxically burden the irregular and resource-constrained WSNs with heavy loads for heuristic structure construction and fault-tolerant maintenance. In addition, it leads to frequent tree reconstruction, thus it could harm data multicast transmission seriously. Regarding these problems, we consider a proxy district per a destination for overlay tree formation to prevent structural dynamic alteration and support local state management. This district-based overlay multicast might be able to keep the stateless advantages of traditional overlay multicast. By overhead analysis and various computational simulations, we prove that our proposal provides robust and efficient multicast transmission.
CS224W Project Write-up Static Crawling on Social Graph

This is adapted from the problem that we try to crawl twitter social graph using twitter API [1] with some restrictions such as we can’t make more than 150 requests per hour. In this scenario, we want to mine real data from twitter as much as possible and forward it to do something else. Our goal is not an unbiased representative of the structure of the graph. In our problem, we also assume that there is no node/edge deletion/addition for simplicity.
Students’ perceptions on IWB through the lens of the community of inquiry framework

Interactive whiteboards (IWBs) are being utilised at a rapidly increasing rate, especially in distance education (DE). As a medium of instruction they allow the presenter to simultaneously interact with numerous students at different centres across the country. This study is unique in the sense that a collaborative learning community is created between two groups separated by distance. If utilised correctly and efficiently, IWBs have the potential to enhance the teaching and learning experience for the student. This article focuses on the perceptions of students (adult learners) from various school management teams (SMT), pertaining to their experiences with several IWB sessions. Open-ended questionnaires were completed by 45 students enrolled for the Advanced Certificate in Education (School Management and Leadership) (ACE SL). Participants’ perceptions with regard to their IWB learning experience were determined according to the Community of Inquiry (CoI) framework, creating a collaborative constructivist educational experience. This article will indicate how important it is to focus on keeping the balance between the three presences in the CoI and also highlight the crucial role that presenters play to ensure an effective teaching and learning experience through the use of IWBs.
Symbolic vs. Bounded Synthesis for Petri Games

Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic approach decides the existence of a winning strategy via a reduction to a two-player game over a finite graph, which in turn is solved by a fixed point iteration based on binary decision diagrams (BDDs). The bounded synthesis approach encodes the existence of a winning strategy, up to a given bound on the size of the strategy, as a quantified Boolean formula (QBF). In this paper, we report on initial experience with a prototype implementation of the bounded synthesis approach. We compare bounded synthesis to the existing implementation of the symbolic approach in the synthesis tool ADAM. We present experimental results on a collection of benchmarks, including one new benchmark family, modeling manufacturing and workflow scenarios with multiple concurrent processes.
Different Contribution of Splanchnic Organs to Hyperlactatemia in Fecal Peritonitis and Cardiac Tamponade

Background. Changes in hepatosplanchnic lactate exchange are likely to contribute to hyperlactatemia in sepsis. We hypothesized that septic and cardiogenic shock have different effects on hepatosplanchnic lactate exchange and its contribution to hyperlactatemia. Materials and Methods. 24 anesthetized pigs were randomized to fecal peritonitis (P), cardiac tamponade (CT), and to controls (n = 8 per group). Oxygen transport and lactate exchange were calculated during 24 hours. Results. While hepatic lactate influx increased in P and in CT, hepatic lactate uptake remained unchanged in P and decreased in CT. Hepatic lactate efflux contributed 20% (P) and 33% (CT), respectively, to whole body venous efflux. Despite maintained hepatic arterial blood flow, hepatic oxygen extraction did not increase in CT. Conclusions. Whole body venous lactate efflux is of similar magnitude in hyperdynamic sepsis and in cardiogenic shock. Although jejunal mucosal pCO2 gradients are increased, enhanced lactate production from other tissues is more relevant to the increased arterial lactate. Nevertheless, the liver fails to increase hepatic lactate extraction in response to rising hepatic lactate influx, despite maintained hepatic oxygen consumption. In cardiac tamponade, regional, extrasplanchnic lactate production is accompanied by hepatic failure to increase oxygen extraction and net hepatic lactate output, despite maintained hepatic arterial perfusion.
A tool for monitoring and tracing multi-agent applications

In this paper, we have designed and implemented a tool that can be used to effectively collect the trace data of multi-agent applications developed using the Java Agent DEvelopment Framework (JADE). The tool can also be used to monitor JADE applications and to report the occurrence of certain events of interest. The collected trace data can be used later by the developer to verify that the current implementation of the multi-agent application under consideration satisfies certain properties. Moreover, monitoring the application at runtime and reporting the occurrence of certain events can significantly help the developers in testing and debugging multi-agent applications.
Hedge Funds: Pricing Controls and the Smoothing of Self-Reported Returns

We investigate the extent to which hedge fund managers smooth self-reported returns. In contrast to prior research on the "anomalous" properties of hedge fund returns, we observe the mechanisms used to price the fund's investment positions and report the fund's performance to investors, thereby allowing us to differentiate between asset illiquidity and misreporting-based explanations. We find that funds using less verifiable pricing sources and funds that provide managers with greater discretion in pricing investment positions are more likely to have returns consistent with intentional smoothing. Traditional controls, however, such as removing the manager from the setting and reporting of the fund's net asset value and the use of reputable auditors and administrators, are not associated with lower levels of smoothing. With respect to asset illiquidity versus misreporting, investment style and portfolio characteristics explain 14.0--24.3% of the variation in our smoothing measures, and pricing controls explain an additional 4.1--8.8%, suggesting that asset illiquidity is the major factor driving the anomalous properties of self-reported hedge fund returns. The Author 2011. Published by Oxford University Press on behalf of The Society for Financial Studies. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com. , Oxford University Press.
Productivity Volatility and the Misallocation of Resources in Developing Economies

We investigate the role of dynamic production inputs and their associated adjustment costs in shaping the dispersion of total factor productivity (TFP) and static measures of capital misallocation within a country. Using data on 5,010 establishments in 33 developing countries from the World Bank's Enterprise Research Data, we find that countries exhibiting greater time-series volatility of productivity are also characterized by greater cross-sectional dispersion in productivity. Volatility in TFP explains one quarter to one third of cross-country productivity dispersion. We document a similar relationship between productivity volatility and the dispersion of the marginal revenue product of capital (static capital misallocation). We then use a standard model of investment with adjustment costs, parameterized using numbers calibrated to U.S. data, to show that increasing the volatility of productivity to the level observed in these developing economies can quantitatively replicate the observed relationship between static misallocation and volatility observed in the data. We find that sixty-one percent of the static capital misallocation in the data is captured by the model's prediction. Our findings suggest that the dynamic process governing productivity shocks is a first-order determinant of differences in misallocation and, hence, income across countries.
Grouping Pentylenetetrazol-Induced Epileptic Rats According to Memory Impairment and MicroRNA Expression Profiles in the Hippocampus

Previous studies have demonstrated a close relationship between abnormal regulation of microRNA (miRNA) and various types of diseases, including epilepsy and other neurological disorders of memory. However, the role of miRNA in the memory impairment observed in epilepsy remains unknown. In this study, a model of temporal lobe epilepsy (TLE) was induced via pentylenetetrazol (PTZ) kindling in Sprague-Dawley rats. First, the TLE rats were subjected to Morris water maze to identify those with memory impairment (TLE-MI) compared with TLE control rats (TLE-C), which presented normal memory. Both groups were analyzed to detect dysregulated miRNAs in the hippocampus; four up-regulated miRNAs (miR-34c, miR-374, miR-181a, and miR-let-7c-1) and seven down-regulated miRNAs (miR-1188, miR-770-5p, miR-127-5p, miR-375, miR-331, miR-873-5p, and miR-328a) were found. Some of the dysregulated miRNAs (miR-34c, miR-1188a, miR-328a, and miR-331) were confirmed using qRT-PCR, and their blood expression patterns were identical to those of their counterparts in the rat hippocampus. The targets of these dysregulated miRNAs and other potentially enriched biological signaling pathways were analyzed using bioinformatics. Following these results, the MAPK, apoptosis and hippocampal signaling pathways might be involved in the molecular mechanisms underlying the memory disorders of TLE.
An optimum pin redistribution for MultiChip modules

We introduce an optimum algorithm for the pin redistribution problem which arises in Multi-Chip Modules. The problem is to redistribute the pins in chip layer to the pin redistribution layers, using a minimum number of layers. The proposed algorithm is based on a two-stage approach, global routing followed by layer assignment. Each subproblem has an optimality structure. Based on min-cost flow formulation along with graph manipulations, we propose a performance-driven algorithm to minimize the number of layers and also simultaneously optimize the wirelength and the number of bends.
Lack of antinociceptive cross-tolerance between [D-Pen2, D-Pen5]enkephalin and [D-Ala2]deltorphin II in mice: evidence for delta receptor subtypes.

This study has investigated the development of antinociceptive tolerance to, and cross-tolerance between, two highly selective delta agonists, [D-Pen2,D-Pen5]enkephalin (DPDPE) and [D-Ala2] deltorphin II as well as to [D-Ala2,NMePhe4,Gly-ol5]enkephalin (DAMGO), a highly selective mu agonist, in mice. Intracerebroventricular administration of DPDPE, [D-Ala2]deltorphin II and DAMGO each produced an antinociceptive effect. Pretreatment with i.c. v. DPDPE twice daily for 3 days resulted in tolerance to DPDPE as shown by a 4.8-fold rightward shift in the dose-response curve. In contrast, in DPDPE pretreated mice, the dose-response lines for [D-Ala2]deltorphin II and DAMGO were not altered when compared to those obtained in naive animals. The development of tolerance was also shown by pretreating mice with i.c. v. [D-Ala2]deltorphin II; following this pretreatment, the [D-Ala2]deltorphin II dose-response line was displaced to the right by more than 37-fold. In contrast, in [D-Ala2]deltorphin II-pretreated mice, the dose-response lines for DPDPE and DAMGO were not altered compared to those obtained in naive animals. Finally, pretreatment with i.c. v. DAMGO produced a rightward displacement of the DAMGO dose-response line of 47-fold, indicating the development of antinociceptive tolerance. In DAMGO-pretreated mice, however, the dose-response lines for DPDPE and [D-Ala2]deltorphin II were not altered compared to those obtained in naive mice. Thus, the data indicate that antinociceptive tolerance develops to DPDPE, [D-Ala2]deltorphin II and DAMGO but that there is no cross-tolerance between these compounds. (ABSTRACT TRUNCATED AT 250 WORDS)