Metacognition as Evidence for Evidentialism

Metacognition is the monitoring and controlling of cognitive processes. I examine the role of metacognition in ‘ordinary retrieval cases’, cases in which it is intuitive that via recollection the subject has a justified belief. Drawing on psychological research on metacognition, I argue that evidentialism has a unique, accurate prediction in each ordinary retrieval case: the subject has evidence for the proposition she justifiedly believes. But, I argue, process reliabilism has no unique, accurate predictions in these cases. I conclude that ordinary retrieval cases better support evidentialism than process reliabilism. This conclusion challenges several common assumptions. One is that non-evidentialism alone allows for a naturalized epistemology, i.e., an epistemology that is fully in accordance with scientific research and methodology. Another is that process reliabilism fares much better than evidentialism in the epistemology of memory

Impact of Scottish smoke-free legislation on smoking quit attempts and prevalence

<p><b>Objectives:</b> In Scotland, legislation was implemented in March 2006 prohibiting smoking in all wholly or partially enclosed public spaces. We investigated the impact on attempts to quit smoking and smoking prevalence.</p> <p><b>Methods:</b> We performed time series models using Box-Jenkins autoregressive integrated moving averages (ARIMA) on monthly data on the gross ingredient cost of all nicotine replacement therapy (NRT) prescribed in Scotland in 2003–2009, and quarterly data on self-reported smoking prevalence between January 1999 and September 2010 from the Scottish Household Survey.</p> <p><b>Results:</b> NRT prescription costs were significantly higher than expected over the three months prior to implementation of the legislation. Prescription costs peaked at £1.3 million in March 2006; £292,005.9 (95% CI £260,402.3, £323,609, p<0.001) higher than the monthly norm. Following implementation of the legislation, costs fell exponentially by around 26% per month (95% CI 17%, 35%, p<0.001). Twelve months following implementation, the costs were not significantly different to monthly norms. Smoking prevalence fell by 8.0% overall, from 31.3% in January 1999 to 23.7% in July–September 2010. In the quarter prior to implementation of the legislation, smoking prevalence fell by 1.7% (95% CI 2.4%, 1.0%, p<0.001) more than expected from the underlying trend.</p> <p><b>Conclusions:</b> Quit attempts increased in the three months leading up to Scotland's smoke-free legislation, resulting in a fall in smoking prevalence. However, neither has been sustained suggesting the need for additional tobacco control measures and ongoing support.</p&gt

Echinoderms have bilateral tendencies

Echinoderms take many forms of symmetry. Pentameral symmetry is the major form and the other forms are derived from it. However, the ancestors of echinoderms, which originated from Cambrian period, were believed to be bilaterians. Echinoderm larvae are bilateral during their early development. During embryonic development of starfish and sea urchins, the position and the developmental sequence of each arm are fixed, implying an auxological anterior/posterior axis. Starfish also possess the Hox gene cluster, which controls symmetrical development. Overall, echinoderms are thought to have a bilateral developmental mechanism and process. In this article, we focused on adult starfish behaviors to corroborate its bilateral tendency. We weighed their central disk and each arm to measure the position of the center of gravity. We then studied their turning-over behavior, crawling behavior and fleeing behavior statistically to obtain the center of frequency of each behavior. By joining the center of gravity and each center of frequency, we obtained three behavioral symmetric planes. These behavioral bilateral tendencies might be related to the A/P axis during the embryonic development of the starfish. It is very likely that the adult starfish is, to some extent, bilaterian because it displays some bilateral propensity and has a definite behavioral symmetric plane. The remainder of bilateral symmetry may have benefited echinoderms during their evolution from the Cambrian period to the present

Rare Pathogenic Variants Predispose to Hepatocellular Carcinoma in Nonalcoholic Fatty Liver Disease

Nonalcoholic fatty liver disease (NAFLD) is a rising cause of hepatocellular carcinoma (HCC). We examined whether inherited pathogenic variants in candidate genes (n = 181) were enriched in patients with NAFLD-HCC. To this end, we resequenced peripheral blood DNA of 142 NAFLD-HCC, 59 NAFLD with advanced fibrosis, and 50 controls, and considered 404 healthy individuals from 1000 G. Pathogenic variants were defined according to ClinVar, likely pathogenic as rare variants predicted to alter protein activity. In NAFLD-HCC patients, we detected an enrichment in pathogenic (p = 0.024), and likely pathogenic variants (p = 1.9*10 126 ), particularly in APOB (p = 0.047). APOB variants were associated with lower circulating triglycerides and higher HDL cholesterol (p < 0.01). A genetic risk score predicted NAFLD-HCC (OR 4.96, 3.29\u20137.55; p = 5.1*10 1216 ), outperforming the diagnostic accuracy of common genetic risk variants, and of clinical risk factors (p < 0.05). In conclusion, rare pathogenic variants in genes involved in liver disease and cancer predisposition are associated with NAFLD-HCC development

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Testing bibliometric indicators by their prediction of scientists promotions

We have developed a method to obtain robust quantitative bibliometric indicators for several thousand scientists. This allows us to study the dependence of bibliometric indicators (such as number of publications, number of citations, Hirsch index...) on the age, position, etc. of CNRS scientists. Our data suggests that the normalized h index (h divided by the career length) is not constant for scientists with the same productivity but differents ages. We also compare the predictions of several bibliometric indicators on the promotions of about 600 CNRS researchers. Contrary to previous publications, our study encompasses most disciplines, and shows that no single indicator is the best predictor for all disciplines. Overall, however, the Hirsch index h provides the least bad correlations, followed by the number of papers published. It is important to realize however that even h is able to recover only half of the actual promotions. The number of citations or the mean number of citations per paper are definitely not good predictors of promotion

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators

Centrality dependence of charged hadron production in deuteron+gold and nucleon+gold collisions at sqrt(s_NN)=200 GeV

We present transverse momentum (p_T) spectra of charged hadrons measured in deuteron-gold and nucleon-gold collisions at \sqrts = 200 GeV for four centrality classes. Nucleon-gold collisions were selected by tagging events in which a spectator nucleon was observed in one of two forward rapidity detectors. The spectra and yields were investigated as a function of the number of binary nucleon-nucleon collisions, \nu, suffered by deuteron nucleons. A comparison of charged particle yields to those in p+p collisions show that the yield per nucleon-nucleon collision saturates with \nu for high momentum particles. We also present the charged hadron to neutral pion ratios as a function of p_T.Comment: 330 authors, 15 pages text, 16 figures, 3 tables. Submitted to Phys. Rev. Lett. v2 has minor changes to reflect revisions during review process. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Azimuthal Angle Correlations for Rapidity Separated Hadron Pairs in d+Au Collisions at sqrt(s_NN) = 200 GeV

We report on two-particle azimuthal angle correlations between charged hadrons at forward/backward (deuteron/gold going direction) rapidity and charged hadrons at mid-rapidity in deuteron-gold (d+Au) and proton-proton (p+p) collisions at sqrt(s_NN) = 200 GeV. Jet structures are observed in the correlations which we quantify in terms of the conditional yield and angular width of away side partners. The kinematic region studied here samples partons in the gold nucleus carrying nucleon momentum fraction x~0.1 to x~0.01. Within this range, we find no x dependence of the jet structure in d+Au collisions.Comment: 330 authors, 6 pages text, 4 figures, no tables. Submitted to Phys. Rev. Lett. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm