Miracle-dz/UniFAR-FTUs huggingface dataset:
A BDD-based satisfiability infrastructure using the unate recursive paradigm

Binary Decision Diagrams have been widely used to solve the Boolean satisfiability (SAT) problem. The individual constraints can be represented using BDDs and the conjunction of all constraints provides all satisfying solutions. However, BDD-related SAT techniques suffer from size explosion problems. This paper presents two BDD-based algorithms to solve the SAT problem that attempt to contain the growth of BDD-size while identifying solutions quickly. The first algorithm, called BSAT, is a recursive, backtracking algorithm that uses an exhaustive search to find a SAT solution. The well known unate recursive paradigm is exploited to solve the SAT problem. The second algorithm is exploited to solve the SAT problem. The second algorithm, called INCOMPLETE-SEARCH-USAT (abbreviated IS-USAT), incorporates an incomplete search to find a solution. The search is incomplete inasmuch as it is restricted to only those regions that have a high likelihood of containing the solution, discarding the rest. Using our techniques we were able to find SAT solutions not only for all MCNC&ISCAS benchmarks, but also for a variety of industry standard designs.
Vitellogenesis in the Fruit Fly, Drosophila melanogaster: Antagonists Demonstrate that the PLC, IP3/DAG, PK-C Pathway is Triggered by Calmodulin

Abstract In Drosophila melanogaster M. (Diptera: Drosophilidae), a phospholipase-C to proteininase-C signal cascade leads to the endocytic uptake of yolk precursor molecules. The data suggest that D. melanogaster has a phospholipase-C/proteinkinase-C signaling pathway similar to that previously shown to be required for vitellogenesis in the milkweed bug, Oncopeltus fasciatus Dallas (Hemiptera: Lygaeidae). Calmodulin, derived from epithelial cells and transported to the oocytes via gap junctions, may trigger this pathway. To investigate this, a series of known antagonists to various elements of the pathway were used. W-7 (which prevents calmodulin binding to phospholipase-C), U-73122 (which prevents activation of phospholipase-C), verapamil (which blocks Ca2+ release by IP3), HAG (which blocks diacylglycerol), and staurosporine (which inactivates proteinkinase-C) were each shown to inhibit endocytosis, thereby blocking formation of nascent yolk spheres.
MEMBRANE DIFFERENTIATIONS IN FREEZE-FRACTURED MAMMALIAN SPERM

A correlated thin-sectioning and freeze-fracturing study has been made of guinea pig and rat spermatozoa. In sections, the cell membrane over the acrosome has a concanavalin A and ruthenium red reactive glycocalyx which exhibits an ordered pattern related to the lattice of crystalline domains within the plane of the membrane revealed by freeze-fracturing. The cleaved acrosomal membrane also shows a finer linear periodicity in some areas. The membrane over the equatorial segment of the guinea pig acrosome is marked by a palisade of oblique ridges not observed in the rat. The plasmalemma of the postacrosomal region is rich in membrane intercalated particles, many randomly dispersed, others clustered in rectilinear arrays. A particle-poor zone is found just anterior to the posterior ring. The fold of redundant nuclear envelope posterior to the ring has many nuclear pores in close hexagonal array. The nuclear envelope lining the implantation fossa is devoid of pores. When cleaved it has a particle-free central area surrounded by a broad zone of large, closely packed, hollow particles. The membrane of the mid-piece in the guinea pig (but not the rat) contains linear strands of 6–8-nm particles oriented circumferentially. The membrane investing the principal piece exhibits the usual randomly distributed particles but in addition, a double row of larger (9 nm) particles runs longitudinally within the membrane over outer dense fiber 1. In the corresponding position in thin sections a local thickening of the membrane is discernible. These observations form a basis for further studies on the functional correlates of these regional specializations of the sperm membrane.
Single-Image Super-Resolution via Adaptive Joint Kernel Regression

Single image super-resolution (SR) methods can be broadly categorized into three classes: interpolation-based methods, reconstruction-based methods [7], and example-based methods [2, 3, 6]. The reconstruction-based methods often incorporate prior knowledge to regularize the ill-posed problem. For example, Zhang et al. [7] assembled the Steering Kernel Regression [5] (SKR)-based local prior and Nonlocal Means [1] (NLM)based nonlocal prior. The example-based methods strongly rely on the chosen dictionary for satisfactory results. This paper focuses on learning good image priors and robust dictionaries for SR reconstruction. Among the extensively studied natural image priors, we choose to exploit the local structural regularity prior and nonlocal self-similarity prior in a coherent framework. We propose in this paper an Adaptive Joint Kernel Regression (AJKR)based prior to simultaneously exploit both image statistics. Our approach differs from others in several ways: 1) we combine a set of NLM-generalized local kernel regressors, which are more consistent with our nonlocal collaborative framework; 2) the proposed regional redundancy measure introduces higher-order statistics at the region level for each regression group, making the overall framework more adaptive (see Fig. 1(a)); and 3) an adaptive PCA-based dictionary learning scheme is adopted to bridge the gap of dictionaries learned online and offline by mixing them, and more importantly such a scheme together with its induced sparsity prior can adapt to the AJKR process in response to the regional redundancy measure (see the block diagram in Fig. 1(b)). The imaging model for SR (assume Y ∈ Rm is low resolution (LR) image, X ∈ Rn is high resolution (HR) image) is usually expressed as
Selective Status Reporting in Information Systems Projects: A Dyadic-Level Investigation

This study investigates selective reporting behaviors that are pursued by project managers when communicating the status of their information system initiatives to their executives. To understand the types, motivations, impacts, and antecedents of such behaviors, a message-exchange perspective is adopted and the prior literature on IS project status reporting is reviewed. This study incorporates an empirical investigation that examined the influence of five dyadic factors on selective reporting using a survey of 561 project managers. The findings of the study reveal a positive effect of reporting quality on project performance and indicate that a specific type of selective reporting behavior (optimistic biasing) has a degrading effect on reporting quality. Moreover, the findings show that all five antecedents have a significant influence on the propensity of project managers to report selectively. Specifically, the project executive's power, the project manager's trust in the executive, and the executive's quality of communication impact selective reporting directly; the executive's familiarity with the IS development process and the executive's organizational affiliation vis-a-vis that of the project manager have an indirect influence (it is mediated through other factors). The effects of each of these factors on the two types of selective reporting (optimistic and pessimistic biasing) are examined, and the implications of these findings for both researchers and managers are discussed in this article.
p53 as an independent prognostic marker in lymph node-negative breast cancer patients.

BACKGROUND At present, most decisions concerning the use of adjuvant therapy in lymph node-negative breast cancer patients are made on the basis of traditional factors such as tumor size, nodal status, and histopathologic features. However, prognostic factors are being investigated that could identify high-risk groups and that could better address treatment efforts for those patients. Identification of more accurate prognostic markers, such as the expression of the mutant p53 protein encoded by the p53 (also known as TP53) tumor suppressor gene, that are reproducible, easily assessable, and independent in predicting clinical outcome would have a beneficial impact on cancer treatment decisions. PURPOSE Our purpose was to analyze the predictive relevance of mutant p53 protein expression on 6-year relapse-free and overall survival in node-negative breast cancer patients in relation to menopausal status, tumor size, cell kinetics, and estrogen receptor status. METHODS Expression of mutant p53 protein was detected by an immunohistochemical technique using a 1:50 dilution of PAb1801 monoclonal antibody on paraffin-embedded tumor specimens obtained from 256 axillary lymph node-negative breast cancer patients, with long-term follow-up (median, 72 months). The [3H]thymidine labeling index, a measure of cell kinetics, was evaluated on histologic sections after fresh tumor tissue was labeled with [3H]thymidine. Estrogen receptor status was determined by the dextran-coated charcoal absorption technique. Statistical comparisons were made for levels of p53 protein expression, [3H]thymidine labeling index, estrogen receptor status, tumor size, and menopausal status with respect to 6-year relapse-free survival and overall survival. RESULTS Overexpression of the p53 protein, defined as the presence of more than 5% positive cells, was detected in 113 (44%) of 256 tumors. Odds ratios (ORs) for multiple regression analysis of 6-year relapse-free survival were significantly higher for p53 (OR = 3.24; 95% confidence limits [CL] = 2.01-5.23) and [3H]thymidine labeling index (OR = 1.92; 95% CL = 1.19-3.12), both of which appeared to be the most relevant indicators of relapse, than for tumor size (OR = 1.49; 95% CL = 0.94-2.38) and estrogen receptor status (OR = 0.91; 95% CL = 0.55-1.51). Overexpression was found to be unrelated to menopausal status. CONCLUSIONS Immunohistochemically detected p53 overexpression is an independent marker for shortened 6-year relapse-free and overall survival in node-negative patients with resectable breast cancers. Based on these findings, p53 overexpression should be used with other established prognostic factors, such as [3H]thymidine labeling index and estrogen receptor status, to further refine the prognostic assessment of node-negative breast cancer.
Fructose Metabolism and Relation to Atherosclerosis, Type 2 Diabetes, and Obesity

A high intake of sugars has been linked to diet-induced health problems. The fructose content in sugars consumed may also affect health, although the extent to which fructose has a particularly significant negative impact on health remains controversial. The aim of this narrative review is to describe the body's fructose management and to discuss the role of fructose as a risk factor for atherosclerosis, type 2 diabetes, and obesity. Despite some positive effects of fructose, such as high relative sweetness, high thermogenic effect, and low glycaemic index, a high intake of fructose, particularly when combined with glucose, can, to a larger extent than a similar glucose intake, lead to metabolic changes in the liver. Increased de novo lipogenesis (DNL), and thus altered blood lipid profile, seems to be the most prominent change. More studies with realistic consumption levels of fructose are needed, but current literature does not indicate that a normal consumption of fructose (approximately 50–60 g/day) increases the risk of atherosclerosis, type 2 diabetes, or obesity more than consumption of other sugars. However, a high intake of fructose, particularly if combined with a high energy intake in the form of glucose/starch, may have negative health effects via DNL.
COMPARATIVE ANALYSIS OF THE CONCENTRATION OF INJECTED HORSERADISH PEROXIDASE IN CYTOPLASMIC GRANULES OF THE KIDNEY CORTEX, IN THE BLOOD, URINE, AND LIVER

The concentration of horseradish peroxidase in total particulate fractions from the kidney cortex did not change much during the first few hours after injection, as long as most of the injected protein was not yet cleared from the blood. It decreased at a rate of 6–8% per hr afterwards. The concentration of peroxidase in total particulate fractions increased in proportion to the load (dose) over a wide range, suggesting that a constant fraction of the protein was reabsorbed by micropinocytic vesicles into the tubule cells from the glomerular filtrate. The amount of peroxidase excreted in the urine also increased in proportion to the injected dose. The proportion of peroxidase taken up by the liver, however, decreased several times when the dose was increased. A marked decrease of protein uptake into the kidney cortex and an increase of urinary excretion were observed when rats received a second, equal dose of peroxidase 4 hr after the first injection, and the rate of clearance of peroxidase from the blood was decreased after the second injection. The liver, on the other hand, took up almost twice as much peroxidase after two injections as after one. The uptake of peroxidase by the kidney cortex increased with age. Cytochemical observations on the preferential absorption of peroxidase by certain cell types and segments of the renal tubules in relation to dose are reported.
Adrenomedullin reduces mesangial cell number and glomerular inflammation in experimental mesangioproliferative glomerulonephritis.

BACKGROUND Adrenomedullin (ADM) is a vasodilator peptide that is abundantly expressed in the kidney. ADM has antiproliferative effects on glomerular mesangial cells (MC) in vitro. Whether or not treatment with ADM can reduce MC proliferation in vivo [i.e., in mesangioproliferative glomerulonephritis (GN)] is unknown. We tested the hypothesis that ADM substitution reduces MC proliferation in GN. METHODS GN in rats was induced by injection of an anti-Thy-1.1 antibody. Rats received osmotic minipumps, which continuously delivered rat ADM (500 ng/hour, N = 11), or vehicle (N = 13) from day 3 to day 6 after GN induction. Rats were sacrificed 6 days after induction of GN. On kidney sections, cells staining positive for proliferating cell nuclear antigen, mesangial cells, monocytes, and apoptotic cells were counted. Parameters of inflammation and fibrosis were measured in renal cortex and sieved glomeruli by real-time polymerase chain reaction (PCR). RESULTS Systolic blood pressure, diuresis, albuminuria, creatinine clearance, microaneurysm formation, and mesangial matrix expansion were not influenced by ADM infusion. However, ADM treatment significantly reduced the number of MC, showed a tendency to reduce total glomerular cell proliferation, and significantly increased apoptosis. ADM-treated GN animals showed significantly less glomerular monocyte infiltration. ADM treatment normalized transforming growth factor (TGF)-beta1 mRNA expression and reduced monocyte chemoattractant protein-1 (MCP-1), osteopontin, plasminogen activator inhibitor-1 (PAI-1), collagen I, and collagen III mRNA expression significantly. CONCLUSION Exogenous ADM infusion reduces MC number and glomerular monocyte infiltration in the state of mesangial proliferation during acute experimental mesangioproliferative GN. These findings indicate that ADM can influence the course of mesangioproliferative GN.
Testing and Learning on Distributions with Symmetric Noise Invariance

Kernel embeddings of distributions and the Maximum Mean Discrepancy (MMD), the resulting distance between distributions, are useful tools for fully nonparametric two-sample testing and learning on distributions. However, it is rarely that all possible differences between samples are of interest -- discovered differences can be due to different types of measurement noise, data collection artefacts or other irrelevant sources of variability. We propose distances between distributions which encode invariance to additive symmetric noise, aimed at testing whether the assumed true underlying processes differ. Moreover, we construct invariant features of distributions, leading to learning algorithms robust to the impairment of the input distributions with symmetric additive noise.
Fractional-N PLL synthesizer with 15µsec start-up time by on-chip nonvolatile memory

We propose a fractional-N PLL synthesizer with 15µsec start-up time featuring an open-loop VCO capacitor coarse setting and subsequent VCO control voltage setting technique with a nonvolatile memory, which can eliminate the frequency detection and VCO coarse tuning sequence used in conventional start-up acceleration techniques. The on-chip nonvolatile memory fabricated in a standard CMOS technology stores the predetermined calibration data to overcome the process variations in VCO capacitors and varactors. A prototype PLL is designed in a standard 0. 18µm CMOS technology with die size of 950µm x 515µm and 10.4% area overhead of the acceleration circuits, and presents the measured start-up time of 14. 6µsec.
The Impact of HIV/AIDS on Government Finance and Public Services

HIV/AIDS is a serious challenge to economic development. Increasing mortality and morbidity reduce living standards directly and have repercussions that affect all areas of the economy. Individuals and households face increasing risks, both directly through the risk of infection, and indirectly as formal and informal social insurance mechanisms are eroded. Companies face productivity losses and increasing costs of medical and death-related benefits. At the macroeconomic level, economic growth declines as the population grows more slowly and as reduced national saving, rising costs, and declining economic prospects deter investment.1 Against this background, this chapter examines the implications of HIV/AIDS for government finance and public services. In countries afflicted by HIV/AIDS epidemics, governments’ capacities are diminished by increasing mortality, and domestic revenue slows, even as the demand for certain government services, most notably in the health sector, expands.2 Along these lines, this chapter will address three broad questions:
The herbal medicine sho-saiko-to inhibits proliferation of cancer cell lines by inducing apoptosis and arrest at the G0/G1 phase.

Water-soluble ingredients of the herbal medicine sho-saiko-to dose-dependently inhibited the proliferation of a human hepatocellular carcinoma cell line (KIM-1) and a cholangiocarcinoma cell line (KMC-1). Fifty % effective doses on day 3 of exposure to sho-saiko-to were 353.5 +/- 32.4 micrograms/ml for KIM-1 and 236.3 +/- 26.5 micrograms/ml for KMC-1. However, almost no suppressive effects were detected in normal human peripheral blood lymphocytes or normal rat hepatocytes. Sho-saiko-to suppressed the proliferation of the carcinoma cell lines significantly more strongly than did each of its major ingredients, i.e., saikosaponin a, c, and d, ginsenoside Rb1 and Rg1, glycyrrhizin, baicalin, baicalein, and wogonin, or another herbal medicine, juzen-taiho-to (P < 0.05 or 0.005). Because such ingredients are barely soluble in water, there could be synergistic or additive effects of the ingredients in sho-saiko-to. Morphological, DNA, and cell cycle analyses revealed two possible modes of action of sho-saiko-to to suppress the proliferation of carcinoma cells; (a) it induces apoptosis in the early period of exposure and (b) it induces arrest at the G0/G1 phase in the late period of exposure.
Auditory Working Memory Span of Children with (Central) Auditory Processing Disorders and Normal Children Aged 8 to 10 Years

Background : The aim of the present study was to assess the auditory working memory span of children with (central) auditory processing disorders (C) APD aged 8 to 10 years and to compare the results with normal ones. Methods: Twenty five children with (Central) Auditory Processing Disorders (8-10 years) and 75 normal children (8-10 years) from both genders participated in this comparative study. Participants were chosen by convenient sampling method to assess their auditory working memory (WM) span. Forward digit span, backward digit span and non-word repetition tests were used to evaluate the WM span. Nonparametric statistics (Mann–Whitney U) were used for comparing group differences. Results: Forward digit and backward digit and non-word repetition tests showed significant differences in mean scores between those with (C) APD and normal children (p˂0.001). Conclusion: The results suggest that (C) APD children have poorer performance in the WM span than the age matched controls.
Repeated Cocaine Self-Administration Alters Processing of Cocaine-Related Information in Rat Prefrontal Cortex

One of the core symptoms of cocaine addiction is compulsive drug-seeking behavior. Although the precise neural substrates are unknown, it has been hypothesized that this behavior involves cocaine-induced hypofunction of the prefrontal cortex (PFC) or “hypofrontality. ” To test this hypothesis, PFC neuronal activity was monitored in rats during ∼3 weeks of cocaine self-administration (SA). Rats were trained to press a lever to self-administer cocaine in daily 2 h sessions. Responding was reinforced contingent on a modified fixed-ratio 5 schedule of reinforcement. In the first SA session, the overall firing rate and burst rate were significantly decreased after cocaine infusions relative to the period immediately before the session. These effects disappeared after ≥10 d of drug SA and were replaced by a significant increase in burst duration and firing rate within a burst. Notably, however, the level of basal activity before the first drug infusion of each SA session decreased significantly after multiple weeks of cocaine exposure. Collectively, these data support the view that although repeated sessions of cocaine SA decrease basal PFC activity, increased burst-related firing in response to cocaine infusions suggests that processing of cocaine-related information is enhanced and may contribute to increased control by cocaine over cocaine-seeking behavior.
Enhancements of T-REFWA to mitigate link error-related degradations in hybrid wired/wireless networks

With the on-going wireless access technologies, the Internet has become accessible anytime anywhere. In wireless networks, link errors significantly degrade the performance of the transmission control protocol (TCP). To cope with this issue, this paper improves the recently-proposed terrestrial REFWA (T-REFWA) scheme by adding a new error recovery mechanism to its original design. In the T-REFWA scheme, senders are acknowledged with appropriate sending rates at which an efficient and fair utilization of network resources can be achieved. As the feedback values are computed independently of link errors, senders can keep transmitting data at high rates even in case of link error occurrences. Using this feature, the proposed error recovery mechanism can achieve high throughput in environments with high bit error rates. The throughput is further improved by disabling the exponential backoff algorithm of TCP so that long idle times are avoided in case of link errors. We show through simulations that the proposed method improves TCP performance in high bit error rates. Compared with several TCP variants, the proposed error recovery scheme exhibits higher link utilization and guarantees system fairness for different bit error rates.