Miracle-dz/UniFAR-FTUs huggingface dataset:
Universal-stability results and performance bounds for greedy contention-resolution protocols

In this paper, we analyze the behavior of packet-switched communication networks in which packets arrive dynamically at the nodes and are routed in discrete time steps across the edges. We focus on a basic adversarial model of packet arrival and path determination for which the time-averaged arrival rate of packets requiring the use of any edge is limited to be less than 1. This model can reflect the behavior of connection-oriented networks with transient connections (such as ATM networks) as well as connectionless networks (such as the Internet). We concentrate on greedy (also known as work-conserving) contention-resolution protocols. A crucial issue that arises in such a setting is that of stability—will the number of packets in the system remain bounded, as the system runs for an arbitrarily long period of time? We study the universal stability of network (i.e., stability under all greedy protocols) and universal stability of protocols (i.e., stability in all networks). Once the stability of a system is granted, we focus on the two main parameters that characterize its performance: maximum queue size required and maximum end-to-end delay experienced by any packet. Among other things, we show: (i) There exist simple greedy protocols that are stable for all networks. (ii) There exist other commonly used protocols (such as FIFO) and networks (such as arrays and hypercubes) that are not stable. (iii) The n-node ring is stable for all greedy routing protocols (with maximum queue-size and packet delay that is linear in n). (iv) There exists a simple distributed randomized greedy protocol that is stable for all networks and requires only polynomial queue size and polynomial delay.Our results resolve several questions posed by Borodin et al., and provide the first examples of (i) a protocol that is stable for all networks, and (ii) a protocol that is not stable for all networks.
On the Capacity of Multiple Access Channels with State Information and Feedback

In this paper, the multiple access channel (MAC) with channel state is analyzed in a scenario where a) the channel state is known non-causally to the transmitters and b) there is perfect causal feedback from the receiver to the transmitters. An achievable region and an outer bound are found for a discrete memoryless MAC that extend existing results, bringing together ideas from the two separate domains of MAC with state and MAC with feedback. Although this achievable region does not match the outer bound in general, special cases where they meet are identified. In the case of a Gaussian MAC, a specialized achievable region is found by using a combination of dirty paper coding and a generalization of the Schalkwijk-Kailath, Ozarow and Merhav-Weissman schemes, and this region is found to be capacity achieving. Specifically, it is shown that additive Gaussian interference that is known non-causally to the transmitter causes no loss in capacity for the Gaussian MAC with feedback.
Expression Patterns of Cancer-Testis Antigens in Human Embryonic Stem Cells and Their Cell Derivatives Indicate Lineage Tracks

Pluripotent stem cells can differentiate into various lineages but undergo genetic and epigenetic changes during long-term cultivation and, therefore, require regular monitoring. The expression patterns of cancer-testis antigens (CTAs) MAGE-A2, -A3, -A4, -A6, -A8, -B2, and GAGE were examined in undifferentiated human embryonic stem (hES) cells, their differentiated derivatives, teratocarcinoma (hEC) cells, and cancer cell lines of neuroectodermal and mesodermal origin. Undifferentiated hES cells and embryoid body cells expressed MAGE-A3, -A6, -A4, -A8, and GAGEs while later differentiated derivatives expressed only MAGE-A8 or MAGE-A4. Likewise, mouse pluripotent stem cells also express CTAs of Magea but not Mageb family. Despite similarity of the hES and hEC cell expression patterns, MAGE-A2 and MAGE-B2 were detected only in hEC cells but not in hES cells. Moreover, our analysis has shown that CTAs are aberrantly expressed in cancer cell lines and display low tissue specificity. The identification of CTA expression patterns in pluripotent stem cells and their derivatives may be useful for isolation of abnormally CTA-expressing cells to improve the safety of stem-cell based therapy.
A fuzzy ANP-based approach to R&D project selection: A case study

Research and development (R&D) project selection is a complex decision-making process. It involves a search of the environment of opportunities, the generation of project options, and the evaluation by different stakeholders of multiple attributes, both qualitative and quantitative. Qualitative attributes are often accompanied by certain ambiguities and vagueness because of the dissimilar perceptions of organizational goals among pluralistic stakeholders, bureaucracy and the functional specialization of organizational members. Such differences in perceptions often hinder the attainment of consensus and coordination. Therefore, failures are frequent in R&D investment planning. To perceive the preferences of the various stakeholders and to map them into an analytical decision-making framework are challenging tasks. Further, risks and uncertainties are also associated with the investments and returns of R&D projects. This paper illustrates an application of fuzzy ANP (analytic network process) along with fuzzy cost analysis in selecting R&D projects. Fuzzy set theory is incorporated to overcome the vagueness in the preferences. The method adopted uses triangular fuzzy numbers for pair-wise comparison and applies extent analysis followed by defuzzification to determine the weights for various attributes.
Comparison of oxaliplatin‐ and curcumin‐mediated antiproliferative effects in colorectal cell lines

Colorectal cancer remains a leading cause of cancer death worldwide, despite markedly improved response rates to current systemic therapies. Oxaliplatin either alone or incorporated into 5‐fluorouracil/leucovorin regimes has resulted in increased survival rates, particularly with regards to metastatic colorectal carcinoma. The chemopreventive polyphenol curcumin, which is currently in clinical trial, has been advocated for use in colorectal cancer either singly or in combination with chemotherapeutic drugs. In this study, the antiproliferative capacity of both compounds was compared in HCEC (normal‐derived), HT29 (p53 mutant adenocarcinoma) and HCT116 (p53wt adenocarcinoma) colorectal cell lines to determine whether effects were cell‐type specific at pharmacologically achievable doses, and whether the combination resulted in enhanced efficacy. Both oxaliplatin and curcumin displayed marked antiproliferative capacity at therapeutic concentrations in the two tumor cell lines. Order of sensitivity to oxaliplatin was HCT116>HT29>HCEC, whereas order of sensitivity to curcumin was HT29>HCT116>HCEC. HCT116 cells underwent induction of G2/M arrest in response to both oxaliplatin (irreversible) and curcumin (reversible). Apoptosis was induced by both agents, and up to 16‐fold induction of p53 protein was observed in response to the combination. Antiproliferative effects in HT29 cells were largely cell cycle independent, and were mediated by induction of apoptosis. Effects were greatly enhanced in both cell lines when agents were combined. This study provides further evidence that curcumin may be of use in therapeutic regimes directed against colorectal cancer, and suggests that in combination with oxaliplatin it may enhance efficacy of the latter in both p53wt and p53 mutant colorectal tumors. © 2007 Wiley‐Liss, Inc.
Preclinical Testing Oncolytic Vaccinia Virus Strain GLV-5b451 Expressing an Anti-VEGF Single-Chain Antibody for Canine Cancer Therapy

Virotherapy on the basis of oncolytic vaccinia virus (VACV) strains is a novel approach for canine cancer therapy. Here we describe, for the first time, the characterization and the use of VACV strain GLV-5b451 expressing the anti-vascular endothelial growth factor (VEGF) single-chain antibody (scAb) GLAF-2 as therapeutic agent against different canine cancers. Cell culture data demonstrated that GLV-5b451 efficiently infected and destroyed all four tested canine cancer cell lines including: mammary carcinoma (MTH52c), mammary adenoma (ZMTH3), prostate carcinoma (CT1258), and soft tissue sarcoma (STSA-1). The GLV-5b451 virus-mediated production of GLAF-2 antibody was observed in all four cancer cell lines. In addition, this antibody specifically recognized canine VEGF. Finally, in canine soft tissue sarcoma (CSTS) xenografted mice, a single systemic administration of GLV-5b451 was found to be safe and led to anti-tumor effects resulting in the significant reduction and substantial long-term inhibition of tumor growth. A CD31-based immuno-staining showed significantly decreased neo-angiogenesis in GLV-5b451-treated tumors compared to the controls. In summary, these findings indicate that GLV-5b451 has potential for use as a therapeutic agent in the treatment of CSTS.
Effect of Sodium‐Glucose Cotransport‐2 Inhibitors on Blood Pressure in People With Type 2 Diabetes Mellitus: A Systematic Review and Meta‐Analysis of 43 Randomized Control Trials With 22 528 Patients

Background The sodium‐glucose cotransporter 2 (SGLT2) inhibitors are a class of oral hypoglycemic agents. We undertake a systematic review and meta‐analysis of prospective studies to determine the effect of SGLT2 on blood pressure (BP) among individuals with type 2 diabetes mellitus. Methods and Results PubMed‐Medline, Web of Science, Cochrane Database, and Google Scholar databases were searched to identify trial registries evaluating the impact of SGLT2 on BP. Random‐effects models meta‐analysis was used for quantitative data synthesis. The meta‐analysis indicated a significant reduction in systolic BP following treatment with SGLT2 (weighted mean difference −2.46 mm Hg [95% CI −2.86 to −2.06]). The weighted mean differences for the effect on diastolic BP was −1.46 mm Hg (95% CI −1.82 to −1.09). In these subjects the weighted mean difference effects on serum triglycerides and total cholesterol were −2.08 mg/dL (95% CI −2.51 to −1.64) and 0.77 mg/dL (95% CI 0.33‐1.21), respectively. The weighted mean differences for the effect of SGLT2 on body weight was −1.88 kg (95% CI −2.11 to −1.66) across all studies. These findings were robust in sensitivity analyses. Conclusions Treatment with SGLT2 glucose cotransporter inhibitors therefore has beneficial off‐target effects on BP in patients with type 2 diabetes mellitus and may also be of value in improving other cardiometabolic parameters including lipid profile and body weight in addition to their expected effects on glycemic control. However, our findings should be interpreted with consideration for the moderate statistical heterogeneity across the included studies.
Saturation numbers for families of Ramsey-minimal graphs

Given a family of graphs F , a graph G is F-saturated if no element of F is a subgraph of G, but for any edge e in G, some element of F is a subgraph of G + e. Let sat(n,F) denote the minimum number of edges in an F -saturated graph of order n. For graphs G,H1, . , Hk, we write that G → (H1, . . . , Hk) if every k-coloring of E(G) contains a monochromatic copy of Hi in color i for some i. A graph G is (H1, . . . , Hk)-Ramsey-minimal if G → (H1, . . . , Hk) but for any e ∈ G, (G − e) 6→ (H1, . . . , Hk). Let Rmin(H1, . . . , Hk) denote the family of (H1, . . . , Hk)-Ramseyminimal graphs. In 1987, Hanson and Toft conjectured that
Ipsilateral cortical connections of dorsal and ventral premotor areas in New World owl monkeys

In order to compare connections of premotor cortical areas of New World monkeys with those of Old World macaque monkeys and prosimian galagos, we placed injections of fluorescent tracers and wheat germ agglutinin‐horseradish peroxidase (WGA‐HRP) in dorsal (PMD) and ventral (PMV) premotor areas of owl monkeys. Motor areas and injection sites were defined by patterns of movements electrically evoked from the cortex with microelectrodes. Labeled neurons and axon terminals were located in brain sections cut either in the coronal plane or parallel to the surface of flattened cortex, and they related to architectonically and electrophysiologically defined cortical areas. Both the PMV and PMD had connections with the primary motor cortex (M1), the supplementary motor area (SMA), cingulate motor areas, somatosensory areas S2 and PV, and the posterior parietal cortex. Only the PMV had connections with somatosensory areas 3a, 1, 2, PR, and PV. The PMD received inputs from more caudal portions of the cortex of the lateral sulcus and more medial portions of the posterior parietal cortex than the PMV. The PMD and PMV were only weakly interconnected. New World owl monkeys, Old World macaque monkeys, and galagos share a number of PMV and PMD connections, suggesting preservation of a common sensorimotor network from early primates. Comparisons of PMD and PMV connectivity with the cortex of the lateral sulcus and posterior parietal cortex of owl monkeys, galagos, and macaques help identify areas that could be homologous. J. Comp. Neurol. 495:691–708, 2006. © 2006 Wiley‐Liss, Inc.
Person Identification Using Anthropometric and Gait Data from Kinect Sensor

Uniquely identifying individuals using anthropometric and gait data allows for passive biometric systems, where cooperation from the subjects being identified is not required. In this paper, we report on experiments using a novel data set composed of 140 individuals walking in front of a Microsoft Kinect sensor. We provide a methodology to extract anthropometric and gait features from this data and show results of applying different machine learning algorithms on subject identification tasks. Focusing on KNN classifiers, we discuss how accuracy varies in different settings, including number of individuals in a gallery, types of attributes used and number of considered neighbors. Finally, we compare the obtained results with other results in the literature, showing that our approach has comparable accuracy for large galleries.
CONTRASTING PATTERNS OF HERITABLE GEOGRAPHIC VARIATION IN SHELL MORPHOLOGY AND GROWTH POTENTIAL IN THE MARINE GASTROPOD BEMBICIUM VITTATUM: EVIDENCE FROM FIELD EXPERIMENTS

Similar phenotypes do not always imply similar genotypes. In species distributed over a broad latitudinal range, geographical variation in morphological and life‐history traits may reflect very different relations between genotypic and environmental effects on these traits. Patterns of selection among latitudinally separated sites may minimize phenotypic differences in life‐history traits but promote phenotypic differences in form. Thus, for example, latitudinal variation in temperature often leads to genetically based metabolic differences that minimize differences in growth rate among populations at different latitudes (countergradient variation). However, variation in habitat experienced by the same populations may promote genetically based differences in shell form (cogradient variation). Few attempts have been made to assess simultaneously such mosaic effects of natural selection on the genetic basis of variation in both morphological and life‐history traits among geographically separated populations. I quantified the extent to which widely separated populations of the rocky shore marine gastropod Bembicium vittatum exhibited genetic differences in shell shape, shell pattern, and growth rate. Bembicium vittatum occurs naturally at only three widely separated locations on the Western Australian coast. Individuals were transplanted from all three locations to a latitudinally intermediate site, where they were released in different pairwise combinations and allowed to reproduce. F1 offspring from crosses between same‐ or different‐source parents were identified using allozyme markers. When grown in a common environment, offspring from same‐source parents exhibited similar differences in shell shape and pattern, but dramatic differences in growth rates, compared to native populations. Genetic variation therefore exists for all three traits. Growth rates in the common environment were positively correlated with latitude of the source population, confirming the existence of countergradient variation for growth associated with metabolic compensation. In addition, for both shell shape and growth rate, hybrids exhibited phenotypes roughly midway between the same‐source parents, suggesting that genetic differences have a large additive component. In contrast, when one parent had pigmented spots, the offspring also had spots, suggesting a strong dominance component to the genetic basis of shell pattern. Genetic differences therefore yield different morphological phenotypes but similar life‐history phenotypes, among latitudinally distant populations, and confirm a pattern of mosaic evolution in B. vittatum.
Racetrack Inflation and Cosmic Strings

We consider the coupling of racetrack inflation to matter fields as realised in the D3/D7 brane system. In particular, we investigate the possibility of cosmic string formation in this system. We find that string formation before or at the onset of racetrack inflation is possible, but they are then inflated away. Furthermore, string formation at the end of inflation is prevented by the presence of the moduli sector. As a consequence, no strings survive racetrack inflation.
Approximating Attractors of Boolean Networks by Iterative CTL Model Checking

This paper introduces the notion of approximating asynchronous attractors of Boolean networks by minimal trap spaces. We define three criteria for determining the quality of an approximation: “faithfulness” which requires that the oscillating variables of all attractors in a trap space correspond to their dimensions, “univocality” which requires that there is a unique attractor in each trap space, and “completeness” which requires that there are no attractors outside of a given set of trap spaces. Each is a reachability property for which we give equivalent model checking queries. Whereas faithfulness and univocality can be decided by model checking the corresponding subnetworks, the naive query for completeness must be evaluated on the full state space. Our main result is an alternative approach which is based on the iterative refinement of an initially poor approximation. The algorithm detects so-called autonomous sets in the interaction graph, variables that contain all their regulators, and considers their intersection and extension in order to perform model checking on the smallest possible state spaces. A benchmark, in which we apply the algorithm to 18 published Boolean networks, is given. In each case, the minimal trap spaces are faithful, univocal, and complete, which suggests that they are in general good approximations for the asymptotics of Boolean networks.
Phonological Grammar Shapes the Auditory Cortex: A Functional Magnetic Resonance Imaging Study

Languages differ depending on the set of basic sounds they use (the inventory of consonants and vowels) and on the way in which these sounds can be combined to make up words and phrases (phonological grammar). Previous research has shown that our inventory of consonants and vowels affects the way in which our brains decode foreign sounds (Goto, 1971; Näätänen et al., 1997; Kuhl, 2000). Here, we show that phonological grammar has an equally potent effect. We build on previous research, which shows that stimuli that are phonologically ungrammatical are assimilated to the closest grammatical form in the language (Dupoux et al., 1999). In a cross-linguistic design using French and Japanese participants and a fast event-related functional magnetic resonance imaging (fMRI) paradigm, we show that phonological grammar involves the left superior temporal and the left anterior supramarginal gyri, two regions previously associated with the processing of human vocal sounds.
Crystal Structure of the Cytoplasmic Phosphatase and Tensin Homolog (PTEN)-like Region of Ciona intestinalis Voltage-sensing Phosphatase Provides Insight into Substrate Specificity and Redox Regulation of the Phosphoinositide Phosphatase Activity*

Ciona intestinalis voltage-sensing phosphatase (Ci-VSP) has a transmembrane voltage sensor domain and a cytoplasmic region sharing similarity to the phosphatase and tensin homolog (PTEN). It dephosphorylates phosphatidylinositol 4,5-bisphosphate and phosphatidylinositol 3,4,5-trisphosphate upon membrane depolarization. The cytoplasmic region is composed of a phosphatase domain and a putative membrane interaction domain, C2. Here we determined the crystal structures of the Ci-VSP cytoplasmic region in three distinct constructs, wild-type (248–576), wild-type (236–576), and G365A mutant (248–576). The crystal structure of WT-236 and G365A-248 had the disulfide bond between the catalytic residue Cys-363 and the adjacent residue Cys-310. On the other hand, the disulfide bond was not present in the crystal structure of WT-248. These suggest the possibility that Ci-VSP is regulated by reactive oxygen species as found in PTEN. These structures also revealed that the conformation of the TI loop in the active site of the Ci-VSP cytoplasmic region was distinct from the corresponding region of PTEN; Ci-VSP has glutamic acid (Glu-411) in the TI loop, orienting toward the center of active site pocket. Mutation of Glu-411 led to acquirement of increased activity toward phosphatidylinositol 3,5-bisphosphate, suggesting that this site is required for determining substrate specificity. Our results provide the basic information of the enzymatic mechanism of Ci-VSP.
The Effect of TCP Variants on the Coexistence of MMORPG and Best-Effort Traffic

Massive Multiplayer Online Role Playing Games (MMORPGs) have been reported as real-time applications using TCP. This surprising fact makes it interesting to study their behavior when sharing a link with other TCP flows. In this paper the coexistence of an MMORPG flow and an FTP background application is studied. A network scenario which fits an access network is simulated with NS2, using synthetic traffic of a game, generated according to a statistical model. The FTP background application uses different TCP variants. The results show that TCP Vegas is able to maintain a constant rate while competing with the traffic of the game, since it prevents packet loss and high queuing delays by avoiding the increase of the sending window size. In contrast, TCP SACK and TCP New Reno tend to indefinitely increase their window size, thus causing packet loss and adding undesired delays to the game traffic. Finally, small buffers have been proved to be more convenient when dealing with real-time applications, since big ones add higher delays.
The innervation of the muscle spindle: a personal history

I present a brief review of current understanding of the innervation of the mammalian muscle spindle, from a personal historical perspective. The review begins with comparative studies on the numbers of spindle afferents and considers how their relative abundance may best be assessed. This is followed by an examination of the distribution and some functional properties of the motor innervation. The primary ending is the subject of the final section, in particular, I look at what can be learned from serial sectioning and volumetric reconstruction, and present new results on a model and simulations concerning sensory terminal deformation during stretch.