Dislocation nucleation in shocked fcc solids: effects of temperature and preexisting voids

Quantitative behaviors of shock-induced dislocation nucleation are investigated by means of molecular dynamics simulations on fcc Lennard-Jones solids: a model Argon. In perfect crystals, it is found that Hugoniot elastic limit (HEL) is a linearly decreasing function of temperature: from near-zero to melting temperatures. In a defective crystal with a void, dislocations are found to nucleate on the void surface. Also HEL drastically decreases to 15 percent of the perfect crystal when a void radius is 3.4 nanometer. The decrease of HEL becomes larger as the void radius increases, but HEL becomes insensitive to temperature.Comment: 4 pages. (ver.2) All figures have been revised. Two citations are newly added. Numerical unit is unified in the context of solid argon. (ver. 3) A minor revision including new reference

Context Dependence, MOPs,WHIMs and procedures Recanati and Kaplan on Cognitive Aspects in Semantics

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in semantic representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semanti

Teleological Essentialism

Placeholder essentialism is the view that there is a causal essence that holds category members together, though we may not know what the essence is. Sometimes the placeholder can be filled in by scientific essences, such as when we acquire scientific knowledge that the atomic weight of gold is 79. We challenge the view that placeholders are elaborated by scientific essences. On our view, if placeholders are elaborated, they are elaborated Aristotelian essences, a telos. Utilizing the same kinds of experiments used by traditional essentialists—involving superficial change (study 1), transformation of insides (study 2), acquired traits (study 3) and inferences about offspring (study 4)—we find support for the view that essences are elaborated by a telos. And we find evidence (study 5) that teleological essences may generate category judgments

Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus

International audienceWe give a simple intuitionistic completeness proof of Kripke semantics for intuitionistic logic with implication and universal quantification with respect to cut-free intuitionistic sequent calculus. The Kripke semantics is ``simplified'' in the way that the domain remains constant. The proof has been formalised in the Coq proof assistant and by combining soundness with completeness, we obtain an executable cut-elimination procedure. The proof easily extends to the case of the absurdity connective using Kripke models with exploding nodes à la Veldman

Greater incidence of depression with hypnotic use than with placebo

Abstract Background Although it has been claimed that insomnia causes an increased risk for depression, adequate controlled trials testing this hypothesis have not been available. This study contrasted the incidence of depression among subjects receiving hypnotics in randomized controlled trials versus those receiving placebo. Methods The incidence of depression among patients randomized to hypnotic drugs or placebo was compiled from prescribing information approved by the United States Food and Drug Administration (FDA) and from FDA New Drug Application documents. Available data for zolpidem, zaleplon, eszopiclone, and ramelteon were accessed. Results Data for 5535 patients randomized to a hypnotic and for 2318 randomized to placebo were compiled. The incidence of depression was 2.0% among participants randomized to hypnotics as compared to 0.9% among those randomized in parallel to placebo (p Conclusion Modern hypnotics were associated with an increased incidence of depression in data released by the FDA. This suggests that when there is a risk of depression, hypnotics may be contra-indicated. Preventive treatments such as antidepressant drugs, cognitive-behavioral therapy, or bright light might be preferred. Limitations in the FDA data prevented a formal meta-analysis, and there was a lack of information about drop-out rates and definitions of depression. Trials specifically designed to detect incident depression when treating insomnia with hypnotic drugs and better summarization of adverse events in trials submitted to the FDA are both necessary.</p

Theories of Reference: What Was the Question?

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others

Mortality Risk of Hypnotics: Strengths and Limits of Evidence

Sleeping pills, more formally defined as hypnotics, are sedatives used to induce and maintain sleep. In a review of publications for the past 30 years, descriptive epidemiologic studies were identified that examined the mortality risk of hypnotics and related sedative-anxiolytics. Of the 34 studies estimating risk ratios, odds ratios, or hazard ratios, excess mortality associated with hypnotics was significant (p &lt; 0.05) in 24 studies including all 14 of the largest, contrasted with no studies at all suggesting that hypnotics ever prolong life. The studies had many limitations: possibly tending to overestimate risk, such as possible confounding by indication with other risk factors; confusing hypnotics with drugs having other indications; possible genetic confounders; and too much heterogeneity of studies for meta-analyses. There were balancing limitations possibly tending towards underestimates of risk such as limited power, excessive follow-up intervals with possible follow-up mixing of participants taking hypnotics with controls, missing dosage data for most studies, and over-adjustment of confounders. Epidemiologic association in itself is not adequate proof of causality, but there is proof that hypnotics cause death in overdoses; there is thorough understanding of how hypnotics euthanize animals and execute humans; and there is proof that hypnotics cause potentially lethal morbidities such as depression, infection, poor driving, suppressed respiration, and possibly cancer. Combining these proofs with consistent evidence of association, the great weight of evidence is that hypnotics cause huge risks of decreasing a patient's duration of survival

Effectiveness and cost-effectiveness of an educational intervention for practice teams to deliver problem focused therapy for insomnia: rationale and design of a pilot cluster randomised trial

Background: Sleep problems are common, affecting over a third of adults in the United Kingdom and leading to reduced productivity and impaired health-related quality of life. Many of those whose lives are affected seek medical help from primary care. Drug treatment is ineffective long term. Psychological methods for managing sleep problems, including cognitive behavioural therapy for insomnia (CBTi) have been shown to be effective and cost effective but have not been widely implemented or evaluated in a general practice setting where they are most likely to be needed and most appropriately delivered. This paper outlines the protocol for a pilot study designed to evaluate the effectiveness and cost-effectiveness of an educational intervention for general practitioners, primary care nurses and other members of the primary care team to deliver problem focused therapy to adult patients presenting with sleep problems due to lifestyle causes, pain or mild to moderate depression or anxiety. Methods and design: This will be a pilot cluster randomised controlled trial of a complex intervention. General practices will be randomised to an educational intervention for problem focused therapy which includes a consultation approach comprising careful assessment (using assessment of secondary causes, sleep diaries and severity) and use of modified CBTi for insomnia in the consultation compared with usual care (general advice on sleep hygiene and pharmacotherapy with hypnotic drugs). Clinicians randomised to the intervention will receive an educational intervention (2 × 2 hours) to implement a complex intervention of problem focused therapy. Clinicians randomised to the control group will receive reinforcement of usual care with sleep hygiene advice. Outcomes will be assessed via self-completion questionnaires and telephone interviews of patients and staff as well as clinical records for interventions and prescribing. Discussion: Previous studies in adults have shown that psychological treatments for insomnia administered by specialist nurses to groups of patients can be effective within a primary care setting. This will be a pilot study to determine whether an educational intervention aimed at primary care teams to deliver problem focused therapy for insomnia can improve sleep management and outcomes for individual adult patients presenting to general practice. The study will also test procedures and collect information in preparation for a larger definitive cluster-randomised trial. The study is funded by The Health Foundation

AGI and the Knight-Darwin Law: why idealized AGI reproduction requires collaboration

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs

Bright green light treatment of depression for older adults [ISRCTN69400161]

BACKGROUND: Bright white light has been successfully used for the treatment of depression. There is interest in identifying which spectral colors of light are the most efficient in the treatment of depression. It is theorized that green light could decrease the intensity duration of exposure needed. Late Wake Treatment (LWT), sleep deprivation for the last half of one night, is associated with rapid mood improvement which has been sustained by light treatment. Because spectral responsiveness may differ by age, we examined whether green light would provide efficient antidepressant treatment in an elder age group. METHODS: We contrasted one hour of bright green light (1,200 Lux) and one hour of dim red light placebo (<10 Lux) in a randomized treatment trial with depressed elders. Participants were observed in their homes with mood scales, wrist actigraphy and light monitoring. On the day prior to beginning treatment, the participants self-administered LWT. RESULTS: The protocol was completed by 33 subjects who were 59 to 80 years old. Mood improved on average 23% for all subjects, but there were no significant statistical differences between treatment and placebo groups. There were negligible adverse reactions to the bright green light, which was well tolerated. CONCLUSION: Bright green light was not shown to have an antidepressant effect in the age group of this study, but a larger trial with brighter green light might be of value