Miracle-dz/UniFAR-FTUs huggingface dataset:
Formalizing Deductive Coherence: An Application to Norm Evaluation

This paper is a contribution to the formalisation of Tha- gard's coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, orderly, and aesthetically consistent relationship of parts. Cognitive coherence in particular is the coherence theory based explanation of the mind which evaluates the truth of a cognition in terms of it being a member of some suitably de- fined body of other cognitions: a body that is consistent, coherent, and possibly endowed with other virtues, provided these are not defined in terms of truth. Thus a coherent set is interdependent such that every element in it contributes to the coherence. We take the Thagard's pro- posal of a coherence set as that of maximizing satisfaction of constraints between elements and explore its use in normative multiagent systems. In particular we show how it could be used as a mechanism to introduce true autonomy in agents particularly in a normative multi agent setting. We show, how an agent can deliberate on norm evaluation while also considering other factors such as sanctions and rewards. We first provide a general coherence framework with the necessary com- puting tools. Later we introduce a proof-theoretic characterization of a particular type of coherence namely the deductive coherence based on Thagard's principles, and derive a mechanism to compute coherence val- ues between elements in a deductive coherence graph, thus proposing a fully computational model of coherence. Our use of graded logic helps us to incorporate reasoning under uncertainty which is more realistic in the context of multiagent systems. We then explore a scenario where agents deliberate about norm evaluation in a multiagent system where there is competition for a common resource. We show how a coherence maximising agent decides to violate a norm guided by its coherence.
Cardiac Baroreflex Sensitivity Is Not Correlated to Sympathetic Baroreflex Sensitivity Within Healthy, Young Humans

The purpose of this study was to evaluate the relationship between the cardiac and sympathetic baroreflex sensitivities within healthy, young humans. The sensitivities of the cardiac and sympathetic baroreflexes were compared in 53 normotensive individuals (28 men and 25 women; age: 24.0±0.9 years; body mass index: 24.0±0.3 cm/kg2, mean±SEM). Heart rate, arterial blood pressure, and peroneal muscle sympathetic nerve activity were recorded under resting conditions (heart rate: 58±1 bpm; systolic blood pressure: 126±2 mm Hg; diastolic blood pressure: 72±1 mm Hg; mean arterial blood pressure: 89±1 mm Hg; muscle sympathetic nerve activity: 18±1 bursts per min) and during rapid changes in blood pressure induced by sequential boluses of nitroprusside and phenylephrine. Cardiac and sympathetic baroreflex sensitivities were analyzed using the slopes of the linear portions of the muscle sympathetic nerve activity-diastolic blood pressure and R-R interval-systolic blood pressure relationships, respectively. When individual cardiac baroreflex sensitivity was compared with sympathetic baroreflex sensitivity, no correlation (R-R interval: r=−0.13; heart rate: r=0.21) was observed when studied as a group. Analysis by sex unveiled a correlation in women between the cardiac and sympathetic baroreflex sensitivities (R-R interval: r=−0.54; P=0.01; no correlation with hazard ratio: r=0.29). No relationship was found in men (R-R interval: r=0.17; heart rate: r=0.12). These results indicate that, although both cardiac and sympathetic efferents function in baroreflex control of arterial pressure, there is no correlation in their sensitivities within healthy normotensive humans. However, sex-stratified data indicate that sex-based differential correlations might exist.
PIEtrace: Platform independent executable trace

To improve software dependability, a large number of software engineering tools have been developed over years. Many of them are difficult to apply in practice because their system and library requirements are incompatible with those of the subject software. We propose a technique called platform independent executable trace. Our technique traces and virtualizes a regular program execution that is platform dependent, and generates a stand-alone program called the trace program. Running the trace program re-generates the original execution. More importantly, trace program execution is completely independent of the underlying operating system and libraries such that it can be compiled and executed on arbitrary platforms. As such, it can be analyzed by a third party tool on a platform preferred by the tool. We have implemented the technique on x86 and sensor platforms. We show that buggy executions of 10 real-world Windows and sensor applications can be traced and virtualized, and later analyzed by existing Linux tools. We also demonstrate how the technique can be used in cross-platform malware analysis.
Mind Wandering Can Be a Good Thing

Staying focused is important for nearly every human activity, yet we often struggle to do it. When we are unable to focus our thoughts, we say that we are mind wandering. Mind wandering is very common and occurs in every healthy mind. In fact, mind wandering may even reflect the regular way of thinking, unless people make special efforts to prevent it. But is all mind wandering the same? Why does the mind wander, and when? What effect does mind wandering have in our lives? In answering these questions, we will show how mind wandering can even be helpful for things like creativity and learning.
JNJ-28312141, a novel orally active colony-stimulating factor-1 receptor/FMS-related receptor tyrosine kinase-3 receptor tyrosine kinase inhibitor with potential utility in solid tumors, bone metastases, and acute myeloid leukemia

There is increasing evidence that tumor-associated macrophages promote the malignancy of some cancers. Colony-stimulating factor-1 (CSF-1) is expressed by many tumors and is a growth factor for macrophages and mediates osteoclast differentiation. Herein, we report the efficacy of a novel orally active CSF-1 receptor (CSF-1R) kinase inhibitor, JNJ-28312141, in proof of concept studies of solid tumor growth and tumor-induced bone erosion. H460 lung adenocarcinoma cells did not express CSF-1R and were not growth inhibited by JNJ-28312141 in vitro. Nevertheless, daily p.o. administration of JNJ-28312141 caused dose-dependent suppression of H460 tumor growth in nude mice that correlated with marked reductions in F4/80+ tumor-associated macrophages and with increased plasma CSF-1, a possible biomarker of CSF-1R inhibition. Furthermore, the tumor microvasculature was reduced in JNJ-28312141–treated mice, consistent with a role for macrophages in tumor angiogenesis. In separate studies, JNJ-28312141 was compared with zoledronate in a model in which MRMT-1 mammary carcinoma cells inoculated into the tibias of rats led to severe cortical and trabecular bone lesions. Both agents reduced tumor growth and preserved bone. However, JNJ-28312141 reduced the number of tumor-associated osteoclasts superior to zoledronate. JNJ-28312141 exhibited additional activity against FMS-related receptor tyrosine kinase-3 (FLT3). To more fully define the therapeutic potential of this new agent, JNJ-28312141 was evaluated in a FLT3-dependent acute myeloid leukemia tumor xenograft model and caused tumor regression. In summary, this novel CSF-1R/FLT3 inhibitor represents a new agent with potential therapeutic activity in acute myeloid leukemia and in settings where CSF-1–dependent macrophages and osteoclasts contribute to tumor growth and skeletal events. [Mol Cancer Ther 2009;8(11):3151–61]
Markovian Discriminative Modeling for Dialog State Tracking

Discriminative dialog state tracking has become a hot topic in dialog research community recently. Compared to generative approach, it has the advantage of being able to handle arbitrary dependent features, which is very appealing. In this paper, we present our approach to the DSTC2 challenge. We propose to use discriminative Markovian models as a natural enhancement to the stationary discriminative models. The Markovian structure allows the incorporation of ‘transitional’ features, which can lead to more efficiency and flexibility in tracking user goal changes. Results on the DSTC2 dataset show considerable improvements over the baseline, and the effects of the Markovian dependency is tested empirically.
Illumination insensitive efficient second-order minimization for planar object tracking

Tracking for planar objects is an important issue to vision-based robotic applications. In direct visual tracking (DVT) methods, the similarity between two images is often measured through the sum of squared differences (SSD) especially with the efficient second-order minimization (ESM) due to its simplicity and efficiency. However, SSD-based ESM is not robust to illumination changes since it is usually built upon the brightness constancy assumption. Contrast to image brightness, gradient orientations (GO) are invariant to both linear and non-linear illumination changes as verified in practice. Based on GO, we propose an illumination insensitive ESM method for planar object tracking in this paper. In order to introduce GO into the ESM, we generalized the original ESM formulas for multi-dimensional features. In addition, a denoising method based on the Perona-Malik function and a mask image were suggested to improve GO's robustness against image noise and low texture. Our experimental results on dataset for planar objects with illumination changes and a benchmark dataset confirm the proposed method is robust to illumination variations and capable to deal with the general tracking challenges.
Analisis Rasio Redfield terhadap Kesesuaian Pertumbuhan Fitoplankton di Ekosistem Mangrove Lantebung Kota Makassar

ABSTRACT - Phytoplankton are plants of very small size, their life hovering in waters. Changes in the abundance of types and also the structure of their communities, can be explained by the analysis of the Redfield Ratio. The Redfield ratio is defined as a comparison of the content of N and P types of nutrients in a body of water. For this reason, the purpose of this study is to analyze the Ratio of Redfield to the suitability of phytoplankton life in the Lantebung mangrove ecosystem in Makassar City. The results showed that as many as 19 phytoplankton genera classified into 3 classes were found, namely the Bacillariophyceae class consisting of 14 genera, Cyanophyceae 1 genus, and Dinophyceae 4 genera. The genus of phytoplankton found at all stations is Rhizosolenia and Chaetoceros. These two types of phytoplankton are the Bacillariophyceae group. The results of the Redfield Ratio analysis are not optimal for phytoplankton growth, the ratio is below 16 Based on this, the redfield ratio is not in accordance with phytoplankton life in the Lantebung mangrove ecosystem in Makassar City. The results of pearson's correlation analysis between Redfield Ratio and phytoplankton abundance were 50.7 %. Keywords: Redfield ratio, phytoplankton abundance, Lantebung, Makassar City.
Genetics of the red cell membrane skeleton.

The molecular basis of hereditary spherocytosis (HS) and elliptocytosis (HE) remained an enigma until the beginning of the last decade. In 1968, the first skeletal protein, spectrin, was identified, a discovery that has opened an intense effort resulting in a detailed molecular characterization of the membrane skeleton of human erythrocytes
Inhibition of Herpesvirus hominis replication by human interferon

The effect of human interferon on single-cycle replication of Herpesvirus hominis type 1 (HV-1) and vesicular stomatitis virus (VSV) in human foreskin fibroblast cultures (HFF) was studied. After treatment of HFF cultures with low concentrations (58 U) of human interferon, a variable but statistically significant inhibition of HV-1 was observed. At higher concentrations (greater than 95 U) yield reduction of HV in interferon-treated cultures approached that of VSV. Preliminary data indicate that antiviral activity decays more rapidly for HV-1 than for VSV after removal of interferon from cultures.
Adaptive ranking of facial attractiveness

As humans, we love to rank things. Top ten lists exist for everything from movie stars to scary animals. Ambiguities (i.e., ties) naturally occur in the process of ranking when people feel they cannot distinguish two items. Human reported rankings derived from star ratings abound on recommendation websites such as Yelp and Netflix. However, those websites differ in star precision which points to the need for ranking systems that adapt to an individual user's preference sensitivity. In this work we propose an adaptive system that allows for ties when collecting ranking data. Using this system, we propose a framework for obtaining computer-generated rankings. We test our system and a computer-generated ranking method on the problem of evaluating human attractiveness. Extensive experimental evaluations and analysis demonstrate the effectiveness and efficiency of our work.
Early Detection of a Two-Long-Terminal-Repeat Junction Molecule in the Cytoplasm of Recombinant Murine Leukemia Virus-Infected Cells

ABSTRACT We showed that a U5-U3 junction was reproducibly detected by a PCR assay as early as 1 to 2 h postinfection with a DNase-treated murine leukemia virus (MLV)-containing supernatant in aphidicolin-arrested NIH 3T3 cells, as well as in nonarrested cells. Such detection is azidothymidine sensitive and corresponded to neosynthesized products of the reverse transcriptase. This observation was confirmed in two additional human cell lines, TE671 and ARPE-19. Using cell fractionation combined with careful controls, we found that a two-long-terminal-repeat (two-LTR) junction molecule was detectable in the cytoplasm as early as 2 h post virus entry. Altogether, our data indicated that the neosynthesized retroviral DNA led to the early formation of structures including true two-LTR junctions in the cytoplasm of MLV-infected cells. Thus, the classical assumption that two-LTR circles are a mitosis-dependent dead-end product accumulating in the nucleus must be reconsidered. MLV-derived products containing a two-LTR junction can no longer be used as an exclusive surrogate for the preintegration complex nuclear translocation event.
Learning Analytics

Education continues to quickly evolve and push beyond the borders of the traditional classroom. Recent survey research found that of the approximately 20 million higher education students in the US, 5.8 million are enrolled in at least one online or distance learning course (Allen et al., 2016). This figure represents a 263% increase over the last twelve years and shows little sign of slowing down (OLC, 2016).
CD66 identifies a neutrophil-specific epitope within the hematopoietic system that is expressed by members of the carcinoembryonic antigen family of adhesion molecules.

Preliminary results from the IVth Leucocyte Culture Conference have classified the monoclonal antibody (MoAb), YTH 71.3. 2, as CD66. Two other MoAbs, YPC 2/12.1 and CE6/2D3.1, share a common cellular specificity, reacting with cells of the neutrophil series and colonic epithelium. The YTH 71.3. 2 and CE6/2D3.1 MoAbs both recognize a similar CD66 defined epitope that is distinct from that identified by YPC 2/12.1. By Western blotting, these antibodies react with different molecular species from cells of different lineages. The antibodies identify 50- to 55-Kd, 80- to 100-Kd, and 130- to 200-Kd components present in a semi-purified carcinoembryonic antigen (CEA) preparation from colonic adenocarcinomas and a 90- to 130-Kd molecule from HL-60 cells. With the colonic cell line, LS174T, YPC2/12.1 stains diffuse bands of 160 to 200 Kd and 90 to 130 Kd with equal intensity, whereas the binding of CE6/2D3.1 and YTH 71.3. 2 is biased toward the lower molecular weight set of molecules. Remarkably, all three antibodies recognize CEA-related molecules. Defined analyses using HeLa cells transfected with CEA, NCA(NCA-50/90), and CGM6(NCA-95) cDNAs show that the three MoAbs identify CEA to varying degrees. While YTH 71.3. 2 and CE6/2D3.1 also bind to NCA-50/90, YPC 2/12.1 recognizes an epitope expressed by both the NCA-50/90 and NCA-95 molecular species.
Microtubule-associated protein 1A (MAP 1A) is a ganglion cell marker in adult rat retina

Abstract We have used antibodies raised against a cytoskeletal protein, microtubule-associated protein 1A (MAP 1A), to stain adult rat retina. In cryostat and polyethylene glycol-embedded radial sections, the fiber layer, ganglion cell layer, and inner plexiform layer were highly immunoreactive, a finding that suggested that the ganglion cell somata, axons, and dendrites were recognized by these antibodies. Retrograde labeling of retinal cell somata from the superior colliculus and dorso-lateral geniculate nucleus to identify ganglion cells showed colocalization of the tracer and immunoreactive cells. Double labeling with nuclear stains revealed that many cells in the ganglion cell layer, which are likely displaced amacrine cells, were not recognized by these antibodies. Furthermore, transection of ganglion cell axons, a procedure that causes retrograde degeneration of many of the axotomized ganglion cells, led to a decrease in the number of anti-MAP 1A immunoreactive cells in retinal wholemounts. Thus, MAP 1A antibodies preferentially stain ganglion cell somata and dendrites but not amacrine cells. These antibodies should be useful ganglion cell markers.
An Adjustable Wireless Backhaul Link Selection Algorithm for LEO-UAV-Sensor-Based Internet of Remote Things Network

Internet of Remote Things (IoRT) networks utilize the backhaul links between unmanned aerial vehicles (UAVs) and low-earth-orbit (LEO) satellites to transfer the massive data collected by sensors. However, the backhaul links change rapidly due to the fast movement of both the UAVs and the satellites, which is different from conventional wireless networks. Additionally, due to the various requirements of IoRT multiservices, the system performance should be comprehensively considered. Thus, an adjustable wireless backhaul link selection algorithm for a LEO-UAV-sensor-based IoRT network is proposed. Firstly, an optimization model for backhaul link selection is proposed. This model uses Q, which integrates the remaining service time and capacity as the objective function. Then, based on the snapshot method, the dynamic topology is converted into the static topology and a heuristic optimization algorithm is proposed to solve the backhaul link selection problem. Finally, the proposed algorithm is compared with two traditional algorithms, i.e., maximum service time and maximum capacity algorithms. Numerical simulation results show that the proposed model can achieve better system performance, and the overload of the satellites is more balanced. The algorithm can obtain a trade-off between remaining service time and capacity by dynamically adjusting model parameters. Thus, the adjustable backhaul link selection algorithm can apply to multiservice IoRT scenarios.
Hypoxia is not the sole cause of lactate production during shock.

BACKGROUND Traditionally, elevated blood lactate after hemorrhage is interpreted as tissue hypoperfusion, hypoxia, and anaerobic glycolysis. The severity and duration of the increase in blood lactate correlate with death. Recent in vitro studies indicate that epinephrine stimulates lactate production in well-oxygenated skeletal muscle by increasing activity of the Na+-K+-adenosine triphosphatase (ATPase), which derives a significant amount of adenosine triphosphate from glycolysis. Using in vivo microdialysis, we tested whether inhibiting the Na+-K+ pump with ouabain could reduce muscle lactate production during local exposure, via the microdialysis probe, to epinephrine or during hemorrhage in rats. METHODS Microdialysis catheters were placed in the muscle of both thighs of pentobarbital-anesthetized male Sprague-Dawley rats (275-350 g) and perfused (1 microL/min) with Krebs-phosphate buffer (pH 7.4) containing ethanol (5 mmol/L) to permit assessment of changes in local blood flow. To inhibit the Na+-K+-ATPase, ouabain (2-3 mmol/L) was added to the perfusate of one leg. In one series of studies, epinephrine was added to the perfusate. In another series, rats were hemorrhaged to a mean arterial pressure of 45 mm Hg for 30 minutes, followed by resuscitation with shed blood and 0.9% sodium chloride. Dialysate fractions were analyzed for lactate and ethanol fluorometrically. RESULTS Lactate rose during epinephrine exposure or during hemorrhage and resuscitation. Treatment with ouabain reduced dialysate lactate concentration significantly in both series of studies. Local blood flow was reduced by either epinephrine or hemorrhage, but returned toward baseline afterward. Ouabain had no apparent effect on local blood flow. CONCLUSION Increased Na+-K+ATPase activity during epinephrine treatment or hemorrhage contributes to muscle lactate production. Hypoxia is not necessarily the sole cause of hyperlactatemia during and after hemorrhagic shock.
Decline in Relative Abundance of Bottlenose Dolphins Exposed to Long‐Term Disturbance

Abstract: Studies evaluating effects of human activity on wildlife typically emphasize short‐term behavioral responses from which it is difficult to infer biological significance or formulate plans to mitigate harmful impacts. Based on decades of detailed behavioral records, we evaluated long‐term impacts of vessel activity on bottlenose dolphins (Tursiops sp.) in Shark Bay, Australia. We compared dolphin abundance within adjacent 36‐km2 tourism and control sites, over three consecutive 4.5‐year periods wherein research activity was relatively constant but tourism levels increased from zero, to one, to two dolphin‐watching operators. A nonlinear logistic model demonstrated that there was no difference in dolphin abundance between periods with no tourism and periods in which one operator offered tours. As the number of tour operators increased to two, there was a significant average decline in dolphin abundance (14.9%; 95% CI =−20.8 to −8.23), approximating a decline of one per seven individuals. Concurrently, within the control site, the average increase in dolphin abundance was not significant (8.5%; 95% CI =−4.0 to +16.7). Given the substantially greater presence and proximity of tour vessels to dolphins relative to research vessels, tour‐vessel activity contributed more to declining dolphin numbers within the tourism site than research vessels. Although this trend may not jeopardize the large, genetically diverse dolphin population of Shark Bay, the decline is unlikely to be sustainable for local dolphin tourism. A similar decline would be devastating for small, closed, resident, or endangered cetacean populations. The substantial effect of tour vessels on dolphin abundance in a region of low‐level tourism calls into question the presumption that dolphin‐watching tourism is benign.
Cell migration and chimerism after whole‐organ transplantation: The basis of graft acceptance

Improvements in the prevention or control of rejection of the kidney and liver have been largely interchangeable (1, 2) and then applicable, with very little modification, to thoracic and other organs. However, the mechanism by which anti rejection treatment permits any of these grafts to be “accepted” has been an immunological enigma (3, 4). We have proposed recently that the exchange of migratory leukocytes between the transplant and the recipient with consequent long-term cellular chimerism in both is the basis for acceptance of all whole-organ allografts and xenografts (5). Although such chimerism was demonstrated only a few months ago, the observations have increased our insight into transplantation immunology and have encouraged the development of alternative therapeutic strategies (6).