Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards a renewed alias resolution with space search reduction and IP fingerprinting

Since the early 2000's, the Internet Topology has been frequently described and modeled from the perspective of routers. To this end, alias resolution mechanisms have been developed in order to aggregate all IP interfaces of a router, collected with traceroute, into a single identifier. So far, many active measurement techniques have been considered, often taking advantage of specific features from network protocols. However, a lot of these methods have seen their efficiency decrease over time due to security reinforcements across the Internet. In this paper, we introduce a generic methodology to conduct efficient and scalable alias resolution. It combines the space search reduction of TreeNET (a tool for efficiently discovering subnets) with a fingerprinting process used to assess the feasibility of several state-of-the-art alias resolution methods, using a small, fixed amount of probes. We validate our method along MIDAR on an academic groundtruth and demonstrate that our methodology can achieve similar accuracy while using less probes and discovering subnets in the process. We further evaluate our method with measurements made on PlanetLab towards several distinct ASes of varying sizes and roles in the Internet. The collected data shows that some properties of our fingerprints correlate with each other, hinting some observed profiles could be linked with equipment vendors. Both TreeNET (which implements our methodology) and our dataset are freely available.
Simultaneous Extraction Optimization and Analysis of Flavonoids from the Flowers of Tabernaemontana heyneana by High Performance Liquid Chromatography Coupled to Diode Array Detector and Electron Spray Ionization/Mass Spectrometry

Flavonoids are exploited as antioxidants, antimicrobial, antithrombogenic, antiviral, and antihypercholesterolemic agents. Normally, conventional extraction techniques like soxhlet or shake flask methods provide low yield of flavonoids with structural loss, and thereby, these techniques may be considered as inefficient. In this regard, an attempt was made to optimize the flavonoid extraction using orthogonal design of experiment and subsequent structural elucidation by high-performance liquid chromatography-diode array detector-electron spray ionization/mass spectrometry (HPLC-DAD-ESI/MS) techniques. The shake flask method of flavonoid extraction was observed to provide a yield of 1.2 ± 0.13 (mg/g tissue). With the two different solvents, namely, ethanol and ethyl acetate, tried for the extraction optimization of flavonoid, ethanol (80.1 mg/g tissue) has been proved better than ethyl acetate (20.5 mg/g tissue). The optimal conditions of the extraction of flavonoid were found to be 85°C, 3 hours with a material ratio of 1 : 20, 75% ethanol, and 1 cycle of extraction. About seven different phenolics like robinin, quercetin, rutin, sinapoyl-hexoside, dicaffeic acid, and two unknown compounds were identified for the first time in the flowers of T. heyneana. The study has also concluded that L16 orthogonal design of experiment is an effective method for the extraction of flavonoid than the shake flask method.
Enforced Bcl-2 Expression Inhibits Antigen-mediated Clonal Elimination of Peripheral B Cells in an Antigen Dose–dependent Manner and Promotes Receptor Editing in Autoreactive, Immature B Cells

The mechanisms that establish immune tolerance in immature and mature B cells appear to be distinct. Membrane-bound autoantigen is thought to induce developmental arrest and receptor editing in immature B cells, whereas mature B cells have shortened lifespans when exposed to the same stimulus. In this study, we used Eμ–bcl-2-22 transgenic (Tg) mice to test the prediction that enforced expression of the Bcl-2 apoptotic inhibitor in B cells would rescue mature, but not immature, B cells from tolerance induction. To monitor tolerance to the natural membrane autoantigen H-2Kb, we bred 3–83μδ (anti-Kk,b) Ig Tg mice to H-2b mice or to mice expressing transgene-driven Kb in the periphery. In 3–83μδ/bcl-2 Tg mice, deletion of autoreactive B cells induced by peripheral Kb antigen expression in the liver (MT-Kb Tg) or epithelia (KerIV-Kb Tg), was partly or completely inhibited, respectively. Furthermore, Bcl-2 protected peritoneal B-2 B cells from deletion mediated by acute antigen exposure, but this protection could be overcome by higher antigen dose. In contrast to its ability to block peripheral self-tolerance, Bcl-2 overexpression failed to inhibit central tolerance induced by bone marrow antigen expression, but instead, enhanced the receptor editing process. These studies indicate that apoptosis plays distinct roles in central and peripheral B cell tolerance.
A Novel Simple and Compact Microstrip-Fed Circularly Polarized Wide Slot Antenna With Wide Axial Ratio Bandwidth for C-Band Applications

This communication presents a design of a new compact circularly polarized (CP) slot antenna fed by a microstrip feedline. The 3-dB axial ratio band can be achieved by simply protruding a horizontal stub from the ground plane toward the center of the wide slot (WS) and then feeding the WS with a microstrip feedline positioned to the side of the WS, underneath the protruded stub. The feedline and metallic stub are perpendicular to each other, and they resemble a T shape when viewed from the top. The proposed antenna is fabricated with an area of 25 × 25 mm2. Measurement results show that the antenna attains an S11 ≤ -10 dB impedance matching bandwidth of 90.2%, from 3.5 to 9.25 GHz, and a broadband 3 dB-AR bandwidth of 40%, ranging from 4.6 to 6.9 GHz. A peak gain of 0.8-4.5 dBi is achieved within the AR band. The proposed antenna is suitable for circular polarization applications in C band.
Ultrasonic guided waves based method for SHM : Simulations and an experimental test

Guided waves based methods are widely used for damage detection and localization in metallic and composite structures. Success of the method application depends on many factors like sensors/actuators location, sensor electronic system design, sensor shape, frequency range of excitation waves and applied signal processing procedures. Authors developed new modified LISA and EFIT algorithms to solve guided waves propagation problem in metallic and composite structures. Developed procedure helps to simulate wave propagation for damaged and undamaged structures for different configuration of sensors and actuators locations, shapes of sensors and frequency range. Simulation results helped to design system including hardware and software for monitoring and diagnostics of plate-like structures. Time and frequency domain methods are implemented in the system for damage detection. The simulation results have been validated using experimental test of aluminum and composite structures with different sensor/actuators configuration. New SHM system design based on formulated method and its application for real mechanical structures will be presented.
Experiences of levosimendan as an inotropic agent in conjunction with passive containment surgery

Objectives. Levosimendan is a calcium sensitizer with a positive inotropic effect without increasing oxygen consumption. We have evaluated the immediate effects of levosimendan on cardiac index when given peri-operatively to patients with dilated cardiomyopathy in conjunction with passive containment surgery. Design. Ten patients with dilated cardiomyopathy undergoing passive containment surgery with the ACORN Cardiac Support Device, either as the sole procedure or in combination with other open heart surgery, were after anaesthesia induction given levosimendan as a bolus dose of 12 µg/kg followed by an infusion of 0.1µg/kg/min for 24 hours. Cardiac index were measured before extra corporal circulation, immediately after extra corporal circulation, at arrival to the intensive care unit and on post operative day 1. The need for inotropic support was recorded. Results. Nine of ten patients were preoperatively in a low cardiac output situation. At postoperative day 1 there was a significant increase in cardiac index from 2.1±0.1 to 2.8±0.2. Conclusions. This study confirms the theoretical benefits of levosimendan judged by an immediate significant positive effect on cardiac index.
Effect of metformin therapy on 2-h post-glucose insulin levels in patients of polycystic ovarian syndrome

AIMS: To evaluate if 2-h post glucose insulin level is an effective tool to monitor insulin resistance in response to metformin therapy, in infertile women with polycystic ovarian syndrome (PCOS). SETTINGS AND DESIGN: This prospective observational study was carried out in a tertiary care infertility clinic. MATERIALS AND METHODS: 40 women with PCOS were categorized as having insulin resistance if fasting or 2-h post glucose insulin levels were >25 or >41μU/ml respectively. Post glucose insulin was compared before and after six months of metformin therapy along with other clinical, hormonal and metabolic parameters by using McNemar and the Student’s t-test. RESULTS: Fasting insulin was elevated in 4 (10%) and post-load insulin in 34 (85%) patients; after metformin therapy respective values were 2 (5%) and 16 (40%). Metformin therapy reduced post glucose insulin levels (P<0.001), improved the regularity of periods (P<0.001) and resulted in reduction of LH levels (P<0.001), total testosterone (P<0.001) and mean Body mass index (BMI) (P=0.047). Metformin therapy did not alter waist-hip ratio and fasting insulin levels. CONCLUSION: 2-h post glucose insulin level is an effective tool to monitor insulin resistance in PCOS patients and improves significantly after metformin therapy, similar to improvements observed in clinical, hormonal and metabolic parameters.
Relativistic expansion of magnetic loops at the self-similar stage

We obtained self-similar solutions of relativistically expanding magnetic loops taking into account the azimuthal magnetic fields. We neglect stellar rotation and assume axisymmetry and a purely radial flow. As the magnetic loops expand, the initial dipole magnetic field is stretched into the radial direction. When the expansion speed approaches the light speed, the displacement current reduces the toroidal current and modifies the distribution of the plasma lifted up from the central star. Since these self-similar solutions describe the free expansion of the magnetic loops, i.e. dv/dt = 0, the equations of motion are similar to those of the static relativistic magnetohydrodynamics. This allows us to estimate the total energy stored in the magnetic loops by applying the virial theorem. This energy is comparable to that of the giant flares observed in magnetars.
Glycogen Repletion in Brown Adipose Tissue upon Refeeding Is Primarily Driven by Phosphorylation-Independent Mechanisms

Glycogen storage in brown adipose tissue (BAT) is generally thought to take place through passive, substrate-driven activation of glycogenesis rather than programmatic shifts favoring or opposing the storage and/or retention of glycogen. This perception exists despite a growing body of evidence suggesting that BAT glycogen storage is actively regulated by covalent modification of key glycogen-metabolic enzymes, protein turnover, and endocrine hormone signaling. Members of one such class of covalent-modification regulators, glycogen-binding Phosphoprotein Phosphatase-1 (PP1)-regulatory subunits (PPP1Rs), targeting PP1 to glycogen-metabolic enzymes, were dynamically regulated in response to 24 hr of starvation and/or 24 hr of starvation followed by ad libitum refeeding. Over-expression of the PPP1R Protein Targeting to Glycogen (PTG), under the control of the aP2 promoter in mice, inactivated glycogen phosphorylase (GP) and enhanced basal- and starvation-state glycogen storage. Total interscapular BAT glycogen synthase and the constitutive activity of GS were conditionally affected. During starvation, glucose-6-phosphate (G-6-P) levels and the relative phosphorylation of Akt (p-Ser-473-Akt) were both increased in PTG-overexpressing (Tg) mice, suggesting that elevated glycogen storage during starvation modifies broader cellular metabolic pathways. During refeeding, Tg and WT mice reaccumulated glycogen similarly despite altered GS and GP activities. All observations during refeeding suggest that the phosphorylation states of GS and GP are not physiologically rate-controlling, despite there being a clear balance of endogenous kinase- and phosphatase activities. The studies presented here reveal IBAT glycogen storage to be a tightly-regulated process at all levels, with potential effects on nutrient sensing in vivo.
Real-Time Hypoglycemia Prediction Suite Using Continuous Glucose Monitoring

OBJECTIVE The purpose of this study was to develop an advanced algorithm that detects pending hypoglycemia and then suspends basal insulin delivery. This approach can provide a solution to the problem of nocturnal hypoglycemia, a major concern of patients with diabetes. RESEARCH DESIGN AND METHODS This real-time hypoglycemia prediction algorithm (HPA) combines five individual algorithms, all based on continuous glucose monitoring 1-min data. A predictive alarm is issued by a voting algorithm when a hypoglycemic event is predicted to occur in the next 35 min. The HPA system was developed using data derived from 21 Navigator studies that assessed Navigator function over 24 h in children with type 1 diabetes. We confirmed the function of the HPA using a separate dataset from 22 admissions of type 1 diabetic subjects. During these admissions, hypoglycemia was induced by gradual increases in the basal insulin infusion rate up to 180% from the subject's own baseline infusion rate. RESULTS Using a prediction horizon of 35 min, a glucose threshold of 80 mg/dl, and a voting threshold of three of five algorithms to predict hypoglycemia (defined as a FreeStyle plasma glucose readings <60 mg/dl), the HPA predicted 91% of the hypoglycemic events. When four of five algorithms were required to be positive, then 82% of the events were predicted. CONCLUSIONS The HPA will enable automated insulin-pump suspension in response to a pending event that has been detected prior to severe immediate complications.
Herpes simplex 2 risk among women in a polygynous setting in rural West Africa

Objectives: To determine risk factors for herpes simplex 2 (HSV2) infection in women in a polygynous rural Gambian population. Methods: Data from women who participated in a cross-sectional survey of reproductive health were matched to their own and, for women who had been or were married (ever-married), their spouses’ data collected in a cross-sectional survey of fertility interests, including information on marital histories. Results: Data were available on 150 never-married and 525 ever-married women. HSV2 prevalence was 16% amongst never-married women and 36% amongst ever-married women. For ever-married women, their own personal characteristics (age, ethnicity and genital cutting status) and events from their husbands’ marriage history were important determinants of HSV2 infection. Women whose husbands married for the first time over age 35 were at greater risk than women whose husbands married by age 24 [odds ratio (OR) 2.72, 95% confidence interval (CI) 1.20–6.10]. Women whose husband reported interest in a new marriage were more likely to be HSV2 positive (OR 1.91, 95% CI 1.18–3.09). Women whose husbands were currently monogamous but had had previous marriages (OR 2.76, 95% CI 1.30–5.88) and women in currently polygynous marriages (OR 2.88, 95% CI 1.66–5.01) were three times as likely to be HSV2 positive as women who were their husband's only wife ever. Conclusion: Much transmission of HSV2 in this setting occurs within marriage where opportunity for personal protection is limited. High levels of transmission within marriage may undermine the impact of sexual behaviour change programmes aiming to reduce HSV2 and HIV incidence and complicate their evaluation.
An Effective field theory for collinear and soft gluons: Heavy to light decays

We construct the Lagrangian for an effective theory of highly energetic quarks with energy Q, interacting with collinear and soft gluons. This theory has two low energy scales, the transverse momentum of the collinear particles, ${p}_{\ensuremath{\perp}},$ and the scale ${p}_{\ensuremath{\perp}}^{2}/Q. $ The heavy to light currents are matched onto operators in the effective theory at one loop and the renormalization group equations for the corresponding Wilson coefficients are solved. This running is used to sum Sudakov logarithms in inclusive $\stackrel{\ensuremath{\rightarrow}}{B}{X}_{s}\ensuremath{\gamma}$ and $\stackrel{\ensuremath{\rightarrow}}{B}{X}_{u}l\overline{\ensuremath{\nu}}$ decays. We also show that the interactions with collinear gluons preserve the relations for the soft part of the form factors for heavy-to-light decays found by Charles et al. [Phys. Rev. D 60, 014001 (1999)], establishing these relations in the large energy limit of QCD.
An Enhanced Genetic Algorithm for Ab Initio Protein Structure Prediction

In-vitro methods for protein structure determination are time-consuming, cost-intensive, and failure-prone. Because of these expenses, alternative computer-based predictive methods have emerged. Predicting a protein's 3-D structure from only its amino acid sequence-also known as ab initio protein structure prediction (PSP)-is computationally demanding because the search space is astronomically large and energy models are extremely complex. Some successes have been achieved in predictive methods but these are limited to small sized proteins (around 100 amino acids); thus, developing efficient algorithms, reducing the search space, and designing effective search guidance heuristics are necessary to study large sized proteins. An on-lattice model can be a better ground for rapidly developing and measuring the performance of a new algorithm, and hence we consider this model for larger proteins (>150 amino acids) to enhance the genetic algorithms (GAs) framework. In this paper, we formulate PSP as a combinatorial optimization problem that uses 3-D face-centered-cubic lattice coordinates to reduce the search space and hydrophobic-polar energy model to guide the search. The whole optimization process is controlled by an enhanced GA framework with four enhanced features: 1) an exhaustive generation approach to diversify the search; 2) a novel hydrophobic core-directed macro-mutation operator to intensify the search; 3) a per-generation duplication elimination strategy to prevent early convergence; and 4) a random-walk technique to recover from stagnation. On a set of standard benchmark proteins, our algorithm significantly outperforms state-of-the-art algorithms. We also experimentally show that our algorithm is robust enough to produce very similar results regardless of different parameter settings.
Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights

We analyze a generalization of the Discriminatory Processor Sharing (DPS)queue in a heavy-traffic setting. Customers present in the system are served simultaneously at rates controlled by a vector of weights. We assume phase-type distributed service requirements and allow that customers have different weights in various phases of their service. We establish a state-space collapse for the queue length vector in heavy traffic. The result shows that in the limit, the queue length vector is the product of an exponentially distributed random variable and a deterministic vector. This generalizes a previous result by [2] who considered a DPS queue with exponentially distributed service requirements. We finally discuss some implications for residual service requirements and monotonicity properties in the ordinary DPS model.
1 The Poverty Impact of Rural Roads : Evidence from Bangladesh 1

The rationale for public investment in rural roads is that households can better exploit agricultural and non-agricultural opportunities to employ labor and capital more efficiently. But significant knowledge gaps remain as to how opportunities provided by roads actually filter back into household outcomes and their distributional consequences. This paper examines the impacts of rural road projects using household-level panel data from Bangladesh. Rural road investments are found to reduce poverty significantly through higher agricultural production, higher wages, lower input and transportation costs, and higher output prices. Rural roads also lead to higher girls’ and boys’ schooling. Road investments are pro-poor, meaning the gains are proportionately higher for the poor than for the non-poor. World Bank Policy Research Working Paper 3875, April 2006 The Policy Research Working Paper Series disseminates the findings of work in progress to encourage the exchange of ideas about development issues. An objective of the series is to get the findings out quickly, even if the presentations are less than fully polished. The papers carry the names of the authors and should be cited accordingly. The findings, interpretations, and conclusions expressed in this paper are entirely those of the authors. They do not necessarily represent the view of the World Bank, its Executive Directors, or the countries they represent. Policy Research Working Papers are available online at http://econ.worldbank. org. 1 We would like to thank Gershon Feder and Robert Floyd for valuable comments and suggestions, as well as Hussain Samad for research assistance. WPS 3875 P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed P ub lic D is cl os ur e A ut ho riz ed
BER Minimization in Relay-Assisted OFDM Systems by Subcarrier Permutation

We consider relay-assisted communications from a source to a destination based on OFDM. The relay performs sub-carrier permutation by exploiting full channel state information (CSI), in addition to conventional amplify-and-forwarding. That is, the relay permutes the received signals over the subcarriers in the frequency domain, then amplifies and forwards the data to the destination. In this paper, we obtain optimal subcarrier permutations that minimize the uncoded BER for several relaying scenarios. From these insights, we develop a low-complexity ordering-based subcarrier permutation for the general relaying scenario. Simulations indicate that the proposed subcarrier permutation outperforms a random subcarrier permutation (where CSI is not exploited), and performs close to an optimal subcarrier permutation (which incurs a high complexity).
Types and higher-order recursion schemes for verification of higher-order programs

We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the model-checking problem for higher-order recursion schemes (HORS's). A program is transformed to an HORS that generates a tree representing all the possible event sequences of the program, and then the HORS is model-checked. Unlike most of the previous methods for verification of higher-order programs, our verification method is sound and complete. Moreover, this new verification framework allows a smooth integration of abstract model checking techniques into verification of higher-order programs. We also present a type-based verification algorithm for HORS's. The algorithm can deal with only a fragment of the properties expressed by modal mu-calculus, but the algorithm and its correctness proof are (arguably) much simpler than those of Ong's game-semantics-based algorithm. Moreover, while the HORS model checking problem is n-EXPTIME in general, our algorithm is linear in the size of HORS, under the assumption that the sizes of types and specification formulas are bounded by a constant.