Miracle-dz/UniFAR-FTUs huggingface dataset:
Tabling with Sound Answer Subsumption

Abstract Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require an aggregation of those answers. Several works have studied efficient techniques, such as lattice-based answer subsumption and mode-directed tabling, to do so for various forms of aggregation. While much attention has been paid to expressivity and efficient implementation of the different approaches, soundness has not been considered. This paper shows that the different implementations indeed fail to produce least fixed points for some programs. As a remedy, we provide a formal framework that generalises the existing approaches and we establish a soundness criterion that explains for which programs the approach is sound.
Governing Social Marginality

Rapid growth of the US penal population over the last two decades has coincided with a decline in the number of welfare recipients. While shifts in crime rates, economic and political considerations most commonly account for variations in incarceration, we place the rise in incarceration levels in the institutional context of welfare state retrenchment. An analysis of state-level incarceration rates between 1975 and 1995 indicates that large penal systems are found in states with weak welfare systems. The negative relationship between welfare and incarceration grows over time, suggesting the emergence of a novel kind of penal-welfare regime in the late 1980s and 1990s. Although welfare state retrenchment is often interpreted as a kind of market deregulation, our analysis suggests that declining support for social welfare is part of a punitive policy development in which the state has a substantial and active role.
Significant Changes in the Levels of Secreted Cytokines in Brains of Experimental Antiphospholipid Syndrome Mice

Antiphospholipid syndrome (APS) is characterized by thromboses and neuropsychiatric manifestations possibly linked to brain inflammation. In order to examine the levels of proinflammatory and anti-inflammatory cytokines in experimental APS (eAPS) mice brains, we measured the levels of TNF-α, IFN-γ, and IL-10 in brain homogenates (cytosolic fractions) and in brain slices (secreted level) at 6, 15, and 24 weeks after immunization. We induced eAPS by immunization of Balb/c mice with β 2-glycoprotein I (β 2GPI), the major autoantigen in the disease and controls with adjuvant alone. We found increased levels of secreted TNF-α in eAPS mice for the entire experiment period. Cytosolic and secreted IL-10 and IFN-γ levels in eAPS mice were lower at 6 and 15 weeks and higher at 24 weeks after immunization. The results suggest that brain disease in APS is associated with significant and complex changes in proinflammatory and anti-inflammatory cytokines.
Probabilistic Interaction Network of Evidence Algorithm and its Application to Complete Labeling of Peak Lists from Protein NMR Spectroscopy

The process of assigning a finite set of tags or labels to a collection of observations, subject to side conditions, is notable for its computational complexity. This labeling paradigm is of theoretical and practical relevance to a wide range of biological applications, including the analysis of data from DNA microarrays, metabolomics experiments, and biomolecular nuclear magnetic resonance (NMR) spectroscopy. We present a novel algorithm, called Probabilistic Interaction Network of Evidence (PINE), that achieves robust, unsupervised probabilistic labeling of data. The computational core of PINE uses estimates of evidence derived from empirical distributions of previously observed data, along with consistency measures, to drive a fictitious system M with Hamiltonian H to a quasi-stationary state that produces probabilistic label assignments for relevant subsets of the data. We demonstrate the successful application of PINE to a key task in protein NMR spectroscopy: that of converting peak lists extracted from various NMR experiments into assignments associated with probabilities for their correctness. This application, called PINE-NMR, is available from a freely accessible computer server (http://pine.nmrfam.wisc.edu). The PINE-NMR server accepts as input the sequence of the protein plus user-specified combinations of data corresponding to an extensive list of NMR experiments; it provides as output a probabilistic assignment of NMR signals (chemical shifts) to sequence-specific backbone and aliphatic side chain atoms plus a probabilistic determination of the protein secondary structure. PINE-NMR can accommodate prior information about assignments or stable isotope labeling schemes. As part of the analysis, PINE-NMR identifies, verifies, and rectifies problems related to chemical shift referencing or erroneous input data. PINE-NMR achieves robust and consistent results that have been shown to be effective in subsequent steps of NMR structure determination.
Peripheral intrahepatic cholangiocarcinoma occurring in patients without cirrhosis or chronic bile duct diseases: epidemiology and histopathology of distant nontumoral liver in 57 White patients

Background/aim Peripheral intrahepatic cholangiocarcinoma (ICC) occurring mainly in the absence of cirrhosis represents an increasing subgroup of primary liver tumors in Western countries. Histopathologic changes in the non-neoplastic liver in this context are not well characterized. Patients and methods We assessed the clinical characteristics and histopathologic changes in the distant nontumoral liver of 57 consecutive White patients (34 men, mean age 59 years) referred to one medical and one surgical liver institution over a 16-year period who developed a peripheral ICC in the absence of cirrhosis or bile duct disease. Results High alcohol consumption was observed in 11 patients (20%), 38 patients (66%) had a BMI of 25 kg/m2 or more, 22 patients (40%) had diabetes, two patients had hepatitis B virus infection, two others had hepatitis C virus infection, three patients had genetic hemochromatosis, and two patients had cutaneous porphyria tarda. The distant nontumoral liver was normal in 10 patients (18%). The two main histopathologic changes observed were macrovesicular steatosis (>10% of hepatocytes) in 38 patients (66%), including 11 patients (19%) with steatohepatitis, and moderate or intense hepatocyte iron overload in 22 patients (38%). Conclusion This study shows a high prevalence of macrovesicular steatosis associated or not with steatohepatitis and iron overload in patients who develop peripheral ICC in the absence of cirrhosis or bile duct disease.
Lay conceptions of mental disorder: The folk psychiatry model

This article presents a theoretical model of laypeople's conceptions of mental disorder that is intended to serve as a basis for research and practice. This “folk psychiatry” model proposes that mental disorders, and other forms of psychological deviancy, are understood in terms of four underlying dimensions. Each dimension has a distinct cognitive underpinning, which is grounded in recent social psychological research and theory. Research evidence supporting the model is laid out, and implications of the model for public attitudes towards people suffering from mental disorders are discussed. The model offers a number of conceptual and practical advantages in an area where psychological theory has often been lacking.
Catecholaminergic connectivity to the inner ear, central auditory, and vocal motor circuitry in the plainfin midshipman fish porichthys notatus

Although the neuroanatomical distribution of catecholaminergic (CA) neurons has been well documented across all vertebrate classes, few studies have examined CA connectivity to physiologically and anatomically identified neural circuitry that controls behavior. The goal of this study was to characterize CA distribution in the brain and inner ear of the plainfin midshipman fish (Porichthys notatus) with particular emphasis on their relationship with anatomically labeled circuitry that both produces and encodes social acoustic signals in this species. Neurobiotin labeling of the main auditory end organ, the saccule, combined with tyrosine hydroxylase immunofluorescence (TH‐ir) revealed a strong CA innervation of both the peripheral and central auditory system. Diencephalic TH‐ir neurons in the periventricular posterior tuberculum, known to be dopaminergic, send ascending projections to the ventral telencephalon and prominent descending projections to vocal–acoustic integration sites, notably the hindbrain octavolateralis efferent nucleus, as well as onto the base of hair cells in the saccule via nerve VIII. Neurobiotin backfills of the vocal nerve in combination with TH‐ir revealed CA terminals on all components of the vocal pattern generator, which appears to largely originate from local TH‐ir neurons but may include input from diencephalic projections as well. This study provides strong neuroanatomical evidence that catecholamines are important modulators of both auditory and vocal circuitry and acoustic‐driven social behavior in midshipman fish. This demonstration of TH‐ir terminals in the main end organ of hearing in a nonmammalian vertebrate suggests a conserved and important anatomical and functional role for dopamine in normal audition. J. Comp. Neurol. 522:2887‐2927, 2014. © 2014 Wiley Periodicals, Inc.
Percepción de Amistad en Adolescentes: el Papel de las Redes Sociales

The purpose of this study was to understand the contribution of social networks to the perception of friendship among adolescents from two private schools. The research methodology was qualitative and hermeneutical, and focus group interviews served as the information collection strategy. Findings indicated that the construction of the concept of friendship is based on four categories: Empathy, Intimacy, Contribution to Personal Growth, and Unconditionality. Social networks were also found to help maintain relations of friendship mainly because they transcend spatiotemporal boundaries and contribute to the establishment of new friendships by facilitating communication when individuals lack social skills.
The role of transporters in the toxicity of nucleoside and nucleotide analogs

Introduction: Two families of nucleoside analogs have been developed to treat viral infections and cancer, but these compounds can cause tissue- and cell-specific toxicity related to their uptake and subcellular activity, which are dictated by host enzymes and transporters. Cellular uptake of these compounds requires nucleoside transporters that share functional similarities but differ in substrate specificity. Tissue-specific cellular expression of these transporters enables nucleoside analogs to produce their tissue-specific toxic effects, a limiting factor in the treatment of retroviruses and cancer. Areas covered: This review discusses the families of nucleoside transporters and how they mediate cellular uptake of nucleoside analogs. Specific focus is placed on examples of known cases of transporter-mediated cellular toxicity and classification of the toxicities resulting. Efflux transporters are also explored as a contributor to analog toxicity and cell-specific effects. Expert opinion: Efforts to modulate transporter uptake/clearance remain long-term goals of oncologists and virologists. Accordingly, subcellular approaches that either increase or decrease intracellular nucleoside analog concentrations are eagerly sought and include transporter inhibitors and targeting transporter expression. However, additional understanding of nucleoside transporter kinetics, tissue expression and genetic polymorphisms is required to design better molecules and better therapies.
What Do Successful Managers Really Do? An Observation Study of Managerial Activities

Rather than evaluate managers on the basis of activities traditionally prescribed for success, an observation study was conducted to determine empirically which activities successful managers actually perform. Trained participant observers recorded the behaviors of 52 managers in three diverse organizations-a state department of revenue, a medium-sized manufacturing plant, and a campus police department-over a two-week period. In analyzing the data collected, the authors measured success by using a promotion index of level over tenure and by considering the top managers of each organization to be successful. Regression analysis found that two activities were significantly related to managerial success: interaction with outsiders and socializing/politicking. Further comparative analysis of managers ranked in the top and bottom thirds indicated that successful managers exhibited more behaviors related to conflict management, and comparisons of top-level managers with those in the middle and first levels indicated that successful managers exhibited more behaviors related to decision making and planninglcoordinating. The study found that some of the activities of the successful managers apparently depended upon the type of organization in which they worked.
Ilkhanid Buddhism: Traces of a Passage in Eurasian History

Abstract Buddhism contributed to the culture and politics of thirteenth-century Eurasian intellectual exchange, depositing literary, artistic, and architectural traces subsequently eclipsed by layers of Islamic and Eurocentric history. Within extensive cross-continental networks of diplomatic and commercial activity, Ilkhanid Buddhism and the Buddhist revival of which it was a part drew serious attention among contemporary travelers, scholars, and statesmen including Ibn Taymiyah, Roger Bacon, and Rashid al-Din. This article argues that awareness of a Buddhist scholarly and political elite in the Muslim heartland, with its center at Tabriz, generated a historically significant Eurasian Buddhist discourse during a critical passage in the turn to modernity.
Modeling secondary organic aerosol formation through cloud processing of organic compounds

Interest in the potential formation of secondary organic aerosol (SOA) through reactions of organic compounds in condensed aqueous phases is growing. In this study, the potential formation of SOA from irreversible aqueous-phase reactions of organic species in clouds was investigated. A new proposed aqueous-phase chemistry mechanism (AqChem) is coupled with the existing gas-phase Caltech Atmospheric Chemistry Mechanism (CACM) and the Model to Predict the Multiphase Partitioning of Organics (MPMPO) that simulate SOA formation. AqChem treats irreversible organic reactions that lead mainly to the formation of carboxylic acids, which are usually less volatile than the corresponding aldehydic compounds. Zero-dimensional model simulations were performed for tropospheric conditions with clouds present for three consecutive hours per day. Zero-dimensional model simulations show that 48-h average SOA formation is increased by 27% for a rural scenario with strong monoterpene emissions and 7% for an urban scenario with strong emissions of aromatic compounds, respectively, when irreversible organic reactions in clouds are considered. AqChem was also incorporated into the Community Multiscale Air Quality Model (CMAQ) version 4.4 with CACM/MPMPO and applied to a previously studied photochemical episode (3–4 August 2004) focusing on the eastern United States. The CMAQ study indicates that the maximum contribution of SOA formation from irreversible reactions of organics in clouds is 0.28 μg m −3 for 24-h average concentrations and 0.60 μg m −3 for one-hour average concentrations at certain locations. On average, domain-wide surface SOA predictions for the episode are increased by 9% when irreversible, in-cloud processing of organics is considered. Because aldehydes of carbon number greater than four are assumed to convert fully to the corresponding carboxylic acids upon reaction with OH in cloud droplets and this assumption may overestimate carboxylic acid formation from this reaction route, the present study provides an upper bound estimate of SOA formation via this pathway.
Excellent results with the cemented Lubinus SP II 130-mm femoral stem at 10 years of follow-up

Background and purpose — The Lubinus SP II stem is well documented in both orthopedic registries and clinical studies. Worldwide, the most commonly used stem lengths are 150 mm and 170 mm. In 1995, the 130-mm stem was introduced, but no outcome data have been published. We assessed the long-term survival of the Lubinus SP II 130-mm stem in primary total hip arthroplasty. Patients and methods — In a retrospective cohort study, we evaluated 829 patients with a Lubinus SP II primary total hip arthroplasty (932 hips). The hips were implanted between 1996 and 2001. The primary endpoint was revision for any reason. The mean follow-up period was 10 (5–15) years. Results — Survival analysis showed an all-cause 10-year survival rate of the stem of 98.7% (95% CI: 99.7–97.7), and all-cause 10-year survival of the total hip arthroplasty was 98.3% (95% CI: 99.3–97.3). Interpretation — Excellent long-term results can be achieved with the cemented Lubinus SP II with the relatively short 130-mm stem. This stem has potential advantages over its 150-mm and 170-mm siblings such as bone preservation distal to the stem, better proximal filling around the prosthesis, and easier removal.
Happy People or Happy Places? A Multilevel Modeling Approach to the Analysis of Happiness and Well-Being

This article aims to add a regional science perspective and a geographical dimension to our understanding of substantive questions regarding self-reported happiness and well-being through the specification and use of multilevel models. Multilevel models are used with data from the British Household Panel Survey and the Census of UK population to assess the nature and extent of variations in happiness and well-being to determine the relative importance of the area (district, region), household, and individual characteristics on these outcomes. Having taken into account the characteristics at these different levels, we are able to determine whether any areas are associated with especially positive or negative feelings of happiness and well-being. Whilst we find that most of the variation in happiness and well-being is attributable to the individual level, some variation in these measures is also found at the household and area levels, especially for the measure of well-being, before we control for the full set of individual, household, and area characteristics. However, once we control for these characteristics, the variation in happiness and well-being is not found to be statistically significant between areas.
Cultural indicators: assessing the state of the arts in Australia

A proposal to develop a cultural indicators framework is currently underway in Australia. It aims to monitor the health of the sector and to enable international comparison. In the absence of a national cultural policy and in a context where all levels of government provide support for arts and culture, this ambition presents challenges. This article identifies public policy contexts within which the Australian draft framework was developed. It also considers some of the key issues involved in that process: the perceived need for a framework that represents the intrinsic and instrumental values of arts and cultural heritage; efforts to place artists and involvement at the centre of arts research and policy; and the scope for framing outcomes in terms of vitality, rather than emphasizing impacts.
The Impact of Attachment-Based Interventions on the Quality of Attachment Among Infants and Young Children

Introduction A key biologically-based task for infants and toddlers is developing attachment relationships with caregivers. The quality of attachment that children develop appears largely dependent on caregivers’ availability. When caregivers are responsive, children tend to develop secure attachments, seeking out caregivers directly when distressed. When caregivers reject children’s bids for reassurance, children tend to develop avoidant attachments, turning away from caregivers when distressed. When caregivers are inconsistent in their availability, children tend to develop resistant attachments, showing a mixture of proximity-seeking and resistance. Although it may be optimal for children in our society to develop secure attachments, each of these three attachment types can be seen as well-suited to caregivers’ availability. When caregivers are frightening to children, though, children have difficulty developing organized attachments and instead often develop disorganized attachments, which leave children without a consistent strategy for dealing with their distress. Attachment quality has been linked with later problem behaviours, with disorganized attachment especially predictive of dissociative symptoms (e.g. seeming spacey, “in a fog” etc.), and internalizing and externalizing problems. A number of prevention and intervention programs have been developed that aim to improve infant attachment quality.
Effects of I/O routing through column interfaces in embedded FPGA fabrics

The emergence of 2.5D and 3D packaging technologies enables the integration of FPGA dice into more complex systems. Both heterogeneous manycore designs, which include an FPGA layer, and interposer-based multi-FPGA systems support the inclusion of reconfigurable hardware in 3D-stacked integrated circuits. In these architectures, the communication between FPGA dice or between FPGA and fixed-function layers often takes place through dedicated communication interfaces spread over the FPGA logic fabric, as opposed to an I/O ring around the fabric. In this paper, we investigate the effect of organizing FPGA fabric I/O into coarse-grained interface blocks distributed throughout the FPGA fabric. Specifically, we consider the quality of results for the placement and routing phases of the FPGA physical design flow. We evaluate the routing of I/O signals of large applications through dedicated interface blocks at various granularities in the logic fabric, and study its implications on the critical path delay of routed designs. We show that the impact of such I/O routing is limited and can improve chip routability and circuit delay in many cases.
Magnetorheological and Wedge Mechanism-Based Brake-by-Wire System With Self-Energizing and Self-Powered Capability by Brake Energy Harvesting

Magnetorheological (MR) fluid is a widely used smart material due to its outstanding properties. This paper presents the design, development, modeling, and prototype testing of a self-energizing and self-powered MR brake-by-wire system, whose aforementioned capabilities are enabled by brake energy harvesting. The system is composed mainly of a typical T-shaped drum-type MR brake and a wedge mechanism for self-energizing purpose. Into the system, we also install a generator that harvests regenerative energy during braking, thereby creating a self-power capability that cannot be found in common vehicular brake-by-wire systems. Brake torque analysis is conducted, and the braking process is simulated in a MATLAB/Simulink environment. Finite element analysis of the magnetic field, temperature field, and mechanical strength of critical components is carried out. The simulation results are used to optimize design parameters and material selection. Finally, prototypes and a corresponding test rig are established. The experimental results show that only about 30 W of power is required to generate a 315 N·m brake torque and that the regenerative power produced by the generator can be used for braking, thus fulfilling the self-power requirement. The investigation of different wedge angles indicates that considerable self-energizing occurs under a small wedge angle. The findings demonstrate that the brake actuator, which has a relatively small volume, can significantly enlarge brake torque while harvesting brake energy. This feature enables the promising application of MR fluids in automotive brake systems.